If I'm understanding the current algorithm correctly, it seems like in this case (and some other similar cases below), it should be an error for `addElementInsert()` to return false at this point (because we should have caught that earlier and made it a move). I wonder if it's worth asserting that.