Function branch_stops_current_path 

fn branch_stops_current_path(gcx: Gcx<'_>, stmt: &Stmt<'_>) -> bool

break/continue or anything that exits the function, so the current path stops here.