29.29/29.31	MAYBE
29.29/29.31	
29.29/29.31	
29.29/29.31	Connected Subgraphs where we couldn't prove Termination:
29.29/29.31	--------------------------------------------------------
29.29/29.31	SCC:
29.29/29.31	+--transitions: t13
29.29/29.31	+--nodes: n_n_n_l2___6___6___6
29.29/29.31	
29.29/29.31	
29.30/29.37	EOF