Function branch_always_exits 

pub fn branch_always_exits(stmt: &Stmt<'_>) -> bool

True when executing stmt provably prevents control from continuing past it: a return, revert/revert(...), require(false, ...), assert(false), a block containing any such statement (any subsequent statements are unreachable), or an if whose both arms exit.