Re: Understanding the core2core simplifier <-> occurence-analysis interaction