TypeDfaState (@NotNull TypeDfaState state, @NotNull NegatingGotoInstruction negation) { TypeDfaState newState = state; for (Int2ObjectMap.Entry<DFAType> entry : state.getRawVarTypes().int2ObjectEntrySet()) { DFAType before = entry.getValue(); DFAType after = before.withNegated(negation); if (before != after) { newState = newState.withNewType(entry.getIntKey(), after); } } return newState; }