safety check in CNF: clauses must be closed (!)
profiling information in CNF