else "`" ^ string_of_int (n-lev) in
let rec string_of_term_w_pars lev l = function
| `Var(n,ar) -> varname lev l n ^ (if debug_display_arities then ":" ^ string_of_int ar else "")
else "`" ^ string_of_int (n-lev) in
let rec string_of_term_w_pars lev l = function
| `Var(n,ar) -> varname lev l n ^ (if debug_display_arities then ":" ^ string_of_int ar else "")