I am really happy with it and I wanted to share it:
The diagram is executable in the sense that is a representation of the state machine that control the logic of the program.
If you write in the console:
show='path'you can see all the states/edges visited during the execution
To go back to only highligth the current state/edge write in the console:
Is posible to move the diagram (‘click and drag’), zoom in (‘double click’ the diagram) and zoom out (shift + ‘double click’ the diagram)
Cheers and happy coding