You're assuming in claim A that your node knows about all abandoned chains. Like I said, that's impossible because nodes don't have total information. I'll simplify and strengthen my claim for you: it's impossible to find all reversed transactions.

The comment I was replying to claimed that transactions can never be reversed. I'm just highlighting how this represents a poor understanding of how Bitcoin really works.