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:   }
  
    visitGoto(HGoto node) {
      HBasicBlock block = node.block;
      assert(block.successors.length == 1);
      List<HBasicBlock> dominated = block.dominatedBlocks;
      // With the exception of the entry-node which dominates its successor
      // and the exit node, no block finishing with a 'goto' can have more than
      // one dominated block (since it has only one successor).
  