(assert (forall ((V (Array (_ BitVec 64) (_ BitVec 64)))) false))