UnXFAIL Wester test_M2 and get rid of using nsimplify