8.59/8.67	MAYBE
8.59/8.67	
8.59/8.67	
8.59/8.67	Connected Subgraphs where we couldn't prove Termination:
8.59/8.67	--------------------------------------------------------
8.59/8.67	SCC:
8.59/8.67	+--transitions: t3
8.59/8.67	+--nodes: n_n_n_l2___1___1___1
8.59/8.67	
8.59/8.67	
8.68/8.74	EOF