Sorry for your situation OP. It's terrible all around but there should be consequences as the other person has lost a pet.
You bring up a good point though, and a solid case of speciesism. If this/a cat kills someone else' pet such as a bird, should it be called to put it down?
Someone mentioned that roaming cats don't do any harm. Far from the truth. I know people that have lost pet birds and rabbits due to neighbors allowing their cats to roam free. But because they were birds and rabbits, they were told to let it go.
e=mc^2
Gaming on: PS4 Pro, Switch, SNES Mini, Wii U, PC (i5-7400, GTX 1060)