let pp_userdef_title fmt d =
let f = d.d_info in
let x = f.l_var_info.lv_name in
match f.l_type with
| Some _ ->
if f.l_tparams=[] && f.l_labels=[]
then Format.fprintf fmt "User-defined constant %s" x
else Format.fprintf fmt "User-defined function %s" x
| None ->
Format.fprintf fmt "User-defined predicate %s" x