Fixed a bug with EFSM to_dot and added more tests.