eq(f1(A,B,C),1,[f2(A,B,B+1,D,E,F,G),loop_cont_f2(E,F,G)],[D=0,A>=B,A>=1,B>=1]).
eq(f1(A,B,C),1,[f2(A,B,B+1,D,E,F,G)],[D=1,A>=B,A>=1,B>=1]).
eq(f2(A,B,C,D,E,F,G),1,[f3(A,B,C,D,E,F,G)],[B>=C+1]).
eq(f2(A,B,C,D,E,F,G),1,[f3(A,B,C,D,E,F,G)],[C>=B+1]).
eq(f3(A,B,C,D,E,F,G),1,[f2(A,B,0,D,E,F,G)],[A+1>=0,C>=1,C>=A+1]).
eq(f3(A,B,C,D,E,F,G),1,[f2(A,B,C+1,D,E,F,G)],[A>=C,C+1>=0]).
eq(f2(A,B,C,D,A,B,C),0,[],[D=1]).