minor change on SemanticAnalyzerImpl
added new test that tests object model on SemanticAnalyzerImplTests