Add missing local declaration in recursive_initialization.cpp

Author: NlightNFotis

src/goto-harness/recursive_initialization.cpp

@@ -1008,6 +1008,7 @@ code_blockt recursive_initializationt::build_function_pointer_constructor(
 
   const auto function_pointer_selector =
     get_fresh_local_symexpr("function_pointer_selector");
+  body.add(code_declt{function_pointer_selector});
   body.add(
     code_assignt{function_pointer_selector,
                  side_effect_expr_nondett{function_pointer_selector.type(),