Member predicate ReturnIndirectionInstruction :: hasIndex
Holds if this instruction is the return indirection for the parameter with index index, or
if this instruction is the return indirection for this and index is -1.
Holds if this instruction is the return indirection for the parameter with index index, or
if this instruction is the return indirection for this and index is -1.