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