let
mk_decrease_id (kf, s, x) =
mk_prop
PKProp
(
Property
.ip_of_decreases kf s x)