Predicate Sanity::function_object_sanity

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