simulation equivalence does not imply bisimulation

Tags: bisimulation, Simulation simplifies bisimulation