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 }