Member predicate PointsTo::PointsToExpr::interesting

predicate interesting()