starting iterativeStmt semantics, requires modifying condition as well