/**
   * Bind a Label object (not to be confused with the AVM OP_label instruction) to the last-visited
   * ABC instruction in this method.
   *
   * @pre visitInstruction() must have been called at least once, i.e., there must be a last-visited
   *     ABC instruction.
   */
  public void labelCurrent(Label l) {
    jumpOptimizations(l, LabelKind.LABEL_CURRENT);

    int idx = getLastInstructionIndex();
    InstructionInfo instructionInfo = instructions.get(idx);
    lastLabelSeen = idx;
    instructionInfo.addLabelCurrent(l);
  }