log/smt2perr035.smt2:2:20: 'Array' invalid for logic 'QF_BV'