todo: full update …
Structural Morphing to Preserve Semantics
From Structural Morphings to Conflict Graphs