mu-mmint: Bandaid fix for alternative-based refinement