Change the identifier generation scheme.

It now includes the label, and will generate a unique identifier for
the repetitions of code within a label.