The minimal depth strong bisimulation algorithm ignores the hidden action map (--tau=)

[mlaveaux]

There are examples that I cannot share, but another example should be findable, that shows that the strong bisimulation algorithm that is used to construct counter examples yields a different result than the GJKW one. Further investigation shows that this is because it does not consider hidden actions to be equal to tau.