modify cnf_converter