(assert (bvand (_ bv0 1))