Return true if we assume that the underlying value is nonnull.
Declared in <llvm/Transforms/IPO/Attributor.h>
<llvm/Transforms/IPO/Attributor.h>
bool isAssumedMustProgress() const;
True if we assume that the underlying value is nonnull.