Giant bug in XOR clause adding. Forgot to renumber, update, uneliminate