3.17/3.22	MAYBE
3.17/3.22	
3.17/3.22	
3.17/3.22	Connected Subgraphs where we couldn't prove Termination:
3.17/3.22	--------------------------------------------------------
3.17/3.22	SCC:
3.17/3.22	+--transitions: t1
3.17/3.22	+--nodes: n_n_n_l0___1___1___1
3.17/3.22	
3.17/3.22	
3.17/3.28	EOF