Predicate AstNodeSanity::astnode_sanity

predicate astnode_sanity(AstNode element, string clsname, string problem, string what)