boolean shouldFlush(DfaVariableValue value) {
      if (myFieldToFlush != null) {
        return (value.getDescriptor().equals(myFieldToFlush) || value.containsCalls()) &&
               shouldFlush(value.getQualifier(), value.containsCalls());
      }
      return (myClosure ? value.canBeCapturedInClosure() : value.isFlushableByCalls()) &&
             shouldFlush(value.getQualifier(), value.containsCalls());
    }
boolean shouldFlush(DfaVariableValue value)