I can switch to elif, but it will result in an (apparent) branch miss although that branch would be unreachable due to the assert.