log/smt2perr079.smt2:3:10: first argument of '=' is an array but argument 3 is not