Improve herbidization and skolemization processes #7
Description
Sufficiently complex formulas that require multiple levels seem to have issues in the resolution process when matching the free terms
{{ message }}
Sufficiently complex formulas that require multiple levels seem to have issues in the resolution process when matching the free terms