added labels for states
improved layout of generated graphviz graphs