eq(evalspeedFails4start(A,B,C,D),1,[evalspeedFails4entryin(A,B,C,D)],[]).
eq(evalspeedFails4returnin(A,B,C,D),1,[evalspeedFails4stop(A,B,C,D)],[]).
eq(evalspeedFails4entryin(A,B,C,D),1,[evalspeedFails4bb6in(1,C,A,B,E,F,G,H,I),loop_cont_evalspeedFails4bb6in(F,G,H,I)],[E=0,A>=1]).
eq(evalspeedFails4entryin(A,B,C,D),1,[evalspeedFails4bb6in(1,C,A,B,E,F,G,H,I)],[E=1,A>=1]).
eq(evalspeedFails4entryin(A,B,C,D),1,[evalspeedFails4bb6in(-1,C,A,B,E,F,G,H,I),loop_cont_evalspeedFails4bb6in(F,G,H,I)],[E=0,0>=A]).
eq(evalspeedFails4entryin(A,B,C,D),1,[evalspeedFails4bb6in(-1,C,A,B,E,F,G,H,I)],[E=1,0>=A]).
eq(loop_cont_evalspeedFails4bb6in(A,B,C,D),0,[evalspeedFails4returnin(A,B,C,D)],[]).
eq(evalspeedFails4bb6in(A,B,C,D,E,F,G,H,I),1,[evalspeedFails4bb3in(A,B,C,D,E,F,G,H,I)],[B>=D]).
eq(evalspeedFails4bb3in(A,B,C,D,E,F,G,H,I),1,[evalspeedFails4bb4in(A,B,C,D,E,F,G,H,I)],[C>=1]).
eq(evalspeedFails4bb3in(A,B,C,D,E,F,G,H,I),1,[evalspeedFails4bb5in(A,B,C,D,E,F,G,H,I)],[0>=C]).
eq(evalspeedFails4bb4in(A,B,C,D,E,F,G,H,I),1,[evalspeedFails4bb6in(A,B,C,D+A,E,F,G,H,I)],[]).
eq(evalspeedFails4bb5in(A,B,C,D,E,F,G,H,I),1,[evalspeedFails4bb6in(A,B,C,D-A,E,F,G,H,I)],[]).
eq(evalspeedFails4bb6in(A,B,C,D,E,A,B,C,D),1,[],[E=0,D>=B+1]).