Make sure we save the summary taint wrapper statement

Author: MarcMil

soot-infoflow-summaries/src/soot/jimple/infoflow/methodSummary/taintWrappers/SummaryTaintWrapper.java

@@ -539,13 +539,17 @@ public Set<Abstraction> getTaintsForMethod(Stmt stmt, Abstraction d1, Abstractio
 			callee = m;
 		}
 		res = computeTaintsForMethod(stmt, d1, taintedAbs, callee, killIncomingTaint, classSupported);
+		boolean wasEqualToIncoming = false;
 
 		// Create abstractions from the access paths
 		if (res != null && !res.isEmpty()) {
 			if (resAbs == null)
 				resAbs = new HashSet<>();
-			for (AccessPath ap : res)
+			for (AccessPath ap : res) {
 				resAbs.add(taintedAbs.deriveNewAbstraction(ap, stmt));
+				if (ap.equals(taintedAbs.getAccessPath()))
+					wasEqualToIncoming = true;
+			}
 		}
 
 		// If we have no data flows, we can abort early
@@ -568,7 +572,8 @@ public Set<Abstraction> getTaintsForMethod(Stmt stmt, Abstraction d1, Abstractio
 		if (!killIncomingTaint.value) {
 			if (resAbs == null)
 				return Collections.singleton(taintedAbs);
-			resAbs.add(taintedAbs);
+			if (!wasEqualToIncoming)
+				resAbs.add(taintedAbs);
 		}
 		return resAbs;
 	}