let local_scope frame lx b p = let mframe = frame.mframe in let mvars = List.filter (fun x -> not (Vaddr.is_funvar x)) lx in M.local_scope mframe mvars b p