Module Dec.MSetDecideAuxiliary