4.88/4.98	MAYBE
4.88/4.98	
4.88/4.98	
4.88/4.98	Connected Subgraphs where we couldn't prove Termination:
4.88/4.98	--------------------------------------------------------
4.88/4.98	SCC:
4.88/4.98	+--transitions: t1
4.88/4.98	+--nodes: n_n_n_l1___1___1___1
4.88/4.98	
4.88/4.98	
4.99/5.05	EOF