eq(evalspeedpldi2start(A,B,C),1,[evalspeedpldi2entryin(A,B,C)],[]).
eq(evalspeedpldi2entryin(A,B,C),1,[evalspeedpldi2returnin(A,B,C)],[0>=A+1]).
eq(evalspeedpldi2entryin(A,B,C),1,[evalspeedpldi2returnin(A,B,C)],[0>=B]).
eq(evalspeedpldi2returnin(A,B,C),1,[evalspeedpldi2stop(A,B,C)],[]).
eq(evalspeedpldi2entryin(A,B,C),1,[evalspeedpldi2bb5in(B,0,A,D,E,F,G),loop_cont_evalspeedpldi2bb5in(E,F,G)],[D=0,A>=0,B>=1]).
eq(evalspeedpldi2entryin(A,B,C),1,[evalspeedpldi2bb5in(B,0,A,D,E,F,G)],[D=1,A>=0,B>=1]).
eq(loop_cont_evalspeedpldi2bb5in(A,B,C),0,[evalspeedpldi2returnin(A,B,C)],[]).
eq(evalspeedpldi2bb5in(A,B,C,D,E,F,G),1,[evalspeedpldi2bb2in(A,B,C,D,E,F,G)],[C>=1]).
eq(evalspeedpldi2bb2in(A,B,C,D,E,F,G),1,[evalspeedpldi2bb3in(A,B,C,D,E,F,G)],[A>=B+1]).
eq(evalspeedpldi2bb2in(A,B,C,D,E,F,G),1,[evalspeedpldi2bb5in(A,0,C,D,E,F,G)],[B>=A]).
eq(evalspeedpldi2bb3in(A,B,C,D,E,F,G),1,[evalspeedpldi2bb5in(A,B+1,C-1,D,E,F,G)],[]).
eq(evalspeedpldi2bb5in(A,B,C,D,A,B,C),1,[],[D=0,0>=C]).