6.59/6.67	MAYBE
6.59/6.67	
6.59/6.67	
6.59/6.67	Connected Subgraphs where we couldn't prove Termination:
6.59/6.67	--------------------------------------------------------
6.59/6.67	SCC:
6.59/6.67	+--transitions: t3
6.59/6.67	+--nodes: n_n_n_l0___1___1___1
6.59/6.67	
6.59/6.67	
6.66/6.73	EOF