Clean unused predicate
Minor optimization