Generated state diagram
Removed more cruft