mu-mmint: Temporary fix for alternative-based refinement

 * Remove decision after refinement
 * Need new refinement api to do it properly