keiro-dsl-0.15.0.0: test/frontend-0.7/diagnostics/duplicate-clause.txt

duplicate-clause.keiro:8:5:
  |
8 |     goto Open
  |     ^
duplicate goto clause (transition Open -- Move already declared goto Closed)