toolbox-sca-3 Create state machines to handle negative conditions