Test whether the proposed mapping preserves the required relations/operations/invariants and actively search for a minimal counterexample to preservation.
