(assert (let (($a (_ bv1 1)))))