Make mopsy work with new call signature for findCoresUnsat