regress/parser/btor2perr010.btor2:8:11: expected array term of sort '4'