8.79/8.91	MAYBE
8.79/8.91	
8.79/8.91	
8.79/8.91	Connected Subgraphs where we couldn't prove Termination:
8.79/8.91	--------------------------------------------------------
8.79/8.91	SCC:
8.79/8.91	+--transitions: t3,t4,t5
8.79/8.91	+--nodes: n_n_n_l1___2___2___2,n_n_n_l2___1___1___1
8.79/8.91	
8.79/8.91	
8.87/8.97	EOF