ti(G_0, (A_0,b=b)) :-
   G_0 = (C_0,A_0),
   C_0 = (c=c),
   A_0 = (a=a).

:- initialization(\+ ( ti(G_0,_), G_0 ) ).