Update AOT after changes to SeqPoint in 488888ce612491aca1c97f79ddbad685302d43cc.