Do not wrap parameter type in another pointer

In order to make the type of the argument match the type of the
parameter.

Author: Thomas Kiley

src/goto-harness/recursive_initialization.cpp

@@ -209,12 +209,12 @@ void recursive_initializationt::initialize(
       {
         const auto &fun_type_params =
           to_code_type(fun_symbol.type).parameters();
-        const typet &size_var_type = fun_type_params.back().type();
+        const pointer_typet *size_var_type =
+          type_try_dynamic_cast<pointer_typet>(fun_type_params.back().type());
+        INVARIANT(size_var_type, "Size parameter must have pointer type.");
         body.add(code_function_callt{
           fun_symbol.symbol_expr(),
-          {depth,
-           address_of_exprt{lhs},
-           null_pointer_exprt{pointer_type(size_var_type)}}});
+          {depth, address_of_exprt{lhs}, null_pointer_exprt{*size_var_type}}});
       }
       return;
     }