Fixed branch partitioning issues in RELAX.bf