let get_external =
  Externals.memo
    (fun kf ->
       let internals = get_internal kf in
       let filter = externalize kf.fundec in

         { Inout_type.over_inputs_if_termination = filter internals.Inout_type.over_inputs_if_termination;
           under_outputs_if_termination = filter internals.Inout_type.under_outputs_if_termination;
           over_inputs = filter internals.Inout_type.over_inputs })