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