Member predicate Stmt :: isUnreachable
Holds if this statement cannot be reached
predicate
isUnreachable
(
)