cleanup, document SemanticAnalyzer changes