Visitor: Support integer to bitvector conversion in CVC4

Author: daniel-raffler

src/org/sosy_lab/java_smt/solvers/cvc4/CVC4FormulaCreator.java

@@ -438,6 +438,7 @@ private Expr normalize(Expr operator) {
           .put(Kind.LEQ, FunctionDeclarationKind.LTE)
           .put(Kind.GT, FunctionDeclarationKind.GT)
           .put(Kind.GEQ, FunctionDeclarationKind.GTE)
+          .put(Kind.INT_TO_BITVECTOR, FunctionDeclarationKind.INT_TO_BV)
           // Bitvector theory
           .put(Kind.BITVECTOR_PLUS, FunctionDeclarationKind.BV_ADD)
           .put(Kind.BITVECTOR_SUB, FunctionDeclarationKind.BV_SUB)