3.41/3.44	MAYBE
3.41/3.44	
3.41/3.44	
3.41/3.44	Connected Subgraphs where we couldn't prove Termination:
3.41/3.44	--------------------------------------------------------
3.41/3.44	SCC:
3.41/3.44	+--transitions: t1
3.41/3.44	+--nodes: n_n_n_l0___1___1___1
3.41/3.44	
3.41/3.44	
3.47/3.49	EOF