Defer generating labels in the automaton to prevent duplicate labels being generated#105

Merged

gafter merged 4 commits intomainfrom bug102

Nov 8, 2024

+92-26

Commits on Nov 5, 2024

implify the code a bit before fixing #102
gafter
committed

Commits on Nov 7, 2024

Fix #102 by deferring the creation of a label until code generation.
gafter
committed

Commits on Nov 8, 2024