let mk_loop_implicit_fun_name s n =
  Pretty_utils.sfprintf "Floop%d_%d" s.sid n