anchor.diff:  
   /// Represents the application continuation for redirecting constructor
   /// invocation applied on the list of evaluated arguments.
  -class RedirectingConstructorApplication extends ApplicationContinuation {
  +class RedirectingConstructorA extends ApplicationContinuation {
     final Constructor constructor;
     final Environment environment;
     final ExecConfiguration configuration;
   
  -  RedirectingConstructorApplication(
  +  RedirectingConstructorA(
         this.constructor, this.environment, this.configuration);
   
     Configuration call(List<InterpreterValue> argValues) {
  
positive.code:       Value returnValue = receiver.invokeMethod(methodName);
        return new ValuePassingConfiguration(continuation, returnValue);
      }
      var cont = new ArgumentsContinuation(
          receiver, methodName, arguments, environment, continuation);
  
      return new EvalConfiguration(arguments.positional.first, environment, cont);
    }
  }
  
  class ArgumentsContinuation extends ExpressionContinuation {
    final Value receiver;
    final Name methodName;
    final Arguments arguments;
    final Environment environment;
    final ExpressionContinuation continuation;
  
    ArgumentsContinuation(this.receiver, this.methodName, this.arguments,
        this.environment, this.continuation);
  
    Configuration call(Value value) {
      // Currently evaluates only one argument, for simple method invocations
  
negative.code:   }
  }
  
  class PropertyGetEK extends ExpressionContinuation {
    final Name name;
    final ExpressionContinuation continuation;
  
    PropertyGetEK(this.name, this.continuation);
  
    Configuration call(Value receiver) {
      // TODO: CPS the invocation of the getter.
  