Added some comments on SemanticAnalyzer >> errorUnknownVariable: