68.99/69.24	MAYBE
68.99/69.24	
68.99/69.24	
68.99/69.24	Connected Subgraphs where we couldn't prove Termination:
68.99/69.24	--------------------------------------------------------
68.99/69.24	SCC:
68.99/69.24	+--transitions: t10,t11,t12,t13,t14,t15,t16,t17,t18,t19,t6,t7,t8,t9
68.99/69.24	+--nodes: n_n_n_l0___4___2___2,n_n_n_l1___12___5___5,n_n_n_l1___3___1___1,n_n_n_l4___14___7___7,n_n_n_l4___5___8___8,n_n_n_l5___15___6___6,n_n_n_l5___8___4___4,n_n_n_l6___7___3___3
68.99/69.24	
68.99/69.24	
69.03/69.31	EOF