
Initial complexity problem:
1:	T:
		(Comp: ?, Cost: 1)    f0(Ar_0, Ar_1, Ar_2) -> Com_1(f1(Ar_0, Ar_1, Ar_2))
		(Comp: ?, Cost: 1)    f1(Ar_0, Ar_1, Ar_2) -> Com_1(f1(Fresh_0, Fresh_1, Ar_1)) [ Ar_0 >= 1 /\ D >= 1 /\ Ar_1 = 0 ]
		(Comp: 1, Cost: 0)    koat_start(Ar_0, Ar_1, Ar_2) -> Com_1(f0(Ar_0, Ar_1, Ar_2)) [ 0 <= 0 ]
	start location:	koat_start
	leaf cost:	0

Repeatedly propagating knowledge in problem 1 produces the following problem:
2:	T:
		(Comp: 1, Cost: 1)    f0(Ar_0, Ar_1, Ar_2) -> Com_1(f1(Ar_0, Ar_1, Ar_2))
		(Comp: ?, Cost: 1)    f1(Ar_0, Ar_1, Ar_2) -> Com_1(f1(Fresh_0, Fresh_1, Ar_1)) [ Ar_0 >= 1 /\ D >= 1 /\ Ar_1 = 0 ]
		(Comp: 1, Cost: 0)    koat_start(Ar_0, Ar_1, Ar_2) -> Com_1(f0(Ar_0, Ar_1, Ar_2)) [ 0 <= 0 ]
	start location:	koat_start
	leaf cost:	0

By chaining the transition f0(Ar_0, Ar_1, Ar_2) -> Com_1(f1(Ar_0, Ar_1, Ar_2)) with all transitions in problem 2, the following new transition is obtained:
	f0(Ar_0, Ar_1, Ar_2) -> Com_1(f1(Fresh_0, Fresh_1, Ar_1)) [ Ar_0 >= 1 /\ D >= 1 /\ Ar_1 = 0 ]
We thus obtain the following problem:
3:	T:
		(Comp: 1, Cost: 2)    f0(Ar_0, Ar_1, Ar_2) -> Com_1(f1(Fresh_0, Fresh_1, Ar_1)) [ Ar_0 >= 1 /\ D >= 1 /\ Ar_1 = 0 ]
		(Comp: ?, Cost: 1)    f1(Ar_0, Ar_1, Ar_2) -> Com_1(f1(Fresh_0, Fresh_1, Ar_1)) [ Ar_0 >= 1 /\ D >= 1 /\ Ar_1 = 0 ]
		(Comp: 1, Cost: 0)    koat_start(Ar_0, Ar_1, Ar_2) -> Com_1(f0(Ar_0, Ar_1, Ar_2)) [ 0 <= 0 ]
	start location:	koat_start
	leaf cost:	0

