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