let pp_userdef_title fmt d = let x = d.d_info.l_var_info.lv_name in match d.d_info.l_type with | Some _ -> Format.fprintf fmt "User-defined function %s" x | None -> Format.fprintf fmt "User-defined predicate %s" x