Tests for HMSemanticAnalyzer.