4.43/4.50	MAYBE
4.43/4.50	
4.43/4.50	
4.43/4.50	Connected Subgraphs where we couldn't prove Termination:
4.43/4.50	--------------------------------------------------------
4.43/4.50	SCC:
4.43/4.50	+--transitions: t1
4.43/4.50	+--nodes: n_n_n_l0___1___1___1
4.43/4.50	
4.43/4.50	
4.55/4.57	EOF