eq(f2(A,B,C,D,E,F,G,H),1,[f1(A,B,C,D,E,F,I,J,K,L,M,N,O,P,Q,R,S),loop_cont_f1(L,M,N,O,P,Q,R,S)],[K=0]).
eq(f2(A,B,C,D,E,F,G,H),1,[f1(A,B,C,D,E,F,I,J,K,L,M,N,O,P,Q,R,S)],[K=1]).
eq(f1(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q),1,[f1(A,B,R,S,T,F,G,H,I,J,K,L,M,N,O,P,Q)],[B>=1+A]).
eq(f1(A,B,C,D,E,F,G,H,I,A,B,J,K,E,L,G,H),1,[],[I=1,A>=B]).