eq(evalEx7start(A,B,C),1,[evalEx7entryin(A,B,C)],[]).
eq(evalEx7returnin(A,B,C),1,[evalEx7stop(A,B,C)],[]).
eq(evalEx7entryin(A,B,C),1,[evalEx7bb3in(A,B,A+1,D,E,F,G),loop_cont_evalEx7bb3in(E,F,G)],[D=0,A>=1,B>=A+1]).
eq(evalEx7entryin(A,B,C),1,[evalEx7bb3in(A,B,A+1,D,E,F,G)],[D=1,A>=1,B>=A+1]).
eq(loop_cont_evalEx7bb3in(A,B,C),0,[evalEx7returnin(A,B,C)],[]).
eq(evalEx7bb3in(A,B,C,D,E,F,G),1,[evalEx7bbin(A,B,C,D,E,F,G)],[A>=C+1]).
eq(evalEx7bb3in(A,B,C,D,E,F,G),1,[evalEx7bbin(A,B,C,D,E,F,G)],[C>=A+1]).
eq(evalEx7bbin(A,B,C,D,E,F,G),1,[evalEx7bb3in(A,B,0,D,E,F,G)],[C>=B+1]).
eq(evalEx7bbin(A,B,C,D,E,F,G),1,[evalEx7bb3in(A,B,C+1,D,E,F,G)],[B>=C]).
eq(evalEx7bb3in(A,B,C,D,A,B,C),1,[],[D=0,C=A]).
eq(evalEx7bb3in(A,B,C,D,A,B,C),0,[],[D=1]).