add_library(smt2_frontend OBJECT init_module.cpp scanner.cpp parser.cpp elaborator.cpp)
