Class ASTcheck