Add a test case to exhibit the previously fixed bug with set