let
mk_stmt_assigns_id x = mk_prop
PKProp
(
Property
.
IPAssigns
x)