let externalize kf x = if Kernel_function.is_definition kf then let fundec = Kernel_function.get_definition kf in Zone.filter_base (fun v -> not (Base.is_formal_or_local v fundec)) x else x