Clean up presentation of equivalence checking cases.

This avoids inconsitencies between the name of a case, and what is actually executed.