Initial Problem

Start: n_eval_foo_start
Program_Vars: Arg_0
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) -> n_eval_foo_bb1_in___1(Arg_0)
1:n_eval_foo_bb1_in___1(Arg_0) -> n_eval_foo_bb1_in___1(Arg_0)
2:n_eval_foo_start(Arg_0) -> n_eval_foo_bb0_in___2(Arg_0)

Preprocessing

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

Problem after Preprocessing

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

All Bounds

Timebounds

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)}

Costbounds

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)}

Sizebounds