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