AST Checker implemented