Start: f3
Program_Vars: Arg_0, Arg_1
Temp_Vars:
Locations: f0, f3
Transitions:
1:f0(Arg_0,Arg_1) -> f0(Arg_0+1,Arg_1)
0:f3(Arg_0,Arg_1) -> f0(1,1)
Eliminate variables {Arg_0,Arg_1} that do not contribute to the problem
Start: f3
Program_Vars:
Temp_Vars:
Locations: f0, f3
Transitions:
4:f0 -> f0
5:f3 -> f0
Overall timebound:inf {Infinity}
4: f0->f0: inf {Infinity}
5: f3->f0: 1 {O(1)}
Overall costbound: inf {Infinity}
4: f0->f0: inf {Infinity}
5: f3->f0: 1 {O(1)}