new analysis that creates the summarized state transition graph of a machine