cnf conversion first stage complete