let mk_bhv_from_id kf ki bhv from =
  let id = Property.ip_of_from kf ki (Property.Id_behavior bhv) from in 
    mk_prop PKProp id