That's not necessary in this case. Animations with different names don't replace another, so that a walking avatar can for example start waving and turn their head.
 Not stopping the same animation before restarting it just means that the old entry in the registry is not removed first before added again with new parameters. It just overwrites the entry for the previous animation instance, agnostic of the state the old animation instance was in.

It's true, from the point of view of the "story" that happens, the old animation would be stopped first, but in the implementation, it does not make any difference.