CMP.4:8 - Common Anti-Patterns and How to Avoid Them

Misstep exposed by the method	Consequence and repair
Exclude a branch because one completion failed	Another completion may work. Derive a conflict applying to the entire represented set or continue branching.
Use a predicted score as a bound	A better answer may be discarded. Keep the prediction as an ordering heuristic unless its bound property is established.
Prune ties while enumerating all optima	Distinct attaining answers disappear, as in the added-D case. Retain equality branches or use a separate complete enumeration.
Report interruption as impossibility	Unvisited alternatives remain. Return the candidate, remaining bounds and the limit on the conclusion.
Reuse a conflict after its domain changes	A newly feasible answer can be excluded. Reconsider the consequence with its original conditions.