log/smt2perr057.smt2:1:19: value after ':status' missing