Perform various kinds of simplification to the given formula, in particular mini-scoping and eliminate of simple kinds of quantifiers
Perform various kinds of simplification to the given formula, in particular mini-scoping and eliminate of simple kinds of quantifiers
Hook for subclasses
Hook for subclasses
Even more extended version of the InputAbsy simplifier that also rewrites certain array expression.