let width_of a =
  if Term.is_var a then
    let n = Term.name_of a in
    try
      match Symtab.lookup n s.symtab with
        | Symtab.Arity(i) -> Some(i)
        | _ -> None
    with
        Not_found -> None
  else
    Bitvector.width a