Class ASTinfo