Initial Problem

Start: eval_aaron3_start
Program_Vars: Arg_0, Arg_1, Arg_2, Arg_3, Arg_4, Arg_5, Arg_6, Arg_7, Arg_8, Arg_9
Temp_Vars: nondef_0, nondef_1
Locations: eval_aaron3_0, eval_aaron3_1, eval_aaron3_10, eval_aaron3_12, eval_aaron3_13, eval_aaron3_2, eval_aaron3_3, eval_aaron3_4, eval_aaron3_5, eval_aaron3_6, eval_aaron3_7, eval_aaron3_8, eval_aaron3_9, eval_aaron3_bb0_in, eval_aaron3_bb1_in, eval_aaron3_bb2_in, eval_aaron3_bb3_in, eval_aaron3_bb4_in, eval_aaron3_bb5_in, eval_aaron3_start, eval_aaron3_stop
Transitions:
2:eval_aaron3_0(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9) -> eval_aaron3_1(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9)
3:eval_aaron3_1(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9) -> eval_aaron3_2(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9)
15:eval_aaron3_10(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9) -> eval_aaron3_bb3_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9):|:0<Arg_0
16:eval_aaron3_10(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9) -> eval_aaron3_bb4_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9):|:Arg_0<=0
18:eval_aaron3_12(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9) -> eval_aaron3_13(Arg_0,Arg_1,nondef_1,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9)
20:eval_aaron3_13(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9) -> eval_aaron3_bb1_in(Arg_0,Arg_1,Arg_2,Arg_2,Arg_4,Arg_1,Arg_6,Arg_7,Arg_8,Arg_9):|:Arg_2<=Arg_3+Arg_1
19:eval_aaron3_13(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9) -> eval_aaron3_bb5_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9):|:Arg_3+Arg_1<Arg_2
4:eval_aaron3_2(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9) -> eval_aaron3_3(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9)
5:eval_aaron3_3(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9) -> eval_aaron3_4(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9)
6:eval_aaron3_4(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9) -> eval_aaron3_5(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9)
7:eval_aaron3_5(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9) -> eval_aaron3_6(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9)
8:eval_aaron3_6(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9) -> eval_aaron3_7(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9)
9:eval_aaron3_7(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9) -> eval_aaron3_8(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9)
10:eval_aaron3_8(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9) -> eval_aaron3_bb1_in(Arg_0,Arg_1,Arg_2,Arg_7,Arg_8,Arg_9,Arg_6,Arg_7,Arg_8,Arg_9)
14:eval_aaron3_9(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9) -> eval_aaron3_10(nondef_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9)
1:eval_aaron3_bb0_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9) -> eval_aaron3_0(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9)
11:eval_aaron3_bb1_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9) -> eval_aaron3_bb2_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9):|:Arg_4<=Arg_3
12:eval_aaron3_bb1_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9) -> eval_aaron3_bb5_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9):|:Arg_3<Arg_4
13:eval_aaron3_bb2_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9) -> eval_aaron3_9(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9)
17:eval_aaron3_bb3_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9) -> eval_aaron3_12(Arg_0,Arg_5-1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9)
21:eval_aaron3_bb4_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9) -> eval_aaron3_bb1_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4+1,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9)
22:eval_aaron3_bb5_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9) -> eval_aaron3_stop(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9)
0:eval_aaron3_start(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9) -> eval_aaron3_bb0_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9)

Preprocessing

Eliminate variables {Arg_6} that do not contribute to the problem

Found invariant Arg_5<=Arg_9 && Arg_8<=Arg_4 && Arg_8<=Arg_3 && Arg_4<=Arg_3 for location eval_aaron3_9

Found invariant Arg_5<=Arg_9 && Arg_8<=Arg_4 for location eval_aaron3_bb1_in

Found invariant Arg_5<=Arg_9 && Arg_8<=Arg_4 for location eval_aaron3_bb5_in

Found invariant Arg_5<=Arg_9 && 1+Arg_1<=Arg_9 && Arg_8<=Arg_4 && Arg_8<=Arg_3 && Arg_5<=1+Arg_1 && 1+Arg_1<=Arg_5 && Arg_4<=Arg_3 && 1<=Arg_0 for location eval_aaron3_13

Found invariant Arg_5<=Arg_9 && 1+Arg_1<=Arg_9 && Arg_8<=Arg_4 && Arg_8<=Arg_3 && Arg_5<=1+Arg_1 && 1+Arg_1<=Arg_5 && Arg_4<=Arg_3 && 1<=Arg_0 for location eval_aaron3_12

Found invariant Arg_5<=Arg_9 && Arg_8<=Arg_4 && Arg_8<=Arg_3 && Arg_4<=Arg_3 && 1<=Arg_0 for location eval_aaron3_bb3_in

Found invariant Arg_5<=Arg_9 && Arg_8<=Arg_4 && Arg_8<=Arg_3 && Arg_4<=Arg_3 && Arg_0<=0 for location eval_aaron3_bb4_in

Found invariant Arg_5<=Arg_9 && Arg_8<=Arg_4 for location eval_aaron3_stop

