Walk the path and warn if this is a mutated normal variable that's referenced inside a function scope