* Diagram improved:
- highlight the current state
- start state colored as green
* Change layout
* Show input evaluation and status