anchor.diff:  
   class SsaUnoptimizedCodeGenerator extends SsaCodeGenerator {
   
  -  js.Statement setup;
     js.Switch currentBailoutSwitch;
     final List<js.Switch> oldBailoutSwitches;
     final List<js.Parameter> newParameters;
  
positive.code:         new js.Binary('===', generateStateUse(), new js.LiteralNumber('0'));
      js.Expression condition = new js.Binary('&&', stateEquals0, pop());
      // TODO(ngeoffray): Put the condition initialization in the
      // [setup] buffer.
      List<HBailoutTarget> targets = node.thenBlock.bailoutTargets;
      for (int i = 0, len = targets.length; i < len; i++) {
        js.VariableUse stateRef = generateStateUse();
  
negative.code:       compiler.internalError('dominated.length = ${dominated.length}',
                               instruction: node);
      }
      if (dominated.length == 2 && block != currentGraph.entry) {
        compiler.internalError('node.block != currentGraph.entry',
                               instruction: node);
      }
      assert(dominated[0] == block.successors[0]);
      visitBasicBlock(dominated[0]);
    }
  
  