minor bug in AstHandler class; testing AstHandler