Module WDecide.MSetDecideTestCases