* Correct bug related to instantiatePredicateSchemas not instantiating variable formulas

* Corrected bug linked to the equivalence checker no distinguishing schematic and constant symbols

* removed the display parameter from kernel subproofs

* Removed display option from subproof. Add back the missing RewriteTrue case in the printer. Correct issue with equivalence checker.

* scalafix