Reverted Experiment and added new one.
Importing correct class (BisimulationCheckExperiment)