Code

Migrate top-level checks to the new parser/analyzer.