regress/parser/smt2perr057.smt2:1:19: missing value for ':status'