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