Update liquidjava-verifier/src/main/java/liquidjava/processor/refinement_checker/general_checkers/MethodsFunctionsChecker.java

Co-authored-by: Ricardo Costa <rcosta.ms358@gmail.com>

Author: CatarinaGamboa

liquidjava-verifier/src/main/java/liquidjava/processor/refinement_checker/general_checkers/MethodsFunctionsChecker.java

@@ -307,7 +307,7 @@ private Map<String, String> checkInvocationRefinements(CtElement invocation, Lis
                 AuxStateHandler.checkTargetChanges(rtc, f, target, map, invocation);
 
             // Expose `_ == returnViName` so the if-condition path variable ties to this return value.
-            Predicate emptyRef = returnViName != null
+            Predicate returnRef = returnViName != null
                     ? Predicate.createEquals(Predicate.createVar(Keys.WILDCARD), Predicate.createVar(returnViName))
                     : new Predicate();
             invocation.putMetadata(Keys.REFINEMENT, emptyRef);