Fix Issue 9975 - pointsTo asserts because of false pointer in union
Improve documentation/testing for pointsTo