25.45/25.48	MAYBE
25.45/25.48	
25.45/25.48	
25.45/25.48	Connected Subgraphs where we couldn't prove Termination:
25.45/25.48	--------------------------------------------------------
25.45/25.48	SCC:
25.45/25.48	+--transitions: t5
25.45/25.48	+--nodes: n_n_n_l6___2___2___2
25.45/25.48	
25.45/25.48	
25.51/25.55	EOF