anchor.diff:  }
   
   /// Represents the continuation for the condition expression in [WhileStatement].
  -class WhileConditionContinuation extends ExpressionContinuation {
  +class WhileConditionEK extends ExpressionContinuation {
     final WhileStatement node;
     final State state;
   
  -  WhileConditionContinuation(this.node, this.state);
  +  WhileConditionEK(this.node, this.state);
   
     ExecConfiguration call(Value v) {
       if (identical(v, Value.trueInstance)) {
  
positive.code:       MethodInvocation node, EvalConfiguration config) {
      // Currently supports only method invocation with <2 arguments and is used
      // to evaluate implemented operators for int, double and String values.
      var cont = new MethodInvocationContinuation(
          node.arguments, node.name, config.environment, config.continuation);
  
      return new EvalConfiguration(node.receiver, config.environment, cont);
  
negative.code:       // Constructor is redirecting.
        Initializer initializer = constructor.initializers.first;
        if (initializer is RedirectingInitializer) {
          var app = new RedirectingConstructorA(
              initializer.target, environment, configuration);
          var args = _createArgumentExpressionList(
              initializer.arguments, initializer.target.function);
  