Yes, the init stmt of the for loop is traversed prior to the body stmt, which might contains nested loops. But I would add test cases for them.