changed CNF generator