BisimIsEquality works with fixed universe, tried to do the same with MonicSetPresent