branchingeq: are agents branching bisimilar?

branchingeq(A,B);