Added BisimulationChecker with required methods