Handle varargs functions.
Put RelationHandler in its own translation unit since there are no inlining opportunities anymore.
Implement LazyAndersenAliasAnalysis::alias().
Implement LazyAndersenAliasAnalysis::pointsToConstantMemory.
Special-case handling of more intrinsics.