loop_min           85 src/SlidingWindow.cpp     Expr loop_min;
loop_min          229 src/SlidingWindow.cpp                 new_min = select(loop_var_expr <= loop_min, min_required, likely(prev_max_plus_one));
loop_min          233 src/SlidingWindow.cpp                 new_max = select(loop_var_expr <= loop_min, max_required, likely(prev_min_minus_one));