4.17/4.28	MAYBE
4.17/4.28	
4.17/4.28	
4.17/4.28	Connected Subgraphs where we couldn't prove Termination:
4.17/4.28	--------------------------------------------------------
4.17/4.28	SCC:
4.17/4.28	+--transitions: t1
4.17/4.28	+--nodes: n_n_n_l1___1___1___1
4.17/4.28	
4.17/4.28	
4.27/4.34	EOF