private void flushQualifiedMethods(@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));
    }
  }
private void flushQualifiedMethods(@NotNull DfaVariableValue variable)