TestRunner: added test case for assignment simplification in do-while (#4881).