Holds if we wish to override the “may return NULL” inference for this
call. If this holds, then rather than trying to infer whether this
call might return NULL, we will instead test whether
holds for it.
By default, this handles the
Xstrdup function used by the CVS