AnalysisContext { public TypeEnvironment peek() { return environment; } AnalysisContext();  AnalysisContext(TypeEnvironment environment); void push(); TypeEnvironment peek(); TypeEnvironment pop();  }
@Test public void rootEnvironmentShouldBeThereInitially() { assertNotNull(context.peek()); }