eq(evalrandom1dstart(A,B),1,[evalrandom1dentryin(A,B)],[]).
eq(evalrandom1dentryin(A,B),1,[evalrandom1dreturnin(A,B)],[0>=A]).
eq(evalrandom1dreturnin(A,B),1,[evalrandom1dstop(A,B)],[]).
eq(evalrandom1dentryin(A,B),1,[evalrandom1dbb5in(A,1,C,D,E),loop_cont_evalrandom1dbb5in(D,E)],[C=0,A>=1]).
eq(evalrandom1dentryin(A,B),1,[evalrandom1dbb5in(A,1,C,D,E)],[C=1,A>=1]).
eq(loop_cont_evalrandom1dbb5in(A,B),0,[evalrandom1dreturnin(A,B)],[]).
eq(evalrandom1dbb5in(A,B,C,D,E),1,[evalrandom1dbb1in(A,B,C,D,E)],[A>=B]).
eq(evalrandom1dbb1in(A,B,C,D,E),1,[evalrandom1dbb5in(A,B+1,C,D,E)],[0>=F+1]).
eq(evalrandom1dbb1in(A,B,C,D,E),1,[evalrandom1dbb5in(A,B+1,C,D,E)],[F>=1]).
eq(evalrandom1dbb1in(A,B,C,D,E),1,[evalrandom1dbb5in(A,B+1,C,D,E)],[]).
eq(evalrandom1dbb5in(A,B,C,A,B),1,[],[C=0,B>=A+1]).