24.23/24.36	MAYBE
24.23/24.36	
24.23/24.36	
24.23/24.36	Connected Subgraphs where we couldn't prove Termination:
24.23/24.36	--------------------------------------------------------
24.23/24.36	SCC:
24.23/24.36	+--transitions: t5
24.23/24.36	+--nodes: n_n_n_l6___2___2___2
24.23/24.36	
24.23/24.36	
24.37/24.43	EOF