changed ACC formulas to use equivalence a <=> not b for XOR predicates