let is_zero a =
  match d_interp a with
    | Some(Const b, []) -> Bitv.all_zeros b
    | _ -> false