Cleaning of unused predicates