CNF conversion initial code