core of bound approximation compiles. TODO: add generation of initial lower bounds, and integrate to the zephyrus workflow