This predicate is empty by default. It should be overridden and defined to include just those expressions for which points-to information is desired.