Make
module W : sig ... end
val process_global_init : W.t_env -> Frama_c_kernel.Cil_types.kernel_function -> W.t_prop -> W.t_prop