let wp_scope wenv vars scope obj =
debug "[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