(assert (forall ((a Bool)) (bvadd #b00 #b11)))