fixed bug in points-to query that precluded narrowing of some symbolic variables