(assert (or (_ bv0 2)))