let local_scope m lx b p =
    let xs = List.filter Variables_analysis.is_to_scope lx in
    M.local_scope m.mem xs b p