adding XOR predicate