Hi Bohan, this LGTM now. I don't really like that we modify pred_widen_abd_plus twice but I guess that's very minor and can be understood as two separate fixes so is no blocker.
Please always specify how a patch was tested, we need this for every contribution (in particular as the CI is down right now). So before committing please make sure you tested it thoroughly and let us know. -- Regards Robin
