eq(evalEx3start(A,B,C),1,[evalEx3entryin(A,B,C)],[]).
eq(evalEx3returnin(A,B,C),1,[evalEx3stop(A,B,C)],[]).
eq(evalEx3entryin(A,B,C),1,[evalEx3bb4in(A,B,C,D,E,F,G),loop_cont_evalEx3bb4in(E,F,G)],[D=0]).
eq(evalEx3entryin(A,B,C),1,[evalEx3bb4in(A,B,C,D,E,F,G)],[D=1]).
eq(loop_cont_evalEx3bb4in(A,B,C),0,[evalEx3returnin(A,B,C)],[]).
eq(evalEx3bb4in(A,B,C,D,E,F,G),1,[evalEx3bbin(A,B,C,D,E,F,G)],[A>=1]).
eq(evalEx3bb2in(A,B,C,D,E,F,G),1,[evalEx3bb3in(A,B,C,D,E,F,G)],[C>=1]).
eq(evalEx3bbin(A,B,C,D,E,F,G),1,[evalEx3bb2in(A,H,A,I,J,K,L),loop_cont_evalEx3bb2in(J,K,L,D,E,F,G)],[I=0]).
eq(evalEx3bbin(A,B,C,D,E,F,G),1,[evalEx3bb2in(A,H,A,I,J,K,L)],[D=1,I=1]).
eq(evalEx3bb3in(A,B,C,D,E,F,G),1,[evalEx3bb1in(A,B,C,D,E,F,G)],[]).
eq(loop_cont_evalEx3bb2in(A,B,C,D,E,F,G),0,[evalEx3bb4in(A,B,C,D,E,F,G)],[]).
eq(evalEx3bb1in(A,B,C,D,E,F,G),1,[evalEx3bb2in(A,B,C-1,D,E,F,G)],[]).
eq(evalEx3bb4in(A,B,C,D,A,B,C),1,[],[D=0,0>=A]).
eq(evalEx3bb3in(A,B,C,D,C,B,C),1,[],[D=0,B>=E+1]).
eq(evalEx3bb3in(A,B,C,D,A,B,C),0,[],[D=1,E>=B]).
eq(evalEx3bb3in(A,B,C,D,C,B,C),1,[],[D=0,E>=B+1]).
eq(evalEx3bb3in(A,B,C,D,A,B,C),0,[],[D=1,B>=E]).
eq(evalEx3bb2in(A,B,C,D,C,B,C),1,[],[D=0,0>=C]).