eq(evaleasy2start(A),1,[evaleasy2entryin(A)],[]).
eq(evaleasy2returnin(A),1,[evaleasy2stop(A)],[]).
eq(evaleasy2entryin(A),1,[evaleasy2bb1in(A,B,C),loop_cont_evaleasy2bb1in(C)],[B=0]).
eq(evaleasy2entryin(A),1,[evaleasy2bb1in(A,B,C)],[B=1]).
eq(loop_cont_evaleasy2bb1in(A),0,[evaleasy2returnin(A)],[]).
eq(evaleasy2bb1in(A,B,C),1,[evaleasy2bbin(A,B,C)],[A>=1]).
eq(evaleasy2bbin(A,B,C),1,[evaleasy2bb1in(A-1,B,C)],[]).
eq(evaleasy2bb1in(A,B,A),1,[],[B=0,0>=A]).