regress/parser/btor2perr002.btor2:5:1: unexpected end of file