(from automaton-with-gui repo) Merge pull request #36 from FMS-Cat/label-labels
(from automaton-with-gui repo) Merge pull request #36 from FMS-Cat/label-labels

a trivial refactor
FMS-Cat/automaton,FMS-Cat/automaton,FMS-Cat/automaton