9.70/9.77	MAYBE
9.70/9.77	
9.70/9.77	
9.70/9.77	Connected Subgraphs where we couldn't prove Termination:
9.70/9.77	--------------------------------------------------------
9.70/9.77	SCC:
9.70/9.77	+--transitions: t1,t2,t3
9.70/9.77	+--nodes: n_n_n_f157_0_main_LE___2___1___1,n_n_n_f157_0_main_LE___3___2___2
9.70/9.77	
9.70/9.77	
9.77/9.84	EOF