Add function_id parameter to add_array_to_length_association

This is in preparation to giving the function_id to the function
generating fresh java symbols.

Author: romainbrenguier

jbmc/src/java_bytecode/java_object_factory.cpp

@@ -479,7 +479,7 @@ void initialize_nondet_string_fields(
     array_pointer, data_expr, symbol_table, loc, function_id, code);
 
   add_array_to_length_association(
-    data_expr, length_expr, symbol_table, loc, code);
+    data_expr, length_expr, symbol_table, loc, function_id, code);
 
   struct_expr.operands()[struct_type.component_number("data")] = array_pointer;
 

jbmc/src/java_bytecode/java_string_library_preprocess.cpp

@@ -567,7 +567,7 @@ refined_string_exprt java_string_library_preprocesst::make_nondet_string_expr(
     array_pointer, nondet_array_expr, symbol_table, loc, function_id, code);
 
   add_array_to_length_association(
-    nondet_array_expr, str.length(), symbol_table, loc, code);
+    nondet_array_expr, str.length(), symbol_table, loc, function_id, code);
 
   code.add(code_assignt(str.content(), array_pointer), loc);
 
@@ -713,12 +713,14 @@ void add_pointer_to_array_association(
 /// \param length: integer expression
 /// \param symbol_table: the symbol table
 /// \param loc: source location
+/// \param function_id: name of the function in which the code will be added
 /// \param [out] code: code block to which declaration and calls get added
 void add_array_to_length_association(
   const exprt &array,
   const exprt &length,
   symbol_table_baset &symbol_table,
   const source_locationt &loc,
+  const irep_idt &function_id,
   code_blockt &code)
 {
   const symbolt &return_sym = get_fresh_aux_symbol(

jbmc/src/java_bytecode/java_string_library_preprocess.h

@@ -361,6 +361,7 @@ void add_array_to_length_association(
   const exprt &length,
   symbol_table_baset &symbol_table,
   const source_locationt &loc,
+  const irep_idt &function_id,
   code_blockt &code);
 
 void add_character_set_constraint(