anchor.diff:  
     ContinuationConfiguration(this.continuation, this.value);
   
  -  Configuration step(StatementExecuter executer) => continuation(value);
  +  Configuration step(StatementExecuter _) => continuation(value);
  +}
  +
  +/// Represents the configuration for applying an [ApplicationContinuation].
  +class ArgumentContinuationConfiguration extends Configuration {
  +  final ApplicationContinuation continuation;
  +  final List<ArgumentValue> argumentValues;
  +
  +  ArgumentContinuationConfiguration(this.continuation, this.argumentValues);
  +
  +  Configuration step(StatementExecuter _) => continuation(argumentValues);
   }
   
   /// Represents the configuration for evaluating an [Expression].
  
positive.code:     extends ExpressionVisitor1<Configuration, ExpressionConfiguration> {
    Configuration eval(Expression expr, ExpressionConfiguration config) =>
        expr.accept1(this, config);
  
    Configuration defaultExpression(
        Expression node, ExpressionConfiguration config) {
  
negative.code:       statement.accept1(this, state);
    Configuration eval(Expression expression, ExpressionConfiguration config) =>
        evaluator.eval(expression, config);
    Configuration evalArgs(
            List<ArgumentExpression> args, Environment env, Continuation cont) =>
        evaluator.evalArgs(args, env, cont);
  
    Configuration defaultStatement(Statement node, State state) {
      throw notImplemented(
  