mayeq: are two agents may equivalent, i.e. trace equivalent?

mayeq(A,B);