More advanced dot graph generator. Handles substates, default transitions, and hierarchal transitions to superstates as cluster boxes.