Visiting of LocalResolver
SemanticAnalyzer

TypeResolver
TypeTable
DereferenceChecker
TypeChecker

and Error handling