7.13/7.15	MAYBE
7.13/7.15	
7.13/7.15	
7.13/7.15	Termination: (Ranking Functions Found)
7.13/7.15	------------
7.13/7.15	n_n_l2___1___1: < < 1 + x_0 > >
7.13/7.15	l2: < < x_0 > >
7.13/7.15	l1: < < -1 + x_0 > >
7.13/7.15	n_l2___1: < < 1 + x_0 > >
7.13/7.15	n_l0___2: < < x_0 > >
7.13/7.15	l0: < < -1 + x_0 > >
7.13/7.15	n_n_n_l2___1___1___1: < < 1 + x_0 > >
7.13/7.15	n_n_l0___2___2: < < x_0 > >
7.13/7.15	n_n_n_l0___2___2___2: < < x_0 > >
7.13/7.15	
7.13/7.15	
7.13/7.15	Connected Subgraphs where we couldn't prove Termination:
7.13/7.15	--------------------------------------------------------
7.13/7.15	SCC:
7.13/7.15	+--transitions: t1,t2
7.13/7.15	+--nodes: n_n_n_l0___2___2___2,n_n_n_l2___1___1___1
7.13/7.15	
7.13/7.15	
7.14/7.22	EOF