let pretty_with_formals fmt kf = Format.fprintf fmt "@[Inputs (with formals) for function %a:@\n@[<hov 2> %a@]@]@\n" Kernel_function.pretty kf Zone.pretty (get_with_formals kf)