regress/parser/smt2perr158.smt2:2:8: expected term