Use find_loop_location from unrolling