log/smt2perr071.smt2:2:13: argument 1 of '=>' is an array term