Basic branch recovery, passes tests test_b1 and test_b2