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