Found invariant Arg_5<=Arg_9 && Arg_8<=Arg_4 && Arg_8<=Arg_3 && Arg_4<=Arg_3 for location eval_aaron3_bb2_in

Found invariant Arg_5<=Arg_9 && Arg_8<=Arg_4 && Arg_8<=Arg_3 && Arg_4<=Arg_3 for location eval_aaron3_10

Problem after Preprocessing

Start: eval_aaron3_start
Program_Vars: Arg_0, Arg_1, Arg_2, Arg_3, Arg_4, Arg_5, Arg_7, Arg_8, Arg_9
Temp_Vars: nondef_0, nondef_1
Locations: eval_aaron3_0, eval_aaron3_1, eval_aaron3_10, eval_aaron3_12, eval_aaron3_13, eval_aaron3_2, eval_aaron3_3, eval_aaron3_4, eval_aaron3_5, eval_aaron3_6, eval_aaron3_7, eval_aaron3_8, eval_aaron3_9, eval_aaron3_bb0_in, eval_aaron3_bb1_in, eval_aaron3_bb2_in, eval_aaron3_bb3_in, eval_aaron3_bb4_in, eval_aaron3_bb5_in, eval_aaron3_start, eval_aaron3_stop
Transitions:
46:eval_aaron3_0(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_7,Arg_8,Arg_9) -> eval_aaron3_1(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_7,Arg_8,Arg_9)
47:eval_aaron3_1(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_7,Arg_8,Arg_9) -> eval_aaron3_2(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_7,Arg_8,Arg_9)
48:eval_aaron3_10(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_7,Arg_8,Arg_9) -> eval_aaron3_bb3_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_7,Arg_8,Arg_9):|:Arg_5<=Arg_9 && Arg_8<=Arg_4 && Arg_8<=Arg_3 && Arg_4<=Arg_3 && 0<Arg_0
49:eval_aaron3_10(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_7,Arg_8,Arg_9) -> eval_aaron3_bb4_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_7,Arg_8,Arg_9):|:Arg_5<=Arg_9 && Arg_8<=Arg_4 && Arg_8<=Arg_3 && Arg_4<=Arg_3 && Arg_0<=0
50:eval_aaron3_12(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_7,Arg_8,Arg_9) -> eval_aaron3_13(Arg_0,Arg_1,nondef_1,Arg_3,Arg_4,Arg_5,Arg_7,Arg_8,Arg_9):|:Arg_5<=Arg_9 && 1+Arg_1<=Arg_9 && Arg_8<=Arg_4 && Arg_8<=Arg_3 && Arg_5<=1+Arg_1 && 1+Arg_1<=Arg_5 && Arg_4<=Arg_3 && 1<=Arg_0
52:eval_aaron3_13(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_7,Arg_8,Arg_9) -> eval_aaron3_bb1_in(Arg_0,Arg_1,Arg_2,Arg_2,Arg_4,Arg_1,Arg_7,Arg_8,Arg_9):|:Arg_5<=Arg_9 && 1+Arg_1<=Arg_9 && Arg_8<=Arg_4 && Arg_8<=Arg_3 && Arg_5<=1+Arg_1 && 1+Arg_1<=Arg_5 && Arg_4<=Arg_3 && 1<=Arg_0 && Arg_2<=Arg_3+Arg_1
51:eval_aaron3_13(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_7,Arg_8,Arg_9) -> eval_aaron3_bb5_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_7,Arg_8,Arg_9):|:Arg_5<=Arg_9 && 1+Arg_1<=Arg_9 && Arg_8<=Arg_4 && Arg_8<=Arg_3 && Arg_5<=1+Arg_1 && 1+Arg_1<=Arg_5 && Arg_4<=Arg_3 && 1<=Arg_0 && Arg_3+Arg_1<Arg_2
53:eval_aaron3_2(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_7,Arg_8,Arg_9) -> eval_aaron3_3(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_7,Arg_8,Arg_9)
54:eval_aaron3_3(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_7,Arg_8,Arg_9) -> eval_aaron3_4(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_7,Arg_8,Arg_9)
55:eval_aaron3_4(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_7,Arg_8,Arg_9) -> eval_aaron3_5(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_7,Arg_8,Arg_9)
56:eval_aaron3_5(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_7,Arg_8,Arg_9) -> eval_aaron3_6(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_7,Arg_8,Arg_9)
57:eval_aaron3_6(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_7,Arg_8,Arg_9) -> eval_aaron3_7(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_7,Arg_8,Arg_9)
58:eval_aaron3_7(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_7,Arg_8,Arg_9) -> eval_aaron3_8(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_7,Arg_8,Arg_9)
59:eval_aaron3_8(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_7,Arg_8,Arg_9) -> eval_aaron3_bb1_in(Arg_0,Arg_1,Arg_2,Arg_7,Arg_8,Arg_9,Arg_7,Arg_8,Arg_9)
60:eval_aaron3_9(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_7,Arg_8,Arg_9) -> eval_aaron3_10(nondef_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_7,Arg_8,Arg_9):|:Arg_5<=Arg_9 && Arg_8<=Arg_4 && Arg_8<=Arg_3 && Arg_4<=Arg_3
61:eval_aaron3_bb0_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_7,Arg_8,Arg_9) -> eval_aaron3_0(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_7,Arg_8,Arg_9)
62:eval_aaron3_bb1_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_7,Arg_8,Arg_9) -> eval_aaron3_bb2_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_7,Arg_8,Arg_9):|:Arg_5<=Arg_9 && Arg_8<=Arg_4 && Arg_4<=Arg_3
63:eval_aaron3_bb1_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_7,Arg_8,Arg_9) -> eval_aaron3_bb5_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_7,Arg_8,Arg_9):|:Arg_5<=Arg_9 && Arg_8<=Arg_4 && Arg_3<Arg_4
64:eval_aaron3_bb2_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_7,Arg_8,Arg_9) -> eval_aaron3_9(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_7,Arg_8,Arg_9):|:Arg_5<=Arg_9 && Arg_8<=Arg_4 && Arg_8<=Arg_3 && Arg_4<=Arg_3
65:eval_aaron3_bb3_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_7,Arg_8,Arg_9) -> eval_aaron3_12(Arg_0,Arg_5-1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_7,Arg_8,Arg_9):|:Arg_5<=Arg_9 && Arg_8<=Arg_4 && Arg_8<=Arg_3 && Arg_4<=Arg_3 && 1<=Arg_0
66:eval_aaron3_bb4_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_7,Arg_8,Arg_9) -> eval_aaron3_bb1_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4+1,Arg_5,Arg_7,Arg_8,Arg_9):|:Arg_5<=Arg_9 && Arg_8<=Arg_4 && Arg_8<=Arg_3 && Arg_4<=Arg_3 && Arg_0<=0
67:eval_aaron3_bb5_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_7,Arg_8,Arg_9) -> eval_aaron3_stop(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_7,Arg_8,Arg_9):|:Arg_5<=Arg_9 && Arg_8<=Arg_4
68:eval_aaron3_start(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_7,Arg_8,Arg_9) -> eval_aaron3_bb0_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_7,Arg_8,Arg_9)

