Added an assymetric transitivity to examples/t.tt