Predicate SimplifyBoolExpr::conditionalWithBool

predicate conditionalWithBool(ConditionalExpr c, string pattern, string rewrite)