Equation nullableResultEquation(boolean stable) {
    final EKey key = new EKey(method, NullableOut, stable);
    final Result result;
    if (exception ||
        returnValue instanceof Trackable && interpreter.dereferencedValues[((Trackable)returnValue).getOriginInsnIndex()]) {
      result = Value.Bot;
    }
    else if (returnValue instanceof TrackableCallValue call) {
      EKey callKey = new EKey(call.method, NullableOut, call.stableCall || call.thisCall);
      Set<EKey> keys = Collections.singleton(callKey);
      result = new Pending(Collections.singleton(new Component(Value.Null, keys)));
    }
    else if (returnValue instanceof TrackableNullValue) {
      result = Value.Null;
    }
    else {
      result = Value.Bot;
    }
    return new Equation(key, result);
  }
Equation nullableResultEquation(boolean stable)