9.51/9.58	MAYBE
9.51/9.58	
9.51/9.58	
9.51/9.58	Connected Subgraphs where we couldn't prove Termination:
9.51/9.58	--------------------------------------------------------
9.51/9.58	SCC:
9.51/9.58	+--transitions: t3
9.51/9.58	+--nodes: n_n_n_l2___2___2___2
9.51/9.58	
9.51/9.58	
9.58/9.64	EOF