Fix Rest_duplicates to actually test duplicates