anchor.diff:        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 MethodInvocationEK(
  -        node.arguments, node.name, config.environment, config.continuation);
  -
  -    return new EvalConfiguration(node.receiver, config.environment, cont);
  +    var cont = new MethodInvocationEK(node.arguments, node.name,
  +        config.environment, config.exceptionComponents, config.continuation);
  +
  +    return new EvalConfiguration(
  +        node.receiver, config.environment, config.exceptionComponents, cont);
     }
   
     Configuration visitConstructorInvocation(
         ConstructorInvocation node, EvalConfiguration config) {
  -    ApplicationContinuation cont =
  -        new ConstructorInvocationA(node.target, config.continuation);
  +    ApplicationContinuation cont = new ConstructorInvocationA(
  +        node.target, config.exceptionComponents, config.continuation);
       var args = _getArgumentExpressions(node.arguments, node.target.function);
   
  -    return new EvalListConfiguration(args, config.environment, cont);
  +    return new EvalListConfiguration(
  +        args, config.environment, config.exceptionComponents, cont);
     }
   
     Configuration visitNot(Not node, EvalConfiguration config) {
  -    return new EvalConfiguration(
  -        node.operand, config.environment, new NotEK(config.continuation));
  +    return new EvalConfiguration(node.operand, config.environment,
  +        config.exceptionComponents, new NotEK(config.continuation));
     }
   
     Configuration visitLogicalExpression(
         LogicalExpression node, EvalConfiguration config) {
       if ('||' == node.operator) {
  -      var cont = new OrEK(node.right, config.environment, config.continuation);
  -      return new EvalConfiguration(node.left, config.environment, cont);
  +      var cont = new OrEK(node.right, config.environment,
  +          config.exceptionComponents, config.continuation);
  +      return new EvalConfiguration(
  +          node.left, config.environment, config.exceptionComponents, cont);
       } else {
         assert('&&' == node.operator);
  -      var cont = new AndEK(node.right, config.environment, config.continuation);
  -      return new EvalConfiguration(node.left, config.environment, cont);
  +      var cont = new AndEK(node.right, config.environment,
  +          config.exceptionComponents, config.continuation);
  +      return new EvalConfiguration(
  +          node.left, config.environment, config.exceptionComponents, cont);
       }
     }
   
     Configuration visitConditionalExpression(
         ConditionalExpression node, EvalConfiguration config) {
  -    var cont = new ConditionalEK(
  -        node.then, node.otherwise, config.environment, config.continuation);
  -    return new EvalConfiguration(node.condition, config.environment, cont);
  +    var cont = new ConditionalEK(node.then, node.otherwise, config.environment,
  +        config.exceptionComponents, config.continuation);
  +    return new EvalConfiguration(
  +        node.condition, config.environment, config.exceptionComponents, cont);
     }
   
     Configuration visitStringConcatenation(
  
positive.code: /// Represents the application continuation for static invocation.
  class StaticInvocationA extends ApplicationContinuation {
    final FunctionNode function;
    final ExpressionContinuation continuation;
  
    StaticInvocationA(this.function, this.continuation);
  
    Configuration call(List<InterpreterValue> argValues) {
      Environment functionEnv =
          ApplicationContinuation.createEnvironment(function, argValues);
      State bodyState = new State(
          null, continuation, new ExitSK(continuation, Value.nullInstance));
  
      return new ExecConfiguration(function.body, functionEnv, bodyState);
    }
  
negative.code:       // the current environment.
        List<InterpreterExpression> exprs =
            _getArgumentExpressions(current.arguments, current.target.function);
        var cont = new ConstructorInitializerA(
            current.target, location, exceptionComponents, continuation);
        return new EvalListConfiguration(
            exprs, environment, exceptionComponents, cont);
      }
      Expression expr = (current is FieldInitializer)
          ? current.value
  