let externalize fundec =
match fundec with
| Definition (fundec,_) ->
Zone.filter_base
(fun v -> not (Base.is_formal_or_local v fundec))
| Declaration (_,vd,_,_) ->
Zone.filter_base
(fun v -> not (Base.is_formal_of_prototype v vd))