Support for non-reflexive predicates