Few diagram beautifications

* Changed delimiter from "," to ":" on edge labels
* Add warnings for non-matched sources or actions in FSM

(too much warnings until `shutdown_refactoring` is applied)