Fix Issue 9975 - pointsTo asserts because of false pointer in union
Improve documentation/testing for pointsTo
Merge pull request #1277 from monarchdodra/9975

Fix Issue 9975 - pointsTo asserts because of false pointer in union