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