anchor.diff:            node.arguments.positional.first, config.environment, cont);
       } else {
         log.info('static-invocation-${node.target.name.toString()}\n');
  -      var cont = new ActualArgumentsContinuation(node.arguments,
  -          node.target.function, config.environment, config.continuation);
  -      return cont.createCurrentConfiguration();
  +
  +      List<ArgumentExpression> args =
  +          _createArgumentExpressionList(node.arguments, node.target.function);
  +      ApplicationContinuation cont = new StaticInvocationApplication(
  +          node.target.function, config.continuation);
  +      return new ArgumentsConfiguration(args, config.environment, cont);
       }
     }
   
  
positive.code: notImplemented({String m, Object obj}) {
    throw new NotImplemented(m ?? 'Evaluation for $obj is not implemented');
  }
  
negative.code: 
    ContinuationConfiguration(this.continuation, this.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].
  