add_library(expr 
  term_ops.cpp 
  term.cpp 
  integer.cpp
  rational.cpp 
  algebraic_number.cpp 
  bitvector.cpp
  value.cpp
  term_manager_internal.cpp 
  term_manager.cpp
  type_computation_visitor.cpp
  model.cpp
  gc_participant.cpp
  gc_relocator.cpp
)