added two new tests cases for overwriting tainted variables in loops