Member predicate GlobalDefImpl::isCertain

Holds if this definition is guaranteed to totally overwrite the destination buffer.