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