bisimilarity instead of bisimulation