eq(evalwcet1start(A,B,C,D),1,[evalwcet1entryin(A,B,C,D)],[]).
eq(evalwcet1entryin(A,B,C,D),1,[evalwcet1returnin(A,B,C,D)],[0>=A]).
eq(evalwcet1returnin(A,B,C,D),1,[evalwcet1stop(A,B,C,D)],[]).
eq(evalwcet1entryin(A,B,C,D),1,[evalwcet1bbin(A,0,A,D,E,F,G,H,I),loop_cont_evalwcet1bbin(F,G,H,I)],[E=0,A>=1]).
eq(evalwcet1entryin(A,B,C,D),1,[evalwcet1bbin(A,0,A,D,E,F,G,H,I)],[E=1,A>=1]).
eq(loop_cont_evalwcet1bbin(A,B,C,D),0,[evalwcet1returnin(A,B,C,D)],[]).
eq(evalwcet1bbin(A,B,C,D,E,F,G,H,I),1,[evalwcet1bb1in(A,B,C,D,E,F,G,H,I)],[0>=J+1]).
eq(evalwcet1bbin(A,B,C,D,E,F,G,H,I),1,[evalwcet1bb1in(A,B,C,D,E,F,G,H,I)],[J>=1]).
eq(evalwcet1bbin(A,B,C,D,E,F,G,H,I),1,[evalwcet1bb4in(A,B,C,D,E,F,G,H,I)],[]).
eq(evalwcet1bb1in(A,B,C,D,E,F,G,H,I),1,[evalwcet1bb6in(A,B,C,0,E,F,G,H,I)],[B+1>=A]).
eq(evalwcet1bb1in(A,B,C,D,E,F,G,H,I),1,[evalwcet1bb6in(A,B,C,B+1,E,F,G,H,I)],[A>=B+2]).
eq(evalwcet1bb4in(A,B,C,D,E,F,G,H,I),1,[evalwcet1bb5in(A,B,C,D,E,F,G,H,I)],[1>=B]).
eq(evalwcet1bb4in(A,B,C,D,E,F,G,H,I),1,[evalwcet1bb6in(A,B,C,B-1,E,F,G,H,I)],[B>=2]).
eq(evalwcet1bb6in(A,B,C,D,E,F,G,H,I),1,[evalwcet1bbin(A,D,C-1,D,E,F,G,H,I)],[C>=2]).
eq(evalwcet1bb5in(A,B,C,D,E,F,G,H,I),1,[evalwcet1bb6in(A,B,C,0,E,F,G,H,I)],[]).
eq(evalwcet1bb6in(A,B,C,D,E,A,B,C,D),1,[],[E=0,1>=C]).