MPRF for transition 48:eval_aaron3_10(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_7,Arg_8,Arg_9) -> eval_aaron3_bb3_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_7,Arg_8,Arg_9):|:Arg_5<=Arg_9 && Arg_8<=Arg_4 && Arg_8<=Arg_3 && Arg_4<=Arg_3 && 0<Arg_0 of depth 2:

new bound:

8*Arg_7+8*Arg_8+8*Arg_9+1 {O(n)}

MPRF:

eval_aaron3_13 [Arg_5-1 ; Arg_3+Arg_5-Arg_8-1 ]
eval_aaron3_10 [Arg_5 ; Arg_3-Arg_8 ]
eval_aaron3_bb2_in [Arg_5 ; Arg_3-Arg_8 ]
eval_aaron3_9 [Arg_5 ; Arg_3-Arg_8 ]
eval_aaron3_bb3_in [Arg_5-1 ; Arg_3+Arg_5-Arg_8-1 ]
eval_aaron3_12 [Arg_5-1 ; Arg_3+Arg_5-Arg_8-1 ]
eval_aaron3_bb4_in [Arg_5 ; Arg_3-Arg_8 ]
eval_aaron3_bb1_in [Arg_5 ; Arg_3-Arg_8 ]

MPRF for transition 50:eval_aaron3_12(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_7,Arg_8,Arg_9) -> eval_aaron3_13(Arg_0,Arg_1,nondef_1,Arg_3,Arg_4,Arg_5,Arg_7,Arg_8,Arg_9):|:Arg_5<=Arg_9 && 1+Arg_1<=Arg_9 && Arg_8<=Arg_4 && Arg_8<=Arg_3 && Arg_5<=1+Arg_1 && 1+Arg_1<=Arg_5 && Arg_4<=Arg_3 && 1<=Arg_0 of depth 2:

new bound:

8*Arg_7+8*Arg_8+8*Arg_9+9 {O(n)}

MPRF:

eval_aaron3_13 [Arg_5 ; Arg_1+Arg_3+1-Arg_4 ]
eval_aaron3_10 [Arg_5+1 ; Arg_3-Arg_4 ]
eval_aaron3_bb2_in [Arg_5+1 ; Arg_3-Arg_4 ]
eval_aaron3_9 [Arg_5+1 ; Arg_3-Arg_4 ]
eval_aaron3_bb3_in [Arg_5+1 ; Arg_3-Arg_4 ]
eval_aaron3_12 [Arg_5+1 ; Arg_3-Arg_4 ]
eval_aaron3_bb4_in [Arg_5+1 ; Arg_3-Arg_4 ]
eval_aaron3_bb1_in [Arg_5+1 ; Arg_3-Arg_4 ]

MPRF for transition 52:eval_aaron3_13(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_7,Arg_8,Arg_9) -> eval_aaron3_bb1_in(Arg_0,Arg_1,Arg_2,Arg_2,Arg_4,Arg_1,Arg_7,Arg_8,Arg_9):|:Arg_5<=Arg_9 && 1+Arg_1<=Arg_9 && Arg_8<=Arg_4 && Arg_8<=Arg_3 && Arg_5<=1+Arg_1 && 1+Arg_1<=Arg_5 && Arg_4<=Arg_3 && 1<=Arg_0 && Arg_2<=Arg_3+Arg_1 of depth 2:

