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