log/smt2perr139.smt2:1:10: expected '(' at '=' before '(_ extract'