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
Merge pull request #2167 from monarchdodra/pointsTo

Fix issues 9975 & 12479