7.94/8.02	MAYBE
7.94/8.02	
7.94/8.02	
7.94/8.02	Connected Subgraphs where we couldn't prove Termination:
7.94/8.02	--------------------------------------------------------
7.94/8.02	SCC:
7.94/8.02	+--transitions: t5
7.94/8.02	+--nodes: n_n_n_l3___1___1___1
7.94/8.02	
7.94/8.02	
8.07/8.09	EOF