I wonder if there is any difference in the meaning between "1" and "2".
1. They struck him in the neck, leaving him to choke.
2. They struck him in the neck, leaving him choking.
I would say there is a difference:
1. When they left, he had not started choking but the suggestion is that he would start to choke after they had gone, due to his having been struck in the neck.
2. When they left, he had already started choking. He was still doing so when they left.