correct issue deep in OL Equivalence checker related to quantifiers.

Created by: SimonGuilloud

src/main/scala/lisa/automation/kernel/OLPropositionalSolver.scala

@@ -92,15 +92,11 @@ object OLPropositionalSolver {
 
   // Transform a sequent into a format more adequate for solving
   private def augmentSequent(s: Sequent): AugSequent = {
-    import lisa.utils.parsing.FOLPrinter.*
     val f = reducedForm(sequentToFormula(s))
     val atoms: scala.collection.mutable.Map[Formula, Int] = scala.collection.mutable.Map.empty
     AugSequent((Nil, Nil), f)
   }
 
-
-
-
   def reduceSequent(s: Sequent): Formula = {
     val p = simplify(sequentToFormula(s))
     val nf = computeNormalForm(p)