private void cacheDfaResult(@NotNull List<@Nullable TypeDfaState> dfaResult,
                              Set<Instruction> storingInstructions) {
    for (var instruction : storingInstructions) {
      int index = instruction.num();
      myVarTypes[index].getAndUpdate(oldState -> TypesSemilattice.mergeForCaching(oldState, dfaResult.get(index)));
    }
  }
private void cacheDfaResult(@NotNull List<@Nullable TypeDfaState> dfaResult,
                              Set<Instruction> storingInstructions)