let mk_fct_from_id kf bhv tkind from =
  let id = Property.ip_of_from kf Kglobal (Property.Id_behavior bhv) from in 
  let kind = get_kind_for_tk kf tkind in
    mk_prop kind id