fixed predicate removing procedure