let is_zero a =
  try Bitv.all_zeros (d_const a) with Not_found -> false