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