mu-mmint: Enable counterexamples for all mavo models (not working yet)