let is_const c a =
  try Bitv.equal (d_const a) c with Not_found -> false