public @NotNull DfaControlTransferValue controlTransfer(TransferTarget kind, FList<Trap> traps) {
    return myControlTransfers.get(Pair.create(kind, traps));
  }
public @NotNull DfaControlTransferValue controlTransfer(TransferTarget kind, FList<Trap> traps)