new bound:

8*Arg_7+8*Arg_8+8*Arg_9+1 {O(n)}

MPRF:

eval_aaron3_13 [Arg_5 ; Arg_1+Arg_3+1-Arg_4-Arg_5 ]
eval_aaron3_10 [Arg_5 ; Arg_3-Arg_4 ]
eval_aaron3_bb2_in [Arg_5 ; Arg_3-Arg_4 ]
eval_aaron3_9 [Arg_5 ; Arg_3-Arg_4 ]
eval_aaron3_bb3_in [Arg_5 ; Arg_3-Arg_4 ]
eval_aaron3_12 [Arg_5 ; Arg_3-Arg_4 ]
eval_aaron3_bb4_in [Arg_5 ; Arg_3-Arg_4 ]
eval_aaron3_bb1_in [Arg_5 ; Arg_3-Arg_4 ]

MPRF for transition 65:eval_aaron3_bb3_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_7,Arg_8,Arg_9) -> eval_aaron3_12(Arg_0,Arg_5-1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_7,Arg_8,Arg_9):|:Arg_5<=Arg_9 && Arg_8<=Arg_4 && Arg_8<=Arg_3 && Arg_4<=Arg_3 && 1<=Arg_0 of depth 2:

new bound:

8*Arg_7+8*Arg_8+8*Arg_9+9 {O(n)}

MPRF:

eval_aaron3_13 [Arg_1+1 ; Arg_3+Arg_5-Arg_4 ]
eval_aaron3_10 [Arg_5+1 ; Arg_3-Arg_4 ]
eval_aaron3_bb2_in [Arg_5+1 ; Arg_3-Arg_4 ]
eval_aaron3_9 [Arg_5+1 ; Arg_3-Arg_4 ]
eval_aaron3_bb3_in [Arg_5+1 ; Arg_3-Arg_4 ]
eval_aaron3_12 [Arg_5 ; Arg_3+Arg_5-Arg_4 ]
eval_aaron3_bb4_in [Arg_5+1 ; Arg_3-Arg_4 ]
eval_aaron3_bb1_in [Arg_5+1 ; Arg_3-Arg_4 ]

All Bounds

Timebounds

Overall timebound:inf {Infinity}
46: eval_aaron3_0->eval_aaron3_1: 1 {O(1)}
47: eval_aaron3_1->eval_aaron3_2: 1 {O(1)}
48: eval_aaron3_10->eval_aaron3_bb3_in: 8*Arg_7+8*Arg_8+8*Arg_9+1 {O(n)}
49: eval_aaron3_10->eval_aaron3_bb4_in: inf {Infinity}
50: eval_aaron3_12->eval_aaron3_13: 8*Arg_7+8*Arg_8+8*Arg_9+9 {O(n)}
51: eval_aaron3_13->eval_aaron3_bb5_in: 1 {O(1)}
52: eval_aaron3_13->eval_aaron3_bb1_in: 8*Arg_7+8*Arg_8+8*Arg_9+1 {O(n)}
53: eval_aaron3_2->eval_aaron3_3: 1 {O(1)}
54: eval_aaron3_3->eval_aaron3_4: 1 {O(1)}
55: eval_aaron3_4->eval_aaron3_5: 1 {O(1)}
56: eval_aaron3_5->eval_aaron3_6: 1 {O(1)}
57: eval_aaron3_6->eval_aaron3_7: 1 {O(1)}
58: eval_aaron3_7->eval_aaron3_8: 1 {O(1)}
59: eval_aaron3_8->eval_aaron3_bb1_in: 1 {O(1)}
60: eval_aaron3_9->eval_aaron3_10: inf {Infinity}
61: eval_aaron3_bb0_in->eval_aaron3_0: 1 {O(1)}
62: eval_aaron3_bb1_in->eval_aaron3_bb2_in: inf {Infinity}
63: eval_aaron3_bb1_in->eval_aaron3_bb5_in: 1 {O(1)}
64: eval_aaron3_bb2_in->eval_aaron3_9: inf {Infinity}
65: eval_aaron3_bb3_in->eval_aaron3_12: 8*Arg_7+8*Arg_8+8*Arg_9+9 {O(n)}
66: eval_aaron3_bb4_in->eval_aaron3_bb1_in: inf {Infinity}
67: eval_aaron3_bb5_in->eval_aaron3_stop: 1 {O(1)}
68: eval_aaron3_start->eval_aaron3_bb0_in: 1 {O(1)}

Costbounds

