Tweaks and fixes for RRE by recursive bipartitioning
More tweaks and fixes for RREBP