By chaining the transition f0(Ar_0, Ar_1, Ar_2) -> Com_1(f1(Fresh_0, Fresh_1, Ar_1)) [ Ar_0 >= 1 /\ D >= 1 /\ Ar_1 = 0 ] with all transitions in problem 3, the following new transition is obtained:
	f0(Ar_0, Ar_1, Ar_2) -> Com_1(f1(Fresh_0', Fresh_1', Fresh_1)) [ Ar_0 >= 1 /\ D >= 1 /\ Ar_1 = 0 /\ Fresh_0 >= 1 /\ D' >= 1 /\ Fresh_1 = 0 ]
We thus obtain the following problem:
4:	T:
		(Comp: 1, Cost: 3)    f0(Ar_0, Ar_1, Ar_2) -> Com_1(f1(Fresh_0', Fresh_1', Fresh_1)) [ Ar_0 >= 1 /\ D >= 1 /\ Ar_1 = 0 /\ Fresh_0 >= 1 /\ D' >= 1 /\ Fresh_1 = 0 ]
		(Comp: ?, Cost: 1)    f1(Ar_0, Ar_1, Ar_2) -> Com_1(f1(Fresh_0, Fresh_1, Ar_1)) [ Ar_0 >= 1 /\ D >= 1 /\ Ar_1 = 0 ]
		(Comp: 1, Cost: 0)    koat_start(Ar_0, Ar_1, Ar_2) -> Com_1(f0(Ar_0, Ar_1, Ar_2)) [ 0 <= 0 ]
	start location:	koat_start
	leaf cost:	0

By chaining the transition f0(Ar_0, Ar_1, Ar_2) -> Com_1(f1(Fresh_0', Fresh_1', Fresh_1)) [ Ar_0 >= 1 /\ D >= 1 /\ Ar_1 = 0 /\ Fresh_0 >= 1 /\ D' >= 1 /\ Fresh_1 = 0 ] with all transitions in problem 4, the following new transition is obtained:
	f0(Ar_0, Ar_1, Ar_2) -> Com_1(f1(Fresh_0'', Fresh_1'', Fresh_1')) [ Ar_0 >= 1 /\ D >= 1 /\ Ar_1 = 0 /\ Fresh_0 >= 1 /\ D' >= 1 /\ Fresh_1 = 0 /\ Fresh_0' >= 1 /\ D'' >= 1 /\ Fresh_1' = 0 ]
We thus obtain the following problem:
5:	T:
		(Comp: 1, Cost: 4)    f0(Ar_0, Ar_1, Ar_2) -> Com_1(f1(Fresh_0'', Fresh_1'', Fresh_1')) [ Ar_0 >= 1 /\ D >= 1 /\ Ar_1 = 0 /\ Fresh_0 >= 1 /\ D' >= 1 /\ Fresh_1 = 0 /\ Fresh_0' >= 1 /\ D'' >= 1 /\ Fresh_1' = 0 ]
		(Comp: ?, Cost: 1)    f1(Ar_0, Ar_1, Ar_2) -> Com_1(f1(Fresh_0, Fresh_1, Ar_1)) [ Ar_0 >= 1 /\ D >= 1 /\ Ar_1 = 0 ]
		(Comp: 1, Cost: 0)    koat_start(Ar_0, Ar_1, Ar_2) -> Com_1(f0(Ar_0, Ar_1, Ar_2)) [ 0 <= 0 ]
	start location:	koat_start
	leaf cost:	0

By chaining the transition f0(Ar_0, Ar_1, Ar_2) -> Com_1(f1(Fresh_0'', Fresh_1'', Fresh_1')) [ Ar_0 >= 1 /\ D >= 1 /\ Ar_1 = 0 /\ Fresh_0 >= 1 /\ D' >= 1 /\ Fresh_1 = 0 /\ Fresh_0' >= 1 /\ D'' >= 1 /\ Fresh_1' = 0 ] with all transitions in problem 5, the following new transition is obtained:
	f0(Ar_0, Ar_1, Ar_2) -> Com_1(f1(Fresh_0''', Fresh_1''', Fresh_1'')) [ Ar_0 >= 1 /\ D >= 1 /\ Ar_1 = 0 /\ Fresh_0 >= 1 /\ D' >= 1 /\ Fresh_1 = 0 /\ Fresh_0' >= 1 /\ D'' >= 1 /\ Fresh_1' = 0 /\ Fresh_0'' >= 1 /\ D''' >= 1 /\ Fresh_1'' = 0 ]
We thus obtain the following problem:
6:	T:
		(Comp: 1, Cost: 5)    f0(Ar_0, Ar_1, Ar_2) -> Com_1(f1(Fresh_0''', Fresh_1''', Fresh_1'')) [ Ar_0 >= 1 /\ D >= 1 /\ Ar_1 = 0 /\ Fresh_0 >= 1 /\ D' >= 1 /\ Fresh_1 = 0 /\ Fresh_0' >= 1 /\ D'' >= 1 /\ Fresh_1' = 0 /\ Fresh_0'' >= 1 /\ D''' >= 1 /\ Fresh_1'' = 0 ]
		(Comp: ?, Cost: 1)    f1(Ar_0, Ar_1, Ar_2) -> Com_1(f1(Fresh_0, Fresh_1, Ar_1)) [ Ar_0 >= 1 /\ D >= 1 /\ Ar_1 = 0 ]
		(Comp: 1, Cost: 0)    koat_start(Ar_0, Ar_1, Ar_2) -> Com_1(f0(Ar_0, Ar_1, Ar_2)) [ 0 <= 0 ]
	start location:	koat_start
	leaf cost:	0

By chaining the transition f0(Ar_0, Ar_1, Ar_2) -> Com_1(f1(Fresh_0''', Fresh_1''', Fresh_1'')) [ Ar_0 >= 1 /\ D >= 1 /\ Ar_1 = 0 /\ Fresh_0 >= 1 /\ D' >= 1 /\ Fresh_1 = 0 /\ Fresh_0' >= 1 /\ D'' >= 1 /\ Fresh_1' = 0 /\ Fresh_0'' >= 1 /\ D''' >= 1 /\ Fresh_1'' = 0 ] with all transitions in problem 6, the following new transition is obtained:
	f0(Ar_0, Ar_1, Ar_2) -> Com_1(f1(Fresh_0'''', Fresh_1'''', Fresh_1''')) [ Ar_0 >= 1 /\ D >= 1 /\ Ar_1 = 0 /\ Fresh_0 >= 1 /\ D' >= 1 /\ Fresh_1 = 0 /\ Fresh_0' >= 1 /\ D'' >= 1 /\ Fresh_1' = 0 /\ Fresh_0'' >= 1 /\ D''' >= 1 /\ Fresh_1'' = 0 /\ Fresh_0''' >= 1 /\ D'''' >= 1 /\ Fresh_1''' = 0 ]
We thus obtain the following problem:
7:	T:
		(Comp: 1, Cost: 6)    f0(Ar_0, Ar_1, Ar_2) -> Com_1(f1(Fresh_0'''', Fresh_1'''', Fresh_1''')) [ Ar_0 >= 1 /\ D >= 1 /\ Ar_1 = 0 /\ Fresh_0 >= 1 /\ D' >= 1 /\ Fresh_1 = 0 /\ Fresh_0' >= 1 /\ D'' >= 1 /\ Fresh_1' = 0 /\ Fresh_0'' >= 1 /\ D''' >= 1 /\ Fresh_1'' = 0 /\ Fresh_0''' >= 1 /\ D'''' >= 1 /\ Fresh_1''' = 0 ]
		(Comp: ?, Cost: 1)    f1(Ar_0, Ar_1, Ar_2) -> Com_1(f1(Fresh_0, Fresh_1, Ar_1)) [ Ar_0 >= 1 /\ D >= 1 /\ Ar_1 = 0 ]
		(Comp: 1, Cost: 0)    koat_start(Ar_0, Ar_1, Ar_2) -> Com_1(f0(Ar_0, Ar_1, Ar_2)) [ 0 <= 0 ]
	start location:	koat_start
	leaf cost:	0

By chaining the transition f0(Ar_0, Ar_1, Ar_2) -> Com_1(f1(Fresh_0'''', Fresh_1'''', Fresh_1''')) [ Ar_0 >= 1 /\ D >= 1 /\ Ar_1 = 0 /\ Fresh_0 >= 1 /\ D' >= 1 /\ Fresh_1 = 0 /\ Fresh_0' >= 1 /\ D'' >= 1 /\ Fresh_1' = 0 /\ Fresh_0'' >= 1 /\ D''' >= 1 /\ Fresh_1'' = 0 /\ Fresh_0''' >= 1 /\ D'''' >= 1 /\ Fresh_1''' = 0 ] with all transitions in problem 7, the following new transition is obtained:
	f0(Ar_0, Ar_1, Ar_2) -> Com_1(f1(Fresh_0''''', Fresh_1''''', Fresh_1'''')) [ Ar_0 >= 1 /\ D >= 1 /\ Ar_1 = 0 /\ Fresh_0 >= 1 /\ D' >= 1 /\ Fresh_1 = 0 /\ Fresh_0' >= 1 /\ D'' >= 1 /\ Fresh_1' = 0 /\ Fresh_0'' >= 1 /\ D''' >= 1 /\ Fresh_1'' = 0 /\ Fresh_0''' >= 1 /\ D'''' >= 1 /\ Fresh_1''' = 0 /\ Fresh_0'''' >= 1 /\ D''''' >= 1 /\ Fresh_1'''' = 0 ]
We thus obtain the following problem:
8:	T:
		(Comp: 1, Cost: 7)    f0(Ar_0, Ar_1, Ar_2) -> Com_1(f1(Fresh_0''''', Fresh_1''''', Fresh_1'''')) [ Ar_0 >= 1 /\ D >= 1 /\ Ar_1 = 0 /\ Fresh_0 >= 1 /\ D' >= 1 /\ Fresh_1 = 0 /\ Fresh_0' >= 1 /\ D'' >= 1 /\ Fresh_1' = 0 /\ Fresh_0'' >= 1 /\ D''' >= 1 /\ Fresh_1'' = 0 /\ Fresh_0''' >= 1 /\ D'''' >= 1 /\ Fresh_1''' = 0 /\ Fresh_0'''' >= 1 /\ D''''' >= 1 /\ Fresh_1'''' = 0 ]
		(Comp: ?, Cost: 1)    f1(Ar_0, Ar_1, Ar_2) -> Com_1(f1(Fresh_0, Fresh_1, Ar_1)) [ Ar_0 >= 1 /\ D >= 1 /\ Ar_1 = 0 ]
		(Comp: 1, Cost: 0)    koat_start(Ar_0, Ar_1, Ar_2) -> Com_1(f0(Ar_0, Ar_1, Ar_2)) [ 0 <= 0 ]
	start location:	koat_start
	leaf cost:	0

By chaining the transition f0(Ar_0, Ar_1, Ar_2) -> Com_1(f1(Fresh_0''''', Fresh_1''''', Fresh_1'''')) [ Ar_0 >= 1 /\ D >= 1 /\ Ar_1 = 0 /\ Fresh_0 >= 1 /\ D' >= 1 /\ Fresh_1 = 0 /\ Fresh_0' >= 1 /\ D'' >= 1 /\ Fresh_1' = 0 /\ Fresh_0'' >= 1 /\ D''' >= 1 /\ Fresh_1'' = 0 /\ Fresh_0''' >= 1 /\ D'''' >= 1 /\ Fresh_1''' = 0 /\ Fresh_0'''' >= 1 /\ D''''' >= 1 /\ Fresh_1'''' = 0 ] with all transitions in problem 8, the following new transition is obtained:
	f0(Ar_0, Ar_1, Ar_2) -> Com_1(f1(Fresh_0'''''', Fresh_1'''''', Fresh_1''''')) [ Ar_0 >= 1 /\ D >= 1 /\ Ar_1 = 0 /\ Fresh_0 >= 1 /\ D' >= 1 /\ Fresh_1 = 0 /\ Fresh_0' >= 1 /\ D'' >= 1 /\ Fresh_1' = 0 /\ Fresh_0'' >= 1 /\ D''' >= 1 /\ Fresh_1'' = 0 /\ Fresh_0''' >= 1 /\ D'''' >= 1 /\ Fresh_1''' = 0 /\ Fresh_0'''' >= 1 /\ D''''' >= 1 /\ Fresh_1'''' = 0 /\ Fresh_0''''' >= 1 /\ D'''''' >= 1 /\ Fresh_1''''' = 0 ]
We thus obtain the following problem:
9:	T:
		(Comp: 1, Cost: 8)    f0(Ar_0, Ar_1, Ar_2) -> Com_1(f1(Fresh_0'''''', Fresh_1'''''', Fresh_1''''')) [ Ar_0 >= 1 /\ D >= 1 /\ Ar_1 = 0 /\ Fresh_0 >= 1 /\ D' >= 1 /\ Fresh_1 = 0 /\ Fresh_0' >= 1 /\ D'' >= 1 /\ Fresh_1' = 0 /\ Fresh_0'' >= 1 /\ D''' >= 1 /\ Fresh_1'' = 0 /\ Fresh_0''' >= 1 /\ D'''' >= 1 /\ Fresh_1''' = 0 /\ Fresh_0'''' >= 1 /\ D''''' >= 1 /\ Fresh_1'''' = 0 /\ Fresh_0''''' >= 1 /\ D'''''' >= 1 /\ Fresh_1''''' = 0 ]
		(Comp: ?, Cost: 1)    f1(Ar_0, Ar_1, Ar_2) -> Com_1(f1(Fresh_0, Fresh_1, Ar_1)) [ Ar_0 >= 1 /\ D >= 1 /\ Ar_1 = 0 ]
		(Comp: 1, Cost: 0)    koat_start(Ar_0, Ar_1, Ar_2) -> Com_1(f0(Ar_0, Ar_1, Ar_2)) [ 0 <= 0 ]
	start location:	koat_start
	leaf cost:	0

By chaining the transition f0(Ar_0, Ar_1, Ar_2) -> Com_1(f1(Fresh_0'''''', Fresh_1'''''', Fresh_1''''')) [ Ar_0 >= 1 /\ D >= 1 /\ Ar_1 = 0 /\ Fresh_0 >= 1 /\ D' >= 1 /\ Fresh_1 = 0 /\ Fresh_0' >= 1 /\ D'' >= 1 /\ Fresh_1' = 0 /\ Fresh_0'' >= 1 /\ D''' >= 1 /\ Fresh_1'' = 0 /\ Fresh_0''' >= 1 /\ D'''' >= 1 /\ Fresh_1''' = 0 /\ Fresh_0'''' >= 1 /\ D''''' >= 1 /\ Fresh_1'''' = 0 /\ Fresh_0''''' >= 1 /\ D'''''' >= 1 /\ Fresh_1''''' = 0 ] with all transitions in problem 9, the following new transition is obtained:
	f0(Ar_0, Ar_1, Ar_2) -> Com_1(f1(Fresh_0''''''', Fresh_1''''''', Fresh_1'''''')) [ Ar_0 >= 1 /\ D >= 1 /\ Ar_1 = 0 /\ Fresh_0 >= 1 /\ D' >= 1 /\ Fresh_1 = 0 /\ Fresh_0' >= 1 /\ D'' >= 1 /\ Fresh_1' = 0 /\ Fresh_0'' >= 1 /\ D''' >= 1 /\ Fresh_1'' = 0 /\ Fresh_0''' >= 1 /\ D'''' >= 1 /\ Fresh_1''' = 0 /\ Fresh_0'''' >= 1 /\ D''''' >= 1 /\ Fresh_1'''' = 0 /\ Fresh_0''''' >= 1 /\ D'''''' >= 1 /\ Fresh_1''''' = 0 /\ Fresh_0'''''' >= 1 /\ D''''''' >= 1 /\ Fresh_1'''''' = 0 ]
We thus obtain the following problem:
10:	T:
		(Comp: 1, Cost: 9)    f0(Ar_0, Ar_1, Ar_2) -> Com_1(f1(Fresh_0''''''', Fresh_1''''''', Fresh_1'''''')) [ Ar_0 >= 1 /\ D >= 1 /\ Ar_1 = 0 /\ Fresh_0 >= 1 /\ D' >= 1 /\ Fresh_1 = 0 /\ Fresh_0' >= 1 /\ D'' >= 1 /\ Fresh_1' = 0 /\ Fresh_0'' >= 1 /\ D''' >= 1 /\ Fresh_1'' = 0 /\ Fresh_0''' >= 1 /\ D'''' >= 1 /\ Fresh_1''' = 0 /\ Fresh_0'''' >= 1 /\ D''''' >= 1 /\ Fresh_1'''' = 0 /\ Fresh_0''''' >= 1 /\ D'''''' >= 1 /\ Fresh_1''''' = 0 /\ Fresh_0'''''' >= 1 /\ D''''''' >= 1 /\ Fresh_1'''''' = 0 ]
		(Comp: ?, Cost: 1)    f1(Ar_0, Ar_1, Ar_2) -> Com_1(f1(Fresh_0, Fresh_1, Ar_1)) [ Ar_0 >= 1 /\ D >= 1 /\ Ar_1 = 0 ]
		(Comp: 1, Cost: 0)    koat_start(Ar_0, Ar_1, Ar_2) -> Com_1(f0(Ar_0, Ar_1, Ar_2)) [ 0 <= 0 ]
	start location:	koat_start
	leaf cost:	0

By chaining the transition f0(Ar_0, Ar_1, Ar_2) -> Com_1(f1(Fresh_0''''''', Fresh_1''''''', Fresh_1'''''')) [ Ar_0 >= 1 /\ D >= 1 /\ Ar_1 = 0 /\ Fresh_0 >= 1 /\ D' >= 1 /\ Fresh_1 = 0 /\ Fresh_0' >= 1 /\ D'' >= 1 /\ Fresh_1' = 0 /\ Fresh_0'' >= 1 /\ D''' >= 1 /\ Fresh_1'' = 0 /\ Fresh_0''' >= 1 /\ D'''' >= 1 /\ Fresh_1''' = 0 /\ Fresh_0'''' >= 1 /\ D''''' >= 1 /\ Fresh_1'''' = 0 /\ Fresh_0''''' >= 1 /\ D'''''' >= 1 /\ Fresh_1''''' = 0 /\ Fresh_0'''''' >= 1 /\ D''''''' >= 1 /\ Fresh_1'''''' = 0 ] with all transitions in problem 10, the following new transition is obtained:
	f0(Ar_0, Ar_1, Ar_2) -> Com_1(f1(Fresh_0'''''''', Fresh_1'''''''', Fresh_1''''''')) [ Ar_0 >= 1 /\ D >= 1 /\ Ar_1 = 0 /\ Fresh_0 >= 1 /\ D' >= 1 /\ Fresh_1 = 0 /\ Fresh_0' >= 1 /\ D'' >= 1 /\ Fresh_1' = 0 /\ Fresh_0'' >= 1 /\ D''' >= 1 /\ Fresh_1'' = 0 /\ Fresh_0''' >= 1 /\ D'''' >= 1 /\ Fresh_1''' = 0 /\ Fresh_0'''' >= 1 /\ D''''' >= 1 /\ Fresh_1'''' = 0 /\ Fresh_0''''' >= 1 /\ D'''''' >= 1 /\ Fresh_1''''' = 0 /\ Fresh_0'''''' >= 1 /\ D''''''' >= 1 /\ Fresh_1'''''' = 0 /\ Fresh_0''''''' >= 1 /\ D'''''''' >= 1 /\ Fresh_1''''''' = 0 ]
We thus obtain the following problem:
11:	T:
		(Comp: 1, Cost: 10)    f0(Ar_0, Ar_1, Ar_2) -> Com_1(f1(Fresh_0'''''''', Fresh_1'''''''', Fresh_1''''''')) [ Ar_0 >= 1 /\ D >= 1 /\ Ar_1 = 0 /\ Fresh_0 >= 1 /\ D' >= 1 /\ Fresh_1 = 0 /\ Fresh_0' >= 1 /\ D'' >= 1 /\ Fresh_1' = 0 /\ Fresh_0'' >= 1 /\ D''' >= 1 /\ Fresh_1'' = 0 /\ Fresh_0''' >= 1 /\ D'''' >= 1 /\ Fresh_1''' = 0 /\ Fresh_0'''' >= 1 /\ D''''' >= 1 /\ Fresh_1'''' = 0 /\ Fresh_0''''' >= 1 /\ D'''''' >= 1 /\ Fresh_1''''' = 0 /\ Fresh_0'''''' >= 1 /\ D''''''' >= 1 /\ Fresh_1'''''' = 0 /\ Fresh_0''''''' >= 1 /\ D'''''''' >= 1 /\ Fresh_1''''''' = 0 ]
		(Comp: ?, Cost: 1)     f1(Ar_0, Ar_1, Ar_2) -> Com_1(f1(Fresh_0, Fresh_1, Ar_1)) [ Ar_0 >= 1 /\ D >= 1 /\ Ar_1 = 0 ]
		(Comp: 1, Cost: 0)     koat_start(Ar_0, Ar_1, Ar_2) -> Com_1(f0(Ar_0, Ar_1, Ar_2)) [ 0 <= 0 ]
	start location:	koat_start
	leaf cost:	0

By chaining the transition f0(Ar_0, Ar_1, Ar_2) -> Com_1(f1(Fresh_0'''''''', Fresh_1'''''''', Fresh_1''''''')) [ Ar_0 >= 1 /\ D >= 1 /\ Ar_1 = 0 /\ Fresh_0 >= 1 /\ D' >= 1 /\ Fresh_1 = 0 /\ Fresh_0' >= 1 /\ D'' >= 1 /\ Fresh_1' = 0 /\ Fresh_0'' >= 1 /\ D''' >= 1 /\ Fresh_1'' = 0 /\ Fresh_0''' >= 1 /\ D'''' >= 1 /\ Fresh_1''' = 0 /\ Fresh_0'''' >= 1 /\ D''''' >= 1 /\ Fresh_1'''' = 0 /\ Fresh_0''''' >= 1 /\ D'''''' >= 1 /\ Fresh_1''''' = 0 /\ Fresh_0'''''' >= 1 /\ D''''''' >= 1 /\ Fresh_1'''''' = 0 /\ Fresh_0''''''' >= 1 /\ D'''''''' >= 1 /\ Fresh_1''''''' = 0 ] with all transitions in problem 11, the following new transition is obtained:
	f0(Ar_0, Ar_1, Ar_2) -> Com_1(f1(Fresh_0''''''''', Fresh_1''''''''', Fresh_1'''''''')) [ Ar_0 >= 1 /\ D >= 1 /\ Ar_1 = 0 /\ Fresh_0 >= 1 /\ D' >= 1 /\ Fresh_1 = 0 /\ Fresh_0' >= 1 /\ D'' >= 1 /\ Fresh_1' = 0 /\ Fresh_0'' >= 1 /\ D''' >= 1 /\ Fresh_1'' = 0 /\ Fresh_0''' >= 1 /\ D'''' >= 1 /\ Fresh_1''' = 0 /\ Fresh_0'''' >= 1 /\ D''''' >= 1 /\ Fresh_1'''' = 0 /\ Fresh_0''''' >= 1 /\ D'''''' >= 1 /\ Fresh_1''''' = 0 /\ Fresh_0'''''' >= 1 /\ D''''''' >= 1 /\ Fresh_1'''''' = 0 /\ Fresh_0''''''' >= 1 /\ D'''''''' >= 1 /\ Fresh_1''''''' = 0 /\ Fresh_0'''''''' >= 1 /\ D''''''''' >= 1 /\ Fresh_1'''''''' = 0 ]
We thus obtain the following problem:
12:	T:
		(Comp: 1, Cost: 11)    f0(Ar_0, Ar_1, Ar_2) -> Com_1(f1(Fresh_0''''''''', Fresh_1''''''''', Fresh_1'''''''')) [ Ar_0 >= 1 /\ D >= 1 /\ Ar_1 = 0 /\ Fresh_0 >= 1 /\ D' >= 1 /\ Fresh_1 = 0 /\ Fresh_0' >= 1 /\ D'' >= 1 /\ Fresh_1' = 0 /\ Fresh_0'' >= 1 /\ D''' >= 1 /\ Fresh_1'' = 0 /\ Fresh_0''' >= 1 /\ D'''' >= 1 /\ Fresh_1''' = 0 /\ Fresh_0'''' >= 1 /\ D''''' >= 1 /\ Fresh_1'''' = 0 /\ Fresh_0''''' >= 1 /\ D'''''' >= 1 /\ Fresh_1''''' = 0 /\ Fresh_0'''''' >= 1 /\ D''''''' >= 1 /\ Fresh_1'''''' = 0 /\ Fresh_0''''''' >= 1 /\ D'''''''' >= 1 /\ Fresh_1''''''' = 0 /\ Fresh_0'''''''' >= 1 /\ D''''''''' >= 1 /\ Fresh_1'''''''' = 0 ]
		(Comp: ?, Cost: 1)     f1(Ar_0, Ar_1, Ar_2) -> Com_1(f1(Fresh_0, Fresh_1, Ar_1)) [ Ar_0 >= 1 /\ D >= 1 /\ Ar_1 = 0 ]
		(Comp: 1, Cost: 0)     koat_start(Ar_0, Ar_1, Ar_2) -> Com_1(f0(Ar_0, Ar_1, Ar_2)) [ 0 <= 0 ]
	start location:	koat_start
	leaf cost:	0

By chaining the transition f0(Ar_0, Ar_1, Ar_2) -> Com_1(f1(Fresh_0''''''''', Fresh_1''''''''', Fresh_1'''''''')) [ Ar_0 >= 1 /\ D >= 1 /\ Ar_1 = 0 /\ Fresh_0 >= 1 /\ D' >= 1 /\ Fresh_1 = 0 /\ Fresh_0' >= 1 /\ D'' >= 1 /\ Fresh_1' = 0 /\ Fresh_0'' >= 1 /\ D''' >= 1 /\ Fresh_1'' = 0 /\ Fresh_0''' >= 1 /\ D'''' >= 1 /\ Fresh_1''' = 0 /\ Fresh_0'''' >= 1 /\ D''''' >= 1 /\ Fresh_1'''' = 0 /\ Fresh_0''''' >= 1 /\ D'''''' >= 1 /\ Fresh_1''''' = 0 /\ Fresh_0'''''' >= 1 /\ D''''''' >= 1 /\ Fresh_1'''''' = 0 /\ Fresh_0''''''' >= 1 /\ D'''''''' >= 1 /\ Fresh_1''''''' = 0 /\ Fresh_0'''''''' >= 1 /\ D''''''''' >= 1 /\ Fresh_1'''''''' = 0 ] with all transitions in problem 12, the following new transition is obtained:
	f0(Ar_0, Ar_1, Ar_2) -> Com_1(f1(Fresh_0'''''''''', Fresh_1'''''''''', Fresh_1''''''''')) [ Ar_0 >= 1 /\ D >= 1 /\ Ar_1 = 0 /\ Fresh_0 >= 1 /\ D' >= 1 /\ Fresh_1 = 0 /\ Fresh_0' >= 1 /\ D'' >= 1 /\ Fresh_1' = 0 /\ Fresh_0'' >= 1 /\ D''' >= 1 /\ Fresh_1'' = 0 /\ Fresh_0''' >= 1 /\ D'''' >= 1 /\ Fresh_1''' = 0 /\ Fresh_0'''' >= 1 /\ D''''' >= 1 /\ Fresh_1'''' = 0 /\ Fresh_0''''' >= 1 /\ D'''''' >= 1 /\ Fresh_1''''' = 0 /\ Fresh_0'''''' >= 1 /\ D''''''' >= 1 /\ Fresh_1'''''' = 0 /\ Fresh_0''''''' >= 1 /\ D'''''''' >= 1 /\ Fresh_1''''''' = 0 /\ Fresh_0'''''''' >= 1 /\ D''''''''' >= 1 /\ Fresh_1'''''''' = 0 /\ Fresh_0''''''''' >= 1 /\ D'''''''''' >= 1 /\ Fresh_1''''''''' = 0 ]
We thus obtain the following problem:
13:	T:
		(Comp: 1, Cost: 12)    f0(Ar_0, Ar_1, Ar_2) -> Com_1(f1(Fresh_0'''''''''', Fresh_1'''''''''', Fresh_1''''''''')) [ Ar_0 >= 1 /\ D >= 1 /\ Ar_1 = 0 /\ Fresh_0 >= 1 /\ D' >= 1 /\ Fresh_1 = 0 /\ Fresh_0' >= 1 /\ D'' >= 1 /\ Fresh_1' = 0 /\ Fresh_0'' >= 1 /\ D''' >= 1 /\ Fresh_1'' = 0 /\ Fresh_0''' >= 1 /\ D'''' >= 1 /\ Fresh_1''' = 0 /\ Fresh_0'''' >= 1 /\ D''''' >= 1 /\ Fresh_1'''' = 0 /\ Fresh_0''''' >= 1 /\ D'''''' >= 1 /\ Fresh_1''''' = 0 /\ Fresh_0'''''' >= 1 /\ D''''''' >= 1 /\ Fresh_1'''''' = 0 /\ Fresh_0''''''' >= 1 /\ D'''''''' >= 1 /\ Fresh_1''''''' = 0 /\ Fresh_0'''''''' >= 1 /\ D''''''''' >= 1 /\ Fresh_1'''''''' = 0 /\ Fresh_0''''''''' >= 1 /\ D'''''''''' >= 1 /\ Fresh_1''''''''' = 0 ]
		(Comp: ?, Cost: 1)     f1(Ar_0, Ar_1, Ar_2) -> Com_1(f1(Fresh_0, Fresh_1, Ar_1)) [ Ar_0 >= 1 /\ D >= 1 /\ Ar_1 = 0 ]
		(Comp: 1, Cost: 0)     koat_start(Ar_0, Ar_1, Ar_2) -> Com_1(f0(Ar_0, Ar_1, Ar_2)) [ 0 <= 0 ]
	start location:	koat_start
	leaf cost:	0

By chaining the transition f0(Ar_0, Ar_1, Ar_2) -> Com_1(f1(Fresh_0'''''''''', Fresh_1'''''''''', Fresh_1''''''''')) [ Ar_0 >= 1 /\ D >= 1 /\ Ar_1 = 0 /\ Fresh_0 >= 1 /\ D' >= 1 /\ Fresh_1 = 0 /\ Fresh_0' >= 1 /\ D'' >= 1 /\ Fresh_1' = 0 /\ Fresh_0'' >= 1 /\ D''' >= 1 /\ Fresh_1'' = 0 /\ Fresh_0''' >= 1 /\ D'''' >= 1 /\ Fresh_1''' = 0 /\ Fresh_0'''' >= 1 /\ D''''' >= 1 /\ Fresh_1'''' = 0 /\ Fresh_0''''' >= 1 /\ D'''''' >= 1 /\ Fresh_1''''' = 0 /\ Fresh_0'''''' >= 1 /\ D''''''' >= 1 /\ Fresh_1'''''' = 0 /\ Fresh_0''''''' >= 1 /\ D'''''''' >= 1 /\ Fresh_1''''''' = 0 /\ Fresh_0'''''''' >= 1 /\ D''''''''' >= 1 /\ Fresh_1'''''''' = 0 /\ Fresh_0''''''''' >= 1 /\ D'''''''''' >= 1 /\ Fresh_1''''''''' = 0 ] with all transitions in problem 13, the following new transition is obtained:
	f0(Ar_0, Ar_1, Ar_2) -> Com_1(f1(Fresh_0''''''''''', Fresh_1''''''''''', Fresh_1'''''''''')) [ Ar_0 >= 1 /\ D >= 1 /\ Ar_1 = 0 /\ Fresh_0 >= 1 /\ D' >= 1 /\ Fresh_1 = 0 /\ Fresh_0' >= 1 /\ D'' >= 1 /\ Fresh_1' = 0 /\ Fresh_0'' >= 1 /\ D''' >= 1 /\ Fresh_1'' = 0 /\ Fresh_0''' >= 1 /\ D'''' >= 1 /\ Fresh_1''' = 0 /\ Fresh_0'''' >= 1 /\ D''''' >= 1 /\ Fresh_1'''' = 0 /\ Fresh_0''''' >= 1 /\ D'''''' >= 1 /\ Fresh_1''''' = 0 /\ Fresh_0'''''' >= 1 /\ D''''''' >= 1 /\ Fresh_1'''''' = 0 /\ Fresh_0''''''' >= 1 /\ D'''''''' >= 1 /\ Fresh_1''''''' = 0 /\ Fresh_0'''''''' >= 1 /\ D''''''''' >= 1 /\ Fresh_1'''''''' = 0 /\ Fresh_0''''''''' >= 1 /\ D'''''''''' >= 1 /\ Fresh_1''''''''' = 0 /\ Fresh_0'''''''''' >= 1 /\ D''''''''''' >= 1 /\ Fresh_1'''''''''' = 0 ]
We thus obtain the following problem:
14:	T:
		(Comp: 1, Cost: 13)    f0(Ar_0, Ar_1, Ar_2) -> Com_1(f1(Fresh_0''''''''''', Fresh_1''''''''''', Fresh_1'''''''''')) [ Ar_0 >= 1 /\ D >= 1 /\ Ar_1 = 0 /\ Fresh_0 >= 1 /\ D' >= 1 /\ Fresh_1 = 0 /\ Fresh_0' >= 1 /\ D'' >= 1 /\ Fresh_1' = 0 /\ Fresh_0'' >= 1 /\ D''' >= 1 /\ Fresh_1'' = 0 /\ Fresh_0''' >= 1 /\ D'''' >= 1 /\ Fresh_1''' = 0 /\ Fresh_0'''' >= 1 /\ D''''' >= 1 /\ Fresh_1'''' = 0 /\ Fresh_0''''' >= 1 /\ D'''''' >= 1 /\ Fresh_1''''' = 0 /\ Fresh_0'''''' >= 1 /\ D''''''' >= 1 /\ Fresh_1'''''' = 0 /\ Fresh_0''''''' >= 1 /\ D'''''''' >= 1 /\ Fresh_1''''''' = 0 /\ Fresh_0'''''''' >= 1 /\ D''''''''' >= 1 /\ Fresh_1'''''''' = 0 /\ Fresh_0''''''''' >= 1 /\ D'''''''''' >= 1 /\ Fresh_1''''''''' = 0 /\ Fresh_0'''''''''' >= 1 /\ D''''''''''' >= 1 /\ Fresh_1'''''''''' = 0 ]
		(Comp: ?, Cost: 1)     f1(Ar_0, Ar_1, Ar_2) -> Com_1(f1(Fresh_0, Fresh_1, Ar_1)) [ Ar_0 >= 1 /\ D >= 1 /\ Ar_1 = 0 ]
		(Comp: 1, Cost: 0)     koat_start(Ar_0, Ar_1, Ar_2) -> Com_1(f0(Ar_0, Ar_1, Ar_2)) [ 0 <= 0 ]
	start location:	koat_start
	leaf cost:	0

By chaining the transition f0(Ar_0, Ar_1, Ar_2) -> Com_1(f1(Fresh_0''''''''''', Fresh_1''''''''''', Fresh_1'''''''''')) [ Ar_0 >= 1 /\ D >= 1 /\ Ar_1 = 0 /\ Fresh_0 >= 1 /\ D' >= 1 /\ Fresh_1 = 0 /\ Fresh_0' >= 1 /\ D'' >= 1 /\ Fresh_1' = 0 /\ Fresh_0'' >= 1 /\ D''' >= 1 /\ Fresh_1'' = 0 /\ Fresh_0''' >= 1 /\ D'''' >= 1 /\ Fresh_1''' = 0 /\ Fresh_0'''' >= 1 /\ D''''' >= 1 /\ Fresh_1'''' = 0 /\ Fresh_0''''' >= 1 /\ D'''''' >= 1 /\ Fresh_1''''' = 0 /\ Fresh_0'''''' >= 1 /\ D''''''' >= 1 /\ Fresh_1'''''' = 0 /\ Fresh_0''''''' >= 1 /\ D'''''''' >= 1 /\ Fresh_1''''''' = 0 /\ Fresh_0'''''''' >= 1 /\ D''''''''' >= 1 /\ Fresh_1'''''''' = 0 /\ Fresh_0''''''''' >= 1 /\ D'''''''''' >= 1 /\ Fresh_1''''''''' = 0 /\ Fresh_0'''''''''' >= 1 /\ D''''''''''' >= 1 /\ Fresh_1'''''''''' = 0 ] with all transitions in problem 14, the following new transition is obtained:
	f0(Ar_0, Ar_1, Ar_2) -> Com_1(f1(Fresh_0'''''''''''', Fresh_1'''''''''''', Fresh_1''''''''''')) [ Ar_0 >= 1 /\ D >= 1 /\ Ar_1 = 0 /\ Fresh_0 >= 1 /\ D' >= 1 /\ Fresh_1 = 0 /\ Fresh_0' >= 1 /\ D'' >= 1 /\ Fresh_1' = 0 /\ Fresh_0'' >= 1 /\ D''' >= 1 /\ Fresh_1'' = 0 /\ Fresh_0''' >= 1 /\ D'''' >= 1 /\ Fresh_1''' = 0 /\ Fresh_0'''' >= 1 /\ D''''' >= 1 /\ Fresh_1'''' = 0 /\ Fresh_0''''' >= 1 /\ D'''''' >= 1 /\ Fresh_1''''' = 0 /\ Fresh_0'''''' >= 1 /\ D''''''' >= 1 /\ Fresh_1'''''' = 0 /\ Fresh_0''''''' >= 1 /\ D'''''''' >= 1 /\ Fresh_1''''''' = 0 /\ Fresh_0'''''''' >= 1 /\ D''''''''' >= 1 /\ Fresh_1'''''''' = 0 /\ Fresh_0''''''''' >= 1 /\ D'''''''''' >= 1 /\ Fresh_1''''''''' = 0 /\ Fresh_0'''''''''' >= 1 /\ D''''''''''' >= 1 /\ Fresh_1'''''''''' = 0 /\ Fresh_0''''''''''' >= 1 /\ D'''''''''''' >= 1 /\ Fresh_1''''''''''' = 0 ]
We thus obtain the following problem:
15:	T:
		(Comp: 1, Cost: 14)    f0(Ar_0, Ar_1, Ar_2) -> Com_1(f1(Fresh_0'''''''''''', Fresh_1'''''''''''', Fresh_1''''''''''')) [ Ar_0 >= 1 /\ D >= 1 /\ Ar_1 = 0 /\ Fresh_0 >= 1 /\ D' >= 1 /\ Fresh_1 = 0 /\ Fresh_0' >= 1 /\ D'' >= 1 /\ Fresh_1' = 0 /\ Fresh_0'' >= 1 /\ D''' >= 1 /\ Fresh_1'' = 0 /\ Fresh_0''' >= 1 /\ D'''' >= 1 /\ Fresh_1''' = 0 /\ Fresh_0'''' >= 1 /\ D''''' >= 1 /\ Fresh_1'''' = 0 /\ Fresh_0''''' >= 1 /\ D'''''' >= 1 /\ Fresh_1''''' = 0 /\ Fresh_0'''''' >= 1 /\ D''''''' >= 1 /\ Fresh_1'''''' = 0 /\ Fresh_0''''''' >= 1 /\ D'''''''' >= 1 /\ Fresh_1''''''' = 0 /\ Fresh_0'''''''' >= 1 /\ D''''''''' >= 1 /\ Fresh_1'''''''' = 0 /\ Fresh_0''''''''' >= 1 /\ D'''''''''' >= 1 /\ Fresh_1''''''''' = 0 /\ Fresh_0'''''''''' >= 1 /\ D''''''''''' >= 1 /\ Fresh_1'''''''''' = 0 /\ Fresh_0''''''''''' >= 1 /\ D'''''''''''' >= 1 /\ Fresh_1''''''''''' = 0 ]
		(Comp: ?, Cost: 1)     f1(Ar_0, Ar_1, Ar_2) -> Com_1(f1(Fresh_0, Fresh_1, Ar_1)) [ Ar_0 >= 1 /\ D >= 1 /\ Ar_1 = 0 ]
		(Comp: 1, Cost: 0)     koat_start(Ar_0, Ar_1, Ar_2) -> Com_1(f0(Ar_0, Ar_1, Ar_2)) [ 0 <= 0 ]
	start location:	koat_start
	leaf cost:	0

By chaining the transition f0(Ar_0, Ar_1, Ar_2) -> Com_1(f1(Fresh_0'''''''''''', Fresh_1'''''''''''', Fresh_1''''''''''')) [ Ar_0 >= 1 /\ D >= 1 /\ Ar_1 = 0 /\ Fresh_0 >= 1 /\ D' >= 1 /\ Fresh_1 = 0 /\ Fresh_0' >= 1 /\ D'' >= 1 /\ Fresh_1' = 0 /\ Fresh_0'' >= 1 /\ D''' >= 1 /\ Fresh_1'' = 0 /\ Fresh_0''' >= 1 /\ D'''' >= 1 /\ Fresh_1''' = 0 /\ Fresh_0'''' >= 1 /\ D''''' >= 1 /\ Fresh_1'''' = 0 /\ Fresh_0''''' >= 1 /\ D'''''' >= 1 /\ Fresh_1''''' = 0 /\ Fresh_0'''''' >= 1 /\ D''''''' >= 1 /\ Fresh_1'''''' = 0 /\ Fresh_0''''''' >= 1 /\ D'''''''' >= 1 /\ Fresh_1''''''' = 0 /\ Fresh_0'''''''' >= 1 /\ D''''''''' >= 1 /\ Fresh_1'''''''' = 0 /\ Fresh_0''''''''' >= 1 /\ D'''''''''' >= 1 /\ Fresh_1''''''''' = 0 /\ Fresh_0'''''''''' >= 1 /\ D''''''''''' >= 1 /\ Fresh_1'''''''''' = 0 /\ Fresh_0''''''''''' >= 1 /\ D'''''''''''' >= 1 /\ Fresh_1''''''''''' = 0 ] with all transitions in problem 15, the following new transition is obtained:
	f0(Ar_0, Ar_1, Ar_2) -> Com_1(f1(Fresh_0''''''''''''', Fresh_1''''''''''''', Fresh_1'''''''''''')) [ Ar_0 >= 1 /\ D >= 1 /\ Ar_1 = 0 /\ Fresh_0 >= 1 /\ D' >= 1 /\ Fresh_1 = 0 /\ Fresh_0' >= 1 /\ D'' >= 1 /\ Fresh_1' = 0 /\ Fresh_0'' >= 1 /\ D''' >= 1 /\ Fresh_1'' = 0 /\ Fresh_0''' >= 1 /\ D'''' >= 1 /\ Fresh_1''' = 0 /\ Fresh_0'''' >= 1 /\ D''''' >= 1 /\ Fresh_1'''' = 0 /\ Fresh_0''''' >= 1 /\ D'''''' >= 1 /\ Fresh_1''''' = 0 /\ Fresh_0'''''' >= 1 /\ D''''''' >= 1 /\ Fresh_1'''''' = 0 /\ Fresh_0''''''' >= 1 /\ D'''''''' >= 1 /\ Fresh_1''''''' = 0 /\ Fresh_0'''''''' >= 1 /\ D''''''''' >= 1 /\ Fresh_1'''''''' = 0 /\ Fresh_0''''''''' >= 1 /\ D'''''''''' >= 1 /\ Fresh_1''''''''' = 0 /\ Fresh_0'''''''''' >= 1 /\ D''''''''''' >= 1 /\ Fresh_1'''''''''' = 0 /\ Fresh_0''''''''''' >= 1 /\ D'''''''''''' >= 1 /\ Fresh_1''''''''''' = 0 /\ Fresh_0'''''''''''' >= 1 /\ D''''''''''''' >= 1 /\ Fresh_1'''''''''''' = 0 ]
We thus obtain the following problem:
16:	T:
		(Comp: 1, Cost: 15)    f0(Ar_0, Ar_1, Ar_2) -> Com_1(f1(Fresh_0''''''''''''', Fresh_1''''''''''''', Fresh_1'''''''''''')) [ Ar_0 >= 1 /\ D >= 1 /\ Ar_1 = 0 /\ Fresh_0 >= 1 /\ D' >= 1 /\ Fresh_1 = 0 /\ Fresh_0' >= 1 /\ D'' >= 1 /\ Fresh_1' = 0 /\ Fresh_0'' >= 1 /\ D''' >= 1 /\ Fresh_1'' = 0 /\ Fresh_0''' >= 1 /\ D'''' >= 1 /\ Fresh_1''' = 0 /\ Fresh_0'''' >= 1 /\ D''''' >= 1 /\ Fresh_1'''' = 0 /\ Fresh_0''''' >= 1 /\ D'''''' >= 1 /\ Fresh_1''''' = 0 /\ Fresh_0'''''' >= 1 /\ D''''''' >= 1 /\ Fresh_1'''''' = 0 /\ Fresh_0''''''' >= 1 /\ D'''''''' >= 1 /\ Fresh_1''''''' = 0 /\ Fresh_0'''''''' >= 1 /\ D''''''''' >= 1 /\ Fresh_1'''''''' = 0 /\ Fresh_0''''''''' >= 1 /\ D'''''''''' >= 1 /\ Fresh_1''''''''' = 0 /\ Fresh_0'''''''''' >= 1 /\ D''''''''''' >= 1 /\ Fresh_1'''''''''' = 0 /\ Fresh_0''''''''''' >= 1 /\ D'''''''''''' >= 1 /\ Fresh_1''''''''''' = 0 /\ Fresh_0'''''''''''' >= 1 /\ D''''''''''''' >= 1 /\ Fresh_1'''''''''''' = 0 ]
		(Comp: ?, Cost: 1)     f1(Ar_0, Ar_1, Ar_2) -> Com_1(f1(Fresh_0, Fresh_1, Ar_1)) [ Ar_0 >= 1 /\ D >= 1 /\ Ar_1 = 0 ]
		(Comp: 1, Cost: 0)     koat_start(Ar_0, Ar_1, Ar_2) -> Com_1(f0(Ar_0, Ar_1, Ar_2)) [ 0 <= 0 ]
	start location:	koat_start
	leaf cost:	0

By chaining the transition f0(Ar_0, Ar_1, Ar_2) -> Com_1(f1(Fresh_0''''''''''''', Fresh_1''''''''''''', Fresh_1'''''''''''')) [ Ar_0 >= 1 /\ D >= 1 /\ Ar_1 = 0 /\ Fresh_0 >= 1 /\ D' >= 1 /\ Fresh_1 = 0 /\ Fresh_0' >= 1 /\ D'' >= 1 /\ Fresh_1' = 0 /\ Fresh_0'' >= 1 /\ D''' >= 1 /\ Fresh_1'' = 0 /\ Fresh_0''' >= 1 /\ D'''' >= 1 /\ Fresh_1''' = 0 /\ Fresh_0'''' >= 1 /\ D''''' >= 1 /\ Fresh_1'''' = 0 /\ Fresh_0''''' >= 1 /\ D'''''' >= 1 /\ Fresh_1''''' = 0 /\ Fresh_0'''''' >= 1 /\ D''''''' >= 1 /\ Fresh_1'''''' = 0 /\ Fresh_0''''''' >= 1 /\ D'''''''' >= 1 /\ Fresh_1''''''' = 0 /\ Fresh_0'''''''' >= 1 /\ D''''''''' >= 1 /\ Fresh_1'''''''' = 0 /\ Fresh_0''''''''' >= 1 /\ D'''''''''' >= 1 /\ Fresh_1''''''''' = 0 /\ Fresh_0'''''''''' >= 1 /\ D''''''''''' >= 1 /\ Fresh_1'''''''''' = 0 /\ Fresh_0''''''''''' >= 1 /\ D'''''''''''' >= 1 /\ Fresh_1''''''''''' = 0 /\ Fresh_0'''''''''''' >= 1 /\ D''''''''''''' >= 1 /\ Fresh_1'''''''''''' = 0 ] with all transitions in problem 16, the following new transition is obtained:
	f0(Ar_0, Ar_1, Ar_2) -> Com_1(f1(Fresh_0'''''''''''''', Fresh_1'''''''''''''', Fresh_1''''''''''''')) [ Ar_0 >= 1 /\ D >= 1 /\ Ar_1 = 0 /\ Fresh_0 >= 1 /\ D' >= 1 /\ Fresh_1 = 0 /\ Fresh_0' >= 1 /\ D'' >= 1 /\ Fresh_1' = 0 /\ Fresh_0'' >= 1 /\ D''' >= 1 /\ Fresh_1'' = 0 /\ Fresh_0''' >= 1 /\ D'''' >= 1 /\ Fresh_1''' = 0 /\ Fresh_0'''' >= 1 /\ D''''' >= 1 /\ Fresh_1'''' = 0 /\ Fresh_0''''' >= 1 /\ D'''''' >= 1 /\ Fresh_1''''' = 0 /\ Fresh_0'''''' >= 1 /\ D''''''' >= 1 /\ Fresh_1'''''' = 0 /\ Fresh_0''''''' >= 1 /\ D'''''''' >= 1 /\ Fresh_1''''''' = 0 /\ Fresh_0'''''''' >= 1 /\ D''''''''' >= 1 /\ Fresh_1'''''''' = 0 /\ Fresh_0''''''''' >= 1 /\ D'''''''''' >= 1 /\ Fresh_1''''''''' = 0 /\ Fresh_0'''''''''' >= 1 /\ D''''''''''' >= 1 /\ Fresh_1'''''''''' = 0 /\ Fresh_0''''''''''' >= 1 /\ D'''''''''''' >= 1 /\ Fresh_1''''''''''' = 0 /\ Fresh_0'''''''''''' >= 1 /\ D''''''''''''' >= 1 /\ Fresh_1'''''''''''' = 0 /\ Fresh_0''''''''''''' >= 1 /\ D'''''''''''''' >= 1 /\ Fresh_1''''''''''''' = 0 ]
We thus obtain the following problem:
17:	T:
		(Comp: 1, Cost: 16)    f0(Ar_0, Ar_1, Ar_2) -> Com_1(f1(Fresh_0'''''''''''''', Fresh_1'''''''''''''', Fresh_1''''''''''''')) [ Ar_0 >= 1 /\ D >= 1 /\ Ar_1 = 0 /\ Fresh_0 >= 1 /\ D' >= 1 /\ Fresh_1 = 0 /\ Fresh_0' >= 1 /\ D'' >= 1 /\ Fresh_1' = 0 /\ Fresh_0'' >= 1 /\ D''' >= 1 /\ Fresh_1'' = 0 /\ Fresh_0''' >= 1 /\ D'''' >= 1 /\ Fresh_1''' = 0 /\ Fresh_0'''' >= 1 /\ D''''' >= 1 /\ Fresh_1'''' = 0 /\ Fresh_0''''' >= 1 /\ D'''''' >= 1 /\ Fresh_1''''' = 0 /\ Fresh_0'''''' >= 1 /\ D''''''' >= 1 /\ Fresh_1'''''' = 0 /\ Fresh_0''''''' >= 1 /\ D'''''''' >= 1 /\ Fresh_1''''''' = 0 /\ Fresh_0'''''''' >= 1 /\ D''''''''' >= 1 /\ Fresh_1'''''''' = 0 /\ Fresh_0''''''''' >= 1 /\ D'''''''''' >= 1 /\ Fresh_1''''''''' = 0 /\ Fresh_0'''''''''' >= 1 /\ D''''''''''' >= 1 /\ Fresh_1'''''''''' = 0 /\ Fresh_0''''''''''' >= 1 /\ D'''''''''''' >= 1 /\ Fresh_1''''''''''' = 0 /\ Fresh_0'''''''''''' >= 1 /\ D''''''''''''' >= 1 /\ Fresh_1'''''''''''' = 0 /\ Fresh_0''''''''''''' >= 1 /\ D'''''''''''''' >= 1 /\ Fresh_1''''''''''''' = 0 ]
		(Comp: ?, Cost: 1)     f1(Ar_0, Ar_1, Ar_2) -> Com_1(f1(Fresh_0, Fresh_1, Ar_1)) [ Ar_0 >= 1 /\ D >= 1 /\ Ar_1 = 0 ]
		(Comp: 1, Cost: 0)     koat_start(Ar_0, Ar_1, Ar_2) -> Com_1(f0(Ar_0, Ar_1, Ar_2)) [ 0 <= 0 ]
	start location:	koat_start
	leaf cost:	0

Complexity upper bound ?

Time: 0.224 sec (SMT: 0.169 sec)
