+ // if (!isAssignedCompositeLocation) {
+ // // source does not have a composite location
+ //
+ // NTuple<Location> srcTuple = flowGraph.getLocationTuple(srcNode);
+ // NTuple<Location> dstTuple = flowGraph.getLocationTuple(dstNode);
+ //
+ // recursivelyAddCompositeRelation(md, flowGraph, methodInfo, srcNode,
+ // dstNode, srcDesc, dstDesc);
+ //
+ // // if (!srcSymbol.equals(dstSymbol)) {
+ // // // add a local relation
+ // // if (!methodLattice.isGreaterThan(srcSymbol, dstSymbol)) {
+ // // // if the lattice does not have this relation, add it
+ // // addRelationHigherToLower(methodLattice, methodInfo, srcSymbol,
+ // // dstSymbol);
+ // // // methodLattice.addRelationHigherToLower(srcSymbol, dstSymbol);
+ // // }
+ // // } else {
+ // // // if src and dst have the same local location...
+ // // recursivelyAddCompositeRelation(md, flowGraph, methodInfo, srcNode,
+ // // dstNode, srcDesc,
+ // // dstDesc);
+ // // }
+ //
+ // } else {
+ // // source variable has a composite location
+ // if (methodInfo.getInferLocation(dstDesc).getSize() == 1) {
+ // if (!srcSymbol.equals(dstSymbol)) {
+ // addRelationHigherToLower(methodLattice, methodInfo, srcSymbol,
+ // dstSymbol);
+ // }
+ // }
+ //
+ // }