3.64/3.72	MAYBE
3.64/3.72	
3.64/3.72	
3.64/3.72	Connected Subgraphs where we couldn't prove Termination:
3.64/3.72	--------------------------------------------------------
3.64/3.72	SCC:
3.64/3.72	+--transitions: t1
3.64/3.72	+--nodes: n_n_n_l0___1___1___1
3.64/3.72	
3.64/3.72	
3.76/3.78	EOF