eq(evalSimpleMultipleDepstart(A,B,C,D),1,[evalSimpleMultipleDepentryin(A,B,C,D)],[]).
eq(evalSimpleMultipleDepreturnin(A,B,C,D),1,[evalSimpleMultipleDepstop(A,B,C,D)],[]).
eq(evalSimpleMultipleDepentryin(A,B,C,D),1,[evalSimpleMultipleDepbb3in(0,0,C,D,E,F,G,H,I),loop_cont_evalSimpleMultipleDepbb3in(F,G,H,I)],[E=0]).
eq(evalSimpleMultipleDepentryin(A,B,C,D),1,[evalSimpleMultipleDepbb3in(0,0,C,D,E,F,G,H,I)],[E=1]).
eq(loop_cont_evalSimpleMultipleDepbb3in(A,B,C,D),0,[evalSimpleMultipleDepreturnin(A,B,C,D)],[]).
eq(evalSimpleMultipleDepbb3in(A,B,C,D,E,F,G,H,I),1,[evalSimpleMultipleDepbbin(A,B,C,D,E,F,G,H,I)],[C>=B+1]).
eq(evalSimpleMultipleDepbbin(A,B,C,D,E,F,G,H,I),1,[evalSimpleMultipleDepbb1in(A,B,C,D,E,F,G,H,I)],[D>=A+1]).
eq(evalSimpleMultipleDepbbin(A,B,C,D,E,F,G,H,I),1,[evalSimpleMultipleDepbb2in(A,B,C,D,E,F,G,H,I)],[A>=D]).
eq(evalSimpleMultipleDepbb1in(A,B,C,D,E,F,G,H,I),1,[evalSimpleMultipleDepbb3in(A+1,B,C,D,E,F,G,H,I)],[]).
eq(evalSimpleMultipleDepbb2in(A,B,C,D,E,F,G,H,I),1,[evalSimpleMultipleDepbb3in(0,B+1,C,D,E,F,G,H,I)],[]).
eq(evalSimpleMultipleDepbb3in(A,B,C,D,E,A,B,C,D),1,[],[E=0,B>=C]).