I did wonder whether it made sense to do this kind of thing with a general tool like Csmith compared to something tailored to the job.
I think the answer is that the tailored tool will always be able to do things that the generic tool cannot, but that we don't have time to create all of the tailored tools that we'd like to see.
John