Module Dec.MSetDecideTestCases