void (@NotNull DfaVariableValue variable) { if (variable.isFlushableByCalls()) { // Flush method results on field write List<DfaVariableValue> toFlush = StreamEx.of(myEqClasses).flatMap(cls -> cls == null ? null : StreamEx.of(cls.iterator())) .append(myVariableTypes.keySet()).filter(DfaVariableValue::containsCalls).toList(); toFlush.forEach(val -> doFlush(val, true)); } }