4.58/4.87	MAYBE
4.58/4.87	
4.58/4.87	
4.58/4.87	Connected Subgraphs where we couldn't prove Termination:
4.58/4.87	--------------------------------------------------------
4.58/4.87	SCC:
4.58/4.87	+--transitions: t1,t2
4.58/4.87	+--nodes: n_n_n_l1___1___1___1
4.58/4.87	
4.58/4.87	
4.72/4.93	EOF