simplify predicate