The existing code already considered this case. Unfortunately a typo in the condition prevents it from triggering. Also the existing code, had it run, forgot to do the folding.
This fixes PR42876
That comment makes me nervous given the logic. Can we assert that N has one user and that user is a br?
The code is checking for '1' not '-1'.