let wp_scope wenv vars scope obj =
    Wp_parameters.debug ~level:3 "[wp_scope] %s : %a@."
      (match scope with
         | Mcfg.SC_Global -> "global"
         | Mcfg.SC_Block_in -> "block in"
         | Mcfg.SC_Block_out -> "block out"
         | Mcfg.SC_Function_in -> "function in"
         | Mcfg.SC_Function_frame -> "function frame"
         | Mcfg.SC_Function_out -> "function out" )
      (Pretty_utils.pp_list  ~sep:", " !Ast_printer.d_var) vars;
    W.scope wenv vars scope obj