Implemented Visualizer class for graphical visualization of state machines. Still needs refactoring though