add_library(expr_test term_manager_test.cpp)