CNF Converter now fully working