[plt-dev] where clauses in reduction relations & metafunctions

If you have any redex models lying around, can you look and see if you
use 'where' clauses? If so, can you look to see if the variable bound
in the where clause has an appropriate name for what it is bound to?
That is, if it is bound to a number, the variable must be named
number_x (for some 'x')?

Thanks,
Robby