49.10/49.17	MAYBE
49.10/49.17	
49.10/49.17	
49.10/49.17	Connected Subgraphs where we couldn't prove Termination:
49.10/49.17	--------------------------------------------------------
49.10/49.17	SCC:
49.10/49.17	+--transitions: t16,t17,t18,t20
49.10/49.17	+--nodes: n_n_n_f213_0_increase_LE_P___4___1___1,n_n_n_f213_0_increase_LE___6___5___5
49.10/49.17	
49.10/49.17	
49.17/49.23	EOF