Initial Problem

Start: eval_foo_start
Program_Vars: Arg_0, Arg_1, Arg_2, Arg_3, Arg_4, Arg_5, Arg_6
Temp_Vars: nondef.0
Locations: eval_foo_.critedge_in, eval_foo_0, eval_foo_1, eval_foo_bb0_in, eval_foo_bb1_in, eval_foo_bb2_in, eval_foo_bb3_in, eval_foo_bb4_in, eval_foo_bb5_in, eval_foo_bb6_in, eval_foo_bb7_in, eval_foo_bb8_in, eval_foo_start, eval_foo_stop
Transitions:
11:eval_foo_.critedge_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6) -> eval_foo_bb4_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6):|:Arg_0<=Arg_3 && Arg_1<=Arg_4
12:eval_foo_.critedge_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6) -> eval_foo_bb5_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6):|:Arg_3<Arg_0
13:eval_foo_.critedge_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6) -> eval_foo_bb5_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6):|:Arg_4<Arg_1
16:eval_foo_0(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6) -> eval_foo_1(Arg_0,Arg_1,nondef.0,Arg_3,Arg_4,Arg_5,Arg_6)
17:eval_foo_1(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6) -> eval_foo_bb1_in(Arg_0,Arg_1+1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6):|:Arg_2<0 && Arg_2<0
18:eval_foo_1(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6) -> eval_foo_bb1_in(Arg_0,Arg_1+1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6):|:Arg_2<0 && 0<Arg_2
19:eval_foo_1(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6) -> eval_foo_bb1_in(Arg_0,Arg_1+1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6):|:0<Arg_2 && Arg_2<0
20:eval_foo_1(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6) -> eval_foo_bb1_in(Arg_0,Arg_1+1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6):|:0<Arg_2 && 0<Arg_2
21:eval_foo_1(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6) -> eval_foo_bb1_in(Arg_0+1,Arg_1+1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6):|:Arg_2<0 && Arg_2<=0 && 0<=Arg_2
22:eval_foo_1(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6) -> eval_foo_bb1_in(Arg_0+1,Arg_1+1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6):|:0<Arg_2 && Arg_2<=0 && 0<=Arg_2
23:eval_foo_1(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6) -> eval_foo_bb1_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6):|:Arg_2<=0 && 0<=Arg_2 && Arg_2<0
24:eval_foo_1(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6) -> eval_foo_bb1_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6):|:Arg_2<=0 && 0<=Arg_2 && 0<Arg_2
25:eval_foo_1(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6) -> eval_foo_bb1_in(Arg_0+1,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6):|:Arg_2<=0 && 0<=Arg_2 && Arg_2<=0 && 0<=Arg_2
1:eval_foo_bb0_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6) -> eval_foo_bb1_in(Arg_5,Arg_6,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6)
2:eval_foo_bb1_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6) -> eval_foo_.critedge_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6):|:Arg_0<=Arg_3 && Arg_1<=Arg_4
3:eval_foo_bb1_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6) -> eval_foo_bb2_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6):|:Arg_3<Arg_0
4:eval_foo_bb1_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6) -> eval_foo_bb2_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6):|:Arg_4<Arg_1
5:eval_foo_bb2_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6) -> eval_foo_.critedge_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6):|:Arg_0<=Arg_3 && Arg_4<=Arg_1
6:eval_foo_bb2_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6) -> eval_foo_bb3_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6):|:Arg_3<Arg_0
7:eval_foo_bb2_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6) -> eval_foo_bb3_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6):|:Arg_1<Arg_4
8:eval_foo_bb3_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6) -> eval_foo_.critedge_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6):|:Arg_3<=Arg_0 && Arg_1<=Arg_4
9:eval_foo_bb3_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6) -> eval_foo_bb8_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6):|:Arg_0<Arg_3
10:eval_foo_bb3_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6) -> eval_foo_bb8_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6):|:Arg_4<Arg_1
14:eval_foo_bb4_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6) -> eval_foo_0(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6)
26:eval_foo_bb5_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6) -> eval_foo_bb6_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6):|:Arg_0<=Arg_3 && Arg_4<=Arg_1
27:eval_foo_bb5_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6) -> eval_foo_bb7_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6):|:Arg_3<Arg_0
28:eval_foo_bb5_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6) -> eval_foo_bb7_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6):|:Arg_1<Arg_4
29:eval_foo_bb6_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6) -> eval_foo_bb1_in(Arg_0+1,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6)
30:eval_foo_bb7_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6) -> eval_foo_bb1_in(Arg_0,Arg_1+1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6):|:Arg_3<=Arg_0 && Arg_1<=Arg_4
31:eval_foo_bb7_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6) -> eval_foo_bb1_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6):|:Arg_0<Arg_3
32:eval_foo_bb7_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6) -> eval_foo_bb1_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6):|:Arg_4<Arg_1
33:eval_foo_bb8_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6) -> eval_foo_stop(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6)
0:eval_foo_start(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6) -> eval_foo_bb0_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6)

Preprocessing

Cut unsatisfiable transition 18: eval_foo_1->eval_foo_bb1_in

Cut unsatisfiable transition 19: eval_foo_1->eval_foo_bb1_in

Cut unsatisfiable transition 21: eval_foo_1->eval_foo_bb1_in

Cut unsatisfiable transition 22: eval_foo_1->eval_foo_bb1_in

Cut unsatisfiable transition 23: eval_foo_1->eval_foo_bb1_in

Cut unsatisfiable transition 24: eval_foo_1->eval_foo_bb1_in

Found invariant Arg_6<=Arg_1 && Arg_5<=Arg_0 for location eval_foo_bb5_in

Found invariant Arg_6<=Arg_1 && Arg_5<=Arg_0 for location eval_foo_bb7_in

Found invariant Arg_6<=Arg_4 && Arg_6<=Arg_1 && Arg_5<=Arg_3 && Arg_5<=Arg_0 && Arg_1<=Arg_4 && Arg_0<=Arg_3 for location eval_foo_0

Found invariant Arg_6<=Arg_1 && Arg_5<=Arg_0 for location eval_foo_stop

Found invariant Arg_6<=Arg_1 && Arg_5<=Arg_0 for location eval_foo_bb3_in

Found invariant Arg_6<=Arg_1 && Arg_5<=Arg_0 for location eval_foo_bb2_in

Found invariant Arg_6<=Arg_4 && Arg_6<=Arg_1 && Arg_5<=Arg_3 && Arg_5<=Arg_0 && Arg_1<=Arg_4 && Arg_0<=Arg_3 for location eval_foo_1

Found invariant Arg_6<=Arg_1 && Arg_5<=Arg_0 for location eval_foo_bb1_in

Found invariant Arg_6<=Arg_1 && Arg_5<=Arg_0 for location eval_foo_bb8_in

Found invariant Arg_6<=Arg_1 && Arg_5<=Arg_0 for location eval_foo_.critedge_in

Found invariant Arg_6<=Arg_1 && Arg_5<=Arg_3 && Arg_5<=Arg_0 && Arg_4<=Arg_1 && Arg_0<=Arg_3 for location eval_foo_bb6_in

Found invariant Arg_6<=Arg_4 && Arg_6<=Arg_1 && Arg_5<=Arg_3 && Arg_5<=Arg_0 && Arg_1<=Arg_4 && Arg_0<=Arg_3 for location eval_foo_bb4_in

Problem after Preprocessing

Start: eval_foo_start
Program_Vars: Arg_0, Arg_1, Arg_2, Arg_3, Arg_4, Arg_5, Arg_6
Temp_Vars: nondef.0
Locations: eval_foo_.critedge_in, eval_foo_0, eval_foo_1, eval_foo_bb0_in, eval_foo_bb1_in, eval_foo_bb2_in, eval_foo_bb3_in, eval_foo_bb4_in, eval_foo_bb5_in, eval_foo_bb6_in, eval_foo_bb7_in, eval_foo_bb8_in, eval_foo_start, eval_foo_stop
Transitions:
11:eval_foo_.critedge_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6) -> eval_foo_bb4_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6):|:Arg_6<=Arg_1 && Arg_5<=Arg_0 && Arg_0<=Arg_3 && Arg_1<=Arg_4
12:eval_foo_.critedge_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6) -> eval_foo_bb5_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6):|:Arg_6<=Arg_1 && Arg_5<=Arg_0 && Arg_3<Arg_0
13:eval_foo_.critedge_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6) -> eval_foo_bb5_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6):|:Arg_6<=Arg_1 && Arg_5<=Arg_0 && Arg_4<Arg_1
16:eval_foo_0(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6) -> eval_foo_1(Arg_0,Arg_1,nondef.0,Arg_3,Arg_4,Arg_5,Arg_6):|:Arg_6<=Arg_4 && Arg_6<=Arg_1 && Arg_5<=Arg_3 && Arg_5<=Arg_0 && Arg_1<=Arg_4 && Arg_0<=Arg_3
17:eval_foo_1(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6) -> eval_foo_bb1_in(Arg_0,Arg_1+1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6):|:Arg_6<=Arg_4 && Arg_6<=Arg_1 && Arg_5<=Arg_3 && Arg_5<=Arg_0 && Arg_1<=Arg_4 && Arg_0<=Arg_3 && Arg_2<0 && Arg_2<0
20:eval_foo_1(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6) -> eval_foo_bb1_in(Arg_0,Arg_1+1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6):|:Arg_6<=Arg_4 && Arg_6<=Arg_1 && Arg_5<=Arg_3 && Arg_5<=Arg_0 && Arg_1<=Arg_4 && Arg_0<=Arg_3 && 0<Arg_2 && 0<Arg_2
25:eval_foo_1(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6) -> eval_foo_bb1_in(Arg_0+1,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6):|:Arg_6<=Arg_4 && Arg_6<=Arg_1 && Arg_5<=Arg_3 && Arg_5<=Arg_0 && Arg_1<=Arg_4 && Arg_0<=Arg_3 && Arg_2<=0 && 0<=Arg_2 && Arg_2<=0 && 0<=Arg_2
1:eval_foo_bb0_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6) -> eval_foo_bb1_in(Arg_5,Arg_6,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6)
2:eval_foo_bb1_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6) -> eval_foo_.critedge_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6):|:Arg_6<=Arg_1 && Arg_5<=Arg_0 && Arg_0<=Arg_3 && Arg_1<=Arg_4
3:eval_foo_bb1_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6) -> eval_foo_bb2_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6):|:Arg_6<=Arg_1 && Arg_5<=Arg_0 && Arg_3<Arg_0
4:eval_foo_bb1_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6) -> eval_foo_bb2_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6):|:Arg_6<=Arg_1 && Arg_5<=Arg_0 && Arg_4<Arg_1
5:eval_foo_bb2_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6) -> eval_foo_.critedge_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6):|:Arg_6<=Arg_1 && Arg_5<=Arg_0 && Arg_0<=Arg_3 && Arg_4<=Arg_1
6:eval_foo_bb2_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6) -> eval_foo_bb3_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6):|:Arg_6<=Arg_1 && Arg_5<=Arg_0 && Arg_3<Arg_0
7:eval_foo_bb2_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6) -> eval_foo_bb3_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6):|:Arg_6<=Arg_1 && Arg_5<=Arg_0 && Arg_1<Arg_4
8:eval_foo_bb3_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6) -> eval_foo_.critedge_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6):|:Arg_6<=Arg_1 && Arg_5<=Arg_0 && Arg_3<=Arg_0 && Arg_1<=Arg_4
9:eval_foo_bb3_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6) -> eval_foo_bb8_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6):|:Arg_6<=Arg_1 && Arg_5<=Arg_0 && Arg_0<Arg_3
10:eval_foo_bb3_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6) -> eval_foo_bb8_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6):|:Arg_6<=Arg_1 && Arg_5<=Arg_0 && Arg_4<Arg_1
14:eval_foo_bb4_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6) -> eval_foo_0(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6):|:Arg_6<=Arg_4 && Arg_6<=Arg_1 && Arg_5<=Arg_3 && Arg_5<=Arg_0 && Arg_1<=Arg_4 && Arg_0<=Arg_3
26:eval_foo_bb5_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6) -> eval_foo_bb6_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6):|:Arg_6<=Arg_1 && Arg_5<=Arg_0 && Arg_0<=Arg_3 && Arg_4<=Arg_1
27:eval_foo_bb5_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6) -> eval_foo_bb7_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6):|:Arg_6<=Arg_1 && Arg_5<=Arg_0 && Arg_3<Arg_0
28:eval_foo_bb5_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6) -> eval_foo_bb7_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6):|:Arg_6<=Arg_1 && Arg_5<=Arg_0 && Arg_1<Arg_4
29:eval_foo_bb6_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6) -> eval_foo_bb1_in(Arg_0+1,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6):|:Arg_6<=Arg_1 && Arg_5<=Arg_3 && Arg_5<=Arg_0 && Arg_4<=Arg_1 && Arg_0<=Arg_3
30:eval_foo_bb7_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6) -> eval_foo_bb1_in(Arg_0,Arg_1+1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6):|:Arg_6<=Arg_1 && Arg_5<=Arg_0 && Arg_3<=Arg_0 && Arg_1<=Arg_4
31:eval_foo_bb7_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6) -> eval_foo_bb1_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6):|:Arg_6<=Arg_1 && Arg_5<=Arg_0 && Arg_0<Arg_3
32:eval_foo_bb7_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6) -> eval_foo_bb1_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6):|:Arg_6<=Arg_1 && Arg_5<=Arg_0 && Arg_4<Arg_1
33:eval_foo_bb8_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6) -> eval_foo_stop(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6):|:Arg_6<=Arg_1 && Arg_5<=Arg_0
0:eval_foo_start(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6) -> eval_foo_bb0_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6)

MPRF for transition 11:eval_foo_.critedge_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6) -> eval_foo_bb4_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6):|:Arg_6<=Arg_1 && Arg_5<=Arg_0 && Arg_0<=Arg_3 && Arg_1<=Arg_4 of depth 1:

new bound:

Arg_3+Arg_4+Arg_5+Arg_6+1 {O(n)}

MPRF:

eval_foo_1 [Arg_3+Arg_4-Arg_0-Arg_1 ]
eval_foo_bb2_in [Arg_3+Arg_4+1-Arg_0-Arg_1 ]
eval_foo_bb3_in [Arg_3+Arg_4+1-Arg_0-Arg_1 ]
eval_foo_.critedge_in [Arg_3+Arg_4+1-Arg_0-Arg_1 ]
eval_foo_bb4_in [Arg_3+Arg_4-Arg_0-Arg_1 ]
eval_foo_0 [Arg_3+Arg_4-Arg_0-Arg_1 ]
eval_foo_bb5_in [Arg_3+Arg_4+1-Arg_0-Arg_1 ]
eval_foo_bb6_in [Arg_3+Arg_4-Arg_0-Arg_1 ]
eval_foo_bb7_in [Arg_3+Arg_4+1-Arg_0-Arg_1 ]
eval_foo_bb1_in [Arg_3+Arg_4+1-Arg_0-Arg_1 ]

MPRF for transition 16:eval_foo_0(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6) -> eval_foo_1(Arg_0,Arg_1,nondef.0,Arg_3,Arg_4,Arg_5,Arg_6):|:Arg_6<=Arg_4 && Arg_6<=Arg_1 && Arg_5<=Arg_3 && Arg_5<=Arg_0 && Arg_1<=Arg_4 && Arg_0<=Arg_3 of depth 1:

new bound:

Arg_3+Arg_4+Arg_5+Arg_6+1 {O(n)}

MPRF:

eval_foo_1 [Arg_3+Arg_4-Arg_0-Arg_1 ]
eval_foo_bb2_in [Arg_3+Arg_4+1-Arg_0-Arg_1 ]
eval_foo_bb3_in [Arg_3+Arg_4+1-Arg_0-Arg_1 ]
eval_foo_.critedge_in [Arg_3+Arg_4+1-Arg_0-Arg_1 ]
eval_foo_bb4_in [Arg_3+Arg_4+1-Arg_0-Arg_1 ]
eval_foo_0 [Arg_3+Arg_4+1-Arg_0-Arg_1 ]
eval_foo_bb5_in [Arg_3+Arg_4+1-Arg_0-Arg_1 ]
eval_foo_bb6_in [Arg_3+Arg_4-Arg_0-Arg_1 ]
eval_foo_bb7_in [Arg_3+Arg_4+1-Arg_0-Arg_1 ]
eval_foo_bb1_in [Arg_3+Arg_4+1-Arg_0-Arg_1 ]

MPRF for transition 17:eval_foo_1(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6) -> eval_foo_bb1_in(Arg_0,Arg_1+1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6):|:Arg_6<=Arg_4 && Arg_6<=Arg_1 && Arg_5<=Arg_3 && Arg_5<=Arg_0 && Arg_1<=Arg_4 && Arg_0<=Arg_3 && Arg_2<0 && Arg_2<0 of depth 1:

new bound:

Arg_4+Arg_6+1 {O(n)}

MPRF:

eval_foo_1 [Arg_4+1-Arg_1 ]
eval_foo_bb2_in [Arg_4+1-Arg_1 ]
eval_foo_bb3_in [Arg_4+1-Arg_1 ]
eval_foo_.critedge_in [Arg_4+1-Arg_1 ]
eval_foo_bb4_in [Arg_4+1-Arg_1 ]
eval_foo_0 [Arg_4+1-Arg_1 ]
eval_foo_bb5_in [Arg_4+1-Arg_1 ]
eval_foo_bb6_in [Arg_4+1-Arg_1 ]
eval_foo_bb7_in [Arg_4+1-Arg_1 ]
eval_foo_bb1_in [Arg_4+1-Arg_1 ]

MPRF for transition 20:eval_foo_1(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6) -> eval_foo_bb1_in(Arg_0,Arg_1+1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6):|:Arg_6<=Arg_4 && Arg_6<=Arg_1 && Arg_5<=Arg_3 && Arg_5<=Arg_0 && Arg_1<=Arg_4 && Arg_0<=Arg_3 && 0<Arg_2 && 0<Arg_2 of depth 1:

new bound:

Arg_4+Arg_6+1 {O(n)}

MPRF:

eval_foo_1 [Arg_4+1-Arg_1 ]
eval_foo_bb2_in [Arg_4+1-Arg_1 ]
eval_foo_bb3_in [Arg_4+1-Arg_1 ]
eval_foo_.critedge_in [Arg_4+1-Arg_1 ]
eval_foo_bb4_in [Arg_4+1-Arg_1 ]
eval_foo_0 [Arg_4+1-Arg_1 ]
eval_foo_bb5_in [Arg_4+1-Arg_1 ]
eval_foo_bb6_in [Arg_4+1-Arg_1 ]
eval_foo_bb7_in [Arg_4+1-Arg_1 ]
eval_foo_bb1_in [Arg_4+1-Arg_1 ]

MPRF for transition 25:eval_foo_1(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6) -> eval_foo_bb1_in(Arg_0+1,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6):|:Arg_6<=Arg_4 && Arg_6<=Arg_1 && Arg_5<=Arg_3 && Arg_5<=Arg_0 && Arg_1<=Arg_4 && Arg_0<=Arg_3 && Arg_2<=0 && 0<=Arg_2 && Arg_2<=0 && 0<=Arg_2 of depth 1:

new bound:

Arg_3+Arg_5+1 {O(n)}

MPRF:

eval_foo_1 [Arg_3+1-Arg_0 ]
eval_foo_bb2_in [Arg_3+1-Arg_0 ]
eval_foo_bb3_in [Arg_3+1-Arg_0 ]
eval_foo_.critedge_in [Arg_3+1-Arg_0 ]
eval_foo_bb4_in [Arg_3+1-Arg_0 ]
eval_foo_0 [Arg_3+1-Arg_0 ]
eval_foo_bb5_in [Arg_3+1-Arg_0 ]
eval_foo_bb6_in [Arg_3-Arg_0 ]
eval_foo_bb7_in [Arg_3+1-Arg_0 ]
eval_foo_bb1_in [Arg_3+1-Arg_0 ]

MPRF for transition 14:eval_foo_bb4_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6) -> eval_foo_0(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6):|:Arg_6<=Arg_4 && Arg_6<=Arg_1 && Arg_5<=Arg_3 && Arg_5<=Arg_0 && Arg_1<=Arg_4 && Arg_0<=Arg_3 of depth 1:

new bound:

Arg_3+Arg_4+Arg_5+Arg_6+1 {O(n)}

MPRF:

eval_foo_1 [Arg_3+Arg_4-Arg_0-Arg_1 ]
eval_foo_bb2_in [Arg_3+Arg_4+1-Arg_0-Arg_1 ]
eval_foo_bb3_in [Arg_3+Arg_4+1-Arg_0-Arg_1 ]
eval_foo_.critedge_in [Arg_3+Arg_4+1-Arg_0-Arg_1 ]
eval_foo_bb4_in [Arg_3+Arg_4+1-Arg_0-Arg_1 ]
eval_foo_0 [Arg_3+Arg_4-Arg_0-Arg_1 ]
eval_foo_bb5_in [Arg_3+Arg_4+1-Arg_0-Arg_1 ]
eval_foo_bb6_in [Arg_3+Arg_4-Arg_0-Arg_1 ]
eval_foo_bb7_in [Arg_3+Arg_4+1-Arg_0-Arg_1 ]
eval_foo_bb1_in [Arg_3+Arg_4+1-Arg_0-Arg_1 ]

MPRF for transition 26:eval_foo_bb5_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6) -> eval_foo_bb6_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6):|:Arg_6<=Arg_1 && Arg_5<=Arg_0 && Arg_0<=Arg_3 && Arg_4<=Arg_1 of depth 1:

new bound:

Arg_3+Arg_5+1 {O(n)}

MPRF:

eval_foo_1 [Arg_3+1-Arg_0 ]
eval_foo_bb2_in [Arg_3+1-Arg_0 ]
eval_foo_bb3_in [Arg_3+1-Arg_0 ]
eval_foo_.critedge_in [Arg_3+1-Arg_0 ]
eval_foo_bb4_in [Arg_3+1-Arg_0 ]
eval_foo_0 [Arg_3+1-Arg_0 ]
eval_foo_bb5_in [Arg_3+1-Arg_0 ]
eval_foo_bb6_in [Arg_3-Arg_0 ]
eval_foo_bb7_in [Arg_3+1-Arg_0 ]
eval_foo_bb1_in [Arg_3+1-Arg_0 ]

MPRF for transition 29:eval_foo_bb6_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6) -> eval_foo_bb1_in(Arg_0+1,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6):|:Arg_6<=Arg_1 && Arg_5<=Arg_3 && Arg_5<=Arg_0 && Arg_4<=Arg_1 && Arg_0<=Arg_3 of depth 1:

new bound:

Arg_3+Arg_5+1 {O(n)}

MPRF:

eval_foo_1 [Arg_3+1-Arg_0 ]
eval_foo_bb2_in [Arg_3+1-Arg_0 ]
eval_foo_bb3_in [Arg_3+1-Arg_0 ]
eval_foo_.critedge_in [Arg_3+1-Arg_0 ]
eval_foo_bb4_in [Arg_3+1-Arg_0 ]
eval_foo_0 [Arg_3+1-Arg_0 ]
eval_foo_bb5_in [Arg_3+1-Arg_0 ]
eval_foo_bb6_in [Arg_3+1-Arg_0 ]
eval_foo_bb7_in [Arg_3+1-Arg_0 ]
eval_foo_bb1_in [Arg_3+1-Arg_0 ]

MPRF for transition 30:eval_foo_bb7_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6) -> eval_foo_bb1_in(Arg_0,Arg_1+1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6):|:Arg_6<=Arg_1 && Arg_5<=Arg_0 && Arg_3<=Arg_0 && Arg_1<=Arg_4 of depth 1:

new bound:

Arg_4+Arg_6+1 {O(n)}

MPRF:

eval_foo_1 [Arg_4+1-Arg_1 ]
eval_foo_bb2_in [Arg_4+1-Arg_1 ]
eval_foo_bb3_in [Arg_4+1-Arg_1 ]
eval_foo_.critedge_in [Arg_4+1-Arg_1 ]
eval_foo_bb4_in [Arg_4+1-Arg_1 ]
eval_foo_0 [Arg_4+1-Arg_1 ]
eval_foo_bb5_in [Arg_4+1-Arg_1 ]
eval_foo_bb6_in [Arg_4+1-Arg_1 ]
eval_foo_bb7_in [Arg_4+1-Arg_1 ]
eval_foo_bb1_in [Arg_4+1-Arg_1 ]

Analysing control-flow refined program

Cut unreachable locations [eval_foo_0; eval_foo_1; eval_foo_bb4_in] from the program graph

Cut unsatisfiable transition 416: n_eval_foo_bb3_in___10->eval_foo_bb8_in

Cut unsatisfiable transition 417: n_eval_foo_bb3_in___2->eval_foo_bb8_in

Cut unsatisfiable transition 418: n_eval_foo_bb3_in___20->eval_foo_bb8_in

Cut unsatisfiable transition 429: n_eval_foo_bb3_in___20->eval_foo_bb8_in

Cut unsatisfiable transition 419: n_eval_foo_bb3_in___21->eval_foo_bb8_in

Cut unsatisfiable transition 430: n_eval_foo_bb3_in___21->eval_foo_bb8_in

Cut unsatisfiable transition 420: n_eval_foo_bb3_in___29->eval_foo_bb8_in

Cut unsatisfiable transition 421: n_eval_foo_bb3_in___33->eval_foo_bb8_in

Cut unsatisfiable transition 422: n_eval_foo_bb3_in___4->eval_foo_bb8_in

Cut unsatisfiable transition 423: n_eval_foo_bb3_in___40->eval_foo_bb8_in

Cut unsatisfiable transition 434: n_eval_foo_bb3_in___40->eval_foo_bb8_in

Cut unsatisfiable transition 424: n_eval_foo_bb3_in___41->eval_foo_bb8_in

Cut unsatisfiable transition 425: n_eval_foo_bb3_in___49->eval_foo_bb8_in

Cut unsatisfiable transition 436: n_eval_foo_bb3_in___49->eval_foo_bb8_in

Cut unsatisfiable transition 426: n_eval_foo_bb3_in___50->eval_foo_bb8_in

Cut unsatisfiable transition 439: n_eval_foo_bb5_in___14->eval_foo_bb6_in

Cut unsatisfiable transition 440: n_eval_foo_bb5_in___18->eval_foo_bb6_in

Cut unsatisfiable transition 443: n_eval_foo_bb5_in___31->eval_foo_bb6_in

Cut unsatisfiable transition 444: n_eval_foo_bb5_in___34->eval_foo_bb6_in

Cut unsatisfiable transition 445: n_eval_foo_bb5_in___38->eval_foo_bb6_in

