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