mu-mmint: Fix complete model constraint for may encodings