5.93/5.97	MAYBE
5.93/5.97	
5.93/5.97	
5.93/5.97	Connected Subgraphs where we couldn't prove Termination:
5.93/5.97	--------------------------------------------------------
5.93/5.97	SCC:
5.93/5.97	+--transitions: t1
5.93/5.97	+--nodes: n_n_n_l1___1___1___1
5.93/5.97	
5.93/5.97	
5.93/6.03	EOF