Start: eval_foo_start
Program_Vars: Arg_0, Arg_1, Arg_2
Temp_Vars:
Locations: eval_foo_bb0_in, eval_foo_bb1_in, eval_foo_start
Transitions:
1:eval_foo_bb0_in(Arg_0,Arg_1,Arg_2) -> eval_foo_bb1_in(Arg_0,Arg_1,Arg_2)
2:eval_foo_bb1_in(Arg_0,Arg_1,Arg_2) -> eval_foo_bb1_in(Arg_0,Arg_1,Arg_2)
0:eval_foo_start(Arg_0,Arg_1,Arg_2) -> eval_foo_bb0_in(Arg_0,Arg_1,Arg_2)
Eliminate variables {Arg_0,Arg_1,Arg_2} that do not contribute to the problem
Start: eval_foo_start
Program_Vars:
Temp_Vars:
Locations: eval_foo_bb0_in, eval_foo_bb1_in, eval_foo_start
Transitions:
7:eval_foo_bb0_in -> eval_foo_bb1_in
8:eval_foo_bb1_in -> eval_foo_bb1_in
9:eval_foo_start -> eval_foo_bb0_in
Overall timebound:inf {Infinity}
7: eval_foo_bb0_in->eval_foo_bb1_in: 1 {O(1)}
8: eval_foo_bb1_in->eval_foo_bb1_in: inf {Infinity}
9: eval_foo_start->eval_foo_bb0_in: 1 {O(1)}
Overall costbound: inf {Infinity}
7: eval_foo_bb0_in->eval_foo_bb1_in: 1 {O(1)}
8: eval_foo_bb1_in->eval_foo_bb1_in: inf {Infinity}
9: eval_foo_start->eval_foo_bb0_in: 1 {O(1)}