let raw_get_external ~with_formals kf =
  let internals = get_internal kf in
  let filter = externalize ~with_formals kf in

  { Inout_type.over_inputs_if_termination =
      (let r =
        filter internals.Inout_type.over_inputs_if_termination
      in
(*      Format.printf "filtered -> %a@." Zone.pretty r; *)
      r);
    under_outputs_if_termination =
      filter internals.Inout_type.under_outputs_if_termination;
    over_inputs = filter internals.Inout_type.over_inputs }