Stabilize clinit wrapper function type parameters

Many accesses to the function type would add an
ID_parameters if it is not there, which can cause
inconsistencies in irep comparisons.

Author: peterschrammel

src/java_bytecode/java_static_initializers.cpp

@@ -114,6 +114,9 @@ static void create_clinit_wrapper_symbols(
   symbolt wrapper_method_symbol;
   code_typet wrapper_method_type;
   wrapper_method_type.return_type() = void_typet();
+  // Ensure the parameters property is there
+  // to avoid trouble in irept comparisons
+  wrapper_method_type.parameters();
   wrapper_method_symbol.name = clinit_wrapper_name(class_name);
   wrapper_method_symbol.pretty_name = wrapper_method_symbol.name;
   wrapper_method_symbol.base_name = "clinit_wrapper";