extra cnf2cls test + final comments