use "x" instead of "_x_" as prefix for our renamed variables
add a --fuzz command line argument which cases C-Reduce to
probabilistically skip potential transformations. the effect will be
to slow down the fixpoint computation and (hopefully) act as a more
effective fuzzer

why is C-Reduce a fuzzer it all? it just is, as are other program
reducers, according to people I have talked to...