eq(evalndloopstart(A),1,[evalndloopentryin(A)],[]).
eq(evalndloopreturnin(A),1,[evalndloopstop(A)],[]).
eq(evalndloopentryin(A),1,[evalndloopbbin(0,B,C),loop_cont_evalndloopbbin(C)],[B=0]).
eq(evalndloopentryin(A),1,[evalndloopbbin(0,B,C)],[B=1]).
eq(loop_cont_evalndloopbbin(A),0,[evalndloopreturnin(A)],[]).
eq(evalndloopbbin(A,B,C),1,[evalndloopbbin(D,B,C)],[2+A>=D,D>=A+1,9>=D]).
eq(evalndloopbbin(A,B,A),1,[],[B=0,C>=A+3]).
eq(evalndloopbbin(A,B,A),0,[],[B=1,A+3>=C+1]).
eq(evalndloopbbin(A,B,A),1,[],[B=0,A>=C]).
eq(evalndloopbbin(A,B,A),0,[],[B=1,C>=A]).
eq(evalndloopbbin(A,B,A),1,[],[B=0,C>=10]).
eq(evalndloopbbin(A,B,A),0,[],[B=1,10>=C+1]).