removed unused predicates