Module name changed from cnf to cnf_conversion