let
mk_exit_assigns_id x = mk_prop
PKAFctExit
(
Property
.
IPAssigns
x)