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