Member predicate Stmt::isUnreachable

Holds if this statement cannot be reached

predicate isUnreachable()