Added numbers to case pattern variable names.