eq(evalNestedMultipleDepstart(A,B,C,D,E),1,[evalNestedMultipleDepentryin(A,B,C,D,E)],[]).
eq(evalNestedMultipleDepreturnin(A,B,C,D,E),1,[evalNestedMultipleDepstop(A,B,C,D,E)],[]).
eq(evalNestedMultipleDepentryin(A,B,C,D,E),1,[evalNestedMultipleDepbb3in(0,B,C,D,E,F,G,H,I,J,K),loop_cont_evalNestedMultipleDepbb3in(G,H,I,J,K)],[F=0]).
eq(evalNestedMultipleDepentryin(A,B,C,D,E),1,[evalNestedMultipleDepbb3in(0,B,C,D,E,F,G,H,I,J,K)],[F=1]).
eq(loop_cont_evalNestedMultipleDepbb3in(A,B,C,D,E),0,[evalNestedMultipleDepreturnin(A,B,C,D,E)],[]).
eq(evalNestedMultipleDepbb3in(A,B,C,D,E,F,G,H,I,J,K),1,[evalNestedMultipleDepbbin(A,B,C,D,E,F,G,H,I,J,K)],[B>=A+1]).
eq(evalNestedMultipleDepbb2in(A,B,C,D,E,F,G,H,I,J,K),1,[evalNestedMultipleDepbb1in(A,B,C,D,E,F,G,H,I,J,K)],[E>=D+1]).
eq(evalNestedMultipleDepbbin(A,B,C,D,E,F,G,H,I,J,K),1,[evalNestedMultipleDepbb2in(A,B,A+1,0,E,L,M,N,O,P,Q),loop_cont_evalNestedMultipleDepbb2in(M,N,O,P,Q,F,G,H,I,J,K)],[L=0]).
eq(evalNestedMultipleDepbbin(A,B,C,D,E,F,G,H,I,J,K),1,[evalNestedMultipleDepbb2in(A,B,A+1,0,E,L,M,N,O,P,Q)],[F=1,L=1]).
eq(evalNestedMultipleDepbb1in(A,B,C,D,E,F,G,H,I,J,K),1,[evalNestedMultipleDepbb2in(A,B,C,D+1,E,F,G,H,I,J,K)],[]).
eq(loop_cont_evalNestedMultipleDepbb2in(A,B,C,D,E,F,G,H,I,J,K),0,[evalNestedMultipleDepbb3in(A,B,C,D,E,F,G,H,I,J,K)],[]).
eq(evalNestedMultipleDepbb3in(A,B,C,D,E,F,A,B,C,D,E),1,[],[F=0,A>=B]).
eq(evalNestedMultipleDepbb2in(A,B,C,D,E,F,C,B,C,D,E),1,[],[F=0,D>=E]).