Predicate Sanity::builtin_object_sanity

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