Fixed a bug in the DDG lower bound estimator. Keep on debugging...