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