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