Adding initial XOR-to-CNF system