Predicate Sanity::cfg_sanity

Holds if a contract involving the CFG structure is violated, where clsname is the QL class name of the entity violating the contract, problem describes the violation, and what gives location information.

predicate cfg_sanity(string clsname, string problem, string what)