- has/3 verifies that its second argument is an AST node