fsm/guarantee-initial

Generated from the language definition for ruleset 1.7.

Severity: error

Since: 1.2

Summary: a guarantee does not start at the initial state

Fix: start the guarantee at the initial state

See also: /book/workflows