**Describe the bug** Including nested equivalence and complex formulas equivalences
Describe the bug
Including nested equivalence and complex formulas equivalences