FixCNF + space at the end of CNF for treengeling + script for fixing all CNFs in the folder