CNFNormalizer first version