Predicate Sanity::cfg_sanity

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