I always thought that the snakes killed their prey before eating--perhaps to avoid this type of occurence. Live critters moving around in a belly can't feel too good!
You get used to it.
The back legs of alligators can keep moving even after they're dead. The claws on its back feet could have very easily punctured the snake's belly and totally ripped it a new one.