fixes #767. The comment in the code was right, but the implementation beneath the comment was wrong

Author: StevenArzt

soot-infoflow/src/soot/jimple/infoflow/problems/rules/forward/StrongUpdatePropagationRule.java

@@ -83,7 +83,7 @@ public Collection<Abstraction> propagateNormalFlow(Abstraction d1, Abstraction s
 			// x = y && x.f tainted -> no taint propagated. This must only check the precise
 			// variable which gets replaced, but not any potential strong aliases
 			else if (lhs instanceof Local) {
-				if (aliasing.mustAlias((Local) lhs, source.getAccessPath().getPlainValue(), stmt)) {
+				if (lhs == source.getAccessPath().getPlainValue()) {
 					killAll.value = true;
 					return null;
 				}