void (@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))); } }