7.61/7.74	MAYBE
7.61/7.74	
7.61/7.74	
7.61/7.74	Connected Subgraphs where we couldn't prove Termination:
7.61/7.74	--------------------------------------------------------
7.61/7.74	SCC:
7.61/7.74	+--transitions: t5
7.61/7.74	+--nodes: n_n_n_l2___1___1___1
7.61/7.74	
7.61/7.74	
7.71/7.81	EOF