Predicate

Migrate to predicate library
EQ -> NEQ