Cut unsatisfiable transition 446: n_eval_foo_bb5_in___47->eval_foo_bb6_in

Cut unsatisfiable transition 447: n_eval_foo_bb5_in___8->eval_foo_bb6_in

Found invariant 2+Arg_6<=Arg_4 && 1+Arg_6<=Arg_1 && Arg_5<=Arg_0 && 1+Arg_1<=Arg_4 && 1+Arg_3<=Arg_0 for location n_eval_foo__Pcritedge_in___35

Found invariant Arg_6<=Arg_1 && 1+Arg_4<=Arg_6 && Arg_1<=Arg_6 && Arg_5<=Arg_3 && 1+Arg_5<=Arg_0 && 1+Arg_4<=Arg_1 && 1+Arg_3<=Arg_0 && Arg_0<=1+Arg_3 for location n_eval_foo_bb3_in___2

Found invariant Arg_6<=Arg_1 && 1+Arg_4<=Arg_6 && Arg_1<=Arg_6 && 1+Arg_5<=Arg_3 && 1+Arg_5<=Arg_0 && 1+Arg_4<=Arg_1 && Arg_0<=Arg_3 for location n_eval_foo_bb5_in___1

Found invariant Arg_6<=Arg_4 && Arg_6<=Arg_1 && Arg_4<=Arg_6 && Arg_1<=Arg_6 && Arg_5<=Arg_3 && 1+Arg_5<=Arg_0 && Arg_4<=Arg_1 && Arg_1<=Arg_4 && 1+Arg_3<=Arg_0 && Arg_0<=1+Arg_3 for location n_eval_foo_bb5_in___8

Found invariant Arg_6<=Arg_4 && Arg_6<=Arg_1 && Arg_1<=Arg_6 && 1+Arg_5<=Arg_3 && 1+Arg_5<=Arg_0 && Arg_1<=Arg_4 && Arg_0<=Arg_3 && Arg_2<=0 && 0<=Arg_2 for location n_eval_foo__Pcritedge_in___23

Found invariant 1+Arg_6<=Arg_4 && Arg_6<=Arg_1 && Arg_1<=Arg_6 && Arg_5<=Arg_0 && 1+Arg_3<=Arg_5 && Arg_0<=Arg_5 && 1+Arg_1<=Arg_4 && 1+Arg_3<=Arg_0 for location n_eval_foo_bb3_in___49

Found invariant Arg_6<=Arg_1 && Arg_5<=Arg_0 && 1+Arg_4<=Arg_1 && 1+Arg_3<=Arg_0 for location eval_foo_stop

Found invariant Arg_6<=Arg_4 && Arg_6<=Arg_1 && Arg_1<=Arg_6 && Arg_5<=Arg_3 && 1+Arg_5<=Arg_0 && Arg_1<=Arg_4 && 1+Arg_3<=Arg_0 && Arg_0<=1+Arg_3 && Arg_2<=0 && 0<=Arg_2 for location n_eval_foo__Pcritedge_in___19

Found invariant Arg_6<=Arg_4 && 1+Arg_6<=Arg_1 && Arg_5<=Arg_0 && Arg_1<=1+Arg_4 && 1+Arg_3<=Arg_0 for location n_eval_foo_bb1_in___44

Found invariant Arg_6<=Arg_4 && 1+Arg_6<=Arg_1 && Arg_5<=Arg_0 && Arg_1<=1+Arg_4 && 1+Arg_3<=Arg_0 for location n_eval_foo_bb2_in___43

Found invariant Arg_6<=Arg_4 && 1+Arg_6<=Arg_1 && Arg_5<=Arg_0 && 1+Arg_4<=Arg_1 && Arg_1<=1+Arg_4 && 1+Arg_3<=Arg_0 for location n_eval_foo_bb3_in___33

Found invariant 1+Arg_6<=Arg_4 && Arg_6<=Arg_1 && Arg_1<=Arg_6 && Arg_5<=Arg_3 && 1+Arg_5<=Arg_0 && 1+Arg_1<=Arg_4 && 1+Arg_3<=Arg_0 && Arg_0<=1+Arg_3 && Arg_2<=0 && 0<=Arg_2 for location n_eval_foo_bb5_in___14

Found invariant 2+Arg_6<=Arg_4 && 1+Arg_6<=Arg_1 && Arg_5<=Arg_0 && 1+Arg_1<=Arg_4 && 1+Arg_3<=Arg_0 for location n_eval_foo_bb5_in___34

Found invariant 1+Arg_6<=Arg_4 && Arg_6<=Arg_1 && Arg_1<=Arg_6 && Arg_5<=Arg_3 && 1+Arg_5<=Arg_0 && 1+Arg_1<=Arg_4 && 1+Arg_3<=Arg_0 && Arg_0<=1+Arg_3 && Arg_2<=0 && 0<=Arg_2 for location n_eval_foo_bb7_in___17

Found invariant Arg_6<=Arg_1 && 1+Arg_4<=Arg_6 && Arg_1<=Arg_6 && Arg_5<=Arg_3 && Arg_5<=Arg_0 && Arg_0<=Arg_5 && 1+Arg_4<=Arg_1 && Arg_0<=Arg_3 for location n_eval_foo__Pcritedge_in___30

Found invariant 1+Arg_6<=Arg_4 && 1+Arg_6<=Arg_1 && Arg_5<=Arg_0 && Arg_1<=Arg_4 && 1+Arg_3<=Arg_0 for location n_eval_foo__Pcritedge_in___39

Found invariant Arg_6<=Arg_4 && Arg_6<=Arg_1 && Arg_4<=Arg_6 && Arg_1<=Arg_6 && 1+Arg_5<=Arg_3 && 1+Arg_5<=Arg_0 && Arg_4<=Arg_1 && Arg_1<=Arg_4 && Arg_0<=Arg_3 for location n_eval_foo__Pcritedge_in___13

Found invariant Arg_6<=Arg_4 && Arg_6<=Arg_1 && Arg_1<=Arg_6 && Arg_5<=Arg_3 && Arg_5<=Arg_0 && Arg_0<=Arg_5 && Arg_1<=Arg_4 && Arg_0<=Arg_3 for location n_eval_foo__Pcritedge_in___53

Found invariant Arg_6<=Arg_1 && Arg_4<=Arg_6 && Arg_1<=Arg_6 && Arg_5<=Arg_3 && 1+Arg_5<=Arg_0 && Arg_4<=Arg_1 && 1+Arg_3<=Arg_0 && Arg_0<=1+Arg_3 for location n_eval_foo_bb2_in___12

Found invariant Arg_6<=Arg_1 && Arg_1<=Arg_6 && Arg_5<=Arg_0 for location eval_foo_bb1_in

Found invariant Arg_6<=Arg_1 && Arg_5<=Arg_0 && 1+Arg_4<=Arg_1 && 1+Arg_3<=Arg_0 for location eval_foo_bb8_in

Found invariant Arg_6<=Arg_4 && Arg_6<=Arg_1 && Arg_4<=Arg_6 && Arg_1<=Arg_6 && Arg_5<=Arg_3 && 1+Arg_5<=Arg_0 && Arg_4<=Arg_1 && Arg_1<=Arg_4 && 1+Arg_3<=Arg_0 && Arg_0<=1+Arg_3 for location n_eval_foo__Pcritedge_in___9

Found invariant Arg_6<=Arg_1 && 1+Arg_4<=Arg_6 && Arg_1<=Arg_6 && Arg_5<=Arg_0 && Arg_0<=Arg_5 && 1+Arg_4<=Arg_1 for location n_eval_foo_bb2_in___51

Found invariant 2+Arg_6<=Arg_4 && 1+Arg_6<=Arg_1 && Arg_5<=Arg_0 && 1+Arg_1<=Arg_4 && 1+Arg_3<=Arg_0 for location n_eval_foo_bb3_in___40

Found invariant Arg_6<=Arg_1 && 1+Arg_4<=Arg_6 && Arg_1<=Arg_6 && Arg_5<=Arg_3 && Arg_5<=Arg_0 && 1+Arg_4<=Arg_1 && Arg_0<=Arg_3 for location eval_foo_bb6_in

Found invariant Arg_6<=Arg_1 && 1+Arg_4<=Arg_6 && Arg_1<=Arg_6 && Arg_5<=Arg_3 && Arg_5<=Arg_0 && 1+Arg_4<=Arg_1 && Arg_0<=Arg_3 for location n_eval_foo__Pcritedge_in___25

Found invariant Arg_6<=Arg_4 && 1+Arg_6<=Arg_1 && Arg_4<=Arg_6 && Arg_1<=1+Arg_6 && Arg_5<=Arg_3 && 1+Arg_5<=Arg_0 && 1+Arg_4<=Arg_1 && Arg_1<=1+Arg_4 && 1+Arg_3<=Arg_0 && Arg_0<=1+Arg_3 for location n_eval_foo_bb3_in___4

Found invariant Arg_6<=Arg_1 && 1+Arg_4<=Arg_6 && Arg_1<=Arg_6 && Arg_5<=Arg_3 && Arg_5<=Arg_0 && 1+Arg_4<=Arg_1 && Arg_0<=Arg_3 for location n_eval_foo_bb5_in___24

Found invariant Arg_6<=Arg_4 && 1+Arg_6<=Arg_1 && Arg_5<=Arg_0 && 1+Arg_4<=Arg_1 && Arg_1<=1+Arg_4 && 1+Arg_3<=Arg_0 for location n_eval_foo_bb2_in___42

Found invariant Arg_6<=Arg_4 && Arg_6<=Arg_1 && Arg_1<=Arg_6 && Arg_5<=Arg_0 && 1+Arg_3<=Arg_5 && Arg_0<=Arg_5 && Arg_1<=Arg_4 && 1+Arg_3<=Arg_0 for location n_eval_foo_bb7_in___45

Found invariant 1+Arg_6<=Arg_4 && Arg_6<=Arg_1 && Arg_1<=Arg_6 && Arg_5<=Arg_0 && 1+Arg_3<=Arg_5 && Arg_0<=Arg_5 && 1+Arg_1<=Arg_4 && 1+Arg_3<=Arg_0 for location n_eval_foo_bb7_in___46

Found invariant Arg_6<=Arg_1 && Arg_1<=Arg_6 && Arg_5<=Arg_0 && 1+Arg_3<=Arg_5 && Arg_0<=Arg_5 && 1+Arg_3<=Arg_0 for location n_eval_foo_bb3_in___50

Found invariant Arg_6<=Arg_1 && 1+Arg_4<=Arg_6 && Arg_1<=Arg_6 && Arg_5<=Arg_3 && Arg_5<=Arg_0 && Arg_0<=Arg_5 && 1+Arg_4<=Arg_1 && Arg_0<=Arg_3 for location n_eval_foo_bb5_in___28

Found invariant Arg_6<=Arg_4 && Arg_6<=Arg_1 && Arg_1<=Arg_6 && Arg_5<=Arg_3 && 1+Arg_5<=Arg_0 && Arg_1<=Arg_4 && 1+Arg_3<=Arg_0 && Arg_0<=1+Arg_3 && Arg_2<=0 && 0<=Arg_2 for location n_eval_foo_bb2_in___22

Found invariant 1+Arg_6<=Arg_4 && Arg_6<=Arg_1 && Arg_1<=Arg_6 && Arg_5<=Arg_3 && 1+Arg_5<=Arg_0 && 1+Arg_1<=Arg_4 && 1+Arg_3<=Arg_0 && Arg_0<=1+Arg_3 && Arg_2<=0 && 0<=Arg_2 for location n_eval_foo_bb3_in___20

Found invariant Arg_6<=Arg_1 && 1+Arg_4<=Arg_6 && Arg_1<=Arg_6 && Arg_5<=Arg_0 && 1+Arg_3<=Arg_5 && Arg_0<=Arg_5 && 1+Arg_4<=Arg_1 && 1+Arg_3<=Arg_0 for location n_eval_foo_bb3_in___29

Found invariant 1+Arg_6<=Arg_4 && 1+Arg_6<=Arg_1 && Arg_5<=Arg_0 && Arg_1<=Arg_4 && 1+Arg_3<=Arg_0 for location n_eval_foo_bb5_in___38

Found invariant Arg_6<=Arg_4 && Arg_6<=Arg_1 && Arg_1<=Arg_6 && Arg_5<=Arg_3 && 1+Arg_5<=Arg_0 && Arg_1<=Arg_4 && 1+Arg_3<=Arg_0 && Arg_0<=1+Arg_3 && Arg_2<=0 && 0<=Arg_2 for location n_eval_foo_bb7_in___16

Found invariant Arg_6<=Arg_4 && Arg_6<=Arg_1 && Arg_1<=Arg_6 && Arg_5<=Arg_0 && 1+Arg_3<=Arg_5 && Arg_0<=Arg_5 && Arg_1<=Arg_4 && 1+Arg_3<=Arg_0 for location n_eval_foo_bb5_in___47

Found invariant Arg_6<=Arg_4 && Arg_6<=Arg_1 && Arg_4<=Arg_6 && Arg_1<=Arg_6 && Arg_5<=Arg_3 && 1+Arg_5<=Arg_0 && Arg_4<=Arg_1 && Arg_1<=Arg_4 && 1+Arg_3<=Arg_0 && Arg_0<=1+Arg_3 for location n_eval_foo_bb7_in___7

Found invariant Arg_6<=Arg_1 && 1+Arg_4<=Arg_6 && Arg_1<=Arg_6 && Arg_5<=Arg_3 && 1+Arg_5<=Arg_0 && 1+Arg_4<=Arg_1 && Arg_0<=1+Arg_3 for location n_eval_foo_bb2_in___11

Found invariant 1+Arg_6<=Arg_4 && Arg_6<=Arg_1 && Arg_1<=Arg_6 && Arg_5<=Arg_0 && 1+Arg_3<=Arg_5 && Arg_0<=Arg_5 && 1+Arg_1<=Arg_4 && 1+Arg_3<=Arg_0 for location n_eval_foo_bb5_in___31

Found invariant 1+Arg_6<=Arg_4 && 1+Arg_6<=Arg_1 && Arg_5<=Arg_0 && Arg_1<=Arg_4 && 1+Arg_3<=Arg_0 for location n_eval_foo_bb7_in___36

Found invariant 1+Arg_6<=Arg_4 && Arg_6<=Arg_1 && Arg_1<=Arg_6 && Arg_5<=Arg_0 && 1+Arg_3<=Arg_5 && Arg_0<=Arg_5 && 1+Arg_1<=Arg_4 && 1+Arg_3<=Arg_0 for location n_eval_foo__Pcritedge_in___32

Found invariant Arg_6<=Arg_1 && Arg_4<=Arg_6 && Arg_1<=Arg_6 && Arg_5<=Arg_3 && 1+Arg_5<=Arg_0 && Arg_4<=Arg_1 && 1+Arg_3<=Arg_0 && Arg_0<=1+Arg_3 for location n_eval_foo_bb3_in___10

Found invariant Arg_6<=Arg_4 && Arg_6<=Arg_1 && Arg_1<=Arg_6 && Arg_5<=Arg_3 && 1+Arg_5<=Arg_0 && Arg_1<=Arg_4 && 1+Arg_3<=Arg_0 && Arg_0<=1+Arg_3 && Arg_2<=0 && 0<=Arg_2 for location n_eval_foo_bb3_in___21

Found invariant Arg_6<=Arg_4 && 1+Arg_6<=Arg_1 && Arg_4<=Arg_6 && Arg_1<=1+Arg_6 && Arg_5<=Arg_3 && 1+Arg_5<=Arg_0 && 1+Arg_4<=Arg_1 && Arg_1<=1+Arg_4 && 1+Arg_3<=Arg_0 && Arg_0<=1+Arg_3 for location n_eval_foo_bb2_in___5

Found invariant 2+Arg_6<=Arg_4 && 1+Arg_6<=Arg_1 && Arg_5<=Arg_0 && 1+Arg_1<=Arg_4 && 1+Arg_3<=Arg_0 for location n_eval_foo_bb7_in___37

Found invariant Arg_6<=Arg_4 && Arg_6<=Arg_1 && Arg_1<=Arg_6 && Arg_5<=Arg_3 && 1+Arg_5<=Arg_0 && Arg_1<=Arg_4 && 1+Arg_3<=Arg_0 && Arg_0<=1+Arg_3 && Arg_2<=0 && 0<=Arg_2 for location n_eval_foo_bb5_in___18

Found invariant Arg_6<=Arg_4 && Arg_6<=Arg_1 && Arg_1<=Arg_6 && Arg_5<=Arg_3 && Arg_5<=Arg_0 && Arg_1<=Arg_4 && Arg_0<=Arg_3 for location n_eval_foo__Pcritedge_in___27

Found invariant Arg_6<=Arg_1 && 1+Arg_4<=Arg_6 && Arg_1<=Arg_6 && 1+Arg_5<=Arg_3 && 1+Arg_5<=Arg_0 && 1+Arg_4<=Arg_1 && Arg_0<=Arg_3 for location n_eval_foo__Pcritedge_in___3

Found invariant Arg_6<=Arg_4 && Arg_6<=Arg_1 && Arg_1<=Arg_6 && Arg_5<=Arg_0 && 1+Arg_3<=Arg_5 && Arg_0<=Arg_5 && Arg_1<=Arg_4 && 1+Arg_3<=Arg_0 for location n_eval_foo__Pcritedge_in___48

Found invariant Arg_6<=Arg_1 && 1+Arg_4<=Arg_6 && Arg_1<=Arg_6 && Arg_5<=Arg_3 && Arg_5<=Arg_0 && 1+Arg_4<=Arg_1 && Arg_0<=Arg_3 for location n_eval_foo_bb2_in___26

Found invariant Arg_6<=Arg_1 && Arg_1<=Arg_6 && Arg_5<=Arg_0 && 1+Arg_3<=Arg_5 && Arg_0<=Arg_5 && 1+Arg_3<=Arg_0 for location n_eval_foo_bb2_in___52

Found invariant Arg_6<=Arg_4 && 1+Arg_6<=Arg_1 && Arg_5<=Arg_0 && Arg_1<=1+Arg_4 && 1+Arg_3<=Arg_0 for location n_eval_foo_bb3_in___41

Found invariant 1+Arg_6<=Arg_4 && Arg_6<=Arg_1 && Arg_1<=Arg_6 && Arg_5<=Arg_3 && 1+Arg_5<=Arg_0 && 1+Arg_1<=Arg_4 && 1+Arg_3<=Arg_0 && Arg_0<=1+Arg_3 && Arg_2<=0 && 0<=Arg_2 for location n_eval_foo__Pcritedge_in___15

Found invariant Arg_6<=Arg_4 && 1+Arg_6<=Arg_1 && Arg_4<=Arg_6 && Arg_1<=1+Arg_6 && Arg_5<=Arg_3 && 1+Arg_5<=Arg_0 && 1+Arg_4<=Arg_1 && Arg_1<=1+Arg_4 && 1+Arg_3<=Arg_0 && Arg_0<=1+Arg_3 for location n_eval_foo_bb1_in___6

Cut unsatisfiable transition 316: eval_foo_bb1_in->n_eval_foo__Pcritedge_in___13

Cut unsatisfiable transition 319: eval_foo_bb1_in->n_eval_foo__Pcritedge_in___23

Cut unsatisfiable transition 320: eval_foo_bb1_in->n_eval_foo_bb2_in___22

Cut unreachable locations [n_eval_foo__Pcritedge_in___13; n_eval_foo__Pcritedge_in___15; n_eval_foo__Pcritedge_in___19; n_eval_foo__Pcritedge_in___23; n_eval_foo_bb2_in___22; n_eval_foo_bb3_in___20; n_eval_foo_bb3_in___21; n_eval_foo_bb5_in___14; n_eval_foo_bb5_in___18; n_eval_foo_bb7_in___16; n_eval_foo_bb7_in___17] from the program graph

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

knowledge_propagation leads to new time bound 1 {O(1)} for transition 723:eval_foo_bb1_in(Arg_0,Arg_1,Arg_3,Arg_4,Arg_5,Arg_6) -> n_eval_foo_bb2_in___51(Arg_0,Arg_1,Arg_3,Arg_4,Arg_5,Arg_6):|:Arg_6<=Arg_1 && Arg_1<=Arg_6 && Arg_5<=Arg_0 && Arg_5<=Arg_0 && Arg_6<=Arg_1 && Arg_0<=Arg_5 && Arg_5<=Arg_0 && Arg_1<=Arg_6 && Arg_6<=Arg_1 && Arg_5<=Arg_0 && Arg_6<=Arg_1 && Arg_4<Arg_1

knowledge_propagation leads to new time bound 1 {O(1)} for transition 748:n_eval_foo_bb2_in___51(Arg_0,Arg_1,Arg_3,Arg_4,Arg_5,Arg_6) -> n_eval_foo__Pcritedge_in___30(Arg_0,Arg_1,Arg_3,Arg_4,Arg_5,Arg_6):|:Arg_6<=Arg_1 && 1+Arg_4<=Arg_6 && Arg_1<=Arg_6 && Arg_5<=Arg_0 && Arg_0<=Arg_5 && 1+Arg_4<=Arg_1 && Arg_4<Arg_1 && Arg_1<=Arg_6 && Arg_6<=Arg_1 && Arg_0<=Arg_5 && Arg_5<=Arg_0 && Arg_5<=Arg_0 && Arg_6<=Arg_1 && Arg_4<=Arg_1 && Arg_0<=Arg_3

knowledge_propagation leads to new time bound 1 {O(1)} for transition 730:n_eval_foo__Pcritedge_in___30(Arg_0,Arg_1,Arg_3,Arg_4,Arg_5,Arg_6) -> n_eval_foo_bb5_in___28(Arg_0,Arg_1,Arg_3,Arg_4,Arg_5,Arg_6):|:Arg_6<=Arg_1 && 1+Arg_4<=Arg_6 && Arg_1<=Arg_6 && Arg_5<=Arg_3 && Arg_5<=Arg_0 && Arg_0<=Arg_5 && 1+Arg_4<=Arg_1 && Arg_0<=Arg_3 && Arg_0<=Arg_3 && Arg_4<Arg_1 && Arg_0<=Arg_5 && Arg_5<=Arg_0 && Arg_1<=Arg_6 && Arg_6<=Arg_1 && Arg_5<=Arg_0 && Arg_6<=Arg_1 && Arg_4<Arg_1

knowledge_propagation leads to new time bound 1 {O(1)} for transition 766:n_eval_foo_bb5_in___28(Arg_0,Arg_1,Arg_3,Arg_4,Arg_5,Arg_6) -> eval_foo_bb6_in(Arg_0,Arg_1,Arg_3,Arg_4,Arg_5,Arg_6):|:Arg_6<=Arg_1 && 1+Arg_4<=Arg_6 && Arg_1<=Arg_6 && Arg_5<=Arg_3 && Arg_5<=Arg_0 && Arg_0<=Arg_5 && 1+Arg_4<=Arg_1 && Arg_0<=Arg_3 && Arg_6<=Arg_1 && Arg_5<=Arg_0 && Arg_0<=Arg_3 && Arg_4<=Arg_1

MPRF for transition 718:eval_foo_bb1_in(Arg_0,Arg_1,Arg_3,Arg_4,Arg_5,Arg_6) -> n_eval_foo_bb2_in___11(Arg_0,Arg_1,Arg_3,Arg_4,Arg_5,Arg_6):|:Arg_6<=Arg_1 && Arg_1<=Arg_6 && Arg_5<=Arg_0 && Arg_5<=Arg_0 && Arg_6<=Arg_1 && Arg_4<=Arg_1 && Arg_6<=Arg_1 && 1+Arg_5<=Arg_0 && Arg_4<=Arg_1 && Arg_0<=1+Arg_3 && Arg_5<=Arg_0 && Arg_6<=Arg_1 && Arg_4<Arg_1 of depth 1:

new bound:

Arg_3+Arg_5+2 {O(n)}

MPRF:

eval_foo_bb1_in [Arg_3+2-Arg_0 ]
n_eval_foo_bb2_in___11 [Arg_3+1-Arg_0 ]
n_eval_foo__Pcritedge_in___3 [Arg_3+1-Arg_0 ]
n_eval_foo_bb2_in___26 [Arg_3+1-Arg_0 ]
n_eval_foo__Pcritedge_in___25 [Arg_3+1-Arg_0 ]
n_eval_foo_bb2_in___51 [Arg_3+1-Arg_0 ]
n_eval_foo__Pcritedge_in___30 [Arg_3+1-Arg_5 ]
n_eval_foo_bb5_in___1 [Arg_3+1-Arg_0 ]
n_eval_foo_bb5_in___24 [Arg_3+1-Arg_0 ]
n_eval_foo_bb5_in___28 [Arg_3+1-Arg_5 ]
eval_foo_bb6_in [Arg_3+1-Arg_0 ]

MPRF for transition 721:eval_foo_bb1_in(Arg_0,Arg_1,Arg_3,Arg_4,Arg_5,Arg_6) -> n_eval_foo_bb2_in___26(Arg_0,Arg_1,Arg_3,Arg_4,Arg_5,Arg_6):|:Arg_6<=Arg_1 && Arg_1<=Arg_6 && Arg_5<=Arg_0 && Arg_5<=Arg_0 && Arg_6<=Arg_1 && Arg_0<=Arg_3 && Arg_5<=Arg_0 && Arg_6<=Arg_1 && Arg_4<Arg_1 of depth 1:

new bound:

Arg_3+Arg_5+1 {O(n)}

MPRF:

eval_foo_bb1_in [Arg_3+1-Arg_0 ]
n_eval_foo_bb2_in___11 [Arg_3+1-Arg_0 ]
n_eval_foo__Pcritedge_in___3 [Arg_3+1-Arg_0 ]
n_eval_foo_bb2_in___26 [Arg_3-Arg_0 ]
n_eval_foo__Pcritedge_in___25 [Arg_3-Arg_0 ]
n_eval_foo_bb2_in___51 [Arg_3-Arg_0 ]
n_eval_foo__Pcritedge_in___30 [Arg_3-Arg_5 ]
n_eval_foo_bb5_in___1 [Arg_3+1-Arg_0 ]
n_eval_foo_bb5_in___24 [Arg_3-Arg_0 ]
n_eval_foo_bb5_in___28 [Arg_3-Arg_5 ]
eval_foo_bb6_in [Arg_3-Arg_0 ]

MPRF for transition 725:eval_foo_bb6_in(Arg_0,Arg_1,Arg_3,Arg_4,Arg_5,Arg_6) -> eval_foo_bb1_in(Arg_0+1,Arg_1,Arg_3,Arg_4,Arg_5,Arg_6):|:Arg_6<=Arg_1 && 1+Arg_4<=Arg_6 && Arg_1<=Arg_6 && Arg_5<=Arg_3 && Arg_5<=Arg_0 && 1+Arg_4<=Arg_1 && Arg_0<=Arg_3 && Arg_6<=Arg_1 && Arg_5<=Arg_3 && Arg_5<=Arg_0 && Arg_4<=Arg_1 && Arg_0<=Arg_3 of depth 1:

