3.81/3.83	MAYBE
3.81/3.83	
3.81/3.83	
3.81/3.83	Connected Subgraphs where we couldn't prove Termination:
3.81/3.83	--------------------------------------------------------
3.81/3.83	SCC:
3.81/3.83	+--transitions: t1
3.81/3.83	+--nodes: n_n_n_l0___1___1___1
3.81/3.83	
3.81/3.83	
3.81/3.89	EOF