Member predicate GlobalDef::hasIndexInBlock

Holds if this definition has index index in block block, and is a definition of the variable sv.

predicate hasIndexInBlock(IRBlock block, int index, SourceVariable sv)