let fresh = let counter = ref (-1) in fun () -> decr counter; Label (Format.sprintf "unrolling_%d_loop" (- !counter), (CurrentLoc.get ()), false)