Rename

Author: rcosta358

liquidjava-verifier/src/main/java/liquidjava/diagnostics/errors/RefinementError.java

@@ -43,18 +43,18 @@ public String getCounterExampleString() {
 
         List<String> foundVarNames = new ArrayList<>();
         found.getValue().getVariableNames(foundVarNames);
-        String counterexampleExp = counterexample.assignments().stream()
+        String counterexampleString = counterexample.assignments().stream()
                 // only include variables that appear in the found value
                 .filter(a -> foundVarNames.contains(a.first()))
                 // format as "var == value"
                 .map(a -> a.first() + " == " + a.second())
                 // join with "&&"
                 .collect(Collectors.joining(" && "));
 
-        if (counterexampleExp.isEmpty() || counterexampleExp.equals(found.getValue().toString()))
+        if (counterexampleString.isEmpty() || counterexampleString.equals(found.getValue().toString()))
             return null;
 
-        return counterexampleExp;
+        return counterexampleString;
     }
 
     public Counterexample getCounterexample() {