eq(evalndecrstart(A),1,[evalndecrentryin(A)],[]).
eq(evalndecrreturnin(A),1,[evalndecrstop(A)],[]).
eq(evalndecrentryin(A),1,[evalndecrbb1in(A-1,B,C),loop_cont_evalndecrbb1in(C)],[B=0]).
eq(evalndecrentryin(A),1,[evalndecrbb1in(A-1,B,C)],[B=1]).
eq(loop_cont_evalndecrbb1in(A),0,[evalndecrreturnin(A)],[]).
eq(evalndecrbb1in(A,B,C),1,[evalndecrbbin(A,B,C)],[A>=2]).
eq(evalndecrbbin(A,B,C),1,[evalndecrbb1in(A-1,B,C)],[]).
eq(evalndecrbb1in(A,B,A),1,[],[B=0,1>=A]).