added AST destructors