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