mu-mmint: Fix counterexamples for all mavo models (part 1)
mu-mmint: Fix counterexamples for all mavo models (part 2)