67.10/67.13	MAYBE
67.10/67.13	
67.10/67.13	
67.10/67.13	Connected Subgraphs where we couldn't prove Termination:
67.10/67.13	--------------------------------------------------------
67.10/67.13	SCC:
67.10/67.13	+--transitions: t5,t6
67.10/67.13	+--nodes: n_n_n_l3___1___2___2
67.10/67.13	
67.10/67.13	
67.10/67.19	EOF