renames CNF_make to CNF.scala