let mk_name prefix kf ki b nth sufix =
let ki_info = match ki with Kglobal -> ""
| Kstmt s -> ("_stmt"^(string_of_int s.sid))
in
let bhv_name =
if b.b_name = Cil.default_behavior_name then "" else ("_"^b.b_name)
in
Pretty_utils.sfprintf "%s%a%s%s_%d%s"
prefix
Kernel_function.pretty kf
bhv_name
ki_info
nth
sufix