add_library(equations_compiler OBJECT
  equations.cpp util.cpp pack_domain.cpp
  structural_rec.cpp unbounded_rec.cpp
  elim_match.cpp compiler.cpp init_module.cpp)
