4.65/4.73	MAYBE
4.65/4.73	
4.65/4.73	
4.65/4.73	Connected Subgraphs where we couldn't prove Termination:
4.65/4.73	--------------------------------------------------------
4.65/4.73	SCC:
4.65/4.73	+--transitions: t1
4.65/4.73	+--nodes: n_n_n_l0___1___1___1
4.65/4.73	
4.65/4.73	
4.77/4.79	EOF