Member predicate DefImpl::hasIndexInBlock
Holds if this definition (or use) has index index in block block,
and is a definition (or use) of the variable sv
predicate hasIndexInBlock(IRBlock block, int index, SourceVariable sv)Holds if this definition (or use) has index index in block block,
and is a definition (or use) of the variable sv
predicate hasIndexInBlock(IRBlock block, int index, SourceVariable sv)