Class ASTterminate