new bound:

Arg_3+Arg_5+1 {O(n)}

MPRF:

eval_foo_bb1_in [Arg_3+1-Arg_0 ]
n_eval_foo_bb2_in___11 [Arg_3+1-Arg_0 ]
n_eval_foo__Pcritedge_in___3 [Arg_3+1-Arg_0 ]
n_eval_foo_bb2_in___26 [Arg_3+1-Arg_0 ]
n_eval_foo__Pcritedge_in___25 [Arg_3+1-Arg_0 ]
n_eval_foo_bb2_in___51 [Arg_3+1-Arg_0 ]
n_eval_foo__Pcritedge_in___30 [Arg_3+1-Arg_0 ]
n_eval_foo_bb5_in___1 [Arg_3+1-Arg_0 ]
n_eval_foo_bb5_in___24 [Arg_3+1-Arg_0 ]
n_eval_foo_bb5_in___28 [Arg_3+1-Arg_0 ]
eval_foo_bb6_in [Arg_3+1-Arg_0 ]

MPRF for transition 728:n_eval_foo__Pcritedge_in___25(Arg_0,Arg_1,Arg_3,Arg_4,Arg_5,Arg_6) -> n_eval_foo_bb5_in___24(Arg_0,Arg_1,Arg_3,Arg_4,Arg_5,Arg_6):|:Arg_6<=Arg_1 && 1+Arg_4<=Arg_6 && Arg_1<=Arg_6 && Arg_5<=Arg_3 && Arg_5<=Arg_0 && 1+Arg_4<=Arg_1 && Arg_0<=Arg_3 && Arg_6<=Arg_1 && Arg_0<=Arg_3 && Arg_4<Arg_1 && Arg_5<=Arg_0 && Arg_5<=Arg_0 && Arg_6<=Arg_1 && Arg_4<Arg_1 of depth 1:

new bound:

Arg_3+Arg_5+1 {O(n)}

MPRF:

eval_foo_bb1_in [Arg_3+1-Arg_0 ]
n_eval_foo_bb2_in___11 [Arg_3-Arg_0 ]
n_eval_foo__Pcritedge_in___3 [Arg_3-Arg_0 ]
n_eval_foo_bb2_in___26 [Arg_3+1-Arg_0 ]
n_eval_foo__Pcritedge_in___25 [Arg_3+1-Arg_0 ]
n_eval_foo_bb2_in___51 [Arg_3-Arg_0 ]
n_eval_foo__Pcritedge_in___30 [Arg_3-Arg_5 ]
n_eval_foo_bb5_in___1 [Arg_3-Arg_0 ]
n_eval_foo_bb5_in___24 [Arg_3-Arg_0 ]
n_eval_foo_bb5_in___28 [Arg_3-Arg_5 ]
eval_foo_bb6_in [Arg_3-Arg_0 ]

MPRF for transition 729:n_eval_foo__Pcritedge_in___3(Arg_0,Arg_1,Arg_3,Arg_4,Arg_5,Arg_6) -> n_eval_foo_bb5_in___1(Arg_0,Arg_1,Arg_3,Arg_4,Arg_5,Arg_6):|:Arg_6<=Arg_1 && 1+Arg_4<=Arg_6 && Arg_1<=Arg_6 && 1+Arg_5<=Arg_3 && 1+Arg_5<=Arg_0 && 1+Arg_4<=Arg_1 && Arg_0<=Arg_3 && Arg_6<=Arg_1 && Arg_0<=Arg_3 && Arg_4<Arg_1 && 1+Arg_5<=Arg_0 && Arg_5<=Arg_0 && Arg_6<=Arg_1 && Arg_4<Arg_1 of depth 1:

new bound:

Arg_3+Arg_5+1 {O(n)}

MPRF:

eval_foo_bb1_in [Arg_3+1-Arg_0 ]
n_eval_foo_bb2_in___11 [Arg_3+1-Arg_0 ]
n_eval_foo__Pcritedge_in___3 [Arg_3+1-Arg_0 ]
n_eval_foo_bb2_in___26 [Arg_3-Arg_0 ]
n_eval_foo__Pcritedge_in___25 [Arg_3-Arg_0 ]
n_eval_foo_bb2_in___51 [Arg_3-Arg_0 ]
n_eval_foo__Pcritedge_in___30 [Arg_3-Arg_0 ]
n_eval_foo_bb5_in___1 [Arg_3-Arg_0 ]
n_eval_foo_bb5_in___24 [Arg_3-Arg_0 ]
n_eval_foo_bb5_in___28 [Arg_3-Arg_0 ]
eval_foo_bb6_in [Arg_3-Arg_0 ]

MPRF for transition 740:n_eval_foo_bb2_in___11(Arg_0,Arg_1,Arg_3,Arg_4,Arg_5,Arg_6) -> n_eval_foo__Pcritedge_in___3(Arg_0,Arg_1,Arg_3,Arg_4,Arg_5,Arg_6):|:Arg_6<=Arg_1 && 1+Arg_4<=Arg_6 && Arg_1<=Arg_6 && Arg_5<=Arg_3 && 1+Arg_5<=Arg_0 && 1+Arg_4<=Arg_1 && Arg_0<=1+Arg_3 && Arg_0<=1+Arg_3 && 1+Arg_5<=Arg_0 && Arg_6<=Arg_1 && Arg_4<Arg_1 && Arg_5<=Arg_0 && Arg_6<=Arg_1 && Arg_4<=Arg_1 && Arg_0<=Arg_3 of depth 1:

new bound:

Arg_3+Arg_5+1 {O(n)}

MPRF:

eval_foo_bb1_in [Arg_3+1-Arg_0 ]
n_eval_foo_bb2_in___11 [Arg_3+1-Arg_0 ]
n_eval_foo__Pcritedge_in___3 [Arg_3-Arg_0 ]
n_eval_foo_bb2_in___26 [Arg_3-Arg_0 ]
n_eval_foo__Pcritedge_in___25 [Arg_3-Arg_0 ]
n_eval_foo_bb2_in___51 [Arg_3-Arg_0 ]
n_eval_foo__Pcritedge_in___30 [Arg_3-Arg_0 ]
n_eval_foo_bb5_in___1 [Arg_3-Arg_0 ]
n_eval_foo_bb5_in___24 [Arg_3-Arg_0 ]
n_eval_foo_bb5_in___28 [Arg_3-Arg_0 ]
eval_foo_bb6_in [Arg_3-Arg_0 ]

MPRF for transition 743:n_eval_foo_bb2_in___26(Arg_0,Arg_1,Arg_3,Arg_4,Arg_5,Arg_6) -> n_eval_foo__Pcritedge_in___25(Arg_0,Arg_1,Arg_3,Arg_4,Arg_5,Arg_6):|:Arg_6<=Arg_1 && 1+Arg_4<=Arg_6 && Arg_1<=Arg_6 && Arg_5<=Arg_3 && Arg_5<=Arg_0 && 1+Arg_4<=Arg_1 && Arg_0<=Arg_3 && Arg_0<=Arg_3 && Arg_5<=Arg_0 && Arg_6<=Arg_1 && Arg_4<Arg_1 && Arg_5<=Arg_0 && Arg_6<=Arg_1 && Arg_4<=Arg_1 && Arg_0<=Arg_3 of depth 1:

new bound:

Arg_3+Arg_5+1 {O(n)}

MPRF:

eval_foo_bb1_in [Arg_3+1-Arg_0 ]
n_eval_foo_bb2_in___11 [Arg_3+1-Arg_0 ]
n_eval_foo__Pcritedge_in___3 [Arg_3+1-Arg_0 ]
n_eval_foo_bb2_in___26 [Arg_3+1-Arg_0 ]
n_eval_foo__Pcritedge_in___25 [Arg_3-Arg_0 ]
n_eval_foo_bb2_in___51 [Arg_3-Arg_0 ]
n_eval_foo__Pcritedge_in___30 [Arg_3-Arg_0 ]
n_eval_foo_bb5_in___1 [Arg_3+1-Arg_0 ]
n_eval_foo_bb5_in___24 [Arg_3-Arg_0 ]
n_eval_foo_bb5_in___28 [Arg_3-Arg_0 ]
eval_foo_bb6_in [Arg_3-Arg_0 ]

MPRF for transition 764:n_eval_foo_bb5_in___1(Arg_0,Arg_1,Arg_3,Arg_4,Arg_5,Arg_6) -> eval_foo_bb6_in(Arg_0,Arg_1,Arg_3,Arg_4,Arg_5,Arg_6):|:Arg_6<=Arg_1 && 1+Arg_4<=Arg_6 && Arg_1<=Arg_6 && 1+Arg_5<=Arg_3 && 1+Arg_5<=Arg_0 && 1+Arg_4<=Arg_1 && Arg_0<=Arg_3 && Arg_6<=Arg_1 && Arg_5<=Arg_0 && Arg_0<=Arg_3 && Arg_4<=Arg_1 of depth 1:

new bound:

Arg_3+Arg_5+1 {O(n)}

MPRF:

eval_foo_bb1_in [Arg_3+1-Arg_0 ]
n_eval_foo_bb2_in___11 [Arg_3+1-Arg_0 ]
n_eval_foo__Pcritedge_in___3 [Arg_3+1-Arg_0 ]
n_eval_foo_bb2_in___26 [Arg_3-Arg_0 ]
n_eval_foo__Pcritedge_in___25 [Arg_3-Arg_0 ]
n_eval_foo_bb2_in___51 [Arg_3-Arg_0 ]
n_eval_foo__Pcritedge_in___30 [Arg_3-Arg_5 ]
n_eval_foo_bb5_in___1 [Arg_3+1-Arg_0 ]
n_eval_foo_bb5_in___24 [Arg_3-Arg_0 ]
n_eval_foo_bb5_in___28 [Arg_3-Arg_5 ]
eval_foo_bb6_in [Arg_3-Arg_0 ]

MPRF for transition 765:n_eval_foo_bb5_in___24(Arg_0,Arg_1,Arg_3,Arg_4,Arg_5,Arg_6) -> eval_foo_bb6_in(Arg_0,Arg_1,Arg_3,Arg_4,Arg_5,Arg_6):|:Arg_6<=Arg_1 && 1+Arg_4<=Arg_6 && Arg_1<=Arg_6 && Arg_5<=Arg_3 && Arg_5<=Arg_0 && 1+Arg_4<=Arg_1 && Arg_0<=Arg_3 && Arg_6<=Arg_1 && Arg_5<=Arg_0 && Arg_0<=Arg_3 && Arg_4<=Arg_1 of depth 1:

new bound:

Arg_3+Arg_4+Arg_5+Arg_6 {O(n)}

MPRF:

eval_foo_bb1_in [Arg_3+Arg_6-Arg_0-Arg_4 ]
n_eval_foo_bb2_in___11 [Arg_1+Arg_3-Arg_0-Arg_4 ]
n_eval_foo__Pcritedge_in___3 [Arg_1+Arg_3-Arg_0-Arg_4 ]
n_eval_foo_bb2_in___26 [Arg_3+Arg_6-Arg_0-Arg_4 ]
n_eval_foo__Pcritedge_in___25 [Arg_3+Arg_6-Arg_0-Arg_4 ]
n_eval_foo_bb2_in___51 [Arg_3+Arg_6-Arg_0-Arg_4 ]
n_eval_foo__Pcritedge_in___30 [Arg_1+Arg_3-Arg_0-Arg_4 ]
n_eval_foo_bb5_in___1 [Arg_1+Arg_3-Arg_0-Arg_4 ]
n_eval_foo_bb5_in___24 [Arg_3+Arg_6-Arg_0-Arg_4 ]
n_eval_foo_bb5_in___28 [Arg_1+Arg_3-Arg_4-Arg_5 ]
eval_foo_bb6_in [Arg_1+Arg_3-Arg_0-Arg_4-1 ]

MPRF for transition 732:n_eval_foo__Pcritedge_in___35(Arg_0,Arg_1,Arg_3,Arg_4,Arg_5,Arg_6) -> n_eval_foo_bb5_in___34(Arg_0,Arg_1,Arg_3,Arg_4,Arg_5,Arg_6):|:2+Arg_6<=Arg_4 && 1+Arg_6<=Arg_1 && Arg_5<=Arg_0 && 1+Arg_1<=Arg_4 && 1+Arg_3<=Arg_0 && Arg_5<=Arg_0 && Arg_1<Arg_4 && 1+Arg_6<=Arg_1 && Arg_3<Arg_0 && Arg_5<=Arg_0 && Arg_3<Arg_0 && Arg_6<=Arg_1 of depth 1:

new bound:

4*Arg_4+4*Arg_6+4 {O(n)}

MPRF:

n_eval_foo_bb2_in___43 [Arg_4-Arg_1 ]
n_eval_foo_bb3_in___40 [Arg_4-Arg_1 ]
n_eval_foo__Pcritedge_in___35 [Arg_4-Arg_1 ]
n_eval_foo_bb3_in___41 [Arg_4-Arg_1-1 ]
n_eval_foo__Pcritedge_in___39 [Arg_4-Arg_1-1 ]
n_eval_foo_bb5_in___34 [Arg_4-Arg_1-1 ]
n_eval_foo_bb5_in___38 [Arg_4-Arg_1-1 ]
n_eval_foo_bb7_in___36 [Arg_4-Arg_1-1 ]
n_eval_foo_bb7_in___37 [Arg_4-Arg_1-1 ]
n_eval_foo_bb1_in___44 [Arg_4-Arg_1 ]

MPRF for transition 733:n_eval_foo__Pcritedge_in___39(Arg_0,Arg_1,Arg_3,Arg_4,Arg_5,Arg_6) -> n_eval_foo_bb5_in___38(Arg_0,Arg_1,Arg_3,Arg_4,Arg_5,Arg_6):|:1+Arg_6<=Arg_4 && 1+Arg_6<=Arg_1 && Arg_5<=Arg_0 && Arg_1<=Arg_4 && 1+Arg_3<=Arg_0 && Arg_5<=Arg_0 && Arg_1<=Arg_4 && 1+Arg_6<=Arg_1 && Arg_3<Arg_0 && Arg_5<=Arg_0 && Arg_3<Arg_0 && Arg_6<=Arg_1 of depth 1:

new bound:

4*Arg_4+4*Arg_6+6 {O(n)}

MPRF:

n_eval_foo_bb2_in___43 [Arg_4+1-Arg_1 ]
n_eval_foo_bb3_in___40 [Arg_4-Arg_1 ]
n_eval_foo__Pcritedge_in___35 [Arg_4-Arg_1 ]
n_eval_foo_bb3_in___41 [Arg_4+1-Arg_1 ]
n_eval_foo__Pcritedge_in___39 [Arg_4+1-Arg_1 ]
n_eval_foo_bb5_in___34 [Arg_4-Arg_1 ]
n_eval_foo_bb5_in___38 [Arg_4-Arg_1 ]
n_eval_foo_bb7_in___36 [Arg_4-Arg_1 ]
n_eval_foo_bb7_in___37 [Arg_4-Arg_1 ]
n_eval_foo_bb1_in___44 [Arg_4+1-Arg_1 ]

MPRF for transition 737:n_eval_foo_bb1_in___44(Arg_0,Arg_1,Arg_3,Arg_4,Arg_5,Arg_6) -> n_eval_foo_bb2_in___43(Arg_0,Arg_1,Arg_3,Arg_4,Arg_5,Arg_6):|:Arg_6<=Arg_4 && 1+Arg_6<=Arg_1 && Arg_5<=Arg_0 && Arg_1<=1+Arg_4 && 1+Arg_3<=Arg_0 && Arg_5<=Arg_0 && Arg_6<=Arg_1 && Arg_3<Arg_0 && Arg_3<=Arg_0 && Arg_3<=Arg_0 && 1+Arg_6<=Arg_1 && Arg_5<=Arg_0 && Arg_1<=1+Arg_4 && Arg_5<=Arg_0 && Arg_3<Arg_0 && Arg_6<=Arg_1 of depth 1:

new bound:

4*Arg_4+4*Arg_6+8 {O(n)}

MPRF:

n_eval_foo_bb2_in___43 [Arg_4+1-Arg_1 ]
n_eval_foo_bb3_in___40 [Arg_4+1-Arg_1 ]
n_eval_foo__Pcritedge_in___35 [Arg_4+1-Arg_1 ]
n_eval_foo_bb3_in___41 [Arg_4+1-Arg_1 ]
n_eval_foo__Pcritedge_in___39 [Arg_4+1-Arg_1 ]
n_eval_foo_bb5_in___34 [Arg_4+1-Arg_1 ]
n_eval_foo_bb5_in___38 [Arg_4+1-Arg_1 ]
n_eval_foo_bb7_in___36 [Arg_4+1-Arg_1 ]
n_eval_foo_bb7_in___37 [Arg_4+1-Arg_1 ]
n_eval_foo_bb1_in___44 [Arg_4+2-Arg_1 ]

MPRF for transition 745:n_eval_foo_bb2_in___43(Arg_0,Arg_1,Arg_3,Arg_4,Arg_5,Arg_6) -> n_eval_foo_bb3_in___40(Arg_0,Arg_1,Arg_3,Arg_4,Arg_5,Arg_6):|:Arg_6<=Arg_4 && 1+Arg_6<=Arg_1 && Arg_5<=Arg_0 && Arg_1<=1+Arg_4 && 1+Arg_3<=Arg_0 && Arg_1<=1+Arg_4 && Arg_5<=Arg_0 && 1+Arg_6<=Arg_1 && Arg_3<Arg_0 && Arg_5<=Arg_0 && Arg_6<=Arg_1 && Arg_1<Arg_4 of depth 1:

new bound:

4*Arg_4+4*Arg_6+8 {O(n)}

MPRF:

n_eval_foo_bb2_in___43 [Arg_4+2-Arg_1 ]
n_eval_foo_bb3_in___40 [Arg_4+1-Arg_1 ]
n_eval_foo__Pcritedge_in___35 [Arg_4+1-Arg_1 ]
n_eval_foo_bb3_in___41 [Arg_4+1-Arg_1 ]
n_eval_foo__Pcritedge_in___39 [Arg_4+1-Arg_1 ]
n_eval_foo_bb5_in___34 [Arg_4+1-Arg_1 ]
n_eval_foo_bb5_in___38 [Arg_4+1-Arg_1 ]
n_eval_foo_bb7_in___36 [Arg_4+1-Arg_1 ]
n_eval_foo_bb7_in___37 [Arg_4+1-Arg_1 ]
n_eval_foo_bb1_in___44 [Arg_4+2-Arg_1 ]

MPRF for transition 746:n_eval_foo_bb2_in___43(Arg_0,Arg_1,Arg_3,Arg_4,Arg_5,Arg_6) -> n_eval_foo_bb3_in___41(Arg_0,Arg_1,Arg_3,Arg_4,Arg_5,Arg_6):|:Arg_6<=Arg_4 && 1+Arg_6<=Arg_1 && Arg_5<=Arg_0 && Arg_1<=1+Arg_4 && 1+Arg_3<=Arg_0 && Arg_1<=1+Arg_4 && Arg_5<=Arg_0 && 1+Arg_6<=Arg_1 && Arg_3<Arg_0 && Arg_5<=Arg_0 && Arg_3<Arg_0 && Arg_6<=Arg_1 of depth 1:

new bound:

4*Arg_4+4*Arg_6+8 {O(n)}

MPRF:

n_eval_foo_bb2_in___43 [Arg_4+2-Arg_1 ]
n_eval_foo_bb3_in___40 [Arg_4+1-Arg_1 ]
n_eval_foo__Pcritedge_in___35 [Arg_4+1-Arg_1 ]
n_eval_foo_bb3_in___41 [Arg_4+1-Arg_1 ]
n_eval_foo__Pcritedge_in___39 [Arg_4+1-Arg_1 ]
n_eval_foo_bb5_in___34 [Arg_4+1-Arg_1 ]
n_eval_foo_bb5_in___38 [Arg_4+1-Arg_1 ]
n_eval_foo_bb7_in___36 [Arg_4+1-Arg_1 ]
n_eval_foo_bb7_in___37 [Arg_4+1-Arg_1 ]
n_eval_foo_bb1_in___44 [Arg_4+2-Arg_1 ]

MPRF for transition 758:n_eval_foo_bb3_in___40(Arg_0,Arg_1,Arg_3,Arg_4,Arg_5,Arg_6) -> n_eval_foo__Pcritedge_in___35(Arg_0,Arg_1,Arg_3,Arg_4,Arg_5,Arg_6):|:2+Arg_6<=Arg_4 && 1+Arg_6<=Arg_1 && Arg_5<=Arg_0 && 1+Arg_1<=Arg_4 && 1+Arg_3<=Arg_0 && Arg_5<=Arg_0 && Arg_1<Arg_4 && 1+Arg_6<=Arg_1 && Arg_3<Arg_0 && Arg_5<=Arg_0 && Arg_3<=Arg_0 && Arg_6<=Arg_1 && Arg_1<=Arg_4 of depth 1:

new bound:

4*Arg_3+4*Arg_4+4*Arg_5+4*Arg_6+4 {O(n)}

MPRF:

n_eval_foo_bb2_in___43 [Arg_0+Arg_4-Arg_1-Arg_3 ]
n_eval_foo_bb3_in___40 [Arg_0+Arg_4-Arg_1-Arg_3 ]
n_eval_foo__Pcritedge_in___35 [Arg_0+Arg_4-Arg_1-Arg_3-1 ]
n_eval_foo_bb3_in___41 [Arg_0+Arg_4-Arg_1-Arg_3 ]
n_eval_foo__Pcritedge_in___39 [Arg_0+Arg_4-Arg_1-Arg_3 ]
n_eval_foo_bb5_in___34 [Arg_0+Arg_4-Arg_1-Arg_3-1 ]
n_eval_foo_bb5_in___38 [Arg_0+Arg_4-Arg_1-Arg_3 ]
n_eval_foo_bb7_in___36 [Arg_0+Arg_4-Arg_1-Arg_3 ]
n_eval_foo_bb7_in___37 [Arg_0+Arg_4-Arg_1-Arg_3-1 ]
n_eval_foo_bb1_in___44 [Arg_0+Arg_4-Arg_1-Arg_3 ]

MPRF for transition 759:n_eval_foo_bb3_in___41(Arg_0,Arg_1,Arg_3,Arg_4,Arg_5,Arg_6) -> n_eval_foo__Pcritedge_in___39(Arg_0,Arg_1,Arg_3,Arg_4,Arg_5,Arg_6):|:Arg_6<=Arg_4 && 1+Arg_6<=Arg_1 && Arg_5<=Arg_0 && Arg_1<=1+Arg_4 && 1+Arg_3<=Arg_0 && Arg_5<=Arg_0 && Arg_1<=1+Arg_4 && 1+Arg_6<=Arg_1 && Arg_3<Arg_0 && Arg_5<=Arg_0 && Arg_3<=Arg_0 && Arg_6<=Arg_1 && Arg_1<=Arg_4 of depth 1:

new bound:

4*Arg_4+4*Arg_6+6 {O(n)}

MPRF:

n_eval_foo_bb2_in___43 [Arg_4+1-Arg_1 ]
n_eval_foo_bb3_in___40 [Arg_4-Arg_1 ]
n_eval_foo__Pcritedge_in___35 [Arg_4-Arg_1 ]
n_eval_foo_bb3_in___41 [Arg_4+1-Arg_1 ]
n_eval_foo__Pcritedge_in___39 [Arg_4-Arg_1 ]
n_eval_foo_bb5_in___34 [Arg_4-Arg_1 ]
n_eval_foo_bb5_in___38 [Arg_4-Arg_1 ]
n_eval_foo_bb7_in___36 [Arg_4-Arg_1 ]
n_eval_foo_bb7_in___37 [Arg_4-Arg_1 ]
n_eval_foo_bb1_in___44 [Arg_4+1-Arg_1 ]

MPRF for transition 769:n_eval_foo_bb5_in___34(Arg_0,Arg_1,Arg_3,Arg_4,Arg_5,Arg_6) -> n_eval_foo_bb7_in___37(Arg_0,Arg_1,Arg_3,Arg_4,Arg_5,Arg_6):|:2+Arg_6<=Arg_4 && 1+Arg_6<=Arg_1 && Arg_5<=Arg_0 && 1+Arg_1<=Arg_4 && 1+Arg_3<=Arg_0 && Arg_5<=Arg_0 && Arg_1<Arg_4 && 1+Arg_6<=Arg_1 && Arg_3<Arg_0 && Arg_5<=Arg_0 && Arg_6<=Arg_1 && Arg_1<Arg_4 of depth 1:

new bound:

4*Arg_4+4*Arg_6+8*Arg_5+4 {O(n)}

MPRF:

n_eval_foo_bb2_in___43 [Arg_0+Arg_4-Arg_1-Arg_5 ]
n_eval_foo_bb3_in___40 [Arg_0+Arg_4-Arg_1-Arg_5 ]
n_eval_foo__Pcritedge_in___35 [Arg_0+Arg_4-Arg_1-Arg_5 ]
n_eval_foo_bb3_in___41 [Arg_0+Arg_4-Arg_1-Arg_5 ]
n_eval_foo__Pcritedge_in___39 [Arg_0+Arg_4-Arg_1-Arg_5 ]
n_eval_foo_bb5_in___34 [Arg_0+Arg_4-Arg_1-Arg_5 ]
n_eval_foo_bb5_in___38 [Arg_0+Arg_4-Arg_1-Arg_5 ]
n_eval_foo_bb7_in___36 [Arg_0+Arg_4-Arg_1-Arg_5 ]
n_eval_foo_bb7_in___37 [Arg_0+Arg_4-Arg_1-Arg_5-1 ]
n_eval_foo_bb1_in___44 [Arg_0+Arg_4-Arg_1-Arg_5 ]

MPRF for transition 770:n_eval_foo_bb5_in___34(Arg_0,Arg_1,Arg_3,Arg_4,Arg_5,Arg_6) -> n_eval_foo_bb7_in___37(Arg_0,Arg_1,Arg_3,Arg_4,Arg_5,Arg_6):|:2+Arg_6<=Arg_4 && 1+Arg_6<=Arg_1 && Arg_5<=Arg_0 && 1+Arg_1<=Arg_4 && 1+Arg_3<=Arg_0 && Arg_5<=Arg_0 && Arg_1<Arg_4 && 1+Arg_6<=Arg_1 && Arg_3<Arg_0 && Arg_5<=Arg_0 && Arg_3<Arg_0 && Arg_6<=Arg_1 of depth 1:

