36.55/36.60	MAYBE
36.55/36.60	
36.55/36.60	
36.55/36.60	Connected Subgraphs where we couldn't prove Termination:
36.55/36.60	--------------------------------------------------------
36.55/36.60	SCC:
36.55/36.60	+--transitions: t1
36.55/36.60	+--nodes: n_n_n_l8___1___1___1
36.55/36.60	
36.55/36.60	
36.63/36.66	EOF