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

Tempting move	Failure	Useful repair
Treat every abstract path as executable	Different steps can use incompatible representatives of one class.	Reconstruct the consecutive original states.
Return a growing partial result as all reachable states	Unprocessed transitions can add states.	Establish closure or report the limited exploration performed.
Strengthen independent ranges to recover a correlation	The relation is absent from the representation.	Retain a relational property or separate cases.
Widen at every combination	Extrapolation discards useful information where a finite join would suffice.	Locate the cyclic dependencies and choose a terminating update strategy there.
Keep an invariant after changing the transition	The invariant may exclude new executions.	Recalculate the affected operation and closure.