Handle multi node statements in InitializedVariables

Author: Mr-Pine

spoon-control-flow/src/main/java/fr/inria/dataflow/InitializedVariables.java

@@ -152,8 +152,8 @@ private InitFactors initialized(ControlFlowNode n, HashMap<ControlFlowNode, Init
 
 
 		Set<CtVariableReference> defN = includeDefinedInNode ? defined(n) : new HashSet<CtVariableReference>();
-		//[Used_n - Def_n]
-		Set<CtVariableReference> usedN = includeDefinedInNode ? used(n) : new HashSet<CtVariableReference>();
+		//[Used_n - Def_n] - Only get used variables for single node statements. Multi node statements might define new ones that aren't in scope anymore
+		Set<CtVariableReference> usedN = (includeDefinedInNode && n.getIsStatementEnd()) ? used(n) : new HashSet<CtVariableReference>();
 		usedN.removeAll(defN);
 
 		InitFactors result = new InitFactors();