eq(evalDis2start(A,B,C),1,[evalDis2entryin(A,B,C)],[]).
eq(evalDis2returnin(A,B,C),1,[evalDis2stop(A,B,C)],[]).
eq(evalDis2entryin(A,B,C),1,[evalDis2bb3in(B,C,A,D,E,F,G),loop_cont_evalDis2bb3in(E,F,G)],[D=0]).
eq(evalDis2entryin(A,B,C),1,[evalDis2bb3in(B,C,A,D,E,F,G)],[D=1]).
eq(loop_cont_evalDis2bb3in(A,B,C),0,[evalDis2returnin(A,B,C)],[]).
eq(evalDis2bb3in(A,B,C,D,E,F,G),1,[evalDis2bbin(A,B,C,D,E,F,G)],[A>=C+1]).
eq(evalDis2bbin(A,B,C,D,E,F,G),1,[evalDis2bb1in(A,B,C,D,E,F,G)],[B>=C+1]).
eq(evalDis2bbin(A,B,C,D,E,F,G),1,[evalDis2bb2in(A,B,C,D,E,F,G)],[C>=B]).
eq(evalDis2bb1in(A,B,C,D,E,F,G),1,[evalDis2bb3in(A,B,C+1,D,E,F,G)],[]).
eq(evalDis2bb2in(A,B,C,D,E,F,G),1,[evalDis2bb3in(A,B+1,C,D,E,F,G)],[]).
eq(evalDis2bb3in(A,B,C,D,A,B,C),1,[],[D=0,C>=A]).