2. The method of claim 1 , further comprising adding a detected missing case according to said labeling in said constraint model.
3. The method of claim 2 , further comprising generating a family of missing cases by grouping a plurality of missing cases utilizing one or more truth values of nodes of the constraint model.