3.97/4.05	MAYBE
3.97/4.05	
3.97/4.05	
3.97/4.05	Connected Subgraphs where we couldn't prove Termination:
3.97/4.05	--------------------------------------------------------
3.97/4.05	SCC:
3.97/4.05	+--transitions: t1
3.97/4.05	+--nodes: n_n_n_l0___1___1___1
3.97/4.05	
3.97/4.05	
4.08/4.12	EOF