new bound:

4*Arg_4+4*Arg_6+8*Arg_5+6 {O(n)}

MPRF:

n_eval_foo_bb2_in___43 [Arg_0+Arg_4+1-Arg_1-Arg_5 ]
n_eval_foo_bb3_in___40 [Arg_0+Arg_4+1-Arg_1-Arg_5 ]
n_eval_foo__Pcritedge_in___35 [Arg_0+Arg_4+1-Arg_1-Arg_5 ]
n_eval_foo_bb3_in___41 [Arg_0+Arg_4+1-Arg_1-Arg_5 ]
n_eval_foo__Pcritedge_in___39 [Arg_0+Arg_4+1-Arg_1-Arg_5 ]
n_eval_foo_bb5_in___34 [Arg_0+Arg_4+1-Arg_1-Arg_5 ]
n_eval_foo_bb5_in___38 [Arg_0+Arg_4+1-Arg_1-Arg_5 ]
n_eval_foo_bb7_in___36 [Arg_0+Arg_4+1-Arg_1-Arg_5 ]
n_eval_foo_bb7_in___37 [Arg_0+Arg_4-Arg_1-Arg_5 ]
n_eval_foo_bb1_in___44 [Arg_0+Arg_4+1-Arg_1-Arg_5 ]

MPRF for transition 771:n_eval_foo_bb5_in___38(Arg_0,Arg_1,Arg_3,Arg_4,Arg_5,Arg_6) -> n_eval_foo_bb7_in___36(Arg_0,Arg_1,Arg_3,Arg_4,Arg_5,Arg_6):|:1+Arg_6<=Arg_4 && 1+Arg_6<=Arg_1 && Arg_5<=Arg_0 && Arg_1<=Arg_4 && 1+Arg_3<=Arg_0 && Arg_5<=Arg_0 && Arg_1<=Arg_4 && 1+Arg_6<=Arg_1 && Arg_3<Arg_0 && Arg_5<=Arg_0 && Arg_3<Arg_0 && Arg_6<=Arg_1 of depth 1:

new bound:

4*Arg_4+4*Arg_6+6 {O(n)}

MPRF:

n_eval_foo_bb2_in___43 [Arg_4+1-Arg_1 ]
n_eval_foo_bb3_in___40 [Arg_4-Arg_1 ]
n_eval_foo__Pcritedge_in___35 [Arg_4-Arg_1 ]
n_eval_foo_bb3_in___41 [Arg_4+1-Arg_1 ]
n_eval_foo__Pcritedge_in___39 [Arg_4+1-Arg_1 ]
n_eval_foo_bb5_in___34 [Arg_4-Arg_1 ]
n_eval_foo_bb5_in___38 [Arg_4+1-Arg_1 ]
n_eval_foo_bb7_in___36 [Arg_4-Arg_1 ]
n_eval_foo_bb7_in___37 [Arg_4-Arg_1 ]
n_eval_foo_bb1_in___44 [Arg_4+1-Arg_1 ]

MPRF for transition 772:n_eval_foo_bb5_in___38(Arg_0,Arg_1,Arg_3,Arg_4,Arg_5,Arg_6) -> n_eval_foo_bb7_in___37(Arg_0,Arg_1,Arg_3,Arg_4,Arg_5,Arg_6):|:1+Arg_6<=Arg_4 && 1+Arg_6<=Arg_1 && Arg_5<=Arg_0 && Arg_1<=Arg_4 && 1+Arg_3<=Arg_0 && Arg_5<=Arg_0 && Arg_1<=Arg_4 && 1+Arg_6<=Arg_1 && Arg_3<Arg_0 && Arg_5<=Arg_0 && Arg_6<=Arg_1 && Arg_1<Arg_4 of depth 1:

new bound:

8*Arg_4+8*Arg_6+6 {O(n)}

MPRF:

n_eval_foo_bb2_in___43 [2*Arg_4+1-Arg_1-Arg_6 ]
n_eval_foo_bb3_in___40 [2*Arg_4-Arg_1-Arg_6 ]
n_eval_foo__Pcritedge_in___35 [2*Arg_4-Arg_1-Arg_6 ]
n_eval_foo_bb3_in___41 [2*Arg_4+1-Arg_1-Arg_6 ]
n_eval_foo__Pcritedge_in___39 [2*Arg_4+1-Arg_1-Arg_6 ]
n_eval_foo_bb5_in___34 [2*Arg_4-Arg_1-Arg_6 ]
n_eval_foo_bb5_in___38 [2*Arg_4+1-Arg_1-Arg_6 ]
n_eval_foo_bb7_in___36 [2*Arg_4+1-Arg_1-Arg_6 ]
n_eval_foo_bb7_in___37 [2*Arg_4-Arg_1-Arg_6 ]
n_eval_foo_bb1_in___44 [2*Arg_4+1-Arg_1-Arg_6 ]

MPRF for transition 776:n_eval_foo_bb7_in___36(Arg_0,Arg_1,Arg_3,Arg_4,Arg_5,Arg_6) -> n_eval_foo_bb1_in___44(Arg_0,Arg_1+1,Arg_3,Arg_4,Arg_5,Arg_6):|:1+Arg_6<=Arg_4 && 1+Arg_6<=Arg_1 && Arg_5<=Arg_0 && Arg_1<=Arg_4 && 1+Arg_3<=Arg_0 && Arg_5<=Arg_0 && Arg_1<=Arg_4 && 1+Arg_6<=Arg_1 && Arg_3<Arg_0 && Arg_5<=Arg_0 && Arg_3<=Arg_0 && Arg_6<=Arg_1 && Arg_1<=Arg_4 of depth 1:

new bound:

8*Arg_4+8*Arg_6+4 {O(n)}

MPRF:

n_eval_foo_bb2_in___43 [2*Arg_4-Arg_1-Arg_6 ]
n_eval_foo_bb3_in___40 [2*Arg_4-Arg_1-Arg_6 ]
n_eval_foo__Pcritedge_in___35 [2*Arg_4-Arg_1-Arg_6 ]
n_eval_foo_bb3_in___41 [2*Arg_4-Arg_1-Arg_6 ]
n_eval_foo__Pcritedge_in___39 [2*Arg_4-Arg_1-Arg_6 ]
n_eval_foo_bb5_in___34 [2*Arg_4-Arg_1-Arg_6 ]
n_eval_foo_bb5_in___38 [2*Arg_4-Arg_1-Arg_6 ]
n_eval_foo_bb7_in___36 [2*Arg_4-Arg_1-Arg_6 ]
n_eval_foo_bb7_in___37 [2*Arg_4-Arg_1-Arg_6 ]
n_eval_foo_bb1_in___44 [2*Arg_4-Arg_1-Arg_6 ]

MPRF for transition 777:n_eval_foo_bb7_in___37(Arg_0,Arg_1,Arg_3,Arg_4,Arg_5,Arg_6) -> n_eval_foo_bb1_in___44(Arg_0,Arg_1+1,Arg_3,Arg_4,Arg_5,Arg_6):|:2+Arg_6<=Arg_4 && 1+Arg_6<=Arg_1 && Arg_5<=Arg_0 && 1+Arg_1<=Arg_4 && 1+Arg_3<=Arg_0 && Arg_5<=Arg_0 && Arg_1<Arg_4 && 1+Arg_6<=Arg_1 && Arg_3<Arg_0 && Arg_5<=Arg_0 && Arg_3<=Arg_0 && Arg_6<=Arg_1 && Arg_1<=Arg_4 of depth 1:

new bound:

4*Arg_3+4*Arg_4+4*Arg_5+4*Arg_6+4 {O(n)}

MPRF:

n_eval_foo_bb2_in___43 [Arg_0+Arg_4-Arg_1-Arg_3 ]
n_eval_foo_bb3_in___40 [Arg_0+Arg_4-Arg_1-Arg_3 ]
n_eval_foo__Pcritedge_in___35 [Arg_0+Arg_4-Arg_1-Arg_3 ]
n_eval_foo_bb3_in___41 [Arg_0+Arg_4-Arg_1-Arg_3 ]
n_eval_foo__Pcritedge_in___39 [Arg_0+Arg_4-Arg_1-Arg_3 ]
n_eval_foo_bb5_in___34 [Arg_0+Arg_4-Arg_1-Arg_3 ]
n_eval_foo_bb5_in___38 [Arg_0+Arg_4-Arg_1-Arg_3 ]
n_eval_foo_bb7_in___36 [Arg_0+Arg_4-Arg_1-Arg_3 ]
n_eval_foo_bb7_in___37 [Arg_0+Arg_4-Arg_1-Arg_3 ]
n_eval_foo_bb1_in___44 [Arg_0+Arg_4-Arg_1-Arg_3 ]

CFR: Improvement to new bound with the following program:

new bound:

17*Arg_3+33*Arg_5+61*Arg_4+61*Arg_6+87 {O(n)}

cfr-program:

