Avoided redefinitions of variables