+ NTuple<Location> fieldLocTuple = new NTuple<Location>();
+ if (fld.isStatic()) {
+ if (fld.isFinal()) {
+ // in this case, fld has TOP location
+ Location topLocation = Location.createTopLocation(md);
+ fieldLocTuple.add(topLocation);
+ } else {
+ fieldLocTuple.addAll(deriveGlobalLocationTuple(md));
+ fieldLocTuple.add((Location) fld.getType().getExtension());
+ }
+
+ } else {
+ fieldLocTuple.addAll(deriveLocationTuple(md, lhs));
+ fieldLocTuple.add((Location) fld.getType().getExtension());
+ }
+