Member predicate ReturnIndirectionInstruction :: isThisIndirection
Holds if this instruction is the return indirection for this
.
predicate
isThisIndirection
(
)