15.43/15.46	MAYBE
15.43/15.46	
15.43/15.46	
15.43/15.46	Connected Subgraphs where we couldn't prove Termination:
15.43/15.46	--------------------------------------------------------
15.43/15.46	SCC:
15.43/15.46	+--transitions: t4,t5,t6,t7,t8
15.43/15.46	+--nodes: n_n_n_f120_0_upAndDown_GT___1___1___1,n_n_n_f120_0_upAndDown_GT___4___3___3,n_n_n_f120_0_upAndDown_GT___6___2___2
15.43/15.46	
15.43/15.46	
15.47/15.53	EOF