Updating state transition graph for a better readibility of the model.