Fix CI

.gitignore

@@ -8,5 +8,6 @@ project/metals.sbt
 .bsp
 .bloop
 target
+*.scala.semanticdb
 
 *.iml

src/main/scala/lisa/kernel/fol/CommonDefinitions.scala

@@ -16,7 +16,7 @@ private[fol] trait CommonDefinitions {
   /**
    * An labelled node for tree-like structures.
    */
-  protected trait Label[A <: Label[A]] extends Ordered[A] {
+  protected trait Label {
     val id: String
   }
 

src/main/scala/lisa/kernel/fol/FormulaLabelDefinitions.scala

@@ -10,7 +10,7 @@ private[fol] trait FormulaLabelDefinitions extends CommonDefinitions {
    * It similar as with terms; they denote the Predicates and logical connector themselves, and not the terms they help forming.
    * They label the nodes of a tree that defines a formula.
    */
-  sealed abstract class FormulaLabel extends Label[FormulaLabel] {
+  sealed abstract class FormulaLabel extends Label with Ordered[FormulaLabel] {
     def priority: Int = this match {
       case _: ConstantPredicateLabel => 1
       case _: SchematicPredicateLabel => 2

src/main/scala/lisa/kernel/fol/TermLabelDefinitions.scala

@@ -11,7 +11,7 @@ private[fol] trait TermLabelDefinitions extends CommonDefinitions {
    * For example, Powerset is not a term itself, it's a label for a node with a single child in a tree corresponding to a term.
    * In logical terms, those labels are essentially symbols of sme language.
    */
-  sealed abstract class TermLabel extends Label[TermLabel] {
+  sealed abstract class TermLabel extends Label with Ordered[TermLabel] {
     def priority: Int = this match {
       case _: VariableLabel => 1
       case _: ConstantFunctionLabel => 2