Fixed a bug where the compiler would erronously mark states with a single slice transition as unitary, even though such transitions could match more than one index.
Checklist
All of these should be ticked off before you submit the PR.
[x] I ran just verify locally and it succeeded.
[x] Issue was given go ahead and is linked above OR I have included justification for a minor change.
[x] Unit tests for my changes are included OR no functionality was changed.
Short description
Fixed a bug where the compiler would erronously mark states with a single slice transition as unitary, even though such transitions could match more than one index.
Checklist
All of these should be ticked off before you submit the PR.
just verify
locally and it succeeded.