Overall costbound: inf {Infinity}
46: eval_aaron3_0->eval_aaron3_1: 1 {O(1)}
47: eval_aaron3_1->eval_aaron3_2: 1 {O(1)}
48: eval_aaron3_10->eval_aaron3_bb3_in: 8*Arg_7+8*Arg_8+8*Arg_9+1 {O(n)}
49: eval_aaron3_10->eval_aaron3_bb4_in: inf {Infinity}
50: eval_aaron3_12->eval_aaron3_13: 8*Arg_7+8*Arg_8+8*Arg_9+9 {O(n)}
51: eval_aaron3_13->eval_aaron3_bb5_in: 1 {O(1)}
52: eval_aaron3_13->eval_aaron3_bb1_in: 8*Arg_7+8*Arg_8+8*Arg_9+1 {O(n)}
53: eval_aaron3_2->eval_aaron3_3: 1 {O(1)}
54: eval_aaron3_3->eval_aaron3_4: 1 {O(1)}
55: eval_aaron3_4->eval_aaron3_5: 1 {O(1)}
56: eval_aaron3_5->eval_aaron3_6: 1 {O(1)}
57: eval_aaron3_6->eval_aaron3_7: 1 {O(1)}
58: eval_aaron3_7->eval_aaron3_8: 1 {O(1)}
59: eval_aaron3_8->eval_aaron3_bb1_in: 1 {O(1)}
60: eval_aaron3_9->eval_aaron3_10: inf {Infinity}
61: eval_aaron3_bb0_in->eval_aaron3_0: 1 {O(1)}
62: eval_aaron3_bb1_in->eval_aaron3_bb2_in: inf {Infinity}
63: eval_aaron3_bb1_in->eval_aaron3_bb5_in: 1 {O(1)}
64: eval_aaron3_bb2_in->eval_aaron3_9: inf {Infinity}
65: eval_aaron3_bb3_in->eval_aaron3_12: 8*Arg_7+8*Arg_8+8*Arg_9+9 {O(n)}
66: eval_aaron3_bb4_in->eval_aaron3_bb1_in: inf {Infinity}
67: eval_aaron3_bb5_in->eval_aaron3_stop: 1 {O(1)}
68: eval_aaron3_start->eval_aaron3_bb0_in: 1 {O(1)}

Sizebounds

