let mk_fct_assigns_id kf b tkind a = 
  let b = Property.Id_behavior b in
  let kind = get_kind_for_tk kf tkind in
  let p = Property.ip_of_assigns kf Kglobal b (Writes a) in
  Extlib.opt_map (mk_prop kind) p