revised cnf2cls, added documentation + tests. TODO: cnf2cls test properties