Member predicate Call :: isTailCall
Holds if this is a “tail call”, meaning that control does not return to the calling method.
predicate
isTailCall
(
)