Exclude Static Final Constants from Instance Field Ghosts (#313)

Author: rcosta358

liquidjava-example/src/main/java/testSuite/CorrectStaticFinalUsedAsArgument.java

@@ -0,0 +1,11 @@
+import liquidjava.specification.Refinement;
+
+public class CorrectStaticFinalUsedAsArgument {
+    private static final int BUFFER = 64;
+
+    static void use(@Refinement("_ > 0") int n) {}
+
+    public static void main(String[] args) {
+        use(BUFFER);
+    }
+}

liquidjava-verifier/src/main/java/liquidjava/processor/ann_generation/FieldGhostsGeneration.java

@@ -26,7 +26,8 @@ public Factory getFactory() {
 
     @Override
     public <T> void visitCtClass(CtClass<T> ctClass) {
-        ctClass.getDeclaredFields().stream().filter(fld -> fld.getType().getQualifiedName().equals("int"))
+        ctClass.getDeclaredFields().stream()
+                .filter(fld -> !(fld.isStatic() && fld.isFinal()) && fld.getType().getQualifiedName().equals("int"))
                 .forEach(fld -> {
                     CtTypeReference<?> fldType = fld.getType();
                     CtAnnotation<?> genAnn = factory.createAnnotation(factory.createCtTypeReference(Ghost.class));