Functor CfgInit.Make

module Make: 
functor (W : Mcfg.S-> sig .. end
Parameters:
W : Mcfg.S

val process_global_init : W.t_env -> Cil_types.kernel_function -> W.t_prop -> W.t_prop