I have seen them ants eating up dead lizards rarely in our patio but unlike the video which showed it all.
My cats seldomly hunt them, and few of them left dead so I just leave it be and allow fire ants to clean them up for me. lol Those fire ants are rather little ones just like those you see on this videoclip. They don't smell that much, really.
Lizards seldomly crawled under the patio door so that's how cats accessed to them sometime. Sometimes I had to prevent my cats to free them away.
Yesterday one of them jumped on my right leg and felt like very ticklish, and I swayed it off immediately. It was a light brown lizard so it must be the Cuban or Puerto Rican lizard. (little darker than the one in this videoclip)