Remove insert_long which duplicates insert_int

Author: romainbrenguier

src/solvers/refinement/string_constraint_generator.h

@@ -185,7 +185,6 @@ class string_constraint_generatort final
     const exprt &offset);
   exprt add_axioms_for_insert(const function_application_exprt &f);
   exprt add_axioms_for_insert_int(const function_application_exprt &f);
-  exprt add_axioms_for_insert_long(const function_application_exprt &f);
   exprt add_axioms_for_insert_bool(const function_application_exprt &f);
   exprt add_axioms_for_insert_char(const function_application_exprt &f);
   exprt add_axioms_for_insert_float(const function_application_exprt &f);

src/solvers/refinement/string_constraint_generator_insert.cpp

@@ -99,16 +99,6 @@ exprt string_constraint_generatort::add_axioms_for_insert_int(
   return add_axioms_for_insert(res, s1, s2, offset);
 }
 
-/// add axioms corresponding to the StringBuilder.insert(J) java function
-/// \param f: function application with three arguments: a string, an
-///   integer offset and a long
-/// \return an expression
-exprt string_constraint_generatort::add_axioms_for_insert_long(
-  const function_application_exprt &f)
-{
-  return add_axioms_for_insert_int(f);
-}
-
 /// add axioms corresponding to the StringBuilder.insert(Z) java function
 /// \param f: function application with three arguments: a string, an
 ///   integer offset, and a Boolean

src/solvers/refinement/string_constraint_generator_main.cpp

@@ -411,7 +411,7 @@ exprt string_constraint_generatort::add_axioms_for_function_application(
   else if(id==ID_cprover_string_insert_int_func)
     res=add_axioms_for_insert_int(expr);
   else if(id==ID_cprover_string_insert_long_func)
-    res=add_axioms_for_insert_long(expr);
+    res = add_axioms_for_insert_int(expr);
   else if(id==ID_cprover_string_insert_bool_func)
     res=add_axioms_for_insert_bool(expr);
   else if(id==ID_cprover_string_insert_char_func)