6.22/6.24	MAYBE
6.22/6.24	
6.22/6.24	
6.22/6.24	Connected Subgraphs where we couldn't prove Termination:
6.22/6.24	--------------------------------------------------------
6.22/6.24	SCC:
6.22/6.24	+--transitions: t1
6.22/6.24	+--nodes: n_n_n_l1___1___1___1
6.22/6.24	
6.22/6.24	
6.28/6.31	EOF