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