Simplified the ShadowingVariables analysis class.