eq(evalSimpleSingle2start(A,B,C,D),1,[evalSimpleSingle2entryin(A,B,C,D)],[]).
eq(evalSimpleSingle2returnin(A,B,C,D),1,[evalSimpleSingle2stop(A,B,C,D)],[]).
eq(evalSimpleSingle2entryin(A,B,C,D),1,[evalSimpleSingle2bb4in(0,0,C,D,E,F,G,H,I),loop_cont_evalSimpleSingle2bb4in(F,G,H,I)],[E=0]).
eq(evalSimpleSingle2entryin(A,B,C,D),1,[evalSimpleSingle2bb4in(0,0,C,D,E,F,G,H,I)],[E=1]).
eq(loop_cont_evalSimpleSingle2bb4in(A,B,C,D),0,[evalSimpleSingle2returnin(A,B,C,D)],[]).
eq(evalSimpleSingle2bb4in(A,B,C,D,E,F,G,H,I),1,[evalSimpleSingle2bbin(A,B,C,D,E,F,G,H,I)],[0>=J+1]).
eq(evalSimpleSingle2bb4in(A,B,C,D,E,F,G,H,I),1,[evalSimpleSingle2bbin(A,B,C,D,E,F,G,H,I)],[J>=1]).
eq(evalSimpleSingle2bbin(A,B,C,D,E,F,G,H,I),1,[evalSimpleSingle2bb1in(A,B,C,D,E,F,G,H,I)],[C>=B+1]).
eq(evalSimpleSingle2bbin(A,B,C,D,E,F,G,H,I),1,[evalSimpleSingle2bb2in(A,B,C,D,E,F,G,H,I)],[B>=C]).
eq(evalSimpleSingle2bb1in(A,B,C,D,E,F,G,H,I),1,[evalSimpleSingle2bb4in(A+1,B+1,C,D,E,F,G,H,I)],[]).
eq(evalSimpleSingle2bb2in(A,B,C,D,E,F,G,H,I),1,[evalSimpleSingle2bb3in(A,B,C,D,E,F,G,H,I)],[D>=A+1]).
eq(evalSimpleSingle2bb3in(A,B,C,D,E,F,G,H,I),1,[evalSimpleSingle2bb4in(A+1,B+1,C,D,E,F,G,H,I)],[]).
eq(evalSimpleSingle2bb2in(A,B,C,D,E,A,B,C,D),1,[],[E=0,A>=D]).
eq(evalSimpleSingle2bb4in(A,B,C,D,E,A,B,C,D),1,[],[E=0]).