log/smt2perr134.smt2:1:10: expected '(' at 'and' before '(_ zero_extend'