remove obsolete predicates