constructor CNF_CFG gefikst