An extra assert just to be sure
Empty XOR clause is TRUE and so is not converted to anything

Yes, empty XOR clauses are not equivalent to empty clauses. They do not
make the problem UNSAT