5.46/5.51	MAYBE
5.46/5.51	
5.46/5.51	
5.46/5.51	Connected Subgraphs where we couldn't prove Termination:
5.46/5.51	--------------------------------------------------------
5.46/5.51	SCC:
5.46/5.51	+--transitions: t1
5.46/5.51	+--nodes: n_n_n_l1___1___1___1
5.46/5.51	
5.46/5.51	
5.46/5.57	EOF