New name of the main program: cnf2kcnf