46: eval_aaron3_0->eval_aaron3_1, Arg_0: Arg_0 {O(n)}
46: eval_aaron3_0->eval_aaron3_1, Arg_1: Arg_1 {O(n)}
46: eval_aaron3_0->eval_aaron3_1, Arg_2: Arg_2 {O(n)}
46: eval_aaron3_0->eval_aaron3_1, Arg_3: Arg_3 {O(n)}
46: eval_aaron3_0->eval_aaron3_1, Arg_4: Arg_4 {O(n)}
46: eval_aaron3_0->eval_aaron3_1, Arg_5: Arg_5 {O(n)}
46: eval_aaron3_0->eval_aaron3_1, Arg_7: Arg_7 {O(n)}
46: eval_aaron3_0->eval_aaron3_1, Arg_8: Arg_8 {O(n)}
46: eval_aaron3_0->eval_aaron3_1, Arg_9: Arg_9 {O(n)}
47: eval_aaron3_1->eval_aaron3_2, Arg_0: Arg_0 {O(n)}
47: eval_aaron3_1->eval_aaron3_2, Arg_1: Arg_1 {O(n)}
47: eval_aaron3_1->eval_aaron3_2, Arg_2: Arg_2 {O(n)}
47: eval_aaron3_1->eval_aaron3_2, Arg_3: Arg_3 {O(n)}
47: eval_aaron3_1->eval_aaron3_2, Arg_4: Arg_4 {O(n)}
47: eval_aaron3_1->eval_aaron3_2, Arg_5: Arg_5 {O(n)}
47: eval_aaron3_1->eval_aaron3_2, Arg_7: Arg_7 {O(n)}
47: eval_aaron3_1->eval_aaron3_2, Arg_8: Arg_8 {O(n)}
47: eval_aaron3_1->eval_aaron3_2, Arg_9: Arg_9 {O(n)}
48: eval_aaron3_10->eval_aaron3_bb3_in, Arg_1: 8*Arg_7+8*Arg_8+9*Arg_9+Arg_1+9 {O(n)}
48: eval_aaron3_10->eval_aaron3_bb3_in, Arg_5: 8*Arg_7+8*Arg_8+9*Arg_9+9 {O(n)}
48: eval_aaron3_10->eval_aaron3_bb3_in, Arg_7: Arg_7 {O(n)}
48: eval_aaron3_10->eval_aaron3_bb3_in, Arg_8: Arg_8 {O(n)}
48: eval_aaron3_10->eval_aaron3_bb3_in, Arg_9: Arg_9 {O(n)}
49: eval_aaron3_10->eval_aaron3_bb4_in, Arg_1: 8*Arg_7+8*Arg_8+9*Arg_9+Arg_1+9 {O(n)}
49: eval_aaron3_10->eval_aaron3_bb4_in, Arg_5: 8*Arg_7+8*Arg_8+9*Arg_9+9 {O(n)}
49: eval_aaron3_10->eval_aaron3_bb4_in, Arg_7: Arg_7 {O(n)}
49: eval_aaron3_10->eval_aaron3_bb4_in, Arg_8: Arg_8 {O(n)}
49: eval_aaron3_10->eval_aaron3_bb4_in, Arg_9: Arg_9 {O(n)}
50: eval_aaron3_12->eval_aaron3_13, Arg_1: 8*Arg_7+8*Arg_8+9*Arg_9+9 {O(n)}
50: eval_aaron3_12->eval_aaron3_13, Arg_5: 8*Arg_7+8*Arg_8+9*Arg_9+9 {O(n)}
50: eval_aaron3_12->eval_aaron3_13, Arg_7: Arg_7 {O(n)}
50: eval_aaron3_12->eval_aaron3_13, Arg_8: Arg_8 {O(n)}
50: eval_aaron3_12->eval_aaron3_13, Arg_9: Arg_9 {O(n)}
51: eval_aaron3_13->eval_aaron3_bb5_in, Arg_1: 8*Arg_7+8*Arg_8+9*Arg_9+9 {O(n)}
51: eval_aaron3_13->eval_aaron3_bb5_in, Arg_5: 8*Arg_7+8*Arg_8+9*Arg_9+9 {O(n)}
51: eval_aaron3_13->eval_aaron3_bb5_in, Arg_7: Arg_7 {O(n)}
51: eval_aaron3_13->eval_aaron3_bb5_in, Arg_8: Arg_8 {O(n)}
51: eval_aaron3_13->eval_aaron3_bb5_in, Arg_9: Arg_9 {O(n)}
52: eval_aaron3_13->eval_aaron3_bb1_in, Arg_1: 8*Arg_7+8*Arg_8+9*Arg_9+9 {O(n)}
52: eval_aaron3_13->eval_aaron3_bb1_in, Arg_5: 8*Arg_7+8*Arg_8+9*Arg_9+9 {O(n)}
52: eval_aaron3_13->eval_aaron3_bb1_in, Arg_7: Arg_7 {O(n)}
52: eval_aaron3_13->eval_aaron3_bb1_in, Arg_8: Arg_8 {O(n)}
52: eval_aaron3_13->eval_aaron3_bb1_in, Arg_9: Arg_9 {O(n)}
53: eval_aaron3_2->eval_aaron3_3, Arg_0: Arg_0 {O(n)}
53: eval_aaron3_2->eval_aaron3_3, Arg_1: Arg_1 {O(n)}
53: eval_aaron3_2->eval_aaron3_3, Arg_2: Arg_2 {O(n)}
53: eval_aaron3_2->eval_aaron3_3, Arg_3: Arg_3 {O(n)}
53: eval_aaron3_2->eval_aaron3_3, Arg_4: Arg_4 {O(n)}
53: eval_aaron3_2->eval_aaron3_3, Arg_5: Arg_5 {O(n)}
53: eval_aaron3_2->eval_aaron3_3, Arg_7: Arg_7 {O(n)}
53: eval_aaron3_2->eval_aaron3_3, Arg_8: Arg_8 {O(n)}
53: eval_aaron3_2->eval_aaron3_3, Arg_9: Arg_9 {O(n)}
54: eval_aaron3_3->eval_aaron3_4, Arg_0: Arg_0 {O(n)}
54: eval_aaron3_3->eval_aaron3_4, Arg_1: Arg_1 {O(n)}
54: eval_aaron3_3->eval_aaron3_4, Arg_2: Arg_2 {O(n)}
54: eval_aaron3_3->eval_aaron3_4, Arg_3: Arg_3 {O(n)}
54: eval_aaron3_3->eval_aaron3_4, Arg_4: Arg_4 {O(n)}
54: eval_aaron3_3->eval_aaron3_4, Arg_5: Arg_5 {O(n)}
54: eval_aaron3_3->eval_aaron3_4, Arg_7: Arg_7 {O(n)}
54: eval_aaron3_3->eval_aaron3_4, Arg_8: Arg_8 {O(n)}
54: eval_aaron3_3->eval_aaron3_4, Arg_9: Arg_9 {O(n)}
55: eval_aaron3_4->eval_aaron3_5, Arg_0: Arg_0 {O(n)}
55: eval_aaron3_4->eval_aaron3_5, Arg_1: Arg_1 {O(n)}
55: eval_aaron3_4->eval_aaron3_5, Arg_2: Arg_2 {O(n)}
55: eval_aaron3_4->eval_aaron3_5, Arg_3: Arg_3 {O(n)}
55: eval_aaron3_4->eval_aaron3_5, Arg_4: Arg_4 {O(n)}
55: eval_aaron3_4->eval_aaron3_5, Arg_5: Arg_5 {O(n)}
55: eval_aaron3_4->eval_aaron3_5, Arg_7: Arg_7 {O(n)}
55: eval_aaron3_4->eval_aaron3_5, Arg_8: Arg_8 {O(n)}
55: eval_aaron3_4->eval_aaron3_5, Arg_9: Arg_9 {O(n)}
56: eval_aaron3_5->eval_aaron3_6, Arg_0: Arg_0 {O(n)}
56: eval_aaron3_5->eval_aaron3_6, Arg_1: Arg_1 {O(n)}
56: eval_aaron3_5->eval_aaron3_6, Arg_2: Arg_2 {O(n)}
56: eval_aaron3_5->eval_aaron3_6, Arg_3: Arg_3 {O(n)}
56: eval_aaron3_5->eval_aaron3_6, Arg_4: Arg_4 {O(n)}
56: eval_aaron3_5->eval_aaron3_6, Arg_5: Arg_5 {O(n)}
56: eval_aaron3_5->eval_aaron3_6, Arg_7: Arg_7 {O(n)}
56: eval_aaron3_5->eval_aaron3_6, Arg_8: Arg_8 {O(n)}
56: eval_aaron3_5->eval_aaron3_6, Arg_9: Arg_9 {O(n)}
57: eval_aaron3_6->eval_aaron3_7, Arg_0: Arg_0 {O(n)}
57: eval_aaron3_6->eval_aaron3_7, Arg_1: Arg_1 {O(n)}
57: eval_aaron3_6->eval_aaron3_7, Arg_2: Arg_2 {O(n)}
57: eval_aaron3_6->eval_aaron3_7, Arg_3: Arg_3 {O(n)}
57: eval_aaron3_6->eval_aaron3_7, Arg_4: Arg_4 {O(n)}
57: eval_aaron3_6->eval_aaron3_7, Arg_5: Arg_5 {O(n)}
57: eval_aaron3_6->eval_aaron3_7, Arg_7: Arg_7 {O(n)}
57: eval_aaron3_6->eval_aaron3_7, Arg_8: Arg_8 {O(n)}
57: eval_aaron3_6->eval_aaron3_7, Arg_9: Arg_9 {O(n)}
58: eval_aaron3_7->eval_aaron3_8, Arg_0: Arg_0 {O(n)}
58: eval_aaron3_7->eval_aaron3_8, Arg_1: Arg_1 {O(n)}
58: eval_aaron3_7->eval_aaron3_8, Arg_2: Arg_2 {O(n)}
58: eval_aaron3_7->eval_aaron3_8, Arg_3: Arg_3 {O(n)}
58: eval_aaron3_7->eval_aaron3_8, Arg_4: Arg_4 {O(n)}
58: eval_aaron3_7->eval_aaron3_8, Arg_5: Arg_5 {O(n)}
58: eval_aaron3_7->eval_aaron3_8, Arg_7: Arg_7 {O(n)}
58: eval_aaron3_7->eval_aaron3_8, Arg_8: Arg_8 {O(n)}
58: eval_aaron3_7->eval_aaron3_8, Arg_9: Arg_9 {O(n)}
59: eval_aaron3_8->eval_aaron3_bb1_in, Arg_0: Arg_0 {O(n)}
59: eval_aaron3_8->eval_aaron3_bb1_in, Arg_1: Arg_1 {O(n)}
59: eval_aaron3_8->eval_aaron3_bb1_in, Arg_2: Arg_2 {O(n)}
59: eval_aaron3_8->eval_aaron3_bb1_in, Arg_3: Arg_7 {O(n)}
59: eval_aaron3_8->eval_aaron3_bb1_in, Arg_4: Arg_8 {O(n)}
59: eval_aaron3_8->eval_aaron3_bb1_in, Arg_5: Arg_9 {O(n)}
59: eval_aaron3_8->eval_aaron3_bb1_in, Arg_7: Arg_7 {O(n)}
59: eval_aaron3_8->eval_aaron3_bb1_in, Arg_8: Arg_8 {O(n)}
59: eval_aaron3_8->eval_aaron3_bb1_in, Arg_9: Arg_9 {O(n)}
60: eval_aaron3_9->eval_aaron3_10, Arg_1: 8*Arg_7+8*Arg_8+9*Arg_9+Arg_1+9 {O(n)}
60: eval_aaron3_9->eval_aaron3_10, Arg_5: 8*Arg_7+8*Arg_8+9*Arg_9+9 {O(n)}
60: eval_aaron3_9->eval_aaron3_10, Arg_7: Arg_7 {O(n)}
60: eval_aaron3_9->eval_aaron3_10, Arg_8: Arg_8 {O(n)}
60: eval_aaron3_9->eval_aaron3_10, Arg_9: Arg_9 {O(n)}
61: eval_aaron3_bb0_in->eval_aaron3_0, Arg_0: Arg_0 {O(n)}
61: eval_aaron3_bb0_in->eval_aaron3_0, Arg_1: Arg_1 {O(n)}
61: eval_aaron3_bb0_in->eval_aaron3_0, Arg_2: Arg_2 {O(n)}
61: eval_aaron3_bb0_in->eval_aaron3_0, Arg_3: Arg_3 {O(n)}
61: eval_aaron3_bb0_in->eval_aaron3_0, Arg_4: Arg_4 {O(n)}
61: eval_aaron3_bb0_in->eval_aaron3_0, Arg_5: Arg_5 {O(n)}
61: eval_aaron3_bb0_in->eval_aaron3_0, Arg_7: Arg_7 {O(n)}
61: eval_aaron3_bb0_in->eval_aaron3_0, Arg_8: Arg_8 {O(n)}
61: eval_aaron3_bb0_in->eval_aaron3_0, Arg_9: Arg_9 {O(n)}
62: eval_aaron3_bb1_in->eval_aaron3_bb2_in, Arg_1: 8*Arg_7+8*Arg_8+9*Arg_9+Arg_1+9 {O(n)}
62: eval_aaron3_bb1_in->eval_aaron3_bb2_in, Arg_5: 8*Arg_7+8*Arg_8+9*Arg_9+9 {O(n)}
62: eval_aaron3_bb1_in->eval_aaron3_bb2_in, Arg_7: Arg_7 {O(n)}
62: eval_aaron3_bb1_in->eval_aaron3_bb2_in, Arg_8: Arg_8 {O(n)}
62: eval_aaron3_bb1_in->eval_aaron3_bb2_in, Arg_9: Arg_9 {O(n)}
63: eval_aaron3_bb1_in->eval_aaron3_bb5_in, Arg_1: 16*Arg_7+16*Arg_8+18*Arg_9+2*Arg_1+18 {O(n)}
63: eval_aaron3_bb1_in->eval_aaron3_bb5_in, Arg_5: 16*Arg_7+16*Arg_8+19*Arg_9+18 {O(n)}
63: eval_aaron3_bb1_in->eval_aaron3_bb5_in, Arg_7: 3*Arg_7 {O(n)}
63: eval_aaron3_bb1_in->eval_aaron3_bb5_in, Arg_8: 3*Arg_8 {O(n)}
63: eval_aaron3_bb1_in->eval_aaron3_bb5_in, Arg_9: 3*Arg_9 {O(n)}
64: eval_aaron3_bb2_in->eval_aaron3_9, Arg_1: 8*Arg_7+8*Arg_8+9*Arg_9+Arg_1+9 {O(n)}
64: eval_aaron3_bb2_in->eval_aaron3_9, Arg_5: 8*Arg_7+8*Arg_8+9*Arg_9+9 {O(n)}
64: eval_aaron3_bb2_in->eval_aaron3_9, Arg_7: Arg_7 {O(n)}
64: eval_aaron3_bb2_in->eval_aaron3_9, Arg_8: Arg_8 {O(n)}
64: eval_aaron3_bb2_in->eval_aaron3_9, Arg_9: Arg_9 {O(n)}
65: eval_aaron3_bb3_in->eval_aaron3_12, Arg_1: 8*Arg_7+8*Arg_8+9*Arg_9+9 {O(n)}
65: eval_aaron3_bb3_in->eval_aaron3_12, Arg_5: 8*Arg_7+8*Arg_8+9*Arg_9+9 {O(n)}
65: eval_aaron3_bb3_in->eval_aaron3_12, Arg_7: Arg_7 {O(n)}
65: eval_aaron3_bb3_in->eval_aaron3_12, Arg_8: Arg_8 {O(n)}
65: eval_aaron3_bb3_in->eval_aaron3_12, Arg_9: Arg_9 {O(n)}
66: eval_aaron3_bb4_in->eval_aaron3_bb1_in, Arg_1: 8*Arg_7+8*Arg_8+9*Arg_9+Arg_1+9 {O(n)}
66: eval_aaron3_bb4_in->eval_aaron3_bb1_in, Arg_5: 8*Arg_7+8*Arg_8+9*Arg_9+9 {O(n)}
66: eval_aaron3_bb4_in->eval_aaron3_bb1_in, Arg_7: Arg_7 {O(n)}
66: eval_aaron3_bb4_in->eval_aaron3_bb1_in, Arg_8: Arg_8 {O(n)}
66: eval_aaron3_bb4_in->eval_aaron3_bb1_in, Arg_9: Arg_9 {O(n)}
67: eval_aaron3_bb5_in->eval_aaron3_stop, Arg_1: 2*Arg_1+24*Arg_7+24*Arg_8+27*Arg_9+27 {O(n)}
67: eval_aaron3_bb5_in->eval_aaron3_stop, Arg_5: 24*Arg_7+24*Arg_8+28*Arg_9+27 {O(n)}
67: eval_aaron3_bb5_in->eval_aaron3_stop, Arg_7: 4*Arg_7 {O(n)}
67: eval_aaron3_bb5_in->eval_aaron3_stop, Arg_8: 4*Arg_8 {O(n)}
67: eval_aaron3_bb5_in->eval_aaron3_stop, Arg_9: 4*Arg_9 {O(n)}
68: eval_aaron3_start->eval_aaron3_bb0_in, Arg_0: Arg_0 {O(n)}
68: eval_aaron3_start->eval_aaron3_bb0_in, Arg_1: Arg_1 {O(n)}
68: eval_aaron3_start->eval_aaron3_bb0_in, Arg_2: Arg_2 {O(n)}
68: eval_aaron3_start->eval_aaron3_bb0_in, Arg_3: Arg_3 {O(n)}
68: eval_aaron3_start->eval_aaron3_bb0_in, Arg_4: Arg_4 {O(n)}
68: eval_aaron3_start->eval_aaron3_bb0_in, Arg_5: Arg_5 {O(n)}
68: eval_aaron3_start->eval_aaron3_bb0_in, Arg_7: Arg_7 {O(n)}
68: eval_aaron3_start->eval_aaron3_bb0_in, Arg_8: Arg_8 {O(n)}
68: eval_aaron3_start->eval_aaron3_bb0_in, Arg_9: Arg_9 {O(n)}