let gid ~context ~kf ~bhv ~propid =
  let gname = WpPropId.prop_id_name 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