Implement first version of estimating lower bounds in AECS