Module SvD.MSetDecideAuxiliary