let is_bvbdd a =
  is_zero a || is_one a || is_bitwise a