let local_scope _env _vars scope p =
      match scope with
        | Mcfg.SC_Block_in | Mcfg.SC_Function_in -> (* TODO *) p
        | _ -> p