Tag: rectify AST