20.50/20.53	MAYBE
20.50/20.53	
20.50/20.53	
20.50/20.53	Connected Subgraphs where we couldn't prove Termination:
20.50/20.53	--------------------------------------------------------
20.50/20.53	SCC:
20.50/20.53	+--transitions: t4,t5,t6,t7,t8
20.50/20.53	+--nodes: n_n_n_f91_0_upAndDown_GT___1___1___1,n_n_n_f91_0_upAndDown_GT___4___3___3,n_n_n_f91_0_upAndDown_GT___6___2___2
20.50/20.53	
20.50/20.53	
20.52/20.59	EOF