replaced bisimulation with the correct term bisimilarity