Adding updated state transition graph.