Descriptor localDesc = fn.getDescTuple().get(0);
if (localDesc.getSymbol().equals(LocationInference.TOPLOC)) {
Location topLoc = new Location(md, Location.TOP);
Descriptor localDesc = fn.getDescTuple().get(0);
if (localDesc.getSymbol().equals(LocationInference.TOPLOC)) {
Location topLoc = new Location(md, Location.TOP);