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