Checking for shadowed variables