Readd bisimilarity to index.