fsm/guarantee-terminal

Generated from the language definition for ruleset 1.7.

Severity: error

Since: 1.2

Summary: a guarantee does not end on a terminal state

Fix: end the guarantee on a terminal state

See also: /book/workflows