a consecutive pair on the guarantee has no transition
fsm/guarantee-gap
Generated from the language definition for ruleset 1.7.
Severity: error
Since: 1.2
Summary: a consecutive pair on the guarantee has no transition
Fix: add the transition for that step
See also: /book/workflows