let new_loop_computation strat = strat.new_loops