fixing specs to verify unrestricted_primary_key policies, #53