log/smt2perr066.smt2:2:9: list with 2 expressions