Member predicate GlobalUse::hasIndexInBlock

Holds if this definition or use has index index in block block.

predicate hasIndexInBlock(IRBlock block, int index)