6.35/6.38	MAYBE
6.35/6.38	
6.35/6.38	
6.35/6.38	Connected Subgraphs where we couldn't prove Termination:
6.35/6.38	--------------------------------------------------------
6.35/6.38	SCC:
6.35/6.38	+--transitions: t1
6.35/6.38	+--nodes: n_n_n_l0___1___1___1
6.35/6.38	
6.35/6.38	
6.41/6.44	EOF