Constraint Suspension
M1
M3
A1
A2
X
Y
Z
F
G
A
B
D
E
C
3
2
2
3
3
6
6
F
12
6
12
10
12
Removing constraint for M2
does not eliminate the
discrepancy, so {M2} is not a diagnosis.
M2