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