From d3ae2954ff75391b7726fe4824d7d8c9ecdacc2f Mon Sep 17 00:00:00 2001
From: Max Schaefer <max@semmle.com>
Date: Tue, 29 Jan 2019 15:53:11 +0000
Subject: [PATCH] JavaScript: Add support for parsing postfix generator
 comprehensions.

---
 .../src/com/semmle/jcorn/CustomParser.java    |   24 +-
 .../mozilla/input/generator_expressions.js    |    3 +-
 .../output/trap/generator_expressions.js.trap | 1147 +++++++++--------
 3 files changed, 667 insertions(+), 507 deletions(-)

diff --git a/javascript/extractor/src/com/semmle/jcorn/CustomParser.java b/javascript/extractor/src/com/semmle/jcorn/CustomParser.java
index f62d1881d3e..15914ab3f1f 100644
--- a/javascript/extractor/src/com/semmle/jcorn/CustomParser.java
+++ b/javascript/extractor/src/com/semmle/jcorn/CustomParser.java
@@ -314,7 +314,29 @@ public class CustomParser extends FlowParser {
 			}
 		}
 
-		return super.parseParenAndDistinguishExpression(canBeArrow);
+		Expression res = super.parseParenAndDistinguishExpression(canBeArrow);
+		if (res instanceof ParenthesizedExpression) {
+			ParenthesizedExpression p = (ParenthesizedExpression) res;
+			if (p.getExpression() instanceof ComprehensionExpression) {
+				ComprehensionExpression c = (ComprehensionExpression) p.getExpression();
+				if (c.isGenerator())
+					return new ComprehensionExpression(p.getLoc(), c.getBody(), c.getBlocks(), c.getFilter(), c.isGenerator());
+			}
+		}
+		return res;
+	}
+
+	@Override
+	protected boolean parseParenthesisedExpression(DestructuringErrors refDestructuringErrors,
+			boolean allowTrailingComma, ParenthesisedExpressions parenExprs, boolean first) {
+		boolean cont = super.parseParenthesisedExpression(refDestructuringErrors, allowTrailingComma, parenExprs, first);
+		if (options.mozExtensions() && parenExprs.exprList.size() == 1 && this.type == TokenType._for) {
+			Expression body = parenExprs.exprList.remove(0);
+			ComprehensionExpression c = parseComprehension(body.getLoc().getStart(), true, body);
+			parenExprs.exprList.add(this.finishNode(c));
+			return false;
+		}
+		return cont;
 	}
 
 	// add parsing of for-each loops
diff --git a/javascript/extractor/tests/mozilla/input/generator_expressions.js b/javascript/extractor/tests/mozilla/input/generator_expressions.js
index 18a7d69ab8a..10fa676f5ef 100644
--- a/javascript/extractor/tests/mozilla/input/generator_expressions.js
+++ b/javascript/extractor/tests/mozilla/input/generator_expressions.js
@@ -1,4 +1,5 @@
 (for (year of years) if (year > 2000) year);
 year;
 (for (i of numbers) for (j of letters) i+j);
