Member predicate SimplifyBoolExpr::BoolCompare::simplify

predicate simplify(string pattern, string rewrite)