fixed bug in predicate removing procedure