__def_1(f(X1)) :- __def_3(X1).
__def_2(b).
__def_3(a).
eq(pair(X1,X2)) :- __def_2(X2), __def_1(X1).
sig(a).
sig(b).
sig(f(X)) :- sig(X).