let mk_compl_bhv_id l = mk_prop PKProp (Property.IPComplete l)