38.99/39.23	MAYBE
38.99/39.23	
38.99/39.23	
38.99/39.23	Connected Subgraphs where we couldn't prove Termination:
38.99/39.23	--------------------------------------------------------
38.99/39.23	SCC:
38.99/39.23	+--transitions: t13
38.99/39.23	+--nodes: n_n_n_l2___6___6___6
38.99/39.23	
38.99/39.23	
38.99/39.29	EOF