Simplification of predicates