eq(evalfstart(A,B,C,D),1,[evalfentryin(A,B,C,D)],[]).
eq(evalfreturnin(A,B,C,D),1,[evalfstop(A,B,C,D)],[]).
eq(evalfentryin(A,B,C,D),1,[evalfbb6in(0,B,C,D,E,F,G,H,I),loop_cont_evalfbb6in(F,G,H,I)],[E=0]).
eq(evalfentryin(A,B,C,D),1,[evalfbb6in(0,B,C,D,E,F,G,H,I)],[E=1]).
eq(loop_cont_evalfbb6in(A,B,C,D),0,[evalfreturnin(A,B,C,D)],[]).
eq(evalfbb6in(A,B,C,D,E,F,G,H,I),1,[evalfbbin(A,B,C,D,E,F,G,H,I)],[B>=A+1]).
eq(evalfbb2in(A,B,C,D,E,F,G,H,I),1,[evalfbb3in(A,B,C,D,E,F,G,H,I)],[B>=D+1]).
eq(evalfbbin(A,B,C,D,E,F,G,H,I),1,[evalfbb2in(A,B,0,A+1,J,K,L,M,N),loop_cont_evalfbb2in(K,L,M,N,E,F,G,H,I)],[J=0]).
eq(evalfbbin(A,B,C,D,E,F,G,H,I),1,[evalfbb2in(A,B,0,A+1,J,K,L,M,N)],[E=1,J=1]).
eq(evalfbb3in(A,B,C,D,E,F,G,H,I),1,[evalfbb1in(A,B,C,D,E,F,G,H,I)],[0>=J+1]).
eq(evalfbb3in(A,B,C,D,E,F,G,H,I),1,[evalfbb1in(A,B,C,D,E,F,G,H,I)],[J>=1]).
eq(loop_cont_evalfbb2in(A,B,C,D,E,F,G,H,I),0,[evalfbb4in(A,B,C,D,E,F,G,H,I)],[]).
eq(evalfbb1in(A,B,C,D,E,F,G,H,I),1,[evalfbb2in(A,B,C+1,D+1,E,F,G,H,I)],[]).
eq(evalfbb4in(A,B,C,D,E,F,G,H,I),1,[evalfbb6in(D-1,B,C,D,E,F,G,H,I)],[C>=1]).
eq(evalfbb4in(A,B,C,D,E,F,G,H,I),1,[evalfbb6in(D,B,C,D,E,F,G,H,I)],[0>=C]).
eq(evalfbb6in(A,B,C,D,E,A,B,C,D),1,[],[E=0,A>=B]).
eq(evalfbb3in(A,B,C,D,E,A,B,C,D),1,[],[E=0]).
eq(evalfbb2in(A,B,C,D,E,A,B,C,D),1,[],[E=0,D>=B]).