@Override
    public DfaValue getDfaValue(DfaValueFactory factory, DfaCallState callState) {
      DfaValue qualifier = callState.myCallArguments.myQualifier;
      if (qualifier != null && !DfaTypeValue.isUnknown(qualifier)) {
        return merge(callState.myReturnValue, qualifier, callState.myMemoryState);
      }
      return merge(callState.myReturnValue, factory.fromDfType(DfTypes.NOT_NULL_OBJECT), callState.myMemoryState);
    }
@Override
    public DfaValue getDfaValue(DfaValueFactory factory, DfaCallState callState)