There are several terms sprinkled through literature. Random killing, excessive killing, etc. Personally I follow Oksanen et al. (1985) in calling it surplus killing.
Oksanen, T., Oksanen L., Fretwell SD. 1985. Surplus killing in the hunting strategy of small predators. Am. Nat. 126:328-346.
The example you have given, of a horse killing a snke, can either be accidental or anti-predatorial behavior.
I am using the term of crashing impact for invasive species over mollusk. I am preparing a paper about that assessment the mollusk crashing by horse, sheep, cow, goat, etc. in Cuba the terrestrial mollusk population of some specie is very high and common in rural areas. This type of impact never is considered
Interspecific killing is reported also without predation in carnivore guilds. Intraguild killing would the term over and beyond 'intraguild predation'.