Reduce scope of loop variables in `ec_ws.c`

[vil02]

Scope of some loop variables can be reduced in ec_ws.c.