Working on XOR clause recovery from the CNF