26.46/26.60	MAYBE
26.46/26.60	
26.46/26.60	
26.46/26.60	Connected Subgraphs where we couldn't prove Termination:
26.46/26.60	--------------------------------------------------------
26.46/26.60	SCC:
26.46/26.60	+--transitions: t10,t7,t8,t9
26.46/26.60	+--nodes: n_n_n_l1___1___2___2
26.46/26.60	
26.46/26.60	
26.54/26.66	EOF