/** Returns the set of objects pointed to by static field f. */
 public PointsToSet reachingObjects(SootField f) {
   Type t = f.getType();
   if (t instanceof RefType) return FullObjectSet.v((RefType) t);
   return FullObjectSet.v();
 }
 /** Returns the set of objects pointed to by elements of the arrays in the PointsToSet s. */
 public PointsToSet reachingObjectsOfArrayElement(PointsToSet s) {
   return FullObjectSet.v();
 }
 /** Returns the set of objects pointed to by variable l. */
 public PointsToSet reachingObjects(Local l) {
   Type t = l.getType();
   if (t instanceof RefType) return FullObjectSet.v((RefType) t);
   return FullObjectSet.v();
 }