- Adding changes to TestCaseGenerator, which I omitted accidentally from my previous commit and push.