Review Refactor Equivalence

Check that a refactoring keeps behaviour, by comparing the paths before and after.

• code
• check