added private function checkRules to CNF_CFG