fix(cmake): suppress clang warnings for smt2parser
fix(cmake): suppress clang warnings for smt2parser