twothirdseq: are agents related both ways by 2/3 bisimulation preorder?

twothirdseq(A,B);