[Coverage] Handle non-local exits out of DoStmt's properly (#3114)
First, assign counter expressions to the DoStmt and its body. Next,
fix the count associated to the DoStmt when handling a non-local exit.
This fixes SR-1850.
(cherry picked from commit 348b78a4408013c94d65b7d3ec5adca9d20ac240)