fsm/guarantee-back

Generated from the language definition for ruleset 1.7.

Severity: error

Since: 1.2

Summary: a transition moves backward along the guarantee

Fix: Mark the transition aside, or remove it.

See also: /book/workflows