transformation-verifier

Verifies that code slob that was transformed into clean code does not modify the original behavior o