Fix Instance Variable Leak Between Methods

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

@@ -0,0 +1,17 @@
+package testSuite;
+
+import liquidjava.specification.Refinement;
+
+public class ErrorRecursiveSiblingParameter {
+
+    int fibonacci(@Refinement("_ > 0") int n) {
+        if (n == 1)
+            return 1;
+        else
+            return fibonacci(n - 1) + fibonacci(n - 2); // Refinement Error
+    }
+
+    int factorial(@Refinement("_ > 0") int n) {
+        return n * factorial(n - 1); // Refinement Error
+    }
+}

liquidjava-verifier/src/main/java/liquidjava/processor/context/Context.java

@@ -40,6 +40,10 @@ public static Context getInstance() {
     public void reinitializeContext() {
         ctxVars = new Stack<>();
         ctxVars.add(new ArrayList<>()); // global vars
+        clearInstanceVariables();
+    }
+
+    public void clearInstanceVariables() {
         ctxInstanceVars = new ArrayList<>();
     }
 

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

@@ -105,6 +105,7 @@ public <A extends Annotation> void visitCtAnnotationType(CtAnnotationType<A> ann
 
     @Override
     public <T> void visitCtConstructor(CtConstructor<T> constructor) {
+        context.clearInstanceVariables();
         context.enterContext();
         mfc.loadFunctionInfo(constructor);
         try {
@@ -117,6 +118,7 @@ public <T> void visitCtConstructor(CtConstructor<T> constructor) {
     }
 
     public <R> void visitCtMethod(CtMethod<R> method) {
+        context.clearInstanceVariables();
         context.enterContext();
         if (!method.getSignature().equals("main(java.lang.String[])")) {
             mfc.loadFunctionInfo(method);