remove redundant predicate