Predicate Sanity::ast_sanity

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