Module SvD.MSetDecideTestCases