let
mk_loop_assigns_id x = mk_prop
PKPropLoop
(
Property
.
IPAssigns
x)