sig
  module Make :
    functor (W : Mcfg.S->
      sig
        val process_global_init :
          W.t_env -> Cil_types.kernel_function -> W.t_prop -> W.t_prop
      end
end