Module BasePointsTo
Import path
import python
Predicates
| points_to |
INTERNAL – Use n.refersTo(value, _, origin) instead |