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


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