21.29/21.32	MAYBE
21.29/21.32	
21.29/21.32	
21.29/21.32	Connected Subgraphs where we couldn't prove Termination:
21.29/21.32	--------------------------------------------------------
21.29/21.32	SCC:
21.29/21.32	+--transitions: t9
21.29/21.32	+--nodes: n_n_n_l6___6___4___4
21.29/21.32	
21.29/21.32	
21.36/21.44	EOF