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