let pretty_internal fmt kf = Format.fprintf fmt "@[InOut (internal) for function %a:@\n%a@]@\n" Kernel_function.pretty_name kf InOutContext.pretty (get_internal kf)