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