Whenever Sigasi detects a state machine in your code, Sigasi will annotate the state transitions in your code with Inlay Hints for easier navigation. Additionally, you can open the State Machines Diagram and Transitions View to visually explore the state machine.
Using all of these features, you can efficiently explore and verify your state machines as shown below.