Member predicate UseImpl::hasIndexInBlock

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

predicate hasIndexInBlock(IRBlock block, int index)