### Problem [Feature] Add an equivalence/normalisation engine. ### Proposed solution [Feature] Add an equivalence/normalisation engine. ### Alternatives considered _No response_ ### Extra context _No response_
Problem
[Feature] Add an equivalence/normalisation engine.
Proposed solution
[Feature] Add an equivalence/normalisation engine.
Alternatives considered
No response
Extra context
No response