DfaValue (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); }