fix predicate equality