keiro-dsl-0.15.0.0: test/frontend-0.7/diagnostics/semantic-error.txt

semantic-error.keiro:7: error[UndeclaredCommand]: transition references undeclared command 'MissingCommand'