4.17/4.25	MAYBE
4.17/4.25	
4.17/4.25	
4.17/4.25	Connected Subgraphs where we couldn't prove Termination:
4.17/4.25	--------------------------------------------------------
4.17/4.25	SCC:
4.17/4.25	+--transitions: t1
4.17/4.25	+--nodes: n_n_n_l0___1___1___1
4.17/4.25	
4.17/4.25	
4.27/4.31	EOF