Only emitting side_conditions if all occurrences of the same variable are equal

Author: Robertorosmaninho

matching/src/main/scala/org/kframework/backend/llvm/matching/Matrix.scala

@@ -773,6 +773,10 @@ class Matrix private (
       // if there is no side condition, continue
       case None => nonlinearLeaf
       case Some(cond) =>
+        // print nonLinearLeaf to stderr
+        System.err.println(nonlinearLeaf)
+        // if there is a side condition but not all occurrences of the same variable are equal, continue
+        //if (nonlinear.nonEmpty) return nonlinearLeaf
         val condVars = cond.map(v => (grouped(v).head._2, grouped(v).head._1.hookAtt))
         val newO     = SC(row.clause.action.ordinal)
         // evaluate the side condition and if it is true, continue, otherwise go to the next row