22.26/22.28	MAYBE
22.26/22.28	
22.26/22.28	
22.26/22.28	Connected Subgraphs where we couldn't prove Termination:
22.26/22.28	--------------------------------------------------------
22.26/22.28	SCC:
22.26/22.28	+--transitions: t5
22.26/22.28	+--nodes: n_n_n_l6___2___2___2
22.26/22.28	
22.26/22.28	
22.26/22.35	EOF