eq(f0(A,B,C),1,[f12(1,1,1)],[]).
eq(f8(A,B,C),1,[f12(2,1,C)],[A=2]).
eq(f8(A,B,C),1,[f12(A,0,C)],[1>=A]).
eq(f8(A,B,C),1,[f12(A,0,C)],[A>=3]).