let width a =
  if Term.is_var a then None else
    Sym.width (Term.sym_of a)