__inter_____def__3(a).
__inter_eq(pair(X1,X2)) :- __inter_____def__1(X1), __inter_____def__2(X2).
__inter_____def__2(b).
__inter_sig(f(X1)) :- __inter_____def__2(X1).
__inter_sig(f(X1)) :- __inter_sig(X1).
__inter_sig(f(X1)) :- __inter_____def__1(X1).
__inter_____def__1(f(X1)) :- __inter_____def__3(X1).
% Definitions.
__def_2(X) :- __inter_____def__2(X).
__def_1(X) :- __inter_____def__1(X).
sig(X) :- __inter_____def__3(X).
sig(X) :- __inter_sig(X).
sig(X) :- __inter_____def__2(X).
sig(X) :- __inter_____def__1(X).
eq(X) :- __inter_eq(X).
__def_3(X) :- __inter_____def__3(X).