Verified deprecated variables are not being redeclared