ForStmt: test if loop cond is true on first iteration

Given this for loop: