Removed SPECIAL-AST.