Class ConditionalSimplifyingRewriter