let
mk_decrease_id x = mk_prop
PKProp
(
Property
.
IPDecrease
x)