greenimi - Sure, when you write it that way. I do dislike this figure, as discussed previously.
I should have fallen back to an investigative method I suggested before, which is to envision the gauge required for each case and see if there would be any difference between them. This avoids trying to figure out which part variations are compliant in favor of looking at the compliance criteria. Since the simulator for C{M} is identical to the one that verifies the slot location, there is no difference, so I agree.
If [-D-] is changed to be controlled by [A|B(M)|C], in which case the gauges would not be the same for the removal of C.