public BasicBlock clone(int newId) {
    BasicBlock block = new BasicBlock(newId, seq.clone());
    block.originalOffsets.addAll(originalOffsets);
    return block;
  }
public BasicBlock clone(int newId)