eq(evalcyclicstart(A,B,C),1,[evalcyclicentryin(A,B,C)],[]). eq(evalcyclicreturnin(A,B,C),1,[evalcyclicstop(A,B,C)],[]). eq(evalcyclicentryin(A,B,C),1,[evalcyclicbb3in(A,B,A+1,D,E,F,G),loop_cont_evalcyclicbb3in(E,F,G)],[D=0,A>=0,B>=A+1]). eq(evalcyclicentryin(A,B,C),1,[evalcyclicbb3in(A,B,A+1,D,E,F,G)],[D=1,A>=0,B>=A+1]). eq(loop_cont_evalcyclicbb3in(A,B,C),0,[evalcyclicreturnin(A,B,C)],[]). eq(evalcyclicbb3in(A,B,C,D,E,F,G),1,[evalcyclicbb4in(A,B,C,D,E,F,G)],[A>=C+1]). eq(evalcyclicbb3in(A,B,C,D,E,F,G),1,[evalcyclicbb4in(A,B,C,D,E,F,G)],[C>=A+1]). eq(evalcyclicbb4in(A,B,C,D,E,F,G),1,[evalcyclicbbin(A,B,C,D,E,F,G)],[0>=H+1]). eq(evalcyclicbb4in(A,B,C,D,E,F,G),1,[evalcyclicbbin(A,B,C,D,E,F,G)],[H>=1]). eq(evalcyclicbbin(A,B,C,D,E,F,G),1,[evalcyclicbb3in(A,B,C+1,D,E,F,G)],[B>=C]). eq(evalcyclicbbin(A,B,C,D,E,F,G),1,[evalcyclicbb3in(A,B,0,D,E,F,G)],[C>=B+1]). eq(evalcyclicbb4in(A,B,C,D,A,B,C),1,[],[D=0]). eq(evalcyclicbb3in(A,B,C,D,A,B,C),1,[],[D=0,C=A]). eq(evalcyclicbb3in(A,B,C,D,A,B,C),0,[],[D=1]).