Finished register mapping recovery in branches, passes test_b5