-(for (i of numbers) for (j of letters) if (i<j) i+j);
\ No newline at end of file
+(for (i of numbers) for (j of letters) if (i<j) i+j);
+(x.p for (x in xs));
diff --git a/javascript/extractor/tests/mozilla/output/trap/generator_expressions.js.trap b/javascript/extractor/tests/mozilla/output/trap/generator_expressions.js.trap
index 805a071417a..ada10c3f66c 100644
--- a/javascript/extractor/tests/mozilla/output/trap/generator_expressions.js.trap
+++ b/javascript/extractor/tests/mozilla/output/trap/generator_expressions.js.trap
@@ -28,674 +28,811 @@ lines(#20006,#20001,"(for (i of numbers) for (j of letters) i+j);","
 locations_default(#20007,#10000,3,1,3,44)
 hasLocation(#20006,#20007)
 #20008=*
-lines(#20008,#20001,"(for (i of numbers) for (j of letters) if (i<j) i+j);","")
+lines(#20008,#20001,"(for (i of numbers) for (j of letters) if (i<j) i+j);","
+")
 #20009=@"loc,{#10000},4,1,4,53"
 locations_default(#20009,#10000,4,1,4,53)
 hasLocation(#20008,#20009)
-numlines(#20001,4,4,0)
 #20010=*
-tokeninfo(#20010,8,#20001,0,"(")
-#20011=@"loc,{#10000},1,1,1,1"
-locations_default(#20011,#10000,1,1,1,1)
+lines(#20010,#20001,"(x.p for (x in xs));","
+")
+#20011=@"loc,{#10000},5,1,5,20"
+locations_default(#20011,#10000,5,1,5,20)
 hasLocation(#20010,#20011)
+numlines(#20001,5,5,0)
 #20012=*
-tokeninfo(#20012,7,#20001,1,"for")
-#20013=@"loc,{#10000},1,2,1,4"
-locations_default(#20013,#10000,1,2,1,4)
+tokeninfo(#20012,8,#20001,0,"(")
+#20013=@"loc,{#10000},1,1,1,1"
+locations_default(#20013,#10000,1,1,1,1)
 hasLocation(#20012,#20013)
 #20014=*
-tokeninfo(#20014,8,#20001,2,"(")
-#20015=@"loc,{#10000},1,6,1,6"
-locations_default(#20015,#10000,1,6,1,6)
+tokeninfo(#20014,7,#20001,1,"for")
+#20015=@"loc,{#10000},1,2,1,4"
+locations_default(#20015,#10000,1,2,1,4)
 hasLocation(#20014,#20015)
 #20016=*
-tokeninfo(#20016,6,#20001,3,"year")
-#20017=@"loc,{#10000},1,7,1,10"
-locations_default(#20017,#10000,1,7,1,10)
+tokeninfo(#20016,8,#20001,2,"(")
+#20017=@"loc,{#10000},1,6,1,6"
+locations_default(#20017,#10000,1,6,1,6)
 hasLocation(#20016,#20017)
 #20018=*
-tokeninfo(#20018,6,#20001,4,"of")
-#20019=@"loc,{#10000},1,12,1,13"
-locations_default(#20019,#10000,1,12,1,13)
+tokeninfo(#20018,6,#20001,3,"year")
+#20019=@"loc,{#10000},1,7,1,10"
+locations_default(#20019,#10000,1,7,1,10)
 hasLocation(#20018,#20019)
 #20020=*
-tokeninfo(#20020,6,#20001,5,"years")
-#20021=@"loc,{#10000},1,15,1,19"
-locations_default(#20021,#10000,1,15,1,19)
+tokeninfo(#20020,6,#20001,4,"of")
+#20021=@"loc,{#10000},1,12,1,13"
+locations_default(#20021,#10000,1,12,1,13)
 hasLocation(#20020,#20021)
 #20022=*
-tokeninfo(#20022,8,#20001,6,")")
-#20023=@"loc,{#10000},1,20,1,20"
-locations_default(#20023,#10000,1,20,1,20)
+tokeninfo(#20022,6,#20001,5,"years")
+#20023=@"loc,{#10000},1,15,1,19"
+locations_default(#20023,#10000,1,15,1,19)
 hasLocation(#20022,#20023)
 #20024=*
-tokeninfo(#20024,7,#20001,7,"if")
-#20025=@"loc,{#10000},1,22,1,23"
-locations_default(#20025,#10000,1,22,1,23)
+tokeninfo(#20024,8,#20001,6,")")
+#20025=@"loc,{#10000},1,20,1,20"
+locations_default(#20025,#10000,1,20,1,20)
 hasLocation(#20024,#20025)
 #20026=*
-tokeninfo(#20026,8,#20001,8,"(")
-#20027=@"loc,{#10000},1,25,1,25"
-locations_default(#20027,#10000,1,25,1,25)
+tokeninfo(#20026,7,#20001,7,"if")
+#20027=@"loc,{#10000},1,22,1,23"
+locations_default(#20027,#10000,1,22,1,23)
 hasLocation(#20026,#20027)
 #20028=*
-tokeninfo(#20028,6,#20001,9,"year")
-#20029=@"loc,{#10000},1,26,1,29"
-locations_default(#20029,#10000,1,26,1,29)
+tokeninfo(#20028,8,#20001,8,"(")
+#20029=@"loc,{#10000},1,25,1,25"
+locations_default(#20029,#10000,1,25,1,25)
 hasLocation(#20028,#20029)
 #20030=*
-tokeninfo(#20030,8,#20001,10,">")
-#20031=@"loc,{#10000},1,31,1,31"
-locations_default(#20031,#10000,1,31,1,31)
+tokeninfo(#20030,6,#20001,9,"year")
+#20031=@"loc,{#10000},1,26,1,29"
+locations_default(#20031,#10000,1,26,1,29)
 hasLocation(#20030,#20031)
 #20032=*
-tokeninfo(#20032,3,#20001,11,"2000")
-#20033=@"loc,{#10000},1,33,1,36"
-locations_default(#20033,#10000,1,33,1,36)
+tokeninfo(#20032,8,#20001,10,">")
+#20033=@"loc,{#10000},1,31,1,31"
+locations_default(#20033,#10000,1,31,1,31)
 hasLocation(#20032,#20033)
 #20034=*
-tokeninfo(#20034,8,#20001,12,")")
-#20035=@"loc,{#10000},1,37,1,37"
-locations_default(#20035,#10000,1,37,1,37)
+tokeninfo(#20034,3,#20001,11,"2000")
+#20035=@"loc,{#10000},1,33,1,36"
+locations_default(#20035,#10000,1,33,1,36)
 hasLocation(#20034,#20035)
 #20036=*
-tokeninfo(#20036,6,#20001,13,"year")
-#20037=@"loc,{#10000},1,39,1,42"
-locations_default(#20037,#10000,1,39,1,42)
+tokeninfo(#20036,8,#20001,12,")")
+#20037=@"loc,{#10000},1,37,1,37"
+locations_default(#20037,#10000,1,37,1,37)
 hasLocation(#20036,#20037)
 #20038=*
-tokeninfo(#20038,8,#20001,14,")")
-#20039=@"loc,{#10000},1,43,1,43"
-locations_default(#20039,#10000,1,43,1,43)
+tokeninfo(#20038,6,#20001,13,"year")
+#20039=@"loc,{#10000},1,39,1,42"
+locations_default(#20039,#10000,1,39,1,42)
 hasLocation(#20038,#20039)
 #20040=*
-tokeninfo(#20040,8,#20001,15,";")
-#20041=@"loc,{#10000},1,44,1,44"
-locations_default(#20041,#10000,1,44,1,44)
+tokeninfo(#20040,8,#20001,14,")")
+#20041=@"loc,{#10000},1,43,1,43"
+locations_default(#20041,#10000,1,43,1,43)
 hasLocation(#20040,#20041)
 #20042=*
-tokeninfo(#20042,6,#20001,16,"year")
-#20043=@"loc,{#10000},2,1,2,4"
-locations_default(#20043,#10000,2,1,2,4)
+tokeninfo(#20042,8,#20001,15,";")
+#20043=@"loc,{#10000},1,44,1,44"
+locations_default(#20043,#10000,1,44,1,44)
 hasLocation(#20042,#20043)
 #20044=*
-tokeninfo(#20044,8,#20001,17,";")
-#20045=@"loc,{#10000},2,5,2,5"
-locations_default(#20045,#10000,2,5,2,5)
+tokeninfo(#20044,6,#20001,16,"year")
+#20045=@"loc,{#10000},2,1,2,4"
+locations_default(#20045,#10000,2,1,2,4)
 hasLocation(#20044,#20045)
 #20046=*
-tokeninfo(#20046,8,#20001,18,"(")
-#20047=@"loc,{#10000},3,1,3,1"
-locations_default(#20047,#10000,3,1,3,1)
+tokeninfo(#20046,8,#20001,17,";")
+#20047=@"loc,{#10000},2,5,2,5"
+locations_default(#20047,#10000,2,5,2,5)
 hasLocation(#20046,#20047)
 #20048=*
-tokeninfo(#20048,7,#20001,19,"for")
-#20049=@"loc,{#10000},3,2,3,4"
-locations_default(#20049,#10000,3,2,3,4)
+tokeninfo(#20048,8,#20001,18,"(")
+#20049=@"loc,{#10000},3,1,3,1"
+locations_default(#20049,#10000,3,1,3,1)
 hasLocation(#20048,#20049)
 #20050=*
-tokeninfo(#20050,8,#20001,20,"(")
-#20051=@"loc,{#10000},3,6,3,6"
-locations_default(#20051,#10000,3,6,3,6)
+tokeninfo(#20050,7,#20001,19,"for")
+#20051=@"loc,{#10000},3,2,3,4"
+locations_default(#20051,#10000,3,2,3,4)
 hasLocation(#20050,#20051)
 #20052=*
-tokeninfo(#20052,6,#20001,21,"i")
-#20053=@"loc,{#10000},3,7,3,7"
-locations_default(#20053,#10000,3,7,3,7)
+tokeninfo(#20052,8,#20001,20,"(")
+#20053=@"loc,{#10000},3,6,3,6"
+locations_default(#20053,#10000,3,6,3,6)
 hasLocation(#20052,#20053)
 #20054=*
-tokeninfo(#20054,6,#20001,22,"of")
-#20055=@"loc,{#10000},3,9,3,10"
-locations_default(#20055,#10000,3,9,3,10)
+tokeninfo(#20054,6,#20001,21,"i")
+#20055=@"loc,{#10000},3,7,3,7"
+locations_default(#20055,#10000,3,7,3,7)
 hasLocation(#20054,#20055)
 #20056=*
-tokeninfo(#20056,6,#20001,23,"numbers")
-#20057=@"loc,{#10000},3,12,3,18"
-locations_default(#20057,#10000,3,12,3,18)
+tokeninfo(#20056,6,#20001,22,"of")
+#20057=@"loc,{#10000},3,9,3,10"
+locations_default(#20057,#10000,3,9,3,10)
 hasLocation(#20056,#20057)
 #20058=*
-tokeninfo(#20058,8,#20001,24,")")
-#20059=@"loc,{#10000},3,19,3,19"
-locations_default(#20059,#10000,3,19,3,19)
+tokeninfo(#20058,6,#20001,23,"numbers")
+#20059=@"loc,{#10000},3,12,3,18"
+locations_default(#20059,#10000,3,12,3,18)
 hasLocation(#20058,#20059)
 #20060=*
-tokeninfo(#20060,7,#20001,25,"for")
-#20061=@"loc,{#10000},3,21,3,23"
-locations_default(#20061,#10000,3,21,3,23)
+tokeninfo(#20060,8,#20001,24,")")
+#20061=@"loc,{#10000},3,19,3,19"
+locations_default(#20061,#10000,3,19,3,19)
 hasLocation(#20060,#20061)
 #20062=*
-tokeninfo(#20062,8,#20001,26,"(")
-#20063=@"loc,{#10000},3,25,3,25"
-locations_default(#20063,#10000,3,25,3,25)
+tokeninfo(#20062,7,#20001,25,"for")
+#20063=@"loc,{#10000},3,21,3,23"
+locations_default(#20063,#10000,3,21,3,23)
 hasLocation(#20062,#20063)
 #20064=*
-tokeninfo(#20064,6,#20001,27,"j")
-#20065=@"loc,{#10000},3,26,3,26"
-locations_default(#20065,#10000,3,26,3,26)
+tokeninfo(#20064,8,#20001,26,"(")
+#20065=@"loc,{#10000},3,25,3,25"
+locations_default(#20065,#10000,3,25,3,25)
 hasLocation(#20064,#20065)
 #20066=*
-tokeninfo(#20066,6,#20001,28,"of")
-#20067=@"loc,{#10000},3,28,3,29"
-locations_default(#20067,#10000,3,28,3,29)
+tokeninfo(#20066,6,#20001,27,"j")
+#20067=@"loc,{#10000},3,26,3,26"
+locations_default(#20067,#10000,3,26,3,26)
 hasLocation(#20066,#20067)
 #20068=*
-tokeninfo(#20068,6,#20001,29,"letters")
-#20069=@"loc,{#10000},3,31,3,37"
-locations_default(#20069,#10000,3,31,3,37)
+tokeninfo(#20068,6,#20001,28,"of")
+#20069=@"loc,{#10000},3,28,3,29"
+locations_default(#20069,#10000,3,28,3,29)
 hasLocation(#20068,#20069)
 #20070=*
-tokeninfo(#20070,8,#20001,30,")")
-#20071=@"loc,{#10000},3,38,3,38"
-locations_default(#20071,#10000,3,38,3,38)
+tokeninfo(#20070,6,#20001,29,"letters")
+#20071=@"loc,{#10000},3,31,3,37"
+locations_default(#20071,#10000,3,31,3,37)
 hasLocation(#20070,#20071)
 #20072=*
-tokeninfo(#20072,6,#20001,31,"i")
-#20073=@"loc,{#10000},3,40,3,40"
-locations_default(#20073,#10000,3,40,3,40)
+tokeninfo(#20072,8,#20001,30,")")
+#20073=@"loc,{#10000},3,38,3,38"
+locations_default(#20073,#10000,3,38,3,38)
 hasLocation(#20072,#20073)
 #20074=*
-tokeninfo(#20074,8,#20001,32,"+")
-#20075=@"loc,{#10000},3,41,3,41"
-locations_default(#20075,#10000,3,41,3,41)
+tokeninfo(#20074,6,#20001,31,"i")
+#20075=@"loc,{#10000},3,40,3,40"
+locations_default(#20075,#10000,3,40,3,40)
 hasLocation(#20074,#20075)
 #20076=*
-tokeninfo(#20076,6,#20001,33,"j")
-#20077=@"loc,{#10000},3,42,3,42"
-locations_default(#20077,#10000,3,42,3,42)
+tokeninfo(#20076,8,#20001,32,"+")
+#20077=@"loc,{#10000},3,41,3,41"
+locations_default(#20077,#10000,3,41,3,41)
 hasLocation(#20076,#20077)
 #20078=*
-tokeninfo(#20078,8,#20001,34,")")
-#20079=@"loc,{#10000},3,43,3,43"
-locations_default(#20079,#10000,3,43,3,43)
+tokeninfo(#20078,6,#20001,33,"j")
+#20079=@"loc,{#10000},3,42,3,42"
+locations_default(#20079,#10000,3,42,3,42)
 hasLocation(#20078,#20079)
 #20080=*
-tokeninfo(#20080,8,#20001,35,";")
-#20081=@"loc,{#10000},3,44,3,44"
-locations_default(#20081,#10000,3,44,3,44)
+tokeninfo(#20080,8,#20001,34,")")
+#20081=@"loc,{#10000},3,43,3,43"
+locations_default(#20081,#10000,3,43,3,43)
 hasLocation(#20080,#20081)
 #20082=*
-tokeninfo(#20082,8,#20001,36,"(")
-#20083=@"loc,{#10000},4,1,4,1"
-locations_default(#20083,#10000,4,1,4,1)
+tokeninfo(#20082,8,#20001,35,";")
+#20083=@"loc,{#10000},3,44,3,44"
+locations_default(#20083,#10000,3,44,3,44)
 hasLocation(#20082,#20083)
 #20084=*
-tokeninfo(#20084,7,#20001,37,"for")
-#20085=@"loc,{#10000},4,2,4,4"
-locations_default(#20085,#10000,4,2,4,4)
+tokeninfo(#20084,8,#20001,36,"(")
+#20085=@"loc,{#10000},4,1,4,1"
+locations_default(#20085,#10000,4,1,4,1)
 hasLocation(#20084,#20085)
 #20086=*
-tokeninfo(#20086,8,#20001,38,"(")
-#20087=@"loc,{#10000},4,6,4,6"
-locations_default(#20087,#10000,4,6,4,6)
+tokeninfo(#20086,7,#20001,37,"for")
+#20087=@"loc,{#10000},4,2,4,4"
+locations_default(#20087,#10000,4,2,4,4)
 hasLocation(#20086,#20087)
 #20088=*
-tokeninfo(#20088,6,#20001,39,"i")
-#20089=@"loc,{#10000},4,7,4,7"
-locations_default(#20089,#10000,4,7,4,7)
+tokeninfo(#20088,8,#20001,38,"(")
+#20089=@"loc,{#10000},4,6,4,6"
+locations_default(#20089,#10000,4,6,4,6)
 hasLocation(#20088,#20089)
 #20090=*
-tokeninfo(#20090,6,#20001,40,"of")
-#20091=@"loc,{#10000},4,9,4,10"
-locations_default(#20091,#10000,4,9,4,10)
+tokeninfo(#20090,6,#20001,39,"i")
+#20091=@"loc,{#10000},4,7,4,7"
+locations_default(#20091,#10000,4,7,4,7)
 hasLocation(#20090,#20091)
 #20092=*
-tokeninfo(#20092,6,#20001,41,"numbers")
-#20093=@"loc,{#10000},4,12,4,18"
-locations_default(#20093,#10000,4,12,4,18)
+tokeninfo(#20092,6,#20001,40,"of")
+#20093=@"loc,{#10000},4,9,4,10"
+locations_default(#20093,#10000,4,9,4,10)
 hasLocation(#20092,#20093)
 #20094=*
-tokeninfo(#20094,8,#20001,42,")")
-#20095=@"loc,{#10000},4,19,4,19"
-locations_default(#20095,#10000,4,19,4,19)
+tokeninfo(#20094,6,#20001,41,"numbers")
+#20095=@"loc,{#10000},4,12,4,18"
+locations_default(#20095,#10000,4,12,4,18)
 hasLocation(#20094,#20095)
 #20096=*
-tokeninfo(#20096,7,#20001,43,"for")
-#20097=@"loc,{#10000},4,21,4,23"
-locations_default(#20097,#10000,4,21,4,23)
+tokeninfo(#20096,8,#20001,42,")")
+#20097=@"loc,{#10000},4,19,4,19"
+locations_default(#20097,#10000,4,19,4,19)
 hasLocation(#20096,#20097)
 #20098=*
-tokeninfo(#20098,8,#20001,44,"(")
-#20099=@"loc,{#10000},4,25,4,25"
-locations_default(#20099,#10000,4,25,4,25)
+tokeninfo(#20098,7,#20001,43,"for")
+#20099=@"loc,{#10000},4,21,4,23"
+locations_default(#20099,#10000,4,21,4,23)
 hasLocation(#20098,#20099)
 #20100=*
-tokeninfo(#20100,6,#20001,45,"j")
-#20101=@"loc,{#10000},4,26,4,26"
-locations_default(#20101,#10000,4,26,4,26)
+tokeninfo(#20100,8,#20001,44,"(")
+#20101=@"loc,{#10000},4,25,4,25"
+locations_default(#20101,#10000,4,25,4,25)
 hasLocation(#20100,#20101)
 #20102=*
-tokeninfo(#20102,6,#20001,46,"of")
-#20103=@"loc,{#10000},4,28,4,29"
-locations_default(#20103,#10000,4,28,4,29)
+tokeninfo(#20102,6,#20001,45,"j")
+#20103=@"loc,{#10000},4,26,4,26"
+locations_default(#20103,#10000,4,26,4,26)
 hasLocation(#20102,#20103)
 #20104=*
-tokeninfo(#20104,6,#20001,47,"letters")
-#20105=@"loc,{#10000},4,31,4,37"
-locations_default(#20105,#10000,4,31,4,37)
+tokeninfo(#20104,6,#20001,46,"of")
+#20105=@"loc,{#10000},4,28,4,29"
+locations_default(#20105,#10000,4,28,4,29)
 hasLocation(#20104,#20105)
 #20106=*
-tokeninfo(#20106,8,#20001,48,")")
-#20107=@"loc,{#10000},4,38,4,38"
-locations_default(#20107,#10000,4,38,4,38)
+tokeninfo(#20106,6,#20001,47,"letters")
+#20107=@"loc,{#10000},4,31,4,37"
+locations_default(#20107,#10000,4,31,4,37)
 hasLocation(#20106,#20107)
 #20108=*
-tokeninfo(#20108,7,#20001,49,"if")
-#20109=@"loc,{#10000},4,40,4,41"
-locations_default(#20109,#10000,4,40,4,41)
+tokeninfo(#20108,8,#20001,48,")")
+#20109=@"loc,{#10000},4,38,4,38"
+locations_default(#20109,#10000,4,38,4,38)
 hasLocation(#20108,#20109)
 #20110=*
-tokeninfo(#20110,8,#20001,50,"(")
-#20111=@"loc,{#10000},4,43,4,43"
-locations_default(#20111,#10000,4,43,4,43)
+tokeninfo(#20110,7,#20001,49,"if")
+#20111=@"loc,{#10000},4,40,4,41"
+locations_default(#20111,#10000,4,40,4,41)
 hasLocation(#20110,#20111)
 #20112=*
-tokeninfo(#20112,6,#20001,51,"i")
-#20113=@"loc,{#10000},4,44,4,44"
-locations_default(#20113,#10000,4,44,4,44)
+tokeninfo(#20112,8,#20001,50,"(")
+#20113=@"loc,{#10000},4,43,4,43"
+locations_default(#20113,#10000,4,43,4,43)
 hasLocation(#20112,#20113)
 #20114=*
-tokeninfo(#20114,8,#20001,52,"<")
-#20115=@"loc,{#10000},4,45,4,45"
-locations_default(#20115,#10000,4,45,4,45)
+tokeninfo(#20114,6,#20001,51,"i")
+#20115=@"loc,{#10000},4,44,4,44"
+locations_default(#20115,#10000,4,44,4,44)
 hasLocation(#20114,#20115)
 #20116=*
-tokeninfo(#20116,6,#20001,53,"j")
-#20117=@"loc,{#10000},4,46,4,46"
-locations_default(#20117,#10000,4,46,4,46)
+tokeninfo(#20116,8,#20001,52,"<")
+#20117=@"loc,{#10000},4,45,4,45"
+locations_default(#20117,#10000,4,45,4,45)
 hasLocation(#20116,#20117)
 #20118=*
-tokeninfo(#20118,8,#20001,54,")")
-#20119=@"loc,{#10000},4,47,4,47"
-locations_default(#20119,#10000,4,47,4,47)
+tokeninfo(#20118,6,#20001,53,"j")
+#20119=@"loc,{#10000},4,46,4,46"
+locations_default(#20119,#10000,4,46,4,46)
 hasLocation(#20118,#20119)
 #20120=*
-tokeninfo(#20120,6,#20001,55,"i")
-#20121=@"loc,{#10000},4,49,4,49"
-locations_default(#20121,#10000,4,49,4,49)
+tokeninfo(#20120,8,#20001,54,")")
+#20121=@"loc,{#10000},4,47,4,47"
+locations_default(#20121,#10000,4,47,4,47)
 hasLocation(#20120,#20121)
 #20122=*
-tokeninfo(#20122,8,#20001,56,"+")
-#20123=@"loc,{#10000},4,50,4,50"
-locations_default(#20123,#10000,4,50,4,50)
+tokeninfo(#20122,6,#20001,55,"i")
+#20123=@"loc,{#10000},4,49,4,49"
+locations_default(#20123,#10000,4,49,4,49)
 hasLocation(#20122,#20123)
 #20124=*
-tokeninfo(#20124,6,#20001,57,"j")
-#20125=@"loc,{#10000},4,51,4,51"
-locations_default(#20125,#10000,4,51,4,51)
+tokeninfo(#20124,8,#20001,56,"+")
+#20125=@"loc,{#10000},4,50,4,50"
+locations_default(#20125,#10000,4,50,4,50)
 hasLocation(#20124,#20125)
 #20126=*
-tokeninfo(#20126,8,#20001,58,")")
-#20127=@"loc,{#10000},4,52,4,52"
-locations_default(#20127,#10000,4,52,4,52)
+tokeninfo(#20126,6,#20001,57,"j")
+#20127=@"loc,{#10000},4,51,4,51"
+locations_default(#20127,#10000,4,51,4,51)
 hasLocation(#20126,#20127)
 #20128=*
-tokeninfo(#20128,8,#20001,59,";")
-#20129=@"loc,{#10000},4,53,4,53"
-locations_default(#20129,#10000,4,53,4,53)
+tokeninfo(#20128,8,#20001,58,")")
+#20129=@"loc,{#10000},4,52,4,52"
+locations_default(#20129,#10000,4,52,4,52)
 hasLocation(#20128,#20129)
 #20130=*
-tokeninfo(#20130,0,#20001,60,"")
-#20131=@"loc,{#10000},4,54,4,53"
-locations_default(#20131,#10000,4,54,4,53)
+tokeninfo(#20130,8,#20001,59,";")
+#20131=@"loc,{#10000},4,53,4,53"
+locations_default(#20131,#10000,4,53,4,53)
 hasLocation(#20130,#20131)
-toplevels(#20001,0)
-#20132=@"loc,{#10000},1,1,4,53"
-locations_default(#20132,#10000,1,1,4,53)
-hasLocation(#20001,#20132)
-#20133=*
-stmts(#20133,2,#20001,0,"(for (y ...  year);")
-hasLocation(#20133,#20003)
-stmtContainers(#20133,#20001)
+#20132=*
+tokeninfo(#20132,8,#20001,60,"(")
+#20133=@"loc,{#10000},5,1,5,1"
+locations_default(#20133,#10000,5,1,5,1)
+hasLocation(#20132,#20133)
 #20134=*
-exprs(#20134,74,#20133,0,"(for (y ... ) year)")
-#20135=@"loc,{#10000},1,1,1,43"
-locations_default(#20135,#10000,1,1,1,43)
+tokeninfo(#20134,6,#20001,61,"x")
+#20135=@"loc,{#10000},5,2,5,2"
+locations_default(#20135,#10000,5,2,5,2)
 hasLocation(#20134,#20135)
-enclosingStmt(#20134,#20133)
-exprContainers(#20134,#20001)
 #20136=*
-exprs(#20136,76,#20134,1,"for (year of years)")
-#20137=@"loc,{#10000},1,2,1,20"
-locations_default(#20137,#10000,1,2,1,20)
+tokeninfo(#20136,8,#20001,62,".")
+#20137=@"loc,{#10000},5,3,5,3"
+locations_default(#20137,#10000,5,3,5,3)
 hasLocation(#20136,#20137)
-enclosingStmt(#20136,#20133)
-exprContainers(#20136,#20001)
 #20138=*
-scopes(#20138,7)
-scopenodes(#20136,#20138)
-scopenesting(#20138,#20000)
-#20139=@"var;{year};{#20138}"
-variables(#20139,"year",#20138)
+tokeninfo(#20138,6,#20001,63,"p")
+#20139=@"loc,{#10000},5,4,5,4"
+locations_default(#20139,#10000,5,4,5,4)
+hasLocation(#20138,#20139)
 #20140=*
-exprs(#20140,78,#20136,0,"year")
-hasLocation(#20140,#20017)
-enclosingStmt(#20140,#20133)
-exprContainers(#20140,#20001)
-literals("year","year",#20140)
-decl(#20140,#20139)
-#20141=*
-exprs(#20141,79,#20136,1,"years")
-hasLocation(#20141,#20021)
-enclosingStmt(#20141,#20133)
-exprContainers(#20141,#20001)
-literals("years","years",#20141)
-#20142=@"var;{years};{#20000}"
-variables(#20142,"years",#20000)
-bind(#20141,#20142)
-#20143=*
-exprs(#20143,29,#20134,-1,"year > 2000")
-#20144=@"loc,{#10000},1,26,1,36"
-locations_default(#20144,#10000,1,26,1,36)
-hasLocation(#20143,#20144)
-enclosingStmt(#20143,#20133)
-exprContainers(#20143,#20001)
-#20145=*
-exprs(#20145,79,#20143,0,"year")
-hasLocation(#20145,#20029)
-enclosingStmt(#20145,#20133)
-exprContainers(#20145,#20001)
-literals("year","year",#20145)
-bind(#20145,#20139)
+tokeninfo(#20140,7,#20001,64,"for")
+#20141=@"loc,{#10000},5,6,5,8"
+locations_default(#20141,#10000,5,6,5,8)
+hasLocation(#20140,#20141)
+#20142=*
+tokeninfo(#20142,8,#20001,65,"(")
+#20143=@"loc,{#10000},5,10,5,10"
+locations_default(#20143,#10000,5,10,5,10)
+hasLocation(#20142,#20143)
+#20144=*
+tokeninfo(#20144,6,#20001,66,"x")
+#20145=@"loc,{#10000},5,11,5,11"
+locations_default(#20145,#10000,5,11,5,11)
+hasLocation(#20144,#20145)
 #20146=*
-exprs(#20146,3,#20143,1,"2000")
-hasLocation(#20146,#20033)
-enclosingStmt(#20146,#20133)
-exprContainers(#20146,#20001)
-literals("2000","2000",#20146)
-#20147=*
-exprs(#20147,79,#20134,0,"year")
-hasLocation(#20147,#20037)
-enclosingStmt(#20147,#20133)
-exprContainers(#20147,#20001)
-literals("year","year",#20147)
-bind(#20147,#20139)
+tokeninfo(#20146,7,#20001,67,"in")
+#20147=@"loc,{#10000},5,13,5,14"
+locations_default(#20147,#10000,5,13,5,14)
+hasLocation(#20146,#20147)
 #20148=*
-stmts(#20148,2,#20001,1,"year;")
-hasLocation(#20148,#20005)
-stmtContainers(#20148,#20001)
-#20149=*
-exprs(#20149,79,#20148,0,"year")
-hasLocation(#20149,#20043)
-enclosingStmt(#20149,#20148)
-exprContainers(#20149,#20001)
-literals("year","year",#20149)
-#20150=@"var;{year};{#20000}"
-variables(#20150,"year",#20000)
-bind(#20149,#20150)
-#20151=*
-stmts(#20151,2,#20001,2,"(for (i ... ) i+j);")
-hasLocation(#20151,#20007)
-stmtContainers(#20151,#20001)
+tokeninfo(#20148,6,#20001,68,"xs")
+#20149=@"loc,{#10000},5,16,5,17"
+locations_default(#20149,#10000,5,16,5,17)
+hasLocation(#20148,#20149)
+#20150=*
+tokeninfo(#20150,8,#20001,69,")")
+#20151=@"loc,{#10000},5,18,5,18"
+locations_default(#20151,#10000,5,18,5,18)
+hasLocation(#20150,#20151)
 #20152=*
-exprs(#20152,74,#20151,0,"(for (i ... s) i+j)")
-#20153=@"loc,{#10000},3,1,3,43"
-locations_default(#20153,#10000,3,1,3,43)
+tokeninfo(#20152,8,#20001,70,")")
+#20153=@"loc,{#10000},5,19,5,19"
+locations_default(#20153,#10000,5,19,5,19)
 hasLocation(#20152,#20153)
-enclosingStmt(#20152,#20151)
-exprContainers(#20152,#20001)
 #20154=*
-exprs(#20154,76,#20152,1,"for (i of numbers)")
-#20155=@"loc,{#10000},3,2,3,19"
-locations_default(#20155,#10000,3,2,3,19)
+tokeninfo(#20154,8,#20001,71,";")
+#20155=@"loc,{#10000},5,20,5,20"
+locations_default(#20155,#10000,5,20,5,20)
 hasLocation(#20154,#20155)
-enclosingStmt(#20154,#20151)
-exprContainers(#20154,#20001)
 #20156=*
-scopes(#20156,7)
-scopenodes(#20154,#20156)
-scopenesting(#20156,#20000)
-#20157=@"var;{i};{#20156}"
-variables(#20157,"i",#20156)
-#20158=*
-exprs(#20158,78,#20154,0,"i")
-hasLocation(#20158,#20053)
-enclosingStmt(#20158,#20151)
-exprContainers(#20158,#20001)
-literals("i","i",#20158)
-decl(#20158,#20157)
+tokeninfo(#20156,0,#20001,72,"")
+#20157=@"loc,{#10000},6,1,6,0"
+locations_default(#20157,#10000,6,1,6,0)
+hasLocation(#20156,#20157)
+toplevels(#20001,0)
+#20158=@"loc,{#10000},1,1,6,0"
+locations_default(#20158,#10000,1,1,6,0)
+hasLocation(#20001,#20158)
 #20159=*
-exprs(#20159,79,#20154,1,"numbers")
-hasLocation(#20159,#20057)
-enclosingStmt(#20159,#20151)
-exprContainers(#20159,#20001)
-literals("numbers","numbers",#20159)
-#20160=@"var;{numbers};{#20000}"
-variables(#20160,"numbers",#20000)
-bind(#20159,#20160)
-#20161=*
-exprs(#20161,76,#20152,2,"for (j of letters)")
-#20162=@"loc,{#10000},3,21,3,38"
-locations_default(#20162,#10000,3,21,3,38)
-hasLocation(#20161,#20162)
-enclosingStmt(#20161,#20151)
-exprContainers(#20161,#20001)
-#20163=*
-scopes(#20163,7)
-scopenodes(#20161,#20163)
-scopenesting(#20163,#20156)
-#20164=@"var;{j};{#20163}"
-variables(#20164,"j",#20163)
-#20165=*
-exprs(#20165,78,#20161,0,"j")
-hasLocation(#20165,#20065)
-enclosingStmt(#20165,#20151)
-exprContainers(#20165,#20001)
-literals("j","j",#20165)
-decl(#20165,#20164)
+stmts(#20159,2,#20001,0,"(for (y ...  year);")
+hasLocation(#20159,#20003)
+stmtContainers(#20159,#20001)
+#20160=*
+exprs(#20160,74,#20159,0,"(for (y ... ) year)")
+#20161=@"loc,{#10000},1,1,1,43"
+locations_default(#20161,#10000,1,1,1,43)
+hasLocation(#20160,#20161)
+enclosingStmt(#20160,#20159)
+exprContainers(#20160,#20001)
+#20162=*
+exprs(#20162,76,#20160,1,"for (year of years)")
+#20163=@"loc,{#10000},1,2,1,20"
+locations_default(#20163,#10000,1,2,1,20)
+hasLocation(#20162,#20163)
+enclosingStmt(#20162,#20159)
+exprContainers(#20162,#20001)
+#20164=*
+scopes(#20164,7)
+scopenodes(#20162,#20164)
+scopenesting(#20164,#20000)
+#20165=@"var;{year};{#20164}"
+variables(#20165,"year",#20164)
 #20166=*
-exprs(#20166,79,#20161,1,"letters")
-hasLocation(#20166,#20069)
-enclosingStmt(#20166,#20151)
+exprs(#20166,78,#20162,0,"year")
+hasLocation(#20166,#20019)
+enclosingStmt(#20166,#20159)
 exprContainers(#20166,#20001)
-literals("letters","letters",#20166)
-#20167=@"var;{letters};{#20000}"
-variables(#20167,"letters",#20000)
-bind(#20166,#20167)
-#20168=*
-exprs(#20168,34,#20152,0,"i+j")
-#20169=@"loc,{#10000},3,40,3,42"
-locations_default(#20169,#10000,3,40,3,42)
-hasLocation(#20168,#20169)
-enclosingStmt(#20168,#20151)
-exprContainers(#20168,#20001)
-#20170=*
-exprs(#20170,79,#20168,0,"i")
-hasLocation(#20170,#20073)
-enclosingStmt(#20170,#20151)
-exprContainers(#20170,#20001)
-literals("i","i",#20170)
-bind(#20170,#20157)
+literals("year","year",#20166)
+decl(#20166,#20165)
+#20167=*
+exprs(#20167,79,#20162,1,"years")
+hasLocation(#20167,#20023)
+enclosingStmt(#20167,#20159)
+exprContainers(#20167,#20001)
+literals("years","years",#20167)
+#20168=@"var;{years};{#20000}"
+variables(#20168,"years",#20000)
+bind(#20167,#20168)
+#20169=*
+exprs(#20169,29,#20160,-1,"year > 2000")
+#20170=@"loc,{#10000},1,26,1,36"
+locations_default(#20170,#10000,1,26,1,36)
+hasLocation(#20169,#20170)
+enclosingStmt(#20169,#20159)
+exprContainers(#20169,#20001)
 #20171=*
-exprs(#20171,79,#20168,1,"j")
-hasLocation(#20171,#20077)
-enclosingStmt(#20171,#20151)
+exprs(#20171,79,#20169,0,"year")
+hasLocation(#20171,#20031)
+enclosingStmt(#20171,#20159)
 exprContainers(#20171,#20001)
-literals("j","j",#20171)
-bind(#20171,#20164)
+literals("year","year",#20171)
+bind(#20171,#20165)
 #20172=*
-stmts(#20172,2,#20001,3,"(for (i ... ) i+j);")
-hasLocation(#20172,#20009)
-stmtContainers(#20172,#20001)
+exprs(#20172,3,#20169,1,"2000")
+hasLocation(#20172,#20035)
+enclosingStmt(#20172,#20159)
+exprContainers(#20172,#20001)
+literals("2000","2000",#20172)
 #20173=*
-exprs(#20173,74,#20172,0,"(for (i ... j) i+j)")
-#20174=@"loc,{#10000},4,1,4,52"
-locations_default(#20174,#10000,4,1,4,52)
-hasLocation(#20173,#20174)
-enclosingStmt(#20173,#20172)
+exprs(#20173,79,#20160,0,"year")
+hasLocation(#20173,#20039)
+enclosingStmt(#20173,#20159)
 exprContainers(#20173,#20001)
+literals("year","year",#20173)
+bind(#20173,#20165)
+#20174=*
+stmts(#20174,2,#20001,1,"year;")
+hasLocation(#20174,#20005)
+stmtContainers(#20174,#20001)
 #20175=*
-exprs(#20175,76,#20173,1,"for (i of numbers)")
-#20176=@"loc,{#10000},4,2,4,19"
-locations_default(#20176,#10000,4,2,4,19)
-hasLocation(#20175,#20176)
-enclosingStmt(#20175,#20172)
+exprs(#20175,79,#20174,0,"year")
+hasLocation(#20175,#20045)
+enclosingStmt(#20175,#20174)
 exprContainers(#20175,#20001)
+literals("year","year",#20175)
+#20176=@"var;{year};{#20000}"
+variables(#20176,"year",#20000)
+bind(#20175,#20176)
 #20177=*
-scopes(#20177,7)
-scopenodes(#20175,#20177)
-scopenesting(#20177,#20000)
-#20178=@"var;{i};{#20177}"
-variables(#20178,"i",#20177)
-#20179=*
-exprs(#20179,78,#20175,0,"i")
-hasLocation(#20179,#20089)
-enclosingStmt(#20179,#20172)
-exprContainers(#20179,#20001)
-literals("i","i",#20179)
-decl(#20179,#20178)
+stmts(#20177,2,#20001,2,"(for (i ... ) i+j);")
+hasLocation(#20177,#20007)
+stmtContainers(#20177,#20001)
+#20178=*
+exprs(#20178,74,#20177,0,"(for (i ... s) i+j)")
+#20179=@"loc,{#10000},3,1,3,43"
+locations_default(#20179,#10000,3,1,3,43)
+hasLocation(#20178,#20179)
+enclosingStmt(#20178,#20177)
+exprContainers(#20178,#20001)
 #20180=*
-exprs(#20180,79,#20175,1,"numbers")
-hasLocation(#20180,#20093)
-enclosingStmt(#20180,#20172)
+exprs(#20180,76,#20178,1,"for (i of numbers)")
+#20181=@"loc,{#10000},3,2,3,19"
+locations_default(#20181,#10000,3,2,3,19)
+hasLocation(#20180,#20181)
+enclosingStmt(#20180,#20177)
 exprContainers(#20180,#20001)
-literals("numbers","numbers",#20180)
-bind(#20180,#20160)
-#20181=*
-exprs(#20181,76,#20173,2,"for (j of letters)")
-#20182=@"loc,{#10000},4,21,4,38"
-locations_default(#20182,#10000,4,21,4,38)
-hasLocation(#20181,#20182)
-enclosingStmt(#20181,#20172)
-exprContainers(#20181,#20001)
-#20183=*
-scopes(#20183,7)
-scopenodes(#20181,#20183)
-scopenesting(#20183,#20177)
-#20184=@"var;{j};{#20183}"
-variables(#20184,"j",#20183)
+#20182=*
+scopes(#20182,7)
+scopenodes(#20180,#20182)
+scopenesting(#20182,#20000)
+#20183=@"var;{i};{#20182}"
+variables(#20183,"i",#20182)
+#20184=*
+exprs(#20184,78,#20180,0,"i")
+hasLocation(#20184,#20055)
+enclosingStmt(#20184,#20177)
+exprContainers(#20184,#20001)
+literals("i","i",#20184)
+decl(#20184,#20183)
 #20185=*
-exprs(#20185,78,#20181,0,"j")
-hasLocation(#20185,#20101)
-enclosingStmt(#20185,#20172)
+exprs(#20185,79,#20180,1,"numbers")
+hasLocation(#20185,#20059)
+enclosingStmt(#20185,#20177)
 exprContainers(#20185,#20001)
-literals("j","j",#20185)
-decl(#20185,#20184)
-#20186=*
-exprs(#20186,79,#20181,1,"letters")
-hasLocation(#20186,#20105)
-enclosingStmt(#20186,#20172)
-exprContainers(#20186,#20001)
-literals("letters","letters",#20186)
-bind(#20186,#20167)
+literals("numbers","numbers",#20185)
+#20186=@"var;{numbers};{#20000}"
+variables(#20186,"numbers",#20000)
+bind(#20185,#20186)
 #20187=*
-exprs(#20187,27,#20173,-1,"i<j")
-#20188=@"loc,{#10000},4,44,4,46"
-locations_default(#20188,#10000,4,44,4,46)
+exprs(#20187,76,#20178,2,"for (j of letters)")
+#20188=@"loc,{#10000},3,21,3,38"
+locations_default(#20188,#10000,3,21,3,38)
 hasLocation(#20187,#20188)
-enclosingStmt(#20187,#20172)
+enclosingStmt(#20187,#20177)
 exprContainers(#20187,#20001)
 #20189=*
-exprs(#20189,79,#20187,0,"i")
-hasLocation(#20189,#20113)
-enclosingStmt(#20189,#20172)
-exprContainers(#20189,#20001)
-literals("i","i",#20189)
-bind(#20189,#20178)
-#20190=*
-exprs(#20190,79,#20187,1,"j")
-hasLocation(#20190,#20117)
-enclosingStmt(#20190,#20172)
-exprContainers(#20190,#20001)
-literals("j","j",#20190)
-bind(#20190,#20184)
+scopes(#20189,7)
+scopenodes(#20187,#20189)
+scopenesting(#20189,#20182)
+#20190=@"var;{j};{#20189}"
+variables(#20190,"j",#20189)
 #20191=*
-exprs(#20191,34,#20173,0,"i+j")
-#20192=@"loc,{#10000},4,49,4,51"
-locations_default(#20192,#10000,4,49,4,51)
-hasLocation(#20191,#20192)
-enclosingStmt(#20191,#20172)
+exprs(#20191,78,#20187,0,"j")
+hasLocation(#20191,#20067)
+enclosingStmt(#20191,#20177)
 exprContainers(#20191,#20001)
-#20193=*
-exprs(#20193,79,#20191,0,"i")
-hasLocation(#20193,#20121)
-enclosingStmt(#20193,#20172)
-exprContainers(#20193,#20001)
-literals("i","i",#20193)
-bind(#20193,#20178)
+literals("j","j",#20191)
+decl(#20191,#20190)
+#20192=*
+exprs(#20192,79,#20187,1,"letters")
+hasLocation(#20192,#20071)
+enclosingStmt(#20192,#20177)
+exprContainers(#20192,#20001)
+literals("letters","letters",#20192)
+#20193=@"var;{letters};{#20000}"
+variables(#20193,"letters",#20000)
+bind(#20192,#20193)
 #20194=*
-exprs(#20194,79,#20191,1,"j")
-hasLocation(#20194,#20125)
-enclosingStmt(#20194,#20172)
+exprs(#20194,34,#20178,0,"i+j")
+#20195=@"loc,{#10000},3,40,3,42"
+locations_default(#20195,#10000,3,40,3,42)
+hasLocation(#20194,#20195)
+enclosingStmt(#20194,#20177)
 exprContainers(#20194,#20001)
-literals("j","j",#20194)
-bind(#20194,#20184)
-#20195=*
-entry_cfg_node(#20195,#20001)
-#20196=@"loc,{#10000},1,1,1,0"
-locations_default(#20196,#10000,1,1,1,0)
-hasLocation(#20195,#20196)
+#20196=*
+exprs(#20196,79,#20194,0,"i")
+hasLocation(#20196,#20075)
+enclosingStmt(#20196,#20177)
+exprContainers(#20196,#20001)
+literals("i","i",#20196)
+bind(#20196,#20183)
 #20197=*
-exit_cfg_node(#20197,#20001)
-hasLocation(#20197,#20131)
-successor(#20172,#20173)
-successor(#20175,#20180)
-successor(#20180,#20179)
-successor(#20180,#20197)
-successor(#20181,#20186)
-successor(#20186,#20185)
-successor(#20186,#20179)
-successor(#20186,#20197)
-successor(#20194,#20191)
-successor(#20193,#20194)
-successor(#20191,#20185)
-successor(#20191,#20179)
-successor(#20191,#20197)
-successor(#20190,#20187)
-successor(#20189,#20190)
+exprs(#20197,79,#20194,1,"j")
+hasLocation(#20197,#20079)
+enclosingStmt(#20197,#20177)
+exprContainers(#20197,#20001)
+literals("j","j",#20197)
+bind(#20197,#20190)
 #20198=*
-guard_node(#20198,1,#20187)
-hasLocation(#20198,#20188)
-successor(#20198,#20193)
+stmts(#20198,2,#20001,3,"(for (i ... ) i+j);")
+hasLocation(#20198,#20009)
+stmtContainers(#20198,#20001)
 #20199=*
-guard_node(#20199,0,#20187)
-hasLocation(#20199,#20188)
-successor(#20199,#20185)
-successor(#20199,#20179)
-successor(#20199,#20197)
-successor(#20187,#20198)
-successor(#20187,#20199)
-successor(#20185,#20189)
-successor(#20179,#20181)
-successor(#20173,#20175)
-successor(#20151,#20152)
-successor(#20154,#20159)
-successor(#20159,#20158)
-successor(#20159,#20172)
-successor(#20161,#20166)
-successor(#20166,#20165)
-successor(#20166,#20158)
-successor(#20166,#20172)
-successor(#20171,#20168)
-successor(#20170,#20171)
-successor(#20168,#20165)
-successor(#20168,#20158)
-successor(#20168,#20172)
-successor(#20165,#20170)
-successor(#20158,#20161)
-successor(#20152,#20154)
-successor(#20148,#20149)
-successor(#20149,#20151)
-successor(#20133,#20134)
-successor(#20136,#20141)
-successor(#20141,#20140)
-successor(#20141,#20148)
-successor(#20147,#20140)
-successor(#20147,#20148)
-successor(#20146,#20143)
-successor(#20145,#20146)
-#20200=*
-guard_node(#20200,1,#20143)
-hasLocation(#20200,#20144)
-successor(#20200,#20147)
+exprs(#20199,74,#20198,0,"(for (i ... j) i+j)")
+#20200=@"loc,{#10000},4,1,4,52"
+locations_default(#20200,#10000,4,1,4,52)
+hasLocation(#20199,#20200)
+enclosingStmt(#20199,#20198)
+exprContainers(#20199,#20001)
 #20201=*
-guard_node(#20201,0,#20143)
-hasLocation(#20201,#20144)
-successor(#20201,#20140)
-successor(#20201,#20148)
-successor(#20143,#20200)
-successor(#20143,#20201)
-successor(#20140,#20145)
-successor(#20134,#20136)
-successor(#20195,#20133)
-numlines(#10000,4,4,0)
+exprs(#20201,76,#20199,1,"for (i of numbers)")
+#20202=@"loc,{#10000},4,2,4,19"
+locations_default(#20202,#10000,4,2,4,19)
+hasLocation(#20201,#20202)
+enclosingStmt(#20201,#20198)
+exprContainers(#20201,#20001)
+#20203=*
+scopes(#20203,7)
+scopenodes(#20201,#20203)
+scopenesting(#20203,#20000)
+#20204=@"var;{i};{#20203}"
+variables(#20204,"i",#20203)
+#20205=*
+exprs(#20205,78,#20201,0,"i")
+hasLocation(#20205,#20091)
+enclosingStmt(#20205,#20198)
+exprContainers(#20205,#20001)
+literals("i","i",#20205)
+decl(#20205,#20204)
+#20206=*
+exprs(#20206,79,#20201,1,"numbers")
+hasLocation(#20206,#20095)
+enclosingStmt(#20206,#20198)
+exprContainers(#20206,#20001)
+literals("numbers","numbers",#20206)
+bind(#20206,#20186)
+#20207=*
+exprs(#20207,76,#20199,2,"for (j of letters)")
+#20208=@"loc,{#10000},4,21,4,38"
+locations_default(#20208,#10000,4,21,4,38)
+hasLocation(#20207,#20208)
+enclosingStmt(#20207,#20198)
+exprContainers(#20207,#20001)
+#20209=*
+scopes(#20209,7)
+scopenodes(#20207,#20209)
+scopenesting(#20209,#20203)
+#20210=@"var;{j};{#20209}"
+variables(#20210,"j",#20209)
+#20211=*
+exprs(#20211,78,#20207,0,"j")
+hasLocation(#20211,#20103)
+enclosingStmt(#20211,#20198)
+exprContainers(#20211,#20001)
+literals("j","j",#20211)
+decl(#20211,#20210)
+#20212=*
+exprs(#20212,79,#20207,1,"letters")
+hasLocation(#20212,#20107)
+enclosingStmt(#20212,#20198)
+exprContainers(#20212,#20001)
+literals("letters","letters",#20212)
+bind(#20212,#20193)
+#20213=*
+exprs(#20213,27,#20199,-1,"i<j")
+#20214=@"loc,{#10000},4,44,4,46"
+locations_default(#20214,#10000,4,44,4,46)
+hasLocation(#20213,#20214)
+enclosingStmt(#20213,#20198)
+exprContainers(#20213,#20001)
+#20215=*
+exprs(#20215,79,#20213,0,"i")
+hasLocation(#20215,#20115)
+enclosingStmt(#20215,#20198)
+exprContainers(#20215,#20001)
+literals("i","i",#20215)
+bind(#20215,#20204)
+#20216=*
+exprs(#20216,79,#20213,1,"j")
+hasLocation(#20216,#20119)
+enclosingStmt(#20216,#20198)
+exprContainers(#20216,#20001)
+literals("j","j",#20216)
+bind(#20216,#20210)
+#20217=*
+exprs(#20217,34,#20199,0,"i+j")
+#20218=@"loc,{#10000},4,49,4,51"
+locations_default(#20218,#10000,4,49,4,51)
+hasLocation(#20217,#20218)
+enclosingStmt(#20217,#20198)
+exprContainers(#20217,#20001)
+#20219=*
+exprs(#20219,79,#20217,0,"i")
+hasLocation(#20219,#20123)
+enclosingStmt(#20219,#20198)
+exprContainers(#20219,#20001)
+literals("i","i",#20219)
+bind(#20219,#20204)
+#20220=*
+exprs(#20220,79,#20217,1,"j")
+hasLocation(#20220,#20127)
+enclosingStmt(#20220,#20198)
+exprContainers(#20220,#20001)
+literals("j","j",#20220)
+bind(#20220,#20210)
+#20221=*
+stmts(#20221,2,#20001,4,"(x.p for (x in xs));")
+hasLocation(#20221,#20011)
+stmtContainers(#20221,#20001)
+#20222=*
+exprs(#20222,74,#20221,0,"(x.p for (x in xs))")
+#20223=@"loc,{#10000},5,1,5,19"
+locations_default(#20223,#10000,5,1,5,19)
+hasLocation(#20222,#20223)
+enclosingStmt(#20222,#20221)
+exprContainers(#20222,#20001)
+#20224=*
+exprs(#20224,75,#20222,1,"for (x in xs)")
+#20225=@"loc,{#10000},5,6,5,18"
+locations_default(#20225,#10000,5,6,5,18)
+hasLocation(#20224,#20225)
+enclosingStmt(#20224,#20221)
+exprContainers(#20224,#20001)
+#20226=*
+scopes(#20226,7)
+scopenodes(#20224,#20226)
+scopenesting(#20226,#20000)
+#20227=@"var;{x};{#20226}"
+variables(#20227,"x",#20226)
+#20228=*
+exprs(#20228,78,#20224,0,"x")
+hasLocation(#20228,#20145)
+enclosingStmt(#20228,#20221)
+exprContainers(#20228,#20001)
+literals("x","x",#20228)
+decl(#20228,#20227)
+#20229=*
+exprs(#20229,79,#20224,1,"xs")
+hasLocation(#20229,#20149)
+enclosingStmt(#20229,#20221)
+exprContainers(#20229,#20001)
+literals("xs","xs",#20229)
+#20230=@"var;{xs};{#20000}"
+variables(#20230,"xs",#20000)
+bind(#20229,#20230)
+#20231=*
+exprs(#20231,14,#20222,0,"x.p")
+#20232=@"loc,{#10000},5,2,5,4"
+locations_default(#20232,#10000,5,2,5,4)
+hasLocation(#20231,#20232)
+enclosingStmt(#20231,#20221)
+exprContainers(#20231,#20001)
+#20233=*
+exprs(#20233,79,#20231,0,"x")
+hasLocation(#20233,#20135)
+enclosingStmt(#20233,#20221)
+exprContainers(#20233,#20001)
+literals("x","x",#20233)
+bind(#20233,#20227)
+#20234=*
+exprs(#20234,0,#20231,1,"p")
+hasLocation(#20234,#20139)
+enclosingStmt(#20234,#20221)
+exprContainers(#20234,#20001)
+literals("p","p",#20234)
+#20235=*
+entry_cfg_node(#20235,#20001)
+#20236=@"loc,{#10000},1,1,1,0"
+locations_default(#20236,#10000,1,1,1,0)
+hasLocation(#20235,#20236)
+#20237=*
+exit_cfg_node(#20237,#20001)
+hasLocation(#20237,#20157)
+successor(#20221,#20222)
+successor(#20224,#20229)
+successor(#20229,#20228)
+successor(#20229,#20237)
+successor(#20234,#20231)
+successor(#20233,#20234)
+successor(#20231,#20228)
+successor(#20231,#20237)
+successor(#20228,#20233)
+successor(#20222,#20224)
+successor(#20198,#20199)
+successor(#20201,#20206)
+successor(#20206,#20205)
+successor(#20206,#20221)
+successor(#20207,#20212)
+successor(#20212,#20211)
+successor(#20212,#20205)
+successor(#20212,#20221)
+successor(#20220,#20217)
+successor(#20219,#20220)
+successor(#20217,#20211)
+successor(#20217,#20205)
+successor(#20217,#20221)
+successor(#20216,#20213)
+successor(#20215,#20216)
+#20238=*
+guard_node(#20238,1,#20213)
+hasLocation(#20238,#20214)
+successor(#20238,#20219)
+#20239=*
+guard_node(#20239,0,#20213)
+hasLocation(#20239,#20214)
+successor(#20239,#20211)
+successor(#20239,#20205)
+successor(#20239,#20221)
+successor(#20213,#20238)
+successor(#20213,#20239)
+successor(#20211,#20215)
+successor(#20205,#20207)
+successor(#20199,#20201)
+successor(#20177,#20178)
+successor(#20180,#20185)
+successor(#20185,#20184)
+successor(#20185,#20198)
+successor(#20187,#20192)
+successor(#20192,#20191)
+successor(#20192,#20184)
+successor(#20192,#20198)
+successor(#20197,#20194)
+successor(#20196,#20197)
+successor(#20194,#20191)
+successor(#20194,#20184)
+successor(#20194,#20198)
+successor(#20191,#20196)
+successor(#20184,#20187)
+successor(#20178,#20180)
+successor(#20174,#20175)
+successor(#20175,#20177)
+successor(#20159,#20160)
+successor(#20162,#20167)
+successor(#20167,#20166)
+successor(#20167,#20174)
+successor(#20173,#20166)
+successor(#20173,#20174)
+successor(#20172,#20169)
+successor(#20171,#20172)
+#20240=*
+guard_node(#20240,1,#20169)
+hasLocation(#20240,#20170)
+successor(#20240,#20173)
+#20241=*
+guard_node(#20241,0,#20169)
+hasLocation(#20241,#20170)
+successor(#20241,#20166)
+successor(#20241,#20174)
+successor(#20169,#20240)
+successor(#20169,#20241)
+successor(#20166,#20171)
+successor(#20160,#20162)
+successor(#20235,#20159)
+numlines(#10000,5,5,0)
 filetype(#10000,"javascript")