log/smt2perr136.smt2:3:1: expected ')' to close '(_ rotate_left' at end-of-file