Start: f3
Program_Vars: Arg_0, Arg_1
Temp_Vars: C
Locations: f0, f3
Transitions:
1:f0(Arg_0,Arg_1) -> f0(Arg_0+1,C):|:1<=C
2:f0(Arg_0,Arg_1) -> f0(Arg_0-1,C):|:C<=0
0:f3(Arg_0,Arg_1) -> f0(2,Arg_1)
Eliminate variables {Arg_0,Arg_1} that do not contribute to the problem
Start: f3
Program_Vars:
Temp_Vars: C
Locations: f0, f3
Transitions:
6:f0 -> f0:|:1<=C
7:f0 -> f0:|:C<=0
8:f3 -> f0
Overall timebound:inf {Infinity}
6: f0->f0: inf {Infinity}
7: f0->f0: inf {Infinity}
8: f3->f0: 1 {O(1)}
Overall costbound: inf {Infinity}
6: f0->f0: inf {Infinity}
7: f0->f0: inf {Infinity}
8: f3->f0: 1 {O(1)}