} else if( lhs instanceof FieldRef ) {
v = pag.findGlobalVarNode( ((FieldRef) lhs).getField() );
}
if( v != null ) {
PointsToSetInternal p2set = v.getP2Set();
p2set.forall( new P2SetVisitor() {
public final void visit( Node n ) {
addTag( s, n, nodeToTag, unknown );
}} );
Node[] simpleSources = pag.simpleInvLookup(v);
for (Node element : simpleSources) {