Adding XOR to CNF converter