The code in both branches of the if statement is the same except for the assert.