Duplicate pointsTo as "doesPointTo"
Implement "isUnionAliased"
Re-implement "pointsTo" as "doesPointTo"
Rename pointTo as doesPointTo, insert deprecated alias
Change pointsTo to mayPointTo and doesPointTo
Rewrite pointsTo documentation
va_list fix for win64
Merge pull request #2199 from yebblies/valisttype

Do not make assumptions about the type of va_list (win64 edition)
Merge pull request #2167 from monarchdodra/pointsTo

Fix issues 9975 & 12479