New option to print cnf after conversion.