When the flow goes through a circuit, it highlights the current state and briefly highlights the path taken. I wish it could be possible to maintain the path-highlight indefinitely or at least somehow mark a transition used to exit a state, and that's because there can be states with multiple transitions leading to a same other state, but it's impossible with a quick look at the Graph View to know which transition was used to leave said state.