+ FixCNF tool for fixing head string and endl of clauses