To better reflect the job of CheckerGenerator, rename it to
ExpressionGenerator.  This prepares for the removal of the variable
declaration code.