4.61/4.66	MAYBE
4.61/4.66	
4.61/4.66	
4.61/4.66	Connected Subgraphs where we couldn't prove Termination:
4.61/4.66	--------------------------------------------------------
4.61/4.66	SCC:
4.61/4.66	+--transitions: t1,t2
4.61/4.66	+--nodes: n_n_n_l1___1___1___1
4.61/4.66	
4.61/4.66	
4.69/4.73	EOF