3.49/3.60	MAYBE
3.49/3.60	
3.49/3.60	
3.49/3.60	Connected Subgraphs where we couldn't prove Termination:
3.49/3.60	--------------------------------------------------------
3.49/3.60	SCC:
3.49/3.60	+--transitions: t1
3.49/3.60	+--nodes: n_n_n_l0___1___1___1
3.49/3.60	
3.49/3.60	
3.59/3.66	EOF