A Few Thoughts on Optimising SoftTester