Fix bug for missing points-to facts in querying results.
Fix some comments.