fsm/guarantee-aside

Generated from the language definition for ruleset 1.7.

Severity: error

Since: 1.2

Summary: a transition leaves the guarantee or returns to it without aside

Fix: Mark the transition aside.

See also: /book/workflows