M TestSimplification - now uses AssertClass