Start: f0
Program_Vars: Arg_0, Arg_1, Arg_2, Arg_3, Arg_4
Temp_Vars: F, G, H, I
Locations: f0, f23
Transitions:
0:f0(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4) -> f23(0,1,G,H,I):|:F<=99
1:f0(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4) -> f23(0,1,G,H,I)
Eliminate variables {G,H,I,Arg_0,Arg_1,Arg_2,Arg_3,Arg_4} that do not contribute to the problem
Start: f0
Program_Vars:
Temp_Vars: F
Locations: f0, f23
Transitions:
3:f0 -> f23:|:F<=99
4:f0 -> f23
Overall timebound:2 {O(1)}
3: f0->f23: 1 {O(1)}
4: f0->f23: 1 {O(1)}
Overall costbound: 2 {O(1)}
3: f0->f23: 1 {O(1)}
4: f0->f23: 1 {O(1)}