jani-model: Actions are not declared
Testing the TwoFireCracker example with a file name, the model is rejected when starting an analysis task with the reason "Received an invalid model: Reference to undeclared action "strike?"." This is because the model submitted to the server does not declare any actions, but does label edges with (thus undeclared) actions.