While loops are now instrumented as expected.