Comment
Make sure to undo what we have done in previous test methods. Keep state
consistent.
New implementation - just for a prototype
Checking the new implementation to track unification.