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