anchor.diff:    final Constructor constructor;
     final Location location;
     final Environment environment;
  +  final ExceptionComponents exceptionComponents;
     final ConstructorBodySK continuation;
   
     final Class _currentClass;
   
  -  InstanceFieldsA(
  -      this.constructor, this.location, this.environment, this.continuation)
  +  InstanceFieldsA(this.constructor, this.location, this.environment,
  +      this.exceptionComponents, this.continuation)
         : _currentClass = new Class(constructor.enclosingClass.reference);
   
     Configuration call(List<InterpreterValue> fieldValues) {
  
positive.code:   final Arguments arguments;
    final Name methodName;
    final Environment environment;
    final ExpressionContinuation continuation;
  
    MethodInvocationEK(
        this.arguments, this.methodName, this.environment, this.continuation);
  
    Configuration call(Value receiver) {
      if (arguments.positional.isEmpty) {
  
negative.code: /// Represents the application continuation for static invocation.
  class StaticInvocationA extends ApplicationContinuation {
    final FunctionNode function;
    final ExceptionComponents exceptionComponents;
    final ExpressionContinuation continuation;
  
    StaticInvocationA(this.function, this.exceptionComponents, this.continuation);
  
    Configuration call(List<InterpreterValue> argValues) {
      Environment functionEnv =
          ApplicationContinuation.createEnvironment(function, argValues);
      State bodyState = new State(null, exceptionComponents, continuation,
          new ExitSK(continuation, Value.nullInstance));
  
      return new ExecConfiguration(function.body, functionEnv, bodyState);
    }
  