Completed test for divergent branch