In order to increase the clarity of generated output, select a name for
the test case variable that is not also used by a test template.