15.68/15.74	MAYBE
15.68/15.74	
15.68/15.74	
15.68/15.74	Connected Subgraphs where we couldn't prove Termination:
15.68/15.74	--------------------------------------------------------
15.68/15.74	SCC:
15.68/15.74	+--transitions: t4
15.68/15.74	+--nodes: n_n_n_l1___2___1___1
15.68/15.74	
15.68/15.74	
15.79/15.81	EOF