Returns true, if no instruction between Assume and CtxI may free (including through synchronization).
Assume
CtxI
Declared in <llvm/Analysis/ValueTracking.h>
<llvm/Analysis/ValueTracking.h>
bool willNotFreeBetween( Instruction const* Assume, Instruction const* CtxI);