In the Bitwuzla formula visitor remove symbol quotes when a free variable is visited

Author: daniel-raffler

src/org/sosy_lab/java_smt/solvers/bitwuzla/BitwuzlaFormulaCreator.java

@@ -401,7 +401,7 @@ public <R> R visit(FormulaVisitor<R> visitor, Formula formula, Term f)
       return visitor.visitConstant(formula, convertValue(f));
     } else if (f.is_const()) {
       String name = f.symbol();
-      return visitor.visitFreeVariable(formula, name);
+      return visitor.visitFreeVariable(formula, dequote(name));
 
     } else if (f.is_variable()) {
       String name = f.symbol();