Remove unused ContainingMap field from ValueInfo.
Kill off relation objects and front-load the relation analysis during instruction analysis.
Remove obsolete preCreateSpecialCaseResult method.
Optimize away lazy creation of AnalysisResults when they are guaranteed to be empty.
Inline relation handler functions, since they each have only a single, direct call point.
Also fix algorithm naming.
Replace repetitive MetaAnalysisStep subclasses with a template class.
Trivial line-breaking clean-up.
Generate graph traversal algorithms from templates.