let gid ~context ~kf ~bhv ~propid =
let gname = WpAnnot.prop_txt propid in
let fname = Kernel_function.get_name kf in
match bhv with
| Some b -> Printf.sprintf "%s_%s_%s_%s" context fname b gname
| None -> Printf.sprintf "%s_%s_%s" context fname gname