log/smt2perr127.smt2:1:9: unexpected keyword ':status'