Remove Unused Imports

Author: rcosta358

liquidjava-verifier/src/main/java/liquidjava/processor/refinement_checker/VCChecker.java

@@ -23,7 +23,6 @@
 import liquidjava.smt.SMTResult;
 import liquidjava.utils.Utils;
 import liquidjava.utils.constants.Keys;
-import liquidjava.utils.Utils;
 import spoon.reflect.cu.SourcePosition;
 import spoon.reflect.declaration.CtElement;
 import spoon.reflect.factory.Factory;

liquidjava-verifier/src/main/java/liquidjava/rj_language/opt/VCSimplificationResult.java

@@ -2,8 +2,6 @@
 
 import java.util.ArrayList;
 import java.util.List;
-import java.util.Objects;
-
 import liquidjava.processor.VCImplication;
 
 /**

liquidjava-verifier/src/main/java/liquidjava/smt/TranslatorToZ3.java

@@ -3,7 +3,6 @@
 import com.microsoft.z3.ArithExpr;
 import com.microsoft.z3.ArrayExpr;
 import com.microsoft.z3.BoolExpr;
-import com.microsoft.z3.EnumSort;
 import com.microsoft.z3.Expr;
 import com.microsoft.z3.FPExpr;
 import com.microsoft.z3.FuncDecl;

liquidjava-verifier/src/test/java/liquidjava/api/tests/TestCounterexamples.java

@@ -86,7 +86,7 @@ private static RefinementError verify(String test) {
         CommandLineLauncher.launch(TEST_SUITE + test);
         List<LJError> errors = Diagnostics.getInstance().getErrors().stream().toList();
         assertEquals(1, errors.size(), "Expected exactly one error from " + test);
-        return assertInstanceOf(RefinementError.class, errors.getFirst());
+        return assertInstanceOf(RefinementError.class, errors.get(0));
     }
 
     @SafeVarargs

liquidjava-verifier/src/test/java/liquidjava/api/tests/TestExamples.java

@@ -13,8 +13,6 @@
 
 import liquidjava.api.CommandLineLauncher;
 import liquidjava.diagnostics.Diagnostics;
-import liquidjava.diagnostics.errors.*;
-
 import liquidjava.diagnostics.errors.LJError;
 import liquidjava.utils.Pair;