log/smt2perr008.smt2:3:9: assert argument is an array and not a formula