mu-mmint: decision-based refinement (from decision tree)