diff --git a/lisa-front/src/test/scala/lisa/front/FrontMacroTests.scala b/lisa-front/src/test/scala/lisa/front/FrontMacroTests.scala
index 0c50fac48d65d3ecb05064411b76b7ac0d66c3dd..1f13351ed4e09e877666c8e1e992a28c312079e2 100644
--- a/lisa-front/src/test/scala/lisa/front/FrontMacroTests.scala
+++ b/lisa-front/src/test/scala/lisa/front/FrontMacroTests.scala
@@ -1,6 +1,6 @@
 package lisa.front
 
-import lisa.front.{_, given}
+import lisa.front.{*, given}
 import org.scalatest.funsuite.AnyFunSuite
 
 import scala.language.adhocExtensions
diff --git a/lisa-front/src/test/scala/lisa/front/UnificationTests.scala b/lisa-front/src/test/scala/lisa/front/UnificationTests.scala
index 26103982bae86ac4eb44d61a3d3445290c2c168e..3c399541e42580a4f8b596eb19b8c639b6ba6fca 100644
--- a/lisa-front/src/test/scala/lisa/front/UnificationTests.scala
+++ b/lisa-front/src/test/scala/lisa/front/UnificationTests.scala
@@ -4,7 +4,7 @@ import lisa.front.fol.FOL.LabelType
 import lisa.front.fol.FOL.WithArityType
 import lisa.front.printer.FrontPositionedPrinter
 import lisa.front.printer.FrontPrintStyle
-import lisa.front.{_, given}
+import lisa.front.{*, given}
 import org.scalatest.Ignore
 import org.scalatest.funsuite.AnyFunSuite
 
diff --git a/lisa-utils/src/test/scala/lisa/kernel/FolTests.scala b/lisa-utils/src/test/scala/lisa/kernel/FolTests.scala
index c3e944f384a128592c3c19db01590b8c3a0c21b8..3de689b82444a090c144890ec5fa071d48f3c207 100644
--- a/lisa-utils/src/test/scala/lisa/kernel/FolTests.scala
+++ b/lisa-utils/src/test/scala/lisa/kernel/FolTests.scala
@@ -6,7 +6,7 @@ import lisa.kernel.proof.RunningTheory.*
 import lisa.kernel.proof.SCProof
 import lisa.kernel.proof.SCProofChecker
 import lisa.kernel.proof.SequentCalculus.*
-import lisa.utils.Helpers.{_, given}
+import lisa.utils.Helpers.{*, given}
 import lisa.utils.Printer
 import org.scalatest.funsuite.AnyFunSuite
 
diff --git a/lisa-utils/src/test/scala/lisa/kernel/InvalidProofPathTests.scala b/lisa-utils/src/test/scala/lisa/kernel/InvalidProofPathTests.scala
index 1bf566e3b477295a18305539a7486eae43107baf..d62ef6adae16d4cc3cce902ade1685ee2cfd817b 100644
--- a/lisa-utils/src/test/scala/lisa/kernel/InvalidProofPathTests.scala
+++ b/lisa-utils/src/test/scala/lisa/kernel/InvalidProofPathTests.scala
@@ -4,7 +4,7 @@ import lisa.kernel.proof.SCProofCheckerJudgement.SCInvalidProof
 import lisa.kernel.proof.SequentCalculus.*
 import lisa.kernel.proof.*
 import lisa.test.ProofCheckerSuite
-import lisa.utils.Helpers.{_, given}
+import lisa.utils.Helpers.{*, given}
 
 class InvalidProofPathTests extends ProofCheckerSuite {
   def checkPath(invalidProof: SCProof, expectedPath: Seq[Int]): Unit = {
diff --git a/lisa-utils/src/test/scala/lisa/kernel/ProofTests.scala b/lisa-utils/src/test/scala/lisa/kernel/ProofTests.scala
index d00afd8968387ea163b9a40397d7d9cc756d3a96..c5ba765c5a6022df84aa9a99cf128055dfff78ec 100644
--- a/lisa-utils/src/test/scala/lisa/kernel/ProofTests.scala
+++ b/lisa-utils/src/test/scala/lisa/kernel/ProofTests.scala
@@ -6,7 +6,7 @@ import lisa.kernel.proof.RunningTheory.*
 import lisa.kernel.proof.SCProof
 import lisa.kernel.proof.SCProofChecker
 import lisa.kernel.proof.SequentCalculus.*
-import lisa.utils.Helpers.{_, given}
+import lisa.utils.Helpers.{*, given}
 import lisa.utils.Printer
 import org.scalatest.funsuite.AnyFunSuite
 
diff --git a/lisa-utils/src/test/scala/lisa/test/ProofCheckerSuite.scala b/lisa-utils/src/test/scala/lisa/test/ProofCheckerSuite.scala
index 4a989fa25d0b6d5bb6bdec5f1585ab99e0681f88..50212e1a7df0445b9ea44b1b940bfe1d80d40cd6 100644
--- a/lisa-utils/src/test/scala/lisa/test/ProofCheckerSuite.scala
+++ b/lisa-utils/src/test/scala/lisa/test/ProofCheckerSuite.scala
@@ -6,7 +6,7 @@ import lisa.kernel.proof.SCProofCheckerJudgement
 import lisa.kernel.proof.SCProofCheckerJudgement.SCInvalidProof
 import lisa.kernel.proof.SequentCalculus.Sequent
 import lisa.kernel.proof.SequentCalculus.isSameSequent
-import lisa.utils.Helpers.{_, given}
+import lisa.utils.Helpers.{*, given}
 import lisa.utils.Printer
 import org.scalatest.funsuite.AnyFunSuite
 
diff --git a/lisa-utils/src/test/scala/lisa/test/TestTheoryAxioms.scala b/lisa-utils/src/test/scala/lisa/test/TestTheoryAxioms.scala
index 151fdbb13bad568639c7cc65dd9d32dae8d45bb8..fe7678b850d0e741268c4bfecb1e3716574923c4 100644
--- a/lisa-utils/src/test/scala/lisa/test/TestTheoryAxioms.scala
+++ b/lisa-utils/src/test/scala/lisa/test/TestTheoryAxioms.scala
@@ -2,7 +2,7 @@ package lisa.test
 
 import lisa.kernel.fol.FOL.*
 import lisa.kernel.proof.RunningTheory
-import lisa.utils.Helpers.{_, given}
+import lisa.utils.Helpers.{*, given}
 
 trait TestTheoryAxioms {
   final val p1 = ConstantPredicateLabel("p1", 1)