Start: eval_foo_start
Program_Vars: Arg_0, Arg_1, Arg_3, Arg_4, Arg_5, Arg_6
Temp_Vars:
Locations: eval_foo_bb0_in, eval_foo_bb1_in, eval_foo_bb6_in, eval_foo_bb8_in, eval_foo_start, eval_foo_stop, n_eval_foo__Pcritedge_in___25, n_eval_foo__Pcritedge_in___27, n_eval_foo__Pcritedge_in___3, n_eval_foo__Pcritedge_in___30, n_eval_foo__Pcritedge_in___32, n_eval_foo__Pcritedge_in___35, n_eval_foo__Pcritedge_in___39, n_eval_foo__Pcritedge_in___48, n_eval_foo__Pcritedge_in___53, n_eval_foo__Pcritedge_in___9, n_eval_foo_bb1_in___44, n_eval_foo_bb1_in___6, n_eval_foo_bb2_in___11, n_eval_foo_bb2_in___12, n_eval_foo_bb2_in___26, n_eval_foo_bb2_in___42, n_eval_foo_bb2_in___43, n_eval_foo_bb2_in___5, n_eval_foo_bb2_in___51, n_eval_foo_bb2_in___52, n_eval_foo_bb3_in___10, n_eval_foo_bb3_in___2, n_eval_foo_bb3_in___29, n_eval_foo_bb3_in___33, n_eval_foo_bb3_in___4, n_eval_foo_bb3_in___40, n_eval_foo_bb3_in___41, n_eval_foo_bb3_in___49, n_eval_foo_bb3_in___50, n_eval_foo_bb5_in___1, n_eval_foo_bb5_in___24, n_eval_foo_bb5_in___28, n_eval_foo_bb5_in___31, n_eval_foo_bb5_in___34, n_eval_foo_bb5_in___38, n_eval_foo_bb5_in___47, n_eval_foo_bb5_in___8, n_eval_foo_bb7_in___36, n_eval_foo_bb7_in___37, n_eval_foo_bb7_in___45, n_eval_foo_bb7_in___46, n_eval_foo_bb7_in___7
Transitions:
717:eval_foo_bb0_in(Arg_0,Arg_1,Arg_3,Arg_4,Arg_5,Arg_6) -> eval_foo_bb1_in(Arg_5,Arg_6,Arg_3,Arg_4,Arg_5,Arg_6)
720:eval_foo_bb1_in(Arg_0,Arg_1,Arg_3,Arg_4,Arg_5,Arg_6) -> n_eval_foo__Pcritedge_in___27(Arg_0,Arg_1,Arg_3,Arg_4,Arg_5,Arg_6):|:Arg_6<=Arg_1 && Arg_1<=Arg_6 && Arg_5<=Arg_0 && Arg_5<=Arg_0 && Arg_6<=Arg_1 && Arg_0<=Arg_3 && Arg_5<=Arg_0 && Arg_6<=Arg_1 && Arg_1<=Arg_4 && Arg_0<=Arg_3
722:eval_foo_bb1_in(Arg_0,Arg_1,Arg_3,Arg_4,Arg_5,Arg_6) -> n_eval_foo__Pcritedge_in___53(Arg_0,Arg_1,Arg_3,Arg_4,Arg_5,Arg_6):|:Arg_6<=Arg_1 && Arg_1<=Arg_6 && Arg_5<=Arg_0 && Arg_5<=Arg_0 && Arg_6<=Arg_1 && Arg_0<=Arg_5 && Arg_5<=Arg_0 && Arg_1<=Arg_6 && Arg_6<=Arg_1 && Arg_5<=Arg_0 && Arg_6<=Arg_1 && Arg_1<=Arg_4 && Arg_0<=Arg_3
718:eval_foo_bb1_in(Arg_0,Arg_1,Arg_3,Arg_4,Arg_5,Arg_6) -> n_eval_foo_bb2_in___11(Arg_0,Arg_1,Arg_3,Arg_4,Arg_5,Arg_6):|:Arg_6<=Arg_1 && Arg_1<=Arg_6 && Arg_5<=Arg_0 && Arg_5<=Arg_0 && Arg_6<=Arg_1 && Arg_4<=Arg_1 && Arg_6<=Arg_1 && 1+Arg_5<=Arg_0 && Arg_4<=Arg_1 && Arg_0<=1+Arg_3 && Arg_5<=Arg_0 && Arg_6<=Arg_1 && Arg_4<Arg_1
719:eval_foo_bb1_in(Arg_0,Arg_1,Arg_3,Arg_4,Arg_5,Arg_6) -> n_eval_foo_bb2_in___12(Arg_0,Arg_1,Arg_3,Arg_4,Arg_5,Arg_6):|:Arg_6<=Arg_1 && Arg_1<=Arg_6 && Arg_5<=Arg_0 && Arg_5<=Arg_0 && Arg_6<=Arg_1 && Arg_4<=Arg_1 && Arg_6<=Arg_1 && 1+Arg_5<=Arg_0 && Arg_4<=Arg_1 && Arg_0<=1+Arg_3 && Arg_5<=Arg_0 && Arg_3<Arg_0 && Arg_6<=Arg_1
721:eval_foo_bb1_in(Arg_0,Arg_1,Arg_3,Arg_4,Arg_5,Arg_6) -> n_eval_foo_bb2_in___26(Arg_0,Arg_1,Arg_3,Arg_4,Arg_5,Arg_6):|:Arg_6<=Arg_1 && Arg_1<=Arg_6 && Arg_5<=Arg_0 && Arg_5<=Arg_0 && Arg_6<=Arg_1 && Arg_0<=Arg_3 && Arg_5<=Arg_0 && Arg_6<=Arg_1 && Arg_4<Arg_1
723:eval_foo_bb1_in(Arg_0,Arg_1,Arg_3,Arg_4,Arg_5,Arg_6) -> n_eval_foo_bb2_in___51(Arg_0,Arg_1,Arg_3,Arg_4,Arg_5,Arg_6):|:Arg_6<=Arg_1 && Arg_1<=Arg_6 && Arg_5<=Arg_0 && Arg_5<=Arg_0 && Arg_6<=Arg_1 && Arg_0<=Arg_5 && Arg_5<=Arg_0 && Arg_1<=Arg_6 && Arg_6<=Arg_1 && Arg_5<=Arg_0 && Arg_6<=Arg_1 && Arg_4<Arg_1
724:eval_foo_bb1_in(Arg_0,Arg_1,Arg_3,Arg_4,Arg_5,Arg_6) -> n_eval_foo_bb2_in___52(Arg_0,Arg_1,Arg_3,Arg_4,Arg_5,Arg_6):|:Arg_6<=Arg_1 && Arg_1<=Arg_6 && Arg_5<=Arg_0 && Arg_5<=Arg_0 && Arg_6<=Arg_1 && Arg_0<=Arg_5 && Arg_5<=Arg_0 && Arg_1<=Arg_6 && Arg_6<=Arg_1 && Arg_5<=Arg_0 && Arg_3<Arg_0 && Arg_6<=Arg_1
725:eval_foo_bb6_in(Arg_0,Arg_1,Arg_3,Arg_4,Arg_5,Arg_6) -> eval_foo_bb1_in(Arg_0+1,Arg_1,Arg_3,Arg_4,Arg_5,Arg_6):|:Arg_6<=Arg_1 && 1+Arg_4<=Arg_6 && Arg_1<=Arg_6 && Arg_5<=Arg_3 && Arg_5<=Arg_0 && 1+Arg_4<=Arg_1 && Arg_0<=Arg_3 && Arg_6<=Arg_1 && Arg_5<=Arg_3 && Arg_5<=Arg_0 && Arg_4<=Arg_1 && Arg_0<=Arg_3
726:eval_foo_bb8_in(Arg_0,Arg_1,Arg_3,Arg_4,Arg_5,Arg_6) -> eval_foo_stop(Arg_0,Arg_1,Arg_3,Arg_4,Arg_5,Arg_6):|:Arg_6<=Arg_1 && Arg_5<=Arg_0 && 1+Arg_4<=Arg_1 && 1+Arg_3<=Arg_0 && Arg_6<=Arg_1 && Arg_5<=Arg_0
727:eval_foo_start(Arg_0,Arg_1,Arg_3,Arg_4,Arg_5,Arg_6) -> eval_foo_bb0_in(Arg_0,Arg_1,Arg_3,Arg_4,Arg_5,Arg_6)
728:n_eval_foo__Pcritedge_in___25(Arg_0,Arg_1,Arg_3,Arg_4,Arg_5,Arg_6) -> n_eval_foo_bb5_in___24(Arg_0,Arg_1,Arg_3,Arg_4,Arg_5,Arg_6):|:Arg_6<=Arg_1 && 1+Arg_4<=Arg_6 && Arg_1<=Arg_6 && Arg_5<=Arg_3 && Arg_5<=Arg_0 && 1+Arg_4<=Arg_1 && Arg_0<=Arg_3 && Arg_6<=Arg_1 && Arg_0<=Arg_3 && Arg_4<Arg_1 && Arg_5<=Arg_0 && Arg_5<=Arg_0 && Arg_6<=Arg_1 && Arg_4<Arg_1
729:n_eval_foo__Pcritedge_in___3(Arg_0,Arg_1,Arg_3,Arg_4,Arg_5,Arg_6) -> n_eval_foo_bb5_in___1(Arg_0,Arg_1,Arg_3,Arg_4,Arg_5,Arg_6):|:Arg_6<=Arg_1 && 1+Arg_4<=Arg_6 && Arg_1<=Arg_6 && 1+Arg_5<=Arg_3 && 1+Arg_5<=Arg_0 && 1+Arg_4<=Arg_1 && Arg_0<=Arg_3 && Arg_6<=Arg_1 && Arg_0<=Arg_3 && Arg_4<Arg_1 && 1+Arg_5<=Arg_0 && Arg_5<=Arg_0 && Arg_6<=Arg_1 && Arg_4<Arg_1
730:n_eval_foo__Pcritedge_in___30(Arg_0,Arg_1,Arg_3,Arg_4,Arg_5,Arg_6) -> n_eval_foo_bb5_in___28(Arg_0,Arg_1,Arg_3,Arg_4,Arg_5,Arg_6):|:Arg_6<=Arg_1 && 1+Arg_4<=Arg_6 && Arg_1<=Arg_6 && Arg_5<=Arg_3 && Arg_5<=Arg_0 && Arg_0<=Arg_5 && 1+Arg_4<=Arg_1 && Arg_0<=Arg_3 && Arg_0<=Arg_3 && Arg_4<Arg_1 && Arg_0<=Arg_5 && Arg_5<=Arg_0 && Arg_1<=Arg_6 && Arg_6<=Arg_1 && Arg_5<=Arg_0 && Arg_6<=Arg_1 && Arg_4<Arg_1
731:n_eval_foo__Pcritedge_in___32(Arg_0,Arg_1,Arg_3,Arg_4,Arg_5,Arg_6) -> n_eval_foo_bb5_in___31(Arg_0,Arg_1,Arg_3,Arg_4,Arg_5,Arg_6):|:1+Arg_6<=Arg_4 && Arg_6<=Arg_1 && Arg_1<=Arg_6 && Arg_5<=Arg_0 && 1+Arg_3<=Arg_5 && Arg_0<=Arg_5 && 1+Arg_1<=Arg_4 && 1+Arg_3<=Arg_0 && Arg_3<Arg_0 && Arg_1<Arg_4 && Arg_0<=Arg_5 && Arg_5<=Arg_0 && Arg_1<=Arg_6 && Arg_6<=Arg_1 && Arg_5<=Arg_0 && Arg_3<Arg_0 && Arg_6<=Arg_1
732:n_eval_foo__Pcritedge_in___35(Arg_0,Arg_1,Arg_3,Arg_4,Arg_5,Arg_6) -> n_eval_foo_bb5_in___34(Arg_0,Arg_1,Arg_3,Arg_4,Arg_5,Arg_6):|:2+Arg_6<=Arg_4 && 1+Arg_6<=Arg_1 && Arg_5<=Arg_0 && 1+Arg_1<=Arg_4 && 1+Arg_3<=Arg_0 && Arg_5<=Arg_0 && Arg_1<Arg_4 && 1+Arg_6<=Arg_1 && Arg_3<Arg_0 && Arg_5<=Arg_0 && Arg_3<Arg_0 && Arg_6<=Arg_1
733:n_eval_foo__Pcritedge_in___39(Arg_0,Arg_1,Arg_3,Arg_4,Arg_5,Arg_6) -> n_eval_foo_bb5_in___38(Arg_0,Arg_1,Arg_3,Arg_4,Arg_5,Arg_6):|:1+Arg_6<=Arg_4 && 1+Arg_6<=Arg_1 && Arg_5<=Arg_0 && Arg_1<=Arg_4 && 1+Arg_3<=Arg_0 && Arg_5<=Arg_0 && Arg_1<=Arg_4 && 1+Arg_6<=Arg_1 && Arg_3<Arg_0 && Arg_5<=Arg_0 && Arg_3<Arg_0 && Arg_6<=Arg_1
734:n_eval_foo__Pcritedge_in___48(Arg_0,Arg_1,Arg_3,Arg_4,Arg_5,Arg_6) -> n_eval_foo_bb5_in___47(Arg_0,Arg_1,Arg_3,Arg_4,Arg_5,Arg_6):|:Arg_6<=Arg_4 && Arg_6<=Arg_1 && Arg_1<=Arg_6 && Arg_5<=Arg_0 && 1+Arg_3<=Arg_5 && Arg_0<=Arg_5 && Arg_1<=Arg_4 && 1+Arg_3<=Arg_0 && Arg_1<=Arg_4 && Arg_3<Arg_0 && Arg_0<=Arg_5 && Arg_5<=Arg_0 && Arg_1<=Arg_6 && Arg_6<=Arg_1 && Arg_5<=Arg_0 && Arg_3<Arg_0 && Arg_6<=Arg_1
735:n_eval_foo__Pcritedge_in___9(Arg_0,Arg_1,Arg_3,Arg_4,Arg_5,Arg_6) -> n_eval_foo_bb5_in___8(Arg_0,Arg_1,Arg_3,Arg_4,Arg_5,Arg_6):|:Arg_6<=Arg_4 && Arg_6<=Arg_1 && Arg_4<=Arg_6 && Arg_1<=Arg_6 && Arg_5<=Arg_3 && 1+Arg_5<=Arg_0 && Arg_4<=Arg_1 && Arg_1<=Arg_4 && 1+Arg_3<=Arg_0 && Arg_0<=1+Arg_3 && 1+Arg_5<=Arg_0 && Arg_0<=1+Arg_3 && Arg_6<=Arg_1 && Arg_3<Arg_0 && Arg_1<=Arg_4 && Arg_4<=Arg_1 && Arg_5<=Arg_0 && Arg_3<Arg_0 && Arg_6<=Arg_1
736:n_eval_foo_bb1_in___44(Arg_0,Arg_1,Arg_3,Arg_4,Arg_5,Arg_6) -> n_eval_foo_bb2_in___42(Arg_0,Arg_1,Arg_3,Arg_4,Arg_5,Arg_6):|:Arg_6<=Arg_4 && 1+Arg_6<=Arg_1 && Arg_5<=Arg_0 && Arg_1<=1+Arg_4 && 1+Arg_3<=Arg_0 && Arg_5<=Arg_0 && Arg_6<=Arg_1 && Arg_3<Arg_0 && Arg_3<=Arg_0 && Arg_3<=Arg_0 && 1+Arg_6<=Arg_1 && Arg_5<=Arg_0 && Arg_1<=1+Arg_4 && Arg_5<=Arg_0 && Arg_6<=Arg_1 && Arg_4<Arg_1
737:n_eval_foo_bb1_in___44(Arg_0,Arg_1,Arg_3,Arg_4,Arg_5,Arg_6) -> n_eval_foo_bb2_in___43(Arg_0,Arg_1,Arg_3,Arg_4,Arg_5,Arg_6):|:Arg_6<=Arg_4 && 1+Arg_6<=Arg_1 && Arg_5<=Arg_0 && Arg_1<=1+Arg_4 && 1+Arg_3<=Arg_0 && Arg_5<=Arg_0 && Arg_6<=Arg_1 && Arg_3<Arg_0 && Arg_3<=Arg_0 && Arg_3<=Arg_0 && 1+Arg_6<=Arg_1 && Arg_5<=Arg_0 && Arg_1<=1+Arg_4 && Arg_5<=Arg_0 && Arg_3<Arg_0 && Arg_6<=Arg_1
738:n_eval_foo_bb1_in___6(Arg_0,Arg_1,Arg_3,Arg_4,Arg_5,Arg_6) -> n_eval_foo_bb2_in___5(Arg_0,Arg_1,Arg_3,Arg_4,Arg_5,Arg_6):|:Arg_6<=Arg_4 && 1+Arg_6<=Arg_1 && Arg_4<=Arg_6 && Arg_1<=1+Arg_6 && Arg_5<=Arg_3 && 1+Arg_5<=Arg_0 && 1+Arg_4<=Arg_1 && Arg_1<=1+Arg_4 && 1+Arg_3<=Arg_0 && Arg_0<=1+Arg_3 && Arg_5<=Arg_0 && Arg_6<=Arg_1 && Arg_3<Arg_0 && Arg_4<=Arg_1 && Arg_4<Arg_1 && Arg_3<=Arg_0 && Arg_3<=Arg_0 && 1+Arg_6<=Arg_1 && Arg_5<=Arg_0 && Arg_1<=1+Arg_4 && Arg_5<=Arg_0 && 1+Arg_4<=Arg_1 && Arg_6<=Arg_1 && Arg_6<=Arg_1 && 1+Arg_5<=Arg_0 && Arg_4<=Arg_1 && Arg_0<=1+Arg_3 && Arg_5<=Arg_0 && 1+Arg_4<=Arg_1 && Arg_6<=Arg_1 && Arg_5<=Arg_0 && Arg_3<Arg_0 && Arg_6<=Arg_1
739:n_eval_foo_bb1_in___6(Arg_0,Arg_1,Arg_3,Arg_4,Arg_5,Arg_6) -> n_eval_foo_bb2_in___5(Arg_0,Arg_1,Arg_3,Arg_4,Arg_5,Arg_6):|:Arg_6<=Arg_4 && 1+Arg_6<=Arg_1 && Arg_4<=Arg_6 && Arg_1<=1+Arg_6 && Arg_5<=Arg_3 && 1+Arg_5<=Arg_0 && 1+Arg_4<=Arg_1 && Arg_1<=1+Arg_4 && 1+Arg_3<=Arg_0 && Arg_0<=1+Arg_3 && Arg_5<=Arg_0 && Arg_6<=Arg_1 && Arg_3<Arg_0 && Arg_4<=Arg_1 && Arg_4<Arg_1 && Arg_3<=Arg_0 && Arg_3<=Arg_0 && 1+Arg_6<=Arg_1 && Arg_5<=Arg_0 && Arg_1<=1+Arg_4 && Arg_5<=Arg_0 && 1+Arg_4<=Arg_1 && Arg_6<=Arg_1 && Arg_6<=Arg_1 && 1+Arg_5<=Arg_0 && Arg_4<=Arg_1 && Arg_0<=1+Arg_3 && Arg_5<=Arg_0 && 1+Arg_4<=Arg_1 && Arg_6<=Arg_1 && Arg_5<=Arg_0 && Arg_6<=Arg_1 && Arg_4<Arg_1
740:n_eval_foo_bb2_in___11(Arg_0,Arg_1,Arg_3,Arg_4,Arg_5,Arg_6) -> n_eval_foo__Pcritedge_in___3(Arg_0,Arg_1,Arg_3,Arg_4,Arg_5,Arg_6):|:Arg_6<=Arg_1 && 1+Arg_4<=Arg_6 && Arg_1<=Arg_6 && Arg_5<=Arg_3 && 1+Arg_5<=Arg_0 && 1+Arg_4<=Arg_1 && Arg_0<=1+Arg_3 && Arg_0<=1+Arg_3 && 1+Arg_5<=Arg_0 && Arg_6<=Arg_1 && Arg_4<Arg_1 && Arg_5<=Arg_0 && Arg_6<=Arg_1 && Arg_4<=Arg_1 && Arg_0<=Arg_3
741:n_eval_foo_bb2_in___11(Arg_0,Arg_1,Arg_3,Arg_4,Arg_5,Arg_6) -> n_eval_foo_bb3_in___2(Arg_0,Arg_1,Arg_3,Arg_4,Arg_5,Arg_6):|:Arg_6<=Arg_1 && 1+Arg_4<=Arg_6 && Arg_1<=Arg_6 && Arg_5<=Arg_3 && 1+Arg_5<=Arg_0 && 1+Arg_4<=Arg_1 && Arg_0<=1+Arg_3 && Arg_0<=1+Arg_3 && 1+Arg_5<=Arg_0 && Arg_6<=Arg_1 && Arg_4<Arg_1 && Arg_5<=Arg_0 && Arg_3<Arg_0 && Arg_6<=Arg_1
742:n_eval_foo_bb2_in___12(Arg_0,Arg_1,Arg_3,Arg_4,Arg_5,Arg_6) -> n_eval_foo_bb3_in___10(Arg_0,Arg_1,Arg_3,Arg_4,Arg_5,Arg_6):|:Arg_6<=Arg_1 && Arg_4<=Arg_6 && Arg_1<=Arg_6 && Arg_5<=Arg_3 && 1+Arg_5<=Arg_0 && Arg_4<=Arg_1 && 1+Arg_3<=Arg_0 && Arg_0<=1+Arg_3 && 1+Arg_5<=Arg_0 && Arg_0<=1+Arg_3 && Arg_6<=Arg_1 && Arg_4<=Arg_1 && Arg_3<Arg_0 && Arg_5<=Arg_0 && Arg_3<Arg_0 && Arg_6<=Arg_1
743:n_eval_foo_bb2_in___26(Arg_0,Arg_1,Arg_3,Arg_4,Arg_5,Arg_6) -> n_eval_foo__Pcritedge_in___25(Arg_0,Arg_1,Arg_3,Arg_4,Arg_5,Arg_6):|:Arg_6<=Arg_1 && 1+Arg_4<=Arg_6 && Arg_1<=Arg_6 && Arg_5<=Arg_3 && Arg_5<=Arg_0 && 1+Arg_4<=Arg_1 && Arg_0<=Arg_3 && Arg_0<=Arg_3 && Arg_5<=Arg_0 && Arg_6<=Arg_1 && Arg_4<Arg_1 && Arg_5<=Arg_0 && Arg_6<=Arg_1 && Arg_4<=Arg_1 && Arg_0<=Arg_3
744:n_eval_foo_bb2_in___42(Arg_0,Arg_1,Arg_3,Arg_4,Arg_5,Arg_6) -> n_eval_foo_bb3_in___33(Arg_0,Arg_1,Arg_3,Arg_4,Arg_5,Arg_6):|:Arg_6<=Arg_4 && 1+Arg_6<=Arg_1 && Arg_5<=Arg_0 && 1+Arg_4<=Arg_1 && Arg_1<=1+Arg_4 && 1+Arg_3<=Arg_0 && Arg_5<=Arg_0 && 1+Arg_6<=Arg_1 && Arg_1<=1+Arg_4 && Arg_4<Arg_1 && Arg_3<Arg_0 && Arg_5<=Arg_0 && Arg_3<Arg_0 && Arg_6<=Arg_1
745:n_eval_foo_bb2_in___43(Arg_0,Arg_1,Arg_3,Arg_4,Arg_5,Arg_6) -> n_eval_foo_bb3_in___40(Arg_0,Arg_1,Arg_3,Arg_4,Arg_5,Arg_6):|:Arg_6<=Arg_4 && 1+Arg_6<=Arg_1 && Arg_5<=Arg_0 && Arg_1<=1+Arg_4 && 1+Arg_3<=Arg_0 && Arg_1<=1+Arg_4 && Arg_5<=Arg_0 && 1+Arg_6<=Arg_1 && Arg_3<Arg_0 && Arg_5<=Arg_0 && Arg_6<=Arg_1 && Arg_1<Arg_4
746:n_eval_foo_bb2_in___43(Arg_0,Arg_1,Arg_3,Arg_4,Arg_5,Arg_6) -> n_eval_foo_bb3_in___41(Arg_0,Arg_1,Arg_3,Arg_4,Arg_5,Arg_6):|:Arg_6<=Arg_4 && 1+Arg_6<=Arg_1 && Arg_5<=Arg_0 && Arg_1<=1+Arg_4 && 1+Arg_3<=Arg_0 && Arg_1<=1+Arg_4 && Arg_5<=Arg_0 && 1+Arg_6<=Arg_1 && Arg_3<Arg_0 && Arg_5<=Arg_0 && Arg_3<Arg_0 && Arg_6<=Arg_1
747:n_eval_foo_bb2_in___5(Arg_0,Arg_1,Arg_3,Arg_4,Arg_5,Arg_6) -> n_eval_foo_bb3_in___4(Arg_0,Arg_1,Arg_3,Arg_4,Arg_5,Arg_6):|:Arg_6<=Arg_4 && 1+Arg_6<=Arg_1 && Arg_4<=Arg_6 && Arg_1<=1+Arg_6 && Arg_5<=Arg_3 && 1+Arg_5<=Arg_0 && 1+Arg_4<=Arg_1 && Arg_1<=1+Arg_4 && 1+Arg_3<=Arg_0 && Arg_0<=1+Arg_3 && 1+Arg_5<=Arg_0 && 1+Arg_6<=Arg_1 && Arg_0<=1+Arg_3 && Arg_3<Arg_0 && Arg_1<=Arg_4+1 && 1+Arg_4<=Arg_1 && Arg_5<=Arg_0 && Arg_3<Arg_0 && Arg_6<=Arg_1
748:n_eval_foo_bb2_in___51(Arg_0,Arg_1,Arg_3,Arg_4,Arg_5,Arg_6) -> n_eval_foo__Pcritedge_in___30(Arg_0,Arg_1,Arg_3,Arg_4,Arg_5,Arg_6):|:Arg_6<=Arg_1 && 1+Arg_4<=Arg_6 && Arg_1<=Arg_6 && Arg_5<=Arg_0 && Arg_0<=Arg_5 && 1+Arg_4<=Arg_1 && Arg_4<Arg_1 && Arg_1<=Arg_6 && Arg_6<=Arg_1 && Arg_0<=Arg_5 && Arg_5<=Arg_0 && Arg_5<=Arg_0 && Arg_6<=Arg_1 && Arg_4<=Arg_1 && Arg_0<=Arg_3
749:n_eval_foo_bb2_in___51(Arg_0,Arg_1,Arg_3,Arg_4,Arg_5,Arg_6) -> n_eval_foo_bb3_in___29(Arg_0,Arg_1,Arg_3,Arg_4,Arg_5,Arg_6):|:Arg_6<=Arg_1 && 1+Arg_4<=Arg_6 && Arg_1<=Arg_6 && Arg_5<=Arg_0 && Arg_0<=Arg_5 && 1+Arg_4<=Arg_1 && Arg_4<Arg_1 && Arg_1<=Arg_6 && Arg_6<=Arg_1 && Arg_0<=Arg_5 && Arg_5<=Arg_0 && Arg_5<=Arg_0 && Arg_3<Arg_0 && Arg_6<=Arg_1
750:n_eval_foo_bb2_in___52(Arg_0,Arg_1,Arg_3,Arg_4,Arg_5,Arg_6) -> n_eval_foo_bb3_in___49(Arg_0,Arg_1,Arg_3,Arg_4,Arg_5,Arg_6):|:Arg_6<=Arg_1 && Arg_1<=Arg_6 && Arg_5<=Arg_0 && 1+Arg_3<=Arg_5 && Arg_0<=Arg_5 && 1+Arg_3<=Arg_0 && Arg_3<Arg_0 && Arg_0<=Arg_5 && Arg_5<=Arg_0 && Arg_1<=Arg_6 && Arg_6<=Arg_1 && Arg_5<=Arg_0 && Arg_6<=Arg_1 && Arg_1<Arg_4
751:n_eval_foo_bb2_in___52(Arg_0,Arg_1,Arg_3,Arg_4,Arg_5,Arg_6) -> n_eval_foo_bb3_in___50(Arg_0,Arg_1,Arg_3,Arg_4,Arg_5,Arg_6):|:Arg_6<=Arg_1 && Arg_1<=Arg_6 && Arg_5<=Arg_0 && 1+Arg_3<=Arg_5 && Arg_0<=Arg_5 && 1+Arg_3<=Arg_0 && Arg_3<Arg_0 && Arg_0<=Arg_5 && Arg_5<=Arg_0 && Arg_1<=Arg_6 && Arg_6<=Arg_1 && Arg_5<=Arg_0 && Arg_3<Arg_0 && Arg_6<=Arg_1
753:n_eval_foo_bb3_in___10(Arg_0,Arg_1,Arg_3,Arg_4,Arg_5,Arg_6) -> eval_foo_bb8_in(Arg_0,Arg_1,Arg_3,Arg_4,Arg_5,Arg_6):|:Arg_6<=Arg_1 && Arg_4<=Arg_6 && Arg_1<=Arg_6 && Arg_5<=Arg_3 && 1+Arg_5<=Arg_0 && Arg_4<=Arg_1 && 1+Arg_3<=Arg_0 && Arg_0<=1+Arg_3 && Arg_6<=Arg_1 && Arg_5<=Arg_0 && Arg_4<Arg_1
752:n_eval_foo_bb3_in___10(Arg_0,Arg_1,Arg_3,Arg_4,Arg_5,Arg_6) -> n_eval_foo__Pcritedge_in___9(Arg_0,Arg_1,Arg_3,Arg_4,Arg_5,Arg_6):|:Arg_6<=Arg_1 && Arg_4<=Arg_6 && Arg_1<=Arg_6 && Arg_5<=Arg_3 && 1+Arg_5<=Arg_0 && Arg_4<=Arg_1 && 1+Arg_3<=Arg_0 && Arg_0<=1+Arg_3 && 1+Arg_5<=Arg_0 && Arg_0<=1+Arg_3 && Arg_6<=Arg_1 && Arg_4<=Arg_1 && Arg_3<Arg_0 && Arg_5<=Arg_0 && Arg_3<=Arg_0 && Arg_6<=Arg_1 && Arg_1<=Arg_4
754:n_eval_foo_bb3_in___2(Arg_0,Arg_1,Arg_3,Arg_4,Arg_5,Arg_6) -> eval_foo_bb8_in(Arg_0,Arg_1,Arg_3,Arg_4,Arg_5,Arg_6):|:Arg_6<=Arg_1 && 1+Arg_4<=Arg_6 && Arg_1<=Arg_6 && Arg_5<=Arg_3 && 1+Arg_5<=Arg_0 && 1+Arg_4<=Arg_1 && 1+Arg_3<=Arg_0 && Arg_0<=1+Arg_3 && Arg_6<=Arg_1 && Arg_5<=Arg_0 && Arg_4<Arg_1
755:n_eval_foo_bb3_in___29(Arg_0,Arg_1,Arg_3,Arg_4,Arg_5,Arg_6) -> eval_foo_bb8_in(Arg_0,Arg_1,Arg_3,Arg_4,Arg_5,Arg_6):|:Arg_6<=Arg_1 && 1+Arg_4<=Arg_6 && Arg_1<=Arg_6 && Arg_5<=Arg_0 && 1+Arg_3<=Arg_5 && Arg_0<=Arg_5 && 1+Arg_4<=Arg_1 && 1+Arg_3<=Arg_0 && Arg_6<=Arg_1 && Arg_5<=Arg_0 && Arg_4<Arg_1
756:n_eval_foo_bb3_in___33(Arg_0,Arg_1,Arg_3,Arg_4,Arg_5,Arg_6) -> eval_foo_bb8_in(Arg_0,Arg_1,Arg_3,Arg_4,Arg_5,Arg_6):|:Arg_6<=Arg_4 && 1+Arg_6<=Arg_1 && Arg_5<=Arg_0 && 1+Arg_4<=Arg_1 && Arg_1<=1+Arg_4 && 1+Arg_3<=Arg_0 && Arg_6<=Arg_1 && Arg_5<=Arg_0 && Arg_4<Arg_1
757:n_eval_foo_bb3_in___4(Arg_0,Arg_1,Arg_3,Arg_4,Arg_5,Arg_6) -> eval_foo_bb8_in(Arg_0,Arg_1,Arg_3,Arg_4,Arg_5,Arg_6):|:Arg_6<=Arg_4 && 1+Arg_6<=Arg_1 && Arg_4<=Arg_6 && Arg_1<=1+Arg_6 && Arg_5<=Arg_3 && 1+Arg_5<=Arg_0 && 1+Arg_4<=Arg_1 && Arg_1<=1+Arg_4 && 1+Arg_3<=Arg_0 && Arg_0<=1+Arg_3 && Arg_6<=Arg_1 && Arg_5<=Arg_0 && Arg_4<Arg_1
758:n_eval_foo_bb3_in___40(Arg_0,Arg_1,Arg_3,Arg_4,Arg_5,Arg_6) -> n_eval_foo__Pcritedge_in___35(Arg_0,Arg_1,Arg_3,Arg_4,Arg_5,Arg_6):|:2+Arg_6<=Arg_4 && 1+Arg_6<=Arg_1 && Arg_5<=Arg_0 && 1+Arg_1<=Arg_4 && 1+Arg_3<=Arg_0 && Arg_5<=Arg_0 && Arg_1<Arg_4 && 1+Arg_6<=Arg_1 && Arg_3<Arg_0 && Arg_5<=Arg_0 && Arg_3<=Arg_0 && Arg_6<=Arg_1 && Arg_1<=Arg_4
760:n_eval_foo_bb3_in___41(Arg_0,Arg_1,Arg_3,Arg_4,Arg_5,Arg_6) -> eval_foo_bb8_in(Arg_0,Arg_1,Arg_3,Arg_4,Arg_5,Arg_6):|:Arg_6<=Arg_4 && 1+Arg_6<=Arg_1 && Arg_5<=Arg_0 && Arg_1<=1+Arg_4 && 1+Arg_3<=Arg_0 && Arg_6<=Arg_1 && Arg_5<=Arg_0 && Arg_4<Arg_1
759:n_eval_foo_bb3_in___41(Arg_0,Arg_1,Arg_3,Arg_4,Arg_5,Arg_6) -> n_eval_foo__Pcritedge_in___39(Arg_0,Arg_1,Arg_3,Arg_4,Arg_5,Arg_6):|:Arg_6<=Arg_4 && 1+Arg_6<=Arg_1 && Arg_5<=Arg_0 && Arg_1<=1+Arg_4 && 1+Arg_3<=Arg_0 && Arg_5<=Arg_0 && Arg_1<=1+Arg_4 && 1+Arg_6<=Arg_1 && Arg_3<Arg_0 && Arg_5<=Arg_0 && Arg_3<=Arg_0 && Arg_6<=Arg_1 && Arg_1<=Arg_4
761:n_eval_foo_bb3_in___49(Arg_0,Arg_1,Arg_3,Arg_4,Arg_5,Arg_6) -> n_eval_foo__Pcritedge_in___32(Arg_0,Arg_1,Arg_3,Arg_4,Arg_5,Arg_6):|:1+Arg_6<=Arg_4 && Arg_6<=Arg_1 && Arg_1<=Arg_6 && Arg_5<=Arg_0 && 1+Arg_3<=Arg_5 && Arg_0<=Arg_5 && 1+Arg_1<=Arg_4 && 1+Arg_3<=Arg_0 && Arg_1<Arg_4 && Arg_3<Arg_0 && Arg_0<=Arg_5 && Arg_5<=Arg_0 && Arg_1<=Arg_6 && Arg_6<=Arg_1 && Arg_5<=Arg_0 && Arg_3<=Arg_0 && Arg_6<=Arg_1 && Arg_1<=Arg_4
763:n_eval_foo_bb3_in___50(Arg_0,Arg_1,Arg_3,Arg_4,Arg_5,Arg_6) -> eval_foo_bb8_in(Arg_0,Arg_1,Arg_3,Arg_4,Arg_5,Arg_6):|:Arg_6<=Arg_1 && Arg_1<=Arg_6 && Arg_5<=Arg_0 && 1+Arg_3<=Arg_5 && Arg_0<=Arg_5 && 1+Arg_3<=Arg_0 && Arg_6<=Arg_1 && Arg_5<=Arg_0 && Arg_4<Arg_1
762:n_eval_foo_bb3_in___50(Arg_0,Arg_1,Arg_3,Arg_4,Arg_5,Arg_6) -> n_eval_foo__Pcritedge_in___48(Arg_0,Arg_1,Arg_3,Arg_4,Arg_5,Arg_6):|:Arg_6<=Arg_1 && Arg_1<=Arg_6 && Arg_5<=Arg_0 && 1+Arg_3<=Arg_5 && Arg_0<=Arg_5 && 1+Arg_3<=Arg_0 && Arg_3<Arg_0 && Arg_0<=Arg_5 && Arg_5<=Arg_0 && Arg_1<=Arg_6 && Arg_6<=Arg_1 && Arg_5<=Arg_0 && Arg_3<=Arg_0 && Arg_6<=Arg_1 && Arg_1<=Arg_4
764:n_eval_foo_bb5_in___1(Arg_0,Arg_1,Arg_3,Arg_4,Arg_5,Arg_6) -> eval_foo_bb6_in(Arg_0,Arg_1,Arg_3,Arg_4,Arg_5,Arg_6):|:Arg_6<=Arg_1 && 1+Arg_4<=Arg_6 && Arg_1<=Arg_6 && 1+Arg_5<=Arg_3 && 1+Arg_5<=Arg_0 && 1+Arg_4<=Arg_1 && Arg_0<=Arg_3 && Arg_6<=Arg_1 && Arg_5<=Arg_0 && Arg_0<=Arg_3 && Arg_4<=Arg_1
765:n_eval_foo_bb5_in___24(Arg_0,Arg_1,Arg_3,Arg_4,Arg_5,Arg_6) -> eval_foo_bb6_in(Arg_0,Arg_1,Arg_3,Arg_4,Arg_5,Arg_6):|:Arg_6<=Arg_1 && 1+Arg_4<=Arg_6 && Arg_1<=Arg_6 && Arg_5<=Arg_3 && Arg_5<=Arg_0 && 1+Arg_4<=Arg_1 && Arg_0<=Arg_3 && Arg_6<=Arg_1 && Arg_5<=Arg_0 && Arg_0<=Arg_3 && Arg_4<=Arg_1
766:n_eval_foo_bb5_in___28(Arg_0,Arg_1,Arg_3,Arg_4,Arg_5,Arg_6) -> eval_foo_bb6_in(Arg_0,Arg_1,Arg_3,Arg_4,Arg_5,Arg_6):|:Arg_6<=Arg_1 && 1+Arg_4<=Arg_6 && Arg_1<=Arg_6 && Arg_5<=Arg_3 && Arg_5<=Arg_0 && Arg_0<=Arg_5 && 1+Arg_4<=Arg_1 && Arg_0<=Arg_3 && Arg_6<=Arg_1 && Arg_5<=Arg_0 && Arg_0<=Arg_3 && Arg_4<=Arg_1
767:n_eval_foo_bb5_in___31(Arg_0,Arg_1,Arg_3,Arg_4,Arg_5,Arg_6) -> n_eval_foo_bb7_in___46(Arg_0,Arg_1,Arg_3,Arg_4,Arg_5,Arg_6):|:1+Arg_6<=Arg_4 && Arg_6<=Arg_1 && Arg_1<=Arg_6 && Arg_5<=Arg_0 && 1+Arg_3<=Arg_5 && Arg_0<=Arg_5 && 1+Arg_1<=Arg_4 && 1+Arg_3<=Arg_0 && Arg_3<Arg_0 && Arg_1<Arg_4 && Arg_0<=Arg_5 && Arg_5<=Arg_0 && Arg_1<=Arg_6 && Arg_6<=Arg_1 && Arg_5<=Arg_0 && Arg_6<=Arg_1 && Arg_1<Arg_4
768:n_eval_foo_bb5_in___31(Arg_0,Arg_1,Arg_3,Arg_4,Arg_5,Arg_6) -> n_eval_foo_bb7_in___46(Arg_0,Arg_1,Arg_3,Arg_4,Arg_5,Arg_6):|:1+Arg_6<=Arg_4 && Arg_6<=Arg_1 && Arg_1<=Arg_6 && Arg_5<=Arg_0 && 1+Arg_3<=Arg_5 && Arg_0<=Arg_5 && 1+Arg_1<=Arg_4 && 1+Arg_3<=Arg_0 && Arg_3<Arg_0 && Arg_1<Arg_4 && Arg_0<=Arg_5 && Arg_5<=Arg_0 && Arg_1<=Arg_6 && Arg_6<=Arg_1 && Arg_5<=Arg_0 && Arg_3<Arg_0 && Arg_6<=Arg_1
769:n_eval_foo_bb5_in___34(Arg_0,Arg_1,Arg_3,Arg_4,Arg_5,Arg_6) -> n_eval_foo_bb7_in___37(Arg_0,Arg_1,Arg_3,Arg_4,Arg_5,Arg_6):|:2+Arg_6<=Arg_4 && 1+Arg_6<=Arg_1 && Arg_5<=Arg_0 && 1+Arg_1<=Arg_4 && 1+Arg_3<=Arg_0 && Arg_5<=Arg_0 && Arg_1<Arg_4 && 1+Arg_6<=Arg_1 && Arg_3<Arg_0 && Arg_5<=Arg_0 && Arg_6<=Arg_1 && Arg_1<Arg_4
770:n_eval_foo_bb5_in___34(Arg_0,Arg_1,Arg_3,Arg_4,Arg_5,Arg_6) -> n_eval_foo_bb7_in___37(Arg_0,Arg_1,Arg_3,Arg_4,Arg_5,Arg_6):|:2+Arg_6<=Arg_4 && 1+Arg_6<=Arg_1 && Arg_5<=Arg_0 && 1+Arg_1<=Arg_4 && 1+Arg_3<=Arg_0 && Arg_5<=Arg_0 && Arg_1<Arg_4 && 1+Arg_6<=Arg_1 && Arg_3<Arg_0 && Arg_5<=Arg_0 && Arg_3<Arg_0 && Arg_6<=Arg_1
771:n_eval_foo_bb5_in___38(Arg_0,Arg_1,Arg_3,Arg_4,Arg_5,Arg_6) -> n_eval_foo_bb7_in___36(Arg_0,Arg_1,Arg_3,Arg_4,Arg_5,Arg_6):|:1+Arg_6<=Arg_4 && 1+Arg_6<=Arg_1 && Arg_5<=Arg_0 && Arg_1<=Arg_4 && 1+Arg_3<=Arg_0 && Arg_5<=Arg_0 && Arg_1<=Arg_4 && 1+Arg_6<=Arg_1 && Arg_3<Arg_0 && Arg_5<=Arg_0 && Arg_3<Arg_0 && Arg_6<=Arg_1
772:n_eval_foo_bb5_in___38(Arg_0,Arg_1,Arg_3,Arg_4,Arg_5,Arg_6) -> n_eval_foo_bb7_in___37(Arg_0,Arg_1,Arg_3,Arg_4,Arg_5,Arg_6):|:1+Arg_6<=Arg_4 && 1+Arg_6<=Arg_1 && Arg_5<=Arg_0 && Arg_1<=Arg_4 && 1+Arg_3<=Arg_0 && Arg_5<=Arg_0 && Arg_1<=Arg_4 && 1+Arg_6<=Arg_1 && Arg_3<Arg_0 && Arg_5<=Arg_0 && Arg_6<=Arg_1 && Arg_1<Arg_4
773:n_eval_foo_bb5_in___47(Arg_0,Arg_1,Arg_3,Arg_4,Arg_5,Arg_6) -> n_eval_foo_bb7_in___45(Arg_0,Arg_1,Arg_3,Arg_4,Arg_5,Arg_6):|:Arg_6<=Arg_4 && Arg_6<=Arg_1 && Arg_1<=Arg_6 && Arg_5<=Arg_0 && 1+Arg_3<=Arg_5 && Arg_0<=Arg_5 && Arg_1<=Arg_4 && 1+Arg_3<=Arg_0 && Arg_3<Arg_0 && Arg_1<=Arg_4 && Arg_0<=Arg_5 && Arg_5<=Arg_0 && Arg_1<=Arg_6 && Arg_6<=Arg_1 && Arg_5<=Arg_0 && Arg_3<Arg_0 && Arg_6<=Arg_1
774:n_eval_foo_bb5_in___47(Arg_0,Arg_1,Arg_3,Arg_4,Arg_5,Arg_6) -> n_eval_foo_bb7_in___46(Arg_0,Arg_1,Arg_3,Arg_4,Arg_5,Arg_6):|:Arg_6<=Arg_4 && Arg_6<=Arg_1 && Arg_1<=Arg_6 && Arg_5<=Arg_0 && 1+Arg_3<=Arg_5 && Arg_0<=Arg_5 && Arg_1<=Arg_4 && 1+Arg_3<=Arg_0 && Arg_3<Arg_0 && Arg_1<=Arg_4 && Arg_0<=Arg_5 && Arg_5<=Arg_0 && Arg_1<=Arg_6 && Arg_6<=Arg_1 && Arg_5<=Arg_0 && Arg_6<=Arg_1 && Arg_1<Arg_4
775:n_eval_foo_bb5_in___8(Arg_0,Arg_1,Arg_3,Arg_4,Arg_5,Arg_6) -> n_eval_foo_bb7_in___7(Arg_0,Arg_1,Arg_3,Arg_4,Arg_5,Arg_6):|:Arg_6<=Arg_4 && Arg_6<=Arg_1 && Arg_4<=Arg_6 && Arg_1<=Arg_6 && Arg_5<=Arg_3 && 1+Arg_5<=Arg_0 && Arg_4<=Arg_1 && Arg_1<=Arg_4 && 1+Arg_3<=Arg_0 && Arg_0<=1+Arg_3 && 1+Arg_5<=Arg_0 && Arg_0<=1+Arg_3 && Arg_6<=Arg_1 && Arg_3<Arg_0 && Arg_1<=Arg_4 && Arg_4<=Arg_1 && Arg_5<=Arg_0 && Arg_3<Arg_0 && Arg_6<=Arg_1
776:n_eval_foo_bb7_in___36(Arg_0,Arg_1,Arg_3,Arg_4,Arg_5,Arg_6) -> n_eval_foo_bb1_in___44(Arg_0,Arg_1+1,Arg_3,Arg_4,Arg_5,Arg_6):|:1+Arg_6<=Arg_4 && 1+Arg_6<=Arg_1 && Arg_5<=Arg_0 && Arg_1<=Arg_4 && 1+Arg_3<=Arg_0 && Arg_5<=Arg_0 && Arg_1<=Arg_4 && 1+Arg_6<=Arg_1 && Arg_3<Arg_0 && Arg_5<=Arg_0 && Arg_3<=Arg_0 && Arg_6<=Arg_1 && Arg_1<=Arg_4
777:n_eval_foo_bb7_in___37(Arg_0,Arg_1,Arg_3,Arg_4,Arg_5,Arg_6) -> n_eval_foo_bb1_in___44(Arg_0,Arg_1+1,Arg_3,Arg_4,Arg_5,Arg_6):|:2+Arg_6<=Arg_4 && 1+Arg_6<=Arg_1 && Arg_5<=Arg_0 && 1+Arg_1<=Arg_4 && 1+Arg_3<=Arg_0 && Arg_5<=Arg_0 && Arg_1<Arg_4 && 1+Arg_6<=Arg_1 && Arg_3<Arg_0 && Arg_5<=Arg_0 && Arg_3<=Arg_0 && Arg_6<=Arg_1 && Arg_1<=Arg_4
778:n_eval_foo_bb7_in___45(Arg_0,Arg_1,Arg_3,Arg_4,Arg_5,Arg_6) -> n_eval_foo_bb1_in___44(Arg_0,Arg_1+1,Arg_3,Arg_4,Arg_5,Arg_6):|:Arg_6<=Arg_4 && Arg_6<=Arg_1 && Arg_1<=Arg_6 && Arg_5<=Arg_0 && 1+Arg_3<=Arg_5 && Arg_0<=Arg_5 && Arg_1<=Arg_4 && 1+Arg_3<=Arg_0 && Arg_3<Arg_0 && Arg_1<=Arg_4 && Arg_0<=Arg_5 && Arg_5<=Arg_0 && Arg_1<=Arg_6 && Arg_6<=Arg_1 && Arg_5<=Arg_0 && Arg_3<=Arg_0 && Arg_6<=Arg_1 && Arg_1<=Arg_4
779:n_eval_foo_bb7_in___46(Arg_0,Arg_1,Arg_3,Arg_4,Arg_5,Arg_6) -> n_eval_foo_bb1_in___44(Arg_0,Arg_1+1,Arg_3,Arg_4,Arg_5,Arg_6):|:1+Arg_6<=Arg_4 && Arg_6<=Arg_1 && Arg_1<=Arg_6 && Arg_5<=Arg_0 && 1+Arg_3<=Arg_5 && Arg_0<=Arg_5 && 1+Arg_1<=Arg_4 && 1+Arg_3<=Arg_0 && Arg_3<Arg_0 && Arg_1<Arg_4 && Arg_0<=Arg_5 && Arg_5<=Arg_0 && Arg_1<=Arg_6 && Arg_6<=Arg_1 && Arg_5<=Arg_0 && Arg_3<=Arg_0 && Arg_6<=Arg_1 && Arg_1<=Arg_4
780:n_eval_foo_bb7_in___7(Arg_0,Arg_1,Arg_3,Arg_4,Arg_5,Arg_6) -> n_eval_foo_bb1_in___6(Arg_0,Arg_1+1,Arg_3,Arg_4,Arg_5,Arg_6):|:Arg_6<=Arg_4 && Arg_6<=Arg_1 && Arg_4<=Arg_6 && Arg_1<=Arg_6 && Arg_5<=Arg_3 && 1+Arg_5<=Arg_0 && Arg_4<=Arg_1 && Arg_1<=Arg_4 && 1+Arg_3<=Arg_0 && Arg_0<=1+Arg_3 && 1+Arg_5<=Arg_0 && Arg_0<=1+Arg_3 && Arg_6<=Arg_1 && Arg_3<Arg_0 && Arg_1<=Arg_4 && Arg_4<=Arg_1 && Arg_5<=Arg_0 && Arg_3<=Arg_0 && Arg_6<=Arg_1 && Arg_1<=Arg_4

All Bounds

Timebounds

Overall timebound:17*Arg_3+33*Arg_5+61*Arg_4+61*Arg_6+125 {O(n)}
717: eval_foo_bb0_in->eval_foo_bb1_in: 1 {O(1)}
718: eval_foo_bb1_in->n_eval_foo_bb2_in___11: Arg_3+Arg_5+2 {O(n)}
719: eval_foo_bb1_in->n_eval_foo_bb2_in___12: 1 {O(1)}
720: eval_foo_bb1_in->n_eval_foo__Pcritedge_in___27: 1 {O(1)}
721: eval_foo_bb1_in->n_eval_foo_bb2_in___26: Arg_3+Arg_5+1 {O(n)}
722: eval_foo_bb1_in->n_eval_foo__Pcritedge_in___53: 1 {O(1)}
723: eval_foo_bb1_in->n_eval_foo_bb2_in___51: 1 {O(1)}
724: eval_foo_bb1_in->n_eval_foo_bb2_in___52: 1 {O(1)}
725: eval_foo_bb6_in->eval_foo_bb1_in: Arg_3+Arg_5+1 {O(n)}
726: eval_foo_bb8_in->eval_foo_stop: 1 {O(1)}
727: eval_foo_start->eval_foo_bb0_in: 1 {O(1)}
728: n_eval_foo__Pcritedge_in___25->n_eval_foo_bb5_in___24: Arg_3+Arg_5+1 {O(n)}
729: n_eval_foo__Pcritedge_in___3->n_eval_foo_bb5_in___1: Arg_3+Arg_5+1 {O(n)}
730: n_eval_foo__Pcritedge_in___30->n_eval_foo_bb5_in___28: 1 {O(1)}
731: n_eval_foo__Pcritedge_in___32->n_eval_foo_bb5_in___31: 1 {O(1)}
732: n_eval_foo__Pcritedge_in___35->n_eval_foo_bb5_in___34: 4*Arg_4+4*Arg_6+4 {O(n)}
733: n_eval_foo__Pcritedge_in___39->n_eval_foo_bb5_in___38: 4*Arg_4+4*Arg_6+6 {O(n)}
734: n_eval_foo__Pcritedge_in___48->n_eval_foo_bb5_in___47: 1 {O(1)}
735: n_eval_foo__Pcritedge_in___9->n_eval_foo_bb5_in___8: 1 {O(1)}
736: n_eval_foo_bb1_in___44->n_eval_foo_bb2_in___42: 1 {O(1)}
737: n_eval_foo_bb1_in___44->n_eval_foo_bb2_in___43: 4*Arg_4+4*Arg_6+8 {O(n)}
738: n_eval_foo_bb1_in___6->n_eval_foo_bb2_in___5: 1 {O(1)}
739: n_eval_foo_bb1_in___6->n_eval_foo_bb2_in___5: 1 {O(1)}
740: n_eval_foo_bb2_in___11->n_eval_foo__Pcritedge_in___3: Arg_3+Arg_5+1 {O(n)}
741: n_eval_foo_bb2_in___11->n_eval_foo_bb3_in___2: 1 {O(1)}
742: n_eval_foo_bb2_in___12->n_eval_foo_bb3_in___10: 1 {O(1)}
743: n_eval_foo_bb2_in___26->n_eval_foo__Pcritedge_in___25: Arg_3+Arg_5+1 {O(n)}
744: n_eval_foo_bb2_in___42->n_eval_foo_bb3_in___33: 1 {O(1)}
745: n_eval_foo_bb2_in___43->n_eval_foo_bb3_in___40: 4*Arg_4+4*Arg_6+8 {O(n)}
746: n_eval_foo_bb2_in___43->n_eval_foo_bb3_in___41: 4*Arg_4+4*Arg_6+8 {O(n)}
747: n_eval_foo_bb2_in___5->n_eval_foo_bb3_in___4: 1 {O(1)}
748: n_eval_foo_bb2_in___51->n_eval_foo__Pcritedge_in___30: 1 {O(1)}
749: n_eval_foo_bb2_in___51->n_eval_foo_bb3_in___29: 1 {O(1)}
750: n_eval_foo_bb2_in___52->n_eval_foo_bb3_in___49: 1 {O(1)}
751: n_eval_foo_bb2_in___52->n_eval_foo_bb3_in___50: 1 {O(1)}
752: n_eval_foo_bb3_in___10->n_eval_foo__Pcritedge_in___9: 1 {O(1)}
753: n_eval_foo_bb3_in___10->eval_foo_bb8_in: 1 {O(1)}
754: n_eval_foo_bb3_in___2->eval_foo_bb8_in: 1 {O(1)}
755: n_eval_foo_bb3_in___29->eval_foo_bb8_in: 1 {O(1)}
756: n_eval_foo_bb3_in___33->eval_foo_bb8_in: 1 {O(1)}
757: n_eval_foo_bb3_in___4->eval_foo_bb8_in: 1 {O(1)}
758: n_eval_foo_bb3_in___40->n_eval_foo__Pcritedge_in___35: 4*Arg_3+4*Arg_4+4*Arg_5+4*Arg_6+4 {O(n)}
759: n_eval_foo_bb3_in___41->n_eval_foo__Pcritedge_in___39: 4*Arg_4+4*Arg_6+6 {O(n)}
760: n_eval_foo_bb3_in___41->eval_foo_bb8_in: 1 {O(1)}
761: n_eval_foo_bb3_in___49->n_eval_foo__Pcritedge_in___32: 1 {O(1)}
762: n_eval_foo_bb3_in___50->n_eval_foo__Pcritedge_in___48: 1 {O(1)}
763: n_eval_foo_bb3_in___50->eval_foo_bb8_in: 1 {O(1)}
764: n_eval_foo_bb5_in___1->eval_foo_bb6_in: Arg_3+Arg_5+1 {O(n)}
765: n_eval_foo_bb5_in___24->eval_foo_bb6_in: Arg_3+Arg_4+Arg_5+Arg_6 {O(n)}
766: n_eval_foo_bb5_in___28->eval_foo_bb6_in: 1 {O(1)}
767: n_eval_foo_bb5_in___31->n_eval_foo_bb7_in___46: 1 {O(1)}
768: n_eval_foo_bb5_in___31->n_eval_foo_bb7_in___46: 1 {O(1)}
769: n_eval_foo_bb5_in___34->n_eval_foo_bb7_in___37: 4*Arg_4+4*Arg_6+8*Arg_5+4 {O(n)}
770: n_eval_foo_bb5_in___34->n_eval_foo_bb7_in___37: 4*Arg_4+4*Arg_6+8*Arg_5+6 {O(n)}
771: n_eval_foo_bb5_in___38->n_eval_foo_bb7_in___36: 4*Arg_4+4*Arg_6+6 {O(n)}
772: n_eval_foo_bb5_in___38->n_eval_foo_bb7_in___37: 8*Arg_4+8*Arg_6+6 {O(n)}
773: n_eval_foo_bb5_in___47->n_eval_foo_bb7_in___45: 1 {O(1)}
774: n_eval_foo_bb5_in___47->n_eval_foo_bb7_in___46: 1 {O(1)}
775: n_eval_foo_bb5_in___8->n_eval_foo_bb7_in___7: 1 {O(1)}
776: n_eval_foo_bb7_in___36->n_eval_foo_bb1_in___44: 8*Arg_4+8*Arg_6+4 {O(n)}
777: n_eval_foo_bb7_in___37->n_eval_foo_bb1_in___44: 4*Arg_3+4*Arg_4+4*Arg_5+4*Arg_6+4 {O(n)}
778: n_eval_foo_bb7_in___45->n_eval_foo_bb1_in___44: 1 {O(1)}
779: n_eval_foo_bb7_in___46->n_eval_foo_bb1_in___44: 1 {O(1)}
780: n_eval_foo_bb7_in___7->n_eval_foo_bb1_in___6: 1 {O(1)}

Costbounds

Overall costbound: 17*Arg_3+33*Arg_5+61*Arg_4+61*Arg_6+125 {O(n)}
717: eval_foo_bb0_in->eval_foo_bb1_in: 1 {O(1)}
718: eval_foo_bb1_in->n_eval_foo_bb2_in___11: Arg_3+Arg_5+2 {O(n)}
719: eval_foo_bb1_in->n_eval_foo_bb2_in___12: 1 {O(1)}
720: eval_foo_bb1_in->n_eval_foo__Pcritedge_in___27: 1 {O(1)}
721: eval_foo_bb1_in->n_eval_foo_bb2_in___26: Arg_3+Arg_5+1 {O(n)}
722: eval_foo_bb1_in->n_eval_foo__Pcritedge_in___53: 1 {O(1)}
723: eval_foo_bb1_in->n_eval_foo_bb2_in___51: 1 {O(1)}
724: eval_foo_bb1_in->n_eval_foo_bb2_in___52: 1 {O(1)}
725: eval_foo_bb6_in->eval_foo_bb1_in: Arg_3+Arg_5+1 {O(n)}
726: eval_foo_bb8_in->eval_foo_stop: 1 {O(1)}
727: eval_foo_start->eval_foo_bb0_in: 1 {O(1)}
728: n_eval_foo__Pcritedge_in___25->n_eval_foo_bb5_in___24: Arg_3+Arg_5+1 {O(n)}
729: n_eval_foo__Pcritedge_in___3->n_eval_foo_bb5_in___1: Arg_3+Arg_5+1 {O(n)}
730: n_eval_foo__Pcritedge_in___30->n_eval_foo_bb5_in___28: 1 {O(1)}
731: n_eval_foo__Pcritedge_in___32->n_eval_foo_bb5_in___31: 1 {O(1)}
732: n_eval_foo__Pcritedge_in___35->n_eval_foo_bb5_in___34: 4*Arg_4+4*Arg_6+4 {O(n)}
733: n_eval_foo__Pcritedge_in___39->n_eval_foo_bb5_in___38: 4*Arg_4+4*Arg_6+6 {O(n)}
734: n_eval_foo__Pcritedge_in___48->n_eval_foo_bb5_in___47: 1 {O(1)}
735: n_eval_foo__Pcritedge_in___9->n_eval_foo_bb5_in___8: 1 {O(1)}
736: n_eval_foo_bb1_in___44->n_eval_foo_bb2_in___42: 1 {O(1)}
737: n_eval_foo_bb1_in___44->n_eval_foo_bb2_in___43: 4*Arg_4+4*Arg_6+8 {O(n)}
738: n_eval_foo_bb1_in___6->n_eval_foo_bb2_in___5: 1 {O(1)}
739: n_eval_foo_bb1_in___6->n_eval_foo_bb2_in___5: 1 {O(1)}
740: n_eval_foo_bb2_in___11->n_eval_foo__Pcritedge_in___3: Arg_3+Arg_5+1 {O(n)}
741: n_eval_foo_bb2_in___11->n_eval_foo_bb3_in___2: 1 {O(1)}
742: n_eval_foo_bb2_in___12->n_eval_foo_bb3_in___10: 1 {O(1)}
743: n_eval_foo_bb2_in___26->n_eval_foo__Pcritedge_in___25: Arg_3+Arg_5+1 {O(n)}
744: n_eval_foo_bb2_in___42->n_eval_foo_bb3_in___33: 1 {O(1)}
745: n_eval_foo_bb2_in___43->n_eval_foo_bb3_in___40: 4*Arg_4+4*Arg_6+8 {O(n)}
746: n_eval_foo_bb2_in___43->n_eval_foo_bb3_in___41: 4*Arg_4+4*Arg_6+8 {O(n)}
747: n_eval_foo_bb2_in___5->n_eval_foo_bb3_in___4: 1 {O(1)}
748: n_eval_foo_bb2_in___51->n_eval_foo__Pcritedge_in___30: 1 {O(1)}
749: n_eval_foo_bb2_in___51->n_eval_foo_bb3_in___29: 1 {O(1)}
750: n_eval_foo_bb2_in___52->n_eval_foo_bb3_in___49: 1 {O(1)}
751: n_eval_foo_bb2_in___52->n_eval_foo_bb3_in___50: 1 {O(1)}
752: n_eval_foo_bb3_in___10->n_eval_foo__Pcritedge_in___9: 1 {O(1)}
753: n_eval_foo_bb3_in___10->eval_foo_bb8_in: 1 {O(1)}
754: n_eval_foo_bb3_in___2->eval_foo_bb8_in: 1 {O(1)}
755: n_eval_foo_bb3_in___29->eval_foo_bb8_in: 1 {O(1)}
756: n_eval_foo_bb3_in___33->eval_foo_bb8_in: 1 {O(1)}
757: n_eval_foo_bb3_in___4->eval_foo_bb8_in: 1 {O(1)}
758: n_eval_foo_bb3_in___40->n_eval_foo__Pcritedge_in___35: 4*Arg_3+4*Arg_4+4*Arg_5+4*Arg_6+4 {O(n)}
759: n_eval_foo_bb3_in___41->n_eval_foo__Pcritedge_in___39: 4*Arg_4+4*Arg_6+6 {O(n)}
760: n_eval_foo_bb3_in___41->eval_foo_bb8_in: 1 {O(1)}
761: n_eval_foo_bb3_in___49->n_eval_foo__Pcritedge_in___32: 1 {O(1)}
762: n_eval_foo_bb3_in___50->n_eval_foo__Pcritedge_in___48: 1 {O(1)}
763: n_eval_foo_bb3_in___50->eval_foo_bb8_in: 1 {O(1)}
764: n_eval_foo_bb5_in___1->eval_foo_bb6_in: Arg_3+Arg_5+1 {O(n)}
765: n_eval_foo_bb5_in___24->eval_foo_bb6_in: Arg_3+Arg_4+Arg_5+Arg_6 {O(n)}
766: n_eval_foo_bb5_in___28->eval_foo_bb6_in: 1 {O(1)}
767: n_eval_foo_bb5_in___31->n_eval_foo_bb7_in___46: 1 {O(1)}
768: n_eval_foo_bb5_in___31->n_eval_foo_bb7_in___46: 1 {O(1)}
769: n_eval_foo_bb5_in___34->n_eval_foo_bb7_in___37: 4*Arg_4+4*Arg_6+8*Arg_5+4 {O(n)}
770: n_eval_foo_bb5_in___34->n_eval_foo_bb7_in___37: 4*Arg_4+4*Arg_6+8*Arg_5+6 {O(n)}
771: n_eval_foo_bb5_in___38->n_eval_foo_bb7_in___36: 4*Arg_4+4*Arg_6+6 {O(n)}
772: n_eval_foo_bb5_in___38->n_eval_foo_bb7_in___37: 8*Arg_4+8*Arg_6+6 {O(n)}
773: n_eval_foo_bb5_in___47->n_eval_foo_bb7_in___45: 1 {O(1)}
774: n_eval_foo_bb5_in___47->n_eval_foo_bb7_in___46: 1 {O(1)}
775: n_eval_foo_bb5_in___8->n_eval_foo_bb7_in___7: 1 {O(1)}
776: n_eval_foo_bb7_in___36->n_eval_foo_bb1_in___44: 8*Arg_4+8*Arg_6+4 {O(n)}
777: n_eval_foo_bb7_in___37->n_eval_foo_bb1_in___44: 4*Arg_3+4*Arg_4+4*Arg_5+4*Arg_6+4 {O(n)}
778: n_eval_foo_bb7_in___45->n_eval_foo_bb1_in___44: 1 {O(1)}
779: n_eval_foo_bb7_in___46->n_eval_foo_bb1_in___44: 1 {O(1)}
780: n_eval_foo_bb7_in___7->n_eval_foo_bb1_in___6: 1 {O(1)}

Sizebounds

16: eval_foo_0->eval_foo_1, Arg_0: 2*Arg_3+5*Arg_5+2 {O(n)}
16: eval_foo_0->eval_foo_1, Arg_1: 3*Arg_4+6*Arg_6+3 {O(n)}
16: eval_foo_0->eval_foo_1, Arg_3: 3*Arg_3 {O(n)}
16: eval_foo_0->eval_foo_1, Arg_4: 3*Arg_4 {O(n)}
16: eval_foo_0->eval_foo_1, Arg_5: 3*Arg_5 {O(n)}
16: eval_foo_0->eval_foo_1, Arg_6: 3*Arg_6 {O(n)}
17: eval_foo_1->eval_foo_bb1_in, Arg_0: 2*Arg_3+5*Arg_5+2 {O(n)}
17: eval_foo_1->eval_foo_bb1_in, Arg_1: 3*Arg_4+6*Arg_6+3 {O(n)}
17: eval_foo_1->eval_foo_bb1_in, Arg_3: 3*Arg_3 {O(n)}
17: eval_foo_1->eval_foo_bb1_in, Arg_4: 3*Arg_4 {O(n)}
17: eval_foo_1->eval_foo_bb1_in, Arg_5: 3*Arg_5 {O(n)}
17: eval_foo_1->eval_foo_bb1_in, Arg_6: 3*Arg_6 {O(n)}
20: eval_foo_1->eval_foo_bb1_in, Arg_0: 2*Arg_3+5*Arg_5+2 {O(n)}
20: eval_foo_1->eval_foo_bb1_in, Arg_1: 3*Arg_4+6*Arg_6+3 {O(n)}
20: eval_foo_1->eval_foo_bb1_in, Arg_3: 3*Arg_3 {O(n)}
20: eval_foo_1->eval_foo_bb1_in, Arg_4: 3*Arg_4 {O(n)}
20: eval_foo_1->eval_foo_bb1_in, Arg_5: 3*Arg_5 {O(n)}
20: eval_foo_1->eval_foo_bb1_in, Arg_6: 3*Arg_6 {O(n)}
25: eval_foo_1->eval_foo_bb1_in, Arg_0: 2*Arg_3+5*Arg_5+2 {O(n)}
25: eval_foo_1->eval_foo_bb1_in, Arg_1: 3*Arg_4+6*Arg_6+3 {O(n)}
25: eval_foo_1->eval_foo_bb1_in, Arg_2: 0 {O(1)}
25: eval_foo_1->eval_foo_bb1_in, Arg_3: 3*Arg_3 {O(n)}
25: eval_foo_1->eval_foo_bb1_in, Arg_4: 3*Arg_4 {O(n)}
25: eval_foo_1->eval_foo_bb1_in, Arg_5: 3*Arg_5 {O(n)}
25: eval_foo_1->eval_foo_bb1_in, Arg_6: 3*Arg_6 {O(n)}
1: eval_foo_bb0_in->eval_foo_bb1_in, Arg_0: Arg_5 {O(n)}
1: eval_foo_bb0_in->eval_foo_bb1_in, Arg_1: Arg_6 {O(n)}
1: eval_foo_bb0_in->eval_foo_bb1_in, Arg_2: Arg_2 {O(n)}
1: eval_foo_bb0_in->eval_foo_bb1_in, Arg_3: Arg_3 {O(n)}
1: eval_foo_bb0_in->eval_foo_bb1_in, Arg_4: Arg_4 {O(n)}
1: eval_foo_bb0_in->eval_foo_bb1_in, Arg_5: Arg_5 {O(n)}
1: eval_foo_bb0_in->eval_foo_bb1_in, Arg_6: Arg_6 {O(n)}
717: eval_foo_bb0_in->eval_foo_bb1_in, Arg_0: Arg_5 {O(n)}
717: eval_foo_bb0_in->eval_foo_bb1_in, Arg_1: Arg_6 {O(n)}
717: eval_foo_bb0_in->eval_foo_bb1_in, Arg_3: Arg_3 {O(n)}
717: eval_foo_bb0_in->eval_foo_bb1_in, Arg_4: Arg_4 {O(n)}
717: eval_foo_bb0_in->eval_foo_bb1_in, Arg_5: Arg_5 {O(n)}
717: eval_foo_bb0_in->eval_foo_bb1_in, Arg_6: Arg_6 {O(n)}
718: eval_foo_bb1_in->n_eval_foo_bb2_in___11, Arg_0: 3*Arg_5+Arg_3+1 {O(n)}
718: eval_foo_bb1_in->n_eval_foo_bb2_in___11, Arg_1: 2*Arg_6 {O(n)}
718: eval_foo_bb1_in->n_eval_foo_bb2_in___11, Arg_3: 2*Arg_3 {O(n)}
718: eval_foo_bb1_in->n_eval_foo_bb2_in___11, Arg_4: 2*Arg_4 {O(n)}
718: eval_foo_bb1_in->n_eval_foo_bb2_in___11, Arg_5: 2*Arg_5 {O(n)}
718: eval_foo_bb1_in->n_eval_foo_bb2_in___11, Arg_6: 2*Arg_6 {O(n)}
719: eval_foo_bb1_in->n_eval_foo_bb2_in___12, Arg_0: 3*Arg_5+Arg_3+1 {O(n)}
719: eval_foo_bb1_in->n_eval_foo_bb2_in___12, Arg_1: 2*Arg_6 {O(n)}
719: eval_foo_bb1_in->n_eval_foo_bb2_in___12, Arg_3: 2*Arg_3 {O(n)}
719: eval_foo_bb1_in->n_eval_foo_bb2_in___12, Arg_4: 2*Arg_4 {O(n)}
719: eval_foo_bb1_in->n_eval_foo_bb2_in___12, Arg_5: 2*Arg_5 {O(n)}
719: eval_foo_bb1_in->n_eval_foo_bb2_in___12, Arg_6: 2*Arg_6 {O(n)}
720: eval_foo_bb1_in->n_eval_foo__Pcritedge_in___27, Arg_0: Arg_5 {O(n)}
720: eval_foo_bb1_in->n_eval_foo__Pcritedge_in___27, Arg_1: Arg_6 {O(n)}
720: eval_foo_bb1_in->n_eval_foo__Pcritedge_in___27, Arg_3: Arg_3 {O(n)}
720: eval_foo_bb1_in->n_eval_foo__Pcritedge_in___27, Arg_4: Arg_4 {O(n)}
720: eval_foo_bb1_in->n_eval_foo__Pcritedge_in___27, Arg_5: Arg_5 {O(n)}
720: eval_foo_bb1_in->n_eval_foo__Pcritedge_in___27, Arg_6: Arg_6 {O(n)}
721: eval_foo_bb1_in->n_eval_foo_bb2_in___26, Arg_0: 3*Arg_5+Arg_3+1 {O(n)}
721: eval_foo_bb1_in->n_eval_foo_bb2_in___26, Arg_1: 2*Arg_6 {O(n)}
721: eval_foo_bb1_in->n_eval_foo_bb2_in___26, Arg_3: 2*Arg_3 {O(n)}
721: eval_foo_bb1_in->n_eval_foo_bb2_in___26, Arg_4: 2*Arg_4 {O(n)}
721: eval_foo_bb1_in->n_eval_foo_bb2_in___26, Arg_5: 2*Arg_5 {O(n)}
721: eval_foo_bb1_in->n_eval_foo_bb2_in___26, Arg_6: 2*Arg_6 {O(n)}
722: eval_foo_bb1_in->n_eval_foo__Pcritedge_in___53, Arg_0: Arg_5 {O(n)}
722: eval_foo_bb1_in->n_eval_foo__Pcritedge_in___53, Arg_1: Arg_6 {O(n)}
722: eval_foo_bb1_in->n_eval_foo__Pcritedge_in___53, Arg_3: Arg_3 {O(n)}
722: eval_foo_bb1_in->n_eval_foo__Pcritedge_in___53, Arg_4: Arg_4 {O(n)}
722: eval_foo_bb1_in->n_eval_foo__Pcritedge_in___53, Arg_5: Arg_5 {O(n)}
722: eval_foo_bb1_in->n_eval_foo__Pcritedge_in___53, Arg_6: Arg_6 {O(n)}
723: eval_foo_bb1_in->n_eval_foo_bb2_in___51, Arg_0: Arg_5 {O(n)}
723: eval_foo_bb1_in->n_eval_foo_bb2_in___51, Arg_1: Arg_6 {O(n)}
723: eval_foo_bb1_in->n_eval_foo_bb2_in___51, Arg_3: Arg_3 {O(n)}
723: eval_foo_bb1_in->n_eval_foo_bb2_in___51, Arg_4: Arg_4 {O(n)}
723: eval_foo_bb1_in->n_eval_foo_bb2_in___51, Arg_5: Arg_5 {O(n)}
723: eval_foo_bb1_in->n_eval_foo_bb2_in___51, Arg_6: Arg_6 {O(n)}
724: eval_foo_bb1_in->n_eval_foo_bb2_in___52, Arg_0: Arg_5 {O(n)}
724: eval_foo_bb1_in->n_eval_foo_bb2_in___52, Arg_1: Arg_6 {O(n)}
724: eval_foo_bb1_in->n_eval_foo_bb2_in___52, Arg_3: Arg_3 {O(n)}
724: eval_foo_bb1_in->n_eval_foo_bb2_in___52, Arg_4: Arg_4 {O(n)}
724: eval_foo_bb1_in->n_eval_foo_bb2_in___52, Arg_5: Arg_5 {O(n)}
724: eval_foo_bb1_in->n_eval_foo_bb2_in___52, Arg_6: Arg_6 {O(n)}
14: eval_foo_bb4_in->eval_foo_0, Arg_0: 2*Arg_3+5*Arg_5+2 {O(n)}
14: eval_foo_bb4_in->eval_foo_0, Arg_1: 3*Arg_4+6*Arg_6+3 {O(n)}
14: eval_foo_bb4_in->eval_foo_0, Arg_3: 3*Arg_3 {O(n)}
14: eval_foo_bb4_in->eval_foo_0, Arg_4: 3*Arg_4 {O(n)}
14: eval_foo_bb4_in->eval_foo_0, Arg_5: 3*Arg_5 {O(n)}
14: eval_foo_bb4_in->eval_foo_0, Arg_6: 3*Arg_6 {O(n)}
29: eval_foo_bb6_in->eval_foo_bb1_in, Arg_0: 2*Arg_3+5*Arg_5+2 {O(n)}
29: eval_foo_bb6_in->eval_foo_bb1_in, Arg_1: 3*Arg_4+6*Arg_6+3 {O(n)}
29: eval_foo_bb6_in->eval_foo_bb1_in, Arg_3: 3*Arg_3 {O(n)}
29: eval_foo_bb6_in->eval_foo_bb1_in, Arg_4: 3*Arg_4 {O(n)}
29: eval_foo_bb6_in->eval_foo_bb1_in, Arg_5: 3*Arg_5 {O(n)}
29: eval_foo_bb6_in->eval_foo_bb1_in, Arg_6: 3*Arg_6 {O(n)}
725: eval_foo_bb6_in->eval_foo_bb1_in, Arg_0: 3*Arg_5+Arg_3+1 {O(n)}
725: eval_foo_bb6_in->eval_foo_bb1_in, Arg_1: 2*Arg_6 {O(n)}
725: eval_foo_bb6_in->eval_foo_bb1_in, Arg_3: 2*Arg_3 {O(n)}
725: eval_foo_bb6_in->eval_foo_bb1_in, Arg_4: 2*Arg_4 {O(n)}
725: eval_foo_bb6_in->eval_foo_bb1_in, Arg_5: 2*Arg_5 {O(n)}
725: eval_foo_bb6_in->eval_foo_bb1_in, Arg_6: 2*Arg_6 {O(n)}
33: eval_foo_bb8_in->eval_foo_stop, Arg_0: 10*Arg_5+4*Arg_3+4 {O(n)}
33: eval_foo_bb8_in->eval_foo_stop, Arg_1: 12*Arg_6+6*Arg_4+6 {O(n)}
33: eval_foo_bb8_in->eval_foo_stop, Arg_3: 6*Arg_3 {O(n)}
33: eval_foo_bb8_in->eval_foo_stop, Arg_4: 6*Arg_4 {O(n)}
33: eval_foo_bb8_in->eval_foo_stop, Arg_5: 6*Arg_5 {O(n)}
33: eval_foo_bb8_in->eval_foo_stop, Arg_6: 6*Arg_6 {O(n)}
726: eval_foo_bb8_in->eval_foo_stop, Arg_0: 23*Arg_5+4*Arg_3+4 {O(n)}
726: eval_foo_bb8_in->eval_foo_stop, Arg_1: 24*Arg_4+43*Arg_6+8*Arg_3+8*Arg_5+27 {O(n)}
726: eval_foo_bb8_in->eval_foo_stop, Arg_3: 19*Arg_3 {O(n)}
726: eval_foo_bb8_in->eval_foo_stop, Arg_4: 19*Arg_4 {O(n)}
726: eval_foo_bb8_in->eval_foo_stop, Arg_5: 19*Arg_5 {O(n)}
726: eval_foo_bb8_in->eval_foo_stop, Arg_6: 19*Arg_6 {O(n)}
0: eval_foo_start->eval_foo_bb0_in, Arg_0: Arg_0 {O(n)}
0: eval_foo_start->eval_foo_bb0_in, Arg_1: Arg_1 {O(n)}
0: eval_foo_start->eval_foo_bb0_in, Arg_2: Arg_2 {O(n)}
0: eval_foo_start->eval_foo_bb0_in, Arg_3: Arg_3 {O(n)}
0: eval_foo_start->eval_foo_bb0_in, Arg_4: Arg_4 {O(n)}
0: eval_foo_start->eval_foo_bb0_in, Arg_5: Arg_5 {O(n)}
0: eval_foo_start->eval_foo_bb0_in, Arg_6: Arg_6 {O(n)}
727: eval_foo_start->eval_foo_bb0_in, Arg_0: Arg_0 {O(n)}
727: eval_foo_start->eval_foo_bb0_in, Arg_1: Arg_1 {O(n)}
727: eval_foo_start->eval_foo_bb0_in, Arg_3: Arg_3 {O(n)}
727: eval_foo_start->eval_foo_bb0_in, Arg_4: Arg_4 {O(n)}
727: eval_foo_start->eval_foo_bb0_in, Arg_5: Arg_5 {O(n)}
727: eval_foo_start->eval_foo_bb0_in, Arg_6: Arg_6 {O(n)}
728: n_eval_foo__Pcritedge_in___25->n_eval_foo_bb5_in___24, Arg_0: 3*Arg_5+Arg_3+1 {O(n)}
728: n_eval_foo__Pcritedge_in___25->n_eval_foo_bb5_in___24, Arg_1: 2*Arg_6 {O(n)}
728: n_eval_foo__Pcritedge_in___25->n_eval_foo_bb5_in___24, Arg_3: 2*Arg_3 {O(n)}
728: n_eval_foo__Pcritedge_in___25->n_eval_foo_bb5_in___24, Arg_4: 2*Arg_4 {O(n)}
728: n_eval_foo__Pcritedge_in___25->n_eval_foo_bb5_in___24, Arg_5: 2*Arg_5 {O(n)}
728: n_eval_foo__Pcritedge_in___25->n_eval_foo_bb5_in___24, Arg_6: 2*Arg_6 {O(n)}
729: n_eval_foo__Pcritedge_in___3->n_eval_foo_bb5_in___1, Arg_0: 3*Arg_5+Arg_3+1 {O(n)}
729: n_eval_foo__Pcritedge_in___3->n_eval_foo_bb5_in___1, Arg_1: 2*Arg_6 {O(n)}
729: n_eval_foo__Pcritedge_in___3->n_eval_foo_bb5_in___1, Arg_3: 2*Arg_3 {O(n)}
729: n_eval_foo__Pcritedge_in___3->n_eval_foo_bb5_in___1, Arg_4: 2*Arg_4 {O(n)}
729: n_eval_foo__Pcritedge_in___3->n_eval_foo_bb5_in___1, Arg_5: 2*Arg_5 {O(n)}
729: n_eval_foo__Pcritedge_in___3->n_eval_foo_bb5_in___1, Arg_6: 2*Arg_6 {O(n)}
730: n_eval_foo__Pcritedge_in___30->n_eval_foo_bb5_in___28, Arg_0: Arg_5 {O(n)}
730: n_eval_foo__Pcritedge_in___30->n_eval_foo_bb5_in___28, Arg_1: Arg_6 {O(n)}
730: n_eval_foo__Pcritedge_in___30->n_eval_foo_bb5_in___28, Arg_3: Arg_3 {O(n)}
730: n_eval_foo__Pcritedge_in___30->n_eval_foo_bb5_in___28, Arg_4: Arg_4 {O(n)}
730: n_eval_foo__Pcritedge_in___30->n_eval_foo_bb5_in___28, Arg_5: Arg_5 {O(n)}
730: n_eval_foo__Pcritedge_in___30->n_eval_foo_bb5_in___28, Arg_6: Arg_6 {O(n)}
731: n_eval_foo__Pcritedge_in___32->n_eval_foo_bb5_in___31, Arg_0: Arg_5 {O(n)}
731: n_eval_foo__Pcritedge_in___32->n_eval_foo_bb5_in___31, Arg_1: Arg_6 {O(n)}
731: n_eval_foo__Pcritedge_in___32->n_eval_foo_bb5_in___31, Arg_3: Arg_3 {O(n)}
731: n_eval_foo__Pcritedge_in___32->n_eval_foo_bb5_in___31, Arg_4: Arg_4 {O(n)}
731: n_eval_foo__Pcritedge_in___32->n_eval_foo_bb5_in___31, Arg_5: Arg_5 {O(n)}
731: n_eval_foo__Pcritedge_in___32->n_eval_foo_bb5_in___31, Arg_6: Arg_6 {O(n)}
732: n_eval_foo__Pcritedge_in___35->n_eval_foo_bb5_in___34, Arg_0: 4*Arg_5 {O(n)}
732: n_eval_foo__Pcritedge_in___35->n_eval_foo_bb5_in___34, Arg_1: 12*Arg_4+16*Arg_6+4*Arg_3+4*Arg_5+12 {O(n)}
732: n_eval_foo__Pcritedge_in___35->n_eval_foo_bb5_in___34, Arg_3: 4*Arg_3 {O(n)}
732: n_eval_foo__Pcritedge_in___35->n_eval_foo_bb5_in___34, Arg_4: 4*Arg_4 {O(n)}
732: n_eval_foo__Pcritedge_in___35->n_eval_foo_bb5_in___34, Arg_5: 4*Arg_5 {O(n)}
732: n_eval_foo__Pcritedge_in___35->n_eval_foo_bb5_in___34, Arg_6: 4*Arg_6 {O(n)}
733: n_eval_foo__Pcritedge_in___39->n_eval_foo_bb5_in___38, Arg_0: 4*Arg_5 {O(n)}
733: n_eval_foo__Pcritedge_in___39->n_eval_foo_bb5_in___38, Arg_1: 12*Arg_4+16*Arg_6+4*Arg_3+4*Arg_5+12 {O(n)}
733: n_eval_foo__Pcritedge_in___39->n_eval_foo_bb5_in___38, Arg_3: 4*Arg_3 {O(n)}
733: n_eval_foo__Pcritedge_in___39->n_eval_foo_bb5_in___38, Arg_4: 4*Arg_4 {O(n)}
733: n_eval_foo__Pcritedge_in___39->n_eval_foo_bb5_in___38, Arg_5: 4*Arg_5 {O(n)}
733: n_eval_foo__Pcritedge_in___39->n_eval_foo_bb5_in___38, Arg_6: 4*Arg_6 {O(n)}
734: n_eval_foo__Pcritedge_in___48->n_eval_foo_bb5_in___47, Arg_0: Arg_5 {O(n)}
734: n_eval_foo__Pcritedge_in___48->n_eval_foo_bb5_in___47, Arg_1: Arg_6 {O(n)}
734: n_eval_foo__Pcritedge_in___48->n_eval_foo_bb5_in___47, Arg_3: Arg_3 {O(n)}
734: n_eval_foo__Pcritedge_in___48->n_eval_foo_bb5_in___47, Arg_4: Arg_4 {O(n)}
734: n_eval_foo__Pcritedge_in___48->n_eval_foo_bb5_in___47, Arg_5: Arg_5 {O(n)}
734: n_eval_foo__Pcritedge_in___48->n_eval_foo_bb5_in___47, Arg_6: Arg_6 {O(n)}
735: n_eval_foo__Pcritedge_in___9->n_eval_foo_bb5_in___8, Arg_0: 3*Arg_5+Arg_3+1 {O(n)}
735: n_eval_foo__Pcritedge_in___9->n_eval_foo_bb5_in___8, Arg_1: 2*Arg_6 {O(n)}
735: n_eval_foo__Pcritedge_in___9->n_eval_foo_bb5_in___8, Arg_3: 2*Arg_3 {O(n)}
735: n_eval_foo__Pcritedge_in___9->n_eval_foo_bb5_in___8, Arg_4: 2*Arg_4 {O(n)}
735: n_eval_foo__Pcritedge_in___9->n_eval_foo_bb5_in___8, Arg_5: 2*Arg_5 {O(n)}
735: n_eval_foo__Pcritedge_in___9->n_eval_foo_bb5_in___8, Arg_6: 2*Arg_6 {O(n)}
736: n_eval_foo_bb1_in___44->n_eval_foo_bb2_in___42, Arg_0: 5*Arg_5 {O(n)}
736: n_eval_foo_bb1_in___44->n_eval_foo_bb2_in___42, Arg_1: 12*Arg_4+17*Arg_6+4*Arg_3+4*Arg_5+13 {O(n)}
736: n_eval_foo_bb1_in___44->n_eval_foo_bb2_in___42, Arg_3: 5*Arg_3 {O(n)}
736: n_eval_foo_bb1_in___44->n_eval_foo_bb2_in___42, Arg_4: 5*Arg_4 {O(n)}
736: n_eval_foo_bb1_in___44->n_eval_foo_bb2_in___42, Arg_5: 5*Arg_5 {O(n)}
736: n_eval_foo_bb1_in___44->n_eval_foo_bb2_in___42, Arg_6: 5*Arg_6 {O(n)}
737: n_eval_foo_bb1_in___44->n_eval_foo_bb2_in___43, Arg_0: 4*Arg_5 {O(n)}
737: n_eval_foo_bb1_in___44->n_eval_foo_bb2_in___43, Arg_1: 12*Arg_4+16*Arg_6+4*Arg_3+4*Arg_5+12 {O(n)}
737: n_eval_foo_bb1_in___44->n_eval_foo_bb2_in___43, Arg_3: 4*Arg_3 {O(n)}
737: n_eval_foo_bb1_in___44->n_eval_foo_bb2_in___43, Arg_4: 4*Arg_4 {O(n)}
737: n_eval_foo_bb1_in___44->n_eval_foo_bb2_in___43, Arg_5: 4*Arg_5 {O(n)}
737: n_eval_foo_bb1_in___44->n_eval_foo_bb2_in___43, Arg_6: 4*Arg_6 {O(n)}
738: n_eval_foo_bb1_in___6->n_eval_foo_bb2_in___5, Arg_0: 3*Arg_5+Arg_3+1 {O(n)}
738: n_eval_foo_bb1_in___6->n_eval_foo_bb2_in___5, Arg_1: 2*Arg_6+1 {O(n)}
738: n_eval_foo_bb1_in___6->n_eval_foo_bb2_in___5, Arg_3: 2*Arg_3 {O(n)}
738: n_eval_foo_bb1_in___6->n_eval_foo_bb2_in___5, Arg_4: 2*Arg_4 {O(n)}
738: n_eval_foo_bb1_in___6->n_eval_foo_bb2_in___5, Arg_5: 2*Arg_5 {O(n)}
738: n_eval_foo_bb1_in___6->n_eval_foo_bb2_in___5, Arg_6: 2*Arg_6 {O(n)}
739: n_eval_foo_bb1_in___6->n_eval_foo_bb2_in___5, Arg_0: 3*Arg_5+Arg_3+1 {O(n)}
739: n_eval_foo_bb1_in___6->n_eval_foo_bb2_in___5, Arg_1: 2*Arg_6+1 {O(n)}
739: n_eval_foo_bb1_in___6->n_eval_foo_bb2_in___5, Arg_3: 2*Arg_3 {O(n)}
739: n_eval_foo_bb1_in___6->n_eval_foo_bb2_in___5, Arg_4: 2*Arg_4 {O(n)}
739: n_eval_foo_bb1_in___6->n_eval_foo_bb2_in___5, Arg_5: 2*Arg_5 {O(n)}
739: n_eval_foo_bb1_in___6->n_eval_foo_bb2_in___5, Arg_6: 2*Arg_6 {O(n)}
740: n_eval_foo_bb2_in___11->n_eval_foo__Pcritedge_in___3, Arg_0: 3*Arg_5+Arg_3+1 {O(n)}
740: n_eval_foo_bb2_in___11->n_eval_foo__Pcritedge_in___3, Arg_1: 2*Arg_6 {O(n)}
740: n_eval_foo_bb2_in___11->n_eval_foo__Pcritedge_in___3, Arg_3: 2*Arg_3 {O(n)}
740: n_eval_foo_bb2_in___11->n_eval_foo__Pcritedge_in___3, Arg_4: 2*Arg_4 {O(n)}
740: n_eval_foo_bb2_in___11->n_eval_foo__Pcritedge_in___3, Arg_5: 2*Arg_5 {O(n)}
740: n_eval_foo_bb2_in___11->n_eval_foo__Pcritedge_in___3, Arg_6: 2*Arg_6 {O(n)}
741: n_eval_foo_bb2_in___11->n_eval_foo_bb3_in___2, Arg_0: 3*Arg_5+Arg_3+1 {O(n)}
741: n_eval_foo_bb2_in___11->n_eval_foo_bb3_in___2, Arg_1: 2*Arg_6 {O(n)}
741: n_eval_foo_bb2_in___11->n_eval_foo_bb3_in___2, Arg_3: 2*Arg_3 {O(n)}
741: n_eval_foo_bb2_in___11->n_eval_foo_bb3_in___2, Arg_4: 2*Arg_4 {O(n)}
741: n_eval_foo_bb2_in___11->n_eval_foo_bb3_in___2, Arg_5: 2*Arg_5 {O(n)}
741: n_eval_foo_bb2_in___11->n_eval_foo_bb3_in___2, Arg_6: 2*Arg_6 {O(n)}
742: n_eval_foo_bb2_in___12->n_eval_foo_bb3_in___10, Arg_0: 3*Arg_5+Arg_3+1 {O(n)}
742: n_eval_foo_bb2_in___12->n_eval_foo_bb3_in___10, Arg_1: 2*Arg_6 {O(n)}
742: n_eval_foo_bb2_in___12->n_eval_foo_bb3_in___10, Arg_3: 2*Arg_3 {O(n)}
742: n_eval_foo_bb2_in___12->n_eval_foo_bb3_in___10, Arg_4: 2*Arg_4 {O(n)}
742: n_eval_foo_bb2_in___12->n_eval_foo_bb3_in___10, Arg_5: 2*Arg_5 {O(n)}
742: n_eval_foo_bb2_in___12->n_eval_foo_bb3_in___10, Arg_6: 2*Arg_6 {O(n)}
743: n_eval_foo_bb2_in___26->n_eval_foo__Pcritedge_in___25, Arg_0: 3*Arg_5+Arg_3+1 {O(n)}
743: n_eval_foo_bb2_in___26->n_eval_foo__Pcritedge_in___25, Arg_1: 2*Arg_6 {O(n)}
743: n_eval_foo_bb2_in___26->n_eval_foo__Pcritedge_in___25, Arg_3: 2*Arg_3 {O(n)}
743: n_eval_foo_bb2_in___26->n_eval_foo__Pcritedge_in___25, Arg_4: 2*Arg_4 {O(n)}
743: n_eval_foo_bb2_in___26->n_eval_foo__Pcritedge_in___25, Arg_5: 2*Arg_5 {O(n)}
743: n_eval_foo_bb2_in___26->n_eval_foo__Pcritedge_in___25, Arg_6: 2*Arg_6 {O(n)}
744: n_eval_foo_bb2_in___42->n_eval_foo_bb3_in___33, Arg_0: 5*Arg_5 {O(n)}
744: n_eval_foo_bb2_in___42->n_eval_foo_bb3_in___33, Arg_1: 12*Arg_4+17*Arg_6+4*Arg_3+4*Arg_5+13 {O(n)}
744: n_eval_foo_bb2_in___42->n_eval_foo_bb3_in___33, Arg_3: 5*Arg_3 {O(n)}
744: n_eval_foo_bb2_in___42->n_eval_foo_bb3_in___33, Arg_4: 5*Arg_4 {O(n)}
744: n_eval_foo_bb2_in___42->n_eval_foo_bb3_in___33, Arg_5: 5*Arg_5 {O(n)}
744: n_eval_foo_bb2_in___42->n_eval_foo_bb3_in___33, Arg_6: 5*Arg_6 {O(n)}
745: n_eval_foo_bb2_in___43->n_eval_foo_bb3_in___40, Arg_0: 4*Arg_5 {O(n)}
745: n_eval_foo_bb2_in___43->n_eval_foo_bb3_in___40, Arg_1: 12*Arg_4+16*Arg_6+4*Arg_3+4*Arg_5+12 {O(n)}
745: n_eval_foo_bb2_in___43->n_eval_foo_bb3_in___40, Arg_3: 4*Arg_3 {O(n)}
745: n_eval_foo_bb2_in___43->n_eval_foo_bb3_in___40, Arg_4: 4*Arg_4 {O(n)}
745: n_eval_foo_bb2_in___43->n_eval_foo_bb3_in___40, Arg_5: 4*Arg_5 {O(n)}
745: n_eval_foo_bb2_in___43->n_eval_foo_bb3_in___40, Arg_6: 4*Arg_6 {O(n)}
746: n_eval_foo_bb2_in___43->n_eval_foo_bb3_in___41, Arg_0: 4*Arg_5 {O(n)}
746: n_eval_foo_bb2_in___43->n_eval_foo_bb3_in___41, Arg_1: 12*Arg_4+16*Arg_6+4*Arg_3+4*Arg_5+12 {O(n)}
746: n_eval_foo_bb2_in___43->n_eval_foo_bb3_in___41, Arg_3: 4*Arg_3 {O(n)}
746: n_eval_foo_bb2_in___43->n_eval_foo_bb3_in___41, Arg_4: 4*Arg_4 {O(n)}
746: n_eval_foo_bb2_in___43->n_eval_foo_bb3_in___41, Arg_5: 4*Arg_5 {O(n)}
746: n_eval_foo_bb2_in___43->n_eval_foo_bb3_in___41, Arg_6: 4*Arg_6 {O(n)}
747: n_eval_foo_bb2_in___5->n_eval_foo_bb3_in___4, Arg_0: 2*Arg_3+6*Arg_5+2 {O(n)}
747: n_eval_foo_bb2_in___5->n_eval_foo_bb3_in___4, Arg_1: 4*Arg_6+2 {O(n)}
747: n_eval_foo_bb2_in___5->n_eval_foo_bb3_in___4, Arg_3: 4*Arg_3 {O(n)}
747: n_eval_foo_bb2_in___5->n_eval_foo_bb3_in___4, Arg_4: 4*Arg_4 {O(n)}
747: n_eval_foo_bb2_in___5->n_eval_foo_bb3_in___4, Arg_5: 4*Arg_5 {O(n)}
747: n_eval_foo_bb2_in___5->n_eval_foo_bb3_in___4, Arg_6: 4*Arg_6 {O(n)}
748: n_eval_foo_bb2_in___51->n_eval_foo__Pcritedge_in___30, Arg_0: Arg_5 {O(n)}
748: n_eval_foo_bb2_in___51->n_eval_foo__Pcritedge_in___30, Arg_1: Arg_6 {O(n)}
748: n_eval_foo_bb2_in___51->n_eval_foo__Pcritedge_in___30, Arg_3: Arg_3 {O(n)}
748: n_eval_foo_bb2_in___51->n_eval_foo__Pcritedge_in___30, Arg_4: Arg_4 {O(n)}
748: n_eval_foo_bb2_in___51->n_eval_foo__Pcritedge_in___30, Arg_5: Arg_5 {O(n)}
748: n_eval_foo_bb2_in___51->n_eval_foo__Pcritedge_in___30, Arg_6: Arg_6 {O(n)}
749: n_eval_foo_bb2_in___51->n_eval_foo_bb3_in___29, Arg_0: Arg_5 {O(n)}
749: n_eval_foo_bb2_in___51->n_eval_foo_bb3_in___29, Arg_1: Arg_6 {O(n)}
749: n_eval_foo_bb2_in___51->n_eval_foo_bb3_in___29, Arg_3: Arg_3 {O(n)}
749: n_eval_foo_bb2_in___51->n_eval_foo_bb3_in___29, Arg_4: Arg_4 {O(n)}
749: n_eval_foo_bb2_in___51->n_eval_foo_bb3_in___29, Arg_5: Arg_5 {O(n)}
749: n_eval_foo_bb2_in___51->n_eval_foo_bb3_in___29, Arg_6: Arg_6 {O(n)}
750: n_eval_foo_bb2_in___52->n_eval_foo_bb3_in___49, Arg_0: Arg_5 {O(n)}
750: n_eval_foo_bb2_in___52->n_eval_foo_bb3_in___49, Arg_1: Arg_6 {O(n)}
750: n_eval_foo_bb2_in___52->n_eval_foo_bb3_in___49, Arg_3: Arg_3 {O(n)}
750: n_eval_foo_bb2_in___52->n_eval_foo_bb3_in___49, Arg_4: Arg_4 {O(n)}
750: n_eval_foo_bb2_in___52->n_eval_foo_bb3_in___49, Arg_5: Arg_5 {O(n)}
750: n_eval_foo_bb2_in___52->n_eval_foo_bb3_in___49, Arg_6: Arg_6 {O(n)}
751: n_eval_foo_bb2_in___52->n_eval_foo_bb3_in___50, Arg_0: Arg_5 {O(n)}
751: n_eval_foo_bb2_in___52->n_eval_foo_bb3_in___50, Arg_1: Arg_6 {O(n)}
751: n_eval_foo_bb2_in___52->n_eval_foo_bb3_in___50, Arg_3: Arg_3 {O(n)}
751: n_eval_foo_bb2_in___52->n_eval_foo_bb3_in___50, Arg_4: Arg_4 {O(n)}
751: n_eval_foo_bb2_in___52->n_eval_foo_bb3_in___50, Arg_5: Arg_5 {O(n)}
751: n_eval_foo_bb2_in___52->n_eval_foo_bb3_in___50, Arg_6: Arg_6 {O(n)}
752: n_eval_foo_bb3_in___10->n_eval_foo__Pcritedge_in___9, Arg_0: 3*Arg_5+Arg_3+1 {O(n)}
752: n_eval_foo_bb3_in___10->n_eval_foo__Pcritedge_in___9, Arg_1: 2*Arg_6 {O(n)}
752: n_eval_foo_bb3_in___10->n_eval_foo__Pcritedge_in___9, Arg_3: 2*Arg_3 {O(n)}
752: n_eval_foo_bb3_in___10->n_eval_foo__Pcritedge_in___9, Arg_4: 2*Arg_4 {O(n)}
752: n_eval_foo_bb3_in___10->n_eval_foo__Pcritedge_in___9, Arg_5: 2*Arg_5 {O(n)}
752: n_eval_foo_bb3_in___10->n_eval_foo__Pcritedge_in___9, Arg_6: 2*Arg_6 {O(n)}
753: n_eval_foo_bb3_in___10->eval_foo_bb8_in, Arg_0: 3*Arg_5+Arg_3+1 {O(n)}
753: n_eval_foo_bb3_in___10->eval_foo_bb8_in, Arg_1: 2*Arg_6 {O(n)}
753: n_eval_foo_bb3_in___10->eval_foo_bb8_in, Arg_3: 2*Arg_3 {O(n)}
753: n_eval_foo_bb3_in___10->eval_foo_bb8_in, Arg_4: 2*Arg_4 {O(n)}
753: n_eval_foo_bb3_in___10->eval_foo_bb8_in, Arg_5: 2*Arg_5 {O(n)}
753: n_eval_foo_bb3_in___10->eval_foo_bb8_in, Arg_6: 2*Arg_6 {O(n)}
754: n_eval_foo_bb3_in___2->eval_foo_bb8_in, Arg_0: 3*Arg_5+Arg_3+1 {O(n)}
754: n_eval_foo_bb3_in___2->eval_foo_bb8_in, Arg_1: 2*Arg_6 {O(n)}
754: n_eval_foo_bb3_in___2->eval_foo_bb8_in, Arg_3: 2*Arg_3 {O(n)}
754: n_eval_foo_bb3_in___2->eval_foo_bb8_in, Arg_4: 2*Arg_4 {O(n)}
754: n_eval_foo_bb3_in___2->eval_foo_bb8_in, Arg_5: 2*Arg_5 {O(n)}
754: n_eval_foo_bb3_in___2->eval_foo_bb8_in, Arg_6: 2*Arg_6 {O(n)}
755: n_eval_foo_bb3_in___29->eval_foo_bb8_in, Arg_0: Arg_5 {O(n)}
755: n_eval_foo_bb3_in___29->eval_foo_bb8_in, Arg_1: Arg_6 {O(n)}
755: n_eval_foo_bb3_in___29->eval_foo_bb8_in, Arg_3: Arg_3 {O(n)}
755: n_eval_foo_bb3_in___29->eval_foo_bb8_in, Arg_4: Arg_4 {O(n)}
755: n_eval_foo_bb3_in___29->eval_foo_bb8_in, Arg_5: Arg_5 {O(n)}
755: n_eval_foo_bb3_in___29->eval_foo_bb8_in, Arg_6: Arg_6 {O(n)}
756: n_eval_foo_bb3_in___33->eval_foo_bb8_in, Arg_0: 5*Arg_5 {O(n)}
756: n_eval_foo_bb3_in___33->eval_foo_bb8_in, Arg_1: 12*Arg_4+17*Arg_6+4*Arg_3+4*Arg_5+13 {O(n)}
756: n_eval_foo_bb3_in___33->eval_foo_bb8_in, Arg_3: 5*Arg_3 {O(n)}
756: n_eval_foo_bb3_in___33->eval_foo_bb8_in, Arg_4: 5*Arg_4 {O(n)}
756: n_eval_foo_bb3_in___33->eval_foo_bb8_in, Arg_5: 5*Arg_5 {O(n)}
756: n_eval_foo_bb3_in___33->eval_foo_bb8_in, Arg_6: 5*Arg_6 {O(n)}
757: n_eval_foo_bb3_in___4->eval_foo_bb8_in, Arg_0: 2*Arg_3+6*Arg_5+2 {O(n)}
757: n_eval_foo_bb3_in___4->eval_foo_bb8_in, Arg_1: 4*Arg_6+2 {O(n)}
757: n_eval_foo_bb3_in___4->eval_foo_bb8_in, Arg_3: 4*Arg_3 {O(n)}
757: n_eval_foo_bb3_in___4->eval_foo_bb8_in, Arg_4: 4*Arg_4 {O(n)}
757: n_eval_foo_bb3_in___4->eval_foo_bb8_in, Arg_5: 4*Arg_5 {O(n)}
757: n_eval_foo_bb3_in___4->eval_foo_bb8_in, Arg_6: 4*Arg_6 {O(n)}
758: n_eval_foo_bb3_in___40->n_eval_foo__Pcritedge_in___35, Arg_0: 4*Arg_5 {O(n)}
758: n_eval_foo_bb3_in___40->n_eval_foo__Pcritedge_in___35, Arg_1: 12*Arg_4+16*Arg_6+4*Arg_3+4*Arg_5+12 {O(n)}
758: n_eval_foo_bb3_in___40->n_eval_foo__Pcritedge_in___35, Arg_3: 4*Arg_3 {O(n)}
758: n_eval_foo_bb3_in___40->n_eval_foo__Pcritedge_in___35, Arg_4: 4*Arg_4 {O(n)}
758: n_eval_foo_bb3_in___40->n_eval_foo__Pcritedge_in___35, Arg_5: 4*Arg_5 {O(n)}
758: n_eval_foo_bb3_in___40->n_eval_foo__Pcritedge_in___35, Arg_6: 4*Arg_6 {O(n)}
759: n_eval_foo_bb3_in___41->n_eval_foo__Pcritedge_in___39, Arg_0: 4*Arg_5 {O(n)}
759: n_eval_foo_bb3_in___41->n_eval_foo__Pcritedge_in___39, Arg_1: 12*Arg_4+16*Arg_6+4*Arg_3+4*Arg_5+12 {O(n)}
759: n_eval_foo_bb3_in___41->n_eval_foo__Pcritedge_in___39, Arg_3: 4*Arg_3 {O(n)}
759: n_eval_foo_bb3_in___41->n_eval_foo__Pcritedge_in___39, Arg_4: 4*Arg_4 {O(n)}
759: n_eval_foo_bb3_in___41->n_eval_foo__Pcritedge_in___39, Arg_5: 4*Arg_5 {O(n)}
759: n_eval_foo_bb3_in___41->n_eval_foo__Pcritedge_in___39, Arg_6: 4*Arg_6 {O(n)}
760: n_eval_foo_bb3_in___41->eval_foo_bb8_in, Arg_0: 4*Arg_5 {O(n)}
760: n_eval_foo_bb3_in___41->eval_foo_bb8_in, Arg_1: 12*Arg_4+16*Arg_6+4*Arg_3+4*Arg_5+12 {O(n)}
760: n_eval_foo_bb3_in___41->eval_foo_bb8_in, Arg_3: 4*Arg_3 {O(n)}
760: n_eval_foo_bb3_in___41->eval_foo_bb8_in, Arg_4: 4*Arg_4 {O(n)}
760: n_eval_foo_bb3_in___41->eval_foo_bb8_in, Arg_5: 4*Arg_5 {O(n)}
760: n_eval_foo_bb3_in___41->eval_foo_bb8_in, Arg_6: 4*Arg_6 {O(n)}
761: n_eval_foo_bb3_in___49->n_eval_foo__Pcritedge_in___32, Arg_0: Arg_5 {O(n)}
761: n_eval_foo_bb3_in___49->n_eval_foo__Pcritedge_in___32, Arg_1: Arg_6 {O(n)}
761: n_eval_foo_bb3_in___49->n_eval_foo__Pcritedge_in___32, Arg_3: Arg_3 {O(n)}
761: n_eval_foo_bb3_in___49->n_eval_foo__Pcritedge_in___32, Arg_4: Arg_4 {O(n)}
761: n_eval_foo_bb3_in___49->n_eval_foo__Pcritedge_in___32, Arg_5: Arg_5 {O(n)}
761: n_eval_foo_bb3_in___49->n_eval_foo__Pcritedge_in___32, Arg_6: Arg_6 {O(n)}
762: n_eval_foo_bb3_in___50->n_eval_foo__Pcritedge_in___48, Arg_0: Arg_5 {O(n)}
762: n_eval_foo_bb3_in___50->n_eval_foo__Pcritedge_in___48, Arg_1: Arg_6 {O(n)}
762: n_eval_foo_bb3_in___50->n_eval_foo__Pcritedge_in___48, Arg_3: Arg_3 {O(n)}
762: n_eval_foo_bb3_in___50->n_eval_foo__Pcritedge_in___48, Arg_4: Arg_4 {O(n)}
762: n_eval_foo_bb3_in___50->n_eval_foo__Pcritedge_in___48, Arg_5: Arg_5 {O(n)}
762: n_eval_foo_bb3_in___50->n_eval_foo__Pcritedge_in___48, Arg_6: Arg_6 {O(n)}
763: n_eval_foo_bb3_in___50->eval_foo_bb8_in, Arg_0: Arg_5 {O(n)}
763: n_eval_foo_bb3_in___50->eval_foo_bb8_in, Arg_1: Arg_6 {O(n)}
763: n_eval_foo_bb3_in___50->eval_foo_bb8_in, Arg_3: Arg_3 {O(n)}
763: n_eval_foo_bb3_in___50->eval_foo_bb8_in, Arg_4: Arg_4 {O(n)}
763: n_eval_foo_bb3_in___50->eval_foo_bb8_in, Arg_5: Arg_5 {O(n)}
763: n_eval_foo_bb3_in___50->eval_foo_bb8_in, Arg_6: Arg_6 {O(n)}
764: n_eval_foo_bb5_in___1->eval_foo_bb6_in, Arg_0: 3*Arg_5+Arg_3+1 {O(n)}
764: n_eval_foo_bb5_in___1->eval_foo_bb6_in, Arg_1: 2*Arg_6 {O(n)}
764: n_eval_foo_bb5_in___1->eval_foo_bb6_in, Arg_3: 2*Arg_3 {O(n)}
764: n_eval_foo_bb5_in___1->eval_foo_bb6_in, Arg_4: 2*Arg_4 {O(n)}
764: n_eval_foo_bb5_in___1->eval_foo_bb6_in, Arg_5: 2*Arg_5 {O(n)}
764: n_eval_foo_bb5_in___1->eval_foo_bb6_in, Arg_6: 2*Arg_6 {O(n)}
765: n_eval_foo_bb5_in___24->eval_foo_bb6_in, Arg_0: 3*Arg_5+Arg_3+1 {O(n)}
765: n_eval_foo_bb5_in___24->eval_foo_bb6_in, Arg_1: 2*Arg_6 {O(n)}
765: n_eval_foo_bb5_in___24->eval_foo_bb6_in, Arg_3: 2*Arg_3 {O(n)}
765: n_eval_foo_bb5_in___24->eval_foo_bb6_in, Arg_4: 2*Arg_4 {O(n)}
765: n_eval_foo_bb5_in___24->eval_foo_bb6_in, Arg_5: 2*Arg_5 {O(n)}
765: n_eval_foo_bb5_in___24->eval_foo_bb6_in, Arg_6: 2*Arg_6 {O(n)}
766: n_eval_foo_bb5_in___28->eval_foo_bb6_in, Arg_0: Arg_5 {O(n)}
766: n_eval_foo_bb5_in___28->eval_foo_bb6_in, Arg_1: Arg_6 {O(n)}
766: n_eval_foo_bb5_in___28->eval_foo_bb6_in, Arg_3: Arg_3 {O(n)}
766: n_eval_foo_bb5_in___28->eval_foo_bb6_in, Arg_4: Arg_4 {O(n)}
766: n_eval_foo_bb5_in___28->eval_foo_bb6_in, Arg_5: Arg_5 {O(n)}
766: n_eval_foo_bb5_in___28->eval_foo_bb6_in, Arg_6: Arg_6 {O(n)}
767: n_eval_foo_bb5_in___31->n_eval_foo_bb7_in___46, Arg_0: Arg_5 {O(n)}
767: n_eval_foo_bb5_in___31->n_eval_foo_bb7_in___46, Arg_1: Arg_6 {O(n)}
767: n_eval_foo_bb5_in___31->n_eval_foo_bb7_in___46, Arg_3: Arg_3 {O(n)}
767: n_eval_foo_bb5_in___31->n_eval_foo_bb7_in___46, Arg_4: Arg_4 {O(n)}
767: n_eval_foo_bb5_in___31->n_eval_foo_bb7_in___46, Arg_5: Arg_5 {O(n)}
767: n_eval_foo_bb5_in___31->n_eval_foo_bb7_in___46, Arg_6: Arg_6 {O(n)}
768: n_eval_foo_bb5_in___31->n_eval_foo_bb7_in___46, Arg_0: Arg_5 {O(n)}
768: n_eval_foo_bb5_in___31->n_eval_foo_bb7_in___46, Arg_1: Arg_6 {O(n)}
768: n_eval_foo_bb5_in___31->n_eval_foo_bb7_in___46, Arg_3: Arg_3 {O(n)}
768: n_eval_foo_bb5_in___31->n_eval_foo_bb7_in___46, Arg_4: Arg_4 {O(n)}
768: n_eval_foo_bb5_in___31->n_eval_foo_bb7_in___46, Arg_5: Arg_5 {O(n)}
768: n_eval_foo_bb5_in___31->n_eval_foo_bb7_in___46, Arg_6: Arg_6 {O(n)}
769: n_eval_foo_bb5_in___34->n_eval_foo_bb7_in___37, Arg_0: 4*Arg_5 {O(n)}
769: n_eval_foo_bb5_in___34->n_eval_foo_bb7_in___37, Arg_1: 12*Arg_4+16*Arg_6+4*Arg_3+4*Arg_5+12 {O(n)}
769: n_eval_foo_bb5_in___34->n_eval_foo_bb7_in___37, Arg_3: 4*Arg_3 {O(n)}
769: n_eval_foo_bb5_in___34->n_eval_foo_bb7_in___37, Arg_4: 4*Arg_4 {O(n)}
769: n_eval_foo_bb5_in___34->n_eval_foo_bb7_in___37, Arg_5: 4*Arg_5 {O(n)}
769: n_eval_foo_bb5_in___34->n_eval_foo_bb7_in___37, Arg_6: 4*Arg_6 {O(n)}
770: n_eval_foo_bb5_in___34->n_eval_foo_bb7_in___37, Arg_0: 4*Arg_5 {O(n)}
770: n_eval_foo_bb5_in___34->n_eval_foo_bb7_in___37, Arg_1: 12*Arg_4+16*Arg_6+4*Arg_3+4*Arg_5+12 {O(n)}
770: n_eval_foo_bb5_in___34->n_eval_foo_bb7_in___37, Arg_3: 4*Arg_3 {O(n)}
770: n_eval_foo_bb5_in___34->n_eval_foo_bb7_in___37, Arg_4: 4*Arg_4 {O(n)}
770: n_eval_foo_bb5_in___34->n_eval_foo_bb7_in___37, Arg_5: 4*Arg_5 {O(n)}
770: n_eval_foo_bb5_in___34->n_eval_foo_bb7_in___37, Arg_6: 4*Arg_6 {O(n)}
771: n_eval_foo_bb5_in___38->n_eval_foo_bb7_in___36, Arg_0: 4*Arg_5 {O(n)}
771: n_eval_foo_bb5_in___38->n_eval_foo_bb7_in___36, Arg_1: 12*Arg_4+16*Arg_6+4*Arg_3+4*Arg_5+12 {O(n)}
771: n_eval_foo_bb5_in___38->n_eval_foo_bb7_in___36, Arg_3: 4*Arg_3 {O(n)}
771: n_eval_foo_bb5_in___38->n_eval_foo_bb7_in___36, Arg_4: 4*Arg_4 {O(n)}
771: n_eval_foo_bb5_in___38->n_eval_foo_bb7_in___36, Arg_5: 4*Arg_5 {O(n)}
771: n_eval_foo_bb5_in___38->n_eval_foo_bb7_in___36, Arg_6: 4*Arg_6 {O(n)}
772: n_eval_foo_bb5_in___38->n_eval_foo_bb7_in___37, Arg_0: 4*Arg_5 {O(n)}
772: n_eval_foo_bb5_in___38->n_eval_foo_bb7_in___37, Arg_1: 12*Arg_4+16*Arg_6+4*Arg_3+4*Arg_5+12 {O(n)}
772: n_eval_foo_bb5_in___38->n_eval_foo_bb7_in___37, Arg_3: 4*Arg_3 {O(n)}
772: n_eval_foo_bb5_in___38->n_eval_foo_bb7_in___37, Arg_4: 4*Arg_4 {O(n)}
772: n_eval_foo_bb5_in___38->n_eval_foo_bb7_in___37, Arg_5: 4*Arg_5 {O(n)}
772: n_eval_foo_bb5_in___38->n_eval_foo_bb7_in___37, Arg_6: 4*Arg_6 {O(n)}
773: n_eval_foo_bb5_in___47->n_eval_foo_bb7_in___45, Arg_0: Arg_5 {O(n)}
773: n_eval_foo_bb5_in___47->n_eval_foo_bb7_in___45, Arg_1: Arg_6 {O(n)}
773: n_eval_foo_bb5_in___47->n_eval_foo_bb7_in___45, Arg_3: Arg_3 {O(n)}
773: n_eval_foo_bb5_in___47->n_eval_foo_bb7_in___45, Arg_4: Arg_4 {O(n)}
773: n_eval_foo_bb5_in___47->n_eval_foo_bb7_in___45, Arg_5: Arg_5 {O(n)}
773: n_eval_foo_bb5_in___47->n_eval_foo_bb7_in___45, Arg_6: Arg_6 {O(n)}
774: n_eval_foo_bb5_in___47->n_eval_foo_bb7_in___46, Arg_0: Arg_5 {O(n)}
774: n_eval_foo_bb5_in___47->n_eval_foo_bb7_in___46, Arg_1: Arg_6 {O(n)}
774: n_eval_foo_bb5_in___47->n_eval_foo_bb7_in___46, Arg_3: Arg_3 {O(n)}
774: n_eval_foo_bb5_in___47->n_eval_foo_bb7_in___46, Arg_4: Arg_4 {O(n)}
774: n_eval_foo_bb5_in___47->n_eval_foo_bb7_in___46, Arg_5: Arg_5 {O(n)}
774: n_eval_foo_bb5_in___47->n_eval_foo_bb7_in___46, Arg_6: Arg_6 {O(n)}
775: n_eval_foo_bb5_in___8->n_eval_foo_bb7_in___7, Arg_0: 3*Arg_5+Arg_3+1 {O(n)}
775: n_eval_foo_bb5_in___8->n_eval_foo_bb7_in___7, Arg_1: 2*Arg_6 {O(n)}
775: n_eval_foo_bb5_in___8->n_eval_foo_bb7_in___7, Arg_3: 2*Arg_3 {O(n)}
775: n_eval_foo_bb5_in___8->n_eval_foo_bb7_in___7, Arg_4: 2*Arg_4 {O(n)}
775: n_eval_foo_bb5_in___8->n_eval_foo_bb7_in___7, Arg_5: 2*Arg_5 {O(n)}
775: n_eval_foo_bb5_in___8->n_eval_foo_bb7_in___7, Arg_6: 2*Arg_6 {O(n)}
776: n_eval_foo_bb7_in___36->n_eval_foo_bb1_in___44, Arg_0: 4*Arg_5 {O(n)}
776: n_eval_foo_bb7_in___36->n_eval_foo_bb1_in___44, Arg_1: 12*Arg_4+16*Arg_6+4*Arg_3+4*Arg_5+12 {O(n)}
776: n_eval_foo_bb7_in___36->n_eval_foo_bb1_in___44, Arg_3: 4*Arg_3 {O(n)}
776: n_eval_foo_bb7_in___36->n_eval_foo_bb1_in___44, Arg_4: 4*Arg_4 {O(n)}
776: n_eval_foo_bb7_in___36->n_eval_foo_bb1_in___44, Arg_5: 4*Arg_5 {O(n)}
776: n_eval_foo_bb7_in___36->n_eval_foo_bb1_in___44, Arg_6: 4*Arg_6 {O(n)}
777: n_eval_foo_bb7_in___37->n_eval_foo_bb1_in___44, Arg_0: 4*Arg_5 {O(n)}
777: n_eval_foo_bb7_in___37->n_eval_foo_bb1_in___44, Arg_1: 12*Arg_4+16*Arg_6+4*Arg_3+4*Arg_5+12 {O(n)}
777: n_eval_foo_bb7_in___37->n_eval_foo_bb1_in___44, Arg_3: 4*Arg_3 {O(n)}
777: n_eval_foo_bb7_in___37->n_eval_foo_bb1_in___44, Arg_4: 4*Arg_4 {O(n)}
777: n_eval_foo_bb7_in___37->n_eval_foo_bb1_in___44, Arg_5: 4*Arg_5 {O(n)}
777: n_eval_foo_bb7_in___37->n_eval_foo_bb1_in___44, Arg_6: 4*Arg_6 {O(n)}
778: n_eval_foo_bb7_in___45->n_eval_foo_bb1_in___44, Arg_0: Arg_5 {O(n)}
778: n_eval_foo_bb7_in___45->n_eval_foo_bb1_in___44, Arg_1: Arg_6+1 {O(n)}
778: n_eval_foo_bb7_in___45->n_eval_foo_bb1_in___44, Arg_3: Arg_3 {O(n)}
778: n_eval_foo_bb7_in___45->n_eval_foo_bb1_in___44, Arg_4: Arg_4 {O(n)}
778: n_eval_foo_bb7_in___45->n_eval_foo_bb1_in___44, Arg_5: Arg_5 {O(n)}
778: n_eval_foo_bb7_in___45->n_eval_foo_bb1_in___44, Arg_6: Arg_6 {O(n)}
779: n_eval_foo_bb7_in___46->n_eval_foo_bb1_in___44, Arg_0: 3*Arg_5 {O(n)}
779: n_eval_foo_bb7_in___46->n_eval_foo_bb1_in___44, Arg_1: 3*Arg_6+3 {O(n)}
779: n_eval_foo_bb7_in___46->n_eval_foo_bb1_in___44, Arg_3: 3*Arg_3 {O(n)}
779: n_eval_foo_bb7_in___46->n_eval_foo_bb1_in___44, Arg_4: 3*Arg_4 {O(n)}
779: n_eval_foo_bb7_in___46->n_eval_foo_bb1_in___44, Arg_5: 3*Arg_5 {O(n)}
779: n_eval_foo_bb7_in___46->n_eval_foo_bb1_in___44, Arg_6: 3*Arg_6 {O(n)}
780: n_eval_foo_bb7_in___7->n_eval_foo_bb1_in___6, Arg_0: 3*Arg_5+Arg_3+1 {O(n)}
780: n_eval_foo_bb7_in___7->n_eval_foo_bb1_in___6, Arg_1: 2*Arg_6+1 {O(n)}
780: n_eval_foo_bb7_in___7->n_eval_foo_bb1_in___6, Arg_3: 2*Arg_3 {O(n)}
780: n_eval_foo_bb7_in___7->n_eval_foo_bb1_in___6, Arg_4: 2*Arg_4 {O(n)}
780: n_eval_foo_bb7_in___7->n_eval_foo_bb1_in___6, Arg_5: 2*Arg_5 {O(n)}
780: n_eval_foo_bb7_in___7->n_eval_foo_bb1_in___6, Arg_6: 2*Arg_6 {O(n)}