Add David Greenspan's "global dotted refs" static analysis.