Member predicate Stmts::Stmt::isUnreachable

Holds if this statement cannot be reached

predicate isUnreachable()