Function branch_always_exits 

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

return, custom-error revert, revert(...), or assert(false) / require(false, ...).