It does sound a bit 'iffy' ...
I kept Royal Pythons for a good few years, and my mate had a 15 foot Burmese. The 15 footer would manage maybe a small to medium dog, at a push... but no way it could swallow an adult man ....
And unless I'm very much mistaken .. thats a Burmese Python in the photo.
I handled his regularly, ( the Python, before you get the wrong idea :wink: ) it would never have been able to lift either of us up, not a hope.
There's only a few Genus Pythonidae that would be fit for that ...
The African Rock Python, The Reticulated Python, and the Anaconda are the only three that spring immediately to mind.. these can get over 30 feet, and are capable of deer, caymans and the like..
They do have astonishing strength, particularly in 'compression' .. but do not actually kill by choking, they way a kill is achieved is by throwing body coils around the prey, and as the prey animal exhales, the coiling tightens that little bit, thus preventing an adequate volume of "breathing in". It doesn't take too many cycles of respiratory activity, before the victim can no longer inhale at all, and when this point is reached, death is basically moments away.
Although classified as 'constrictors', they don't 'squeeze the life' out of the victim animal as we tend to think.. the 'kill' is achieved as decribed above, as opposed to "damage by crushing."
A 13 footer would be incapable of ingesting a fully grown adult male human IMHO. Snakes dont chew, their jaws "unhinge" top& bottom, and each individual jaw is split to do similar, so it effectively looks like 'quarters' as it engulfs the prey animal. Whilst they can take in surprising bulk in relation to the size of their heads, a 13 footer's head is approximately the length of a smallish adult human hand and in no way capable of dealing with an entire adult human male.
The 'victim' has either seriously under-estimated the size of the snake, or has been at some 'exotic herbage' in his roll-ups. :wink: