public void offer(DfaInstructionState state) {
    DfaInstructionState otherState = myMap.putIfAbsent(state, state);
    if (otherState == null) {
      myQueue.offer(state);
    }
    else {
      otherState.getMemoryState().afterMerge(state.getMemoryState());
    }
  }
public void offer(DfaInstructionState state)