-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathtransformed.dl
More file actions
499 lines (499 loc) · 160 KB
/
Copy pathtransformed.dl
File metadata and controls
499 lines (499 loc) · 160 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
.decl assert(v0:number, v1:symbol, v2:number)
.decl assigned(v0:symbol, v1:number, v2:symbol, v3:number)
.decl assignment(v0:symbol, v1:symbol, v2:number, v3:symbol, v4:number)
.decl define(v0:symbol, v1:symbol, v2:symbol, v3:number, v4:symbol, v5:number)
.decl catch(v0:symbol, v1:symbol, v2:number, v3:number, v4:number, v5:symbol, v6:number)
.decl arguments(v0:symbol, v1:number, v2:symbol, v3:number)
.decl actual_argument(v0:symbol, v1:symbol, v2:number, v3:number, v4:symbol, v5:number)
.decl formal_argument(v0:symbol, v1:number, v2:number, v3:symbol, v4:number)
.decl actual_argument_name(v0:symbol, v1:symbol, v2:number, v3:number, v4:symbol, v5:number)
.decl final(v0:number, v1:symbol, v2:number)
.decl value(v0:symbol, v1:number, v2:symbol, v3:number)
.decl flow(v0:number, v1:number, v2:symbol, v3:number, v4:number, v5:number, v6:symbol, v7:number, v8:number)
.decl true_flow(v0:number, v1:number, v2:symbol, v3:number, v4:number, v5:number, v6:symbol)
.decl false_flow(v0:number, v1:number, v2:symbol, v3:number, v4:number, v5:number, v6:symbol)
.decl constructor_call(v0:symbol, v1:number, v2:symbol, v3:number)
.decl instance_call(v0:symbol, v1:symbol, v2:number, v3:symbol, v4:number)
.decl call(v0:symbol, v1:number, v2:symbol, v3:symbol, v4:number, v5:number, v6:symbol, v7:symbol)
.decl call_name(v0:symbol, v1:number, v2:symbol, v3:symbol, v4:number)
.decl pure_call(v0:symbol, v1:number)
.decl pure_call_name(v0:symbol, v1:number)
.decl method(v0:symbol, v1:symbol, v2:number)
.decl method_name(v0:symbol, v1:symbol, v2:number)
.decl return(v0:number, v1:symbol, v2:number)
.decl return_value(v0:symbol, v1:number, v2:symbol, v3:number)
.decl start(v0:number, v1:symbol, v2:number)
.decl label(v0:number, v1:symbol, v2:number)
.decl try(v0:number, v1:number, v2:symbol, v3:number)
.decl finally(v0:number, v1:number, v2:symbol, v3:number)
.decl variable(v0:symbol, v1:symbol, v2:number)
.decl static_method(v0:symbol, v1:number, v2:symbol, v3:number)
.decl throw(v0:number, v1:symbol, v2:symbol, v3:number)
.decl unary_op(v0:symbol, v1:symbol, v2:number, v3:symbol, v4:number)
.decl binary_op(v0:symbol, v1:symbol, v2:symbol, v3:number, v4:symbol, v5:number)
.decl if(v0:number, v1:symbol, v2:number, v3:number, v4:symbol)
.decl if_var(v0:symbol, v1:number, v2:symbol, v3:number)
.decl while_condition(v0:number, v1:symbol, v2:number)
.decl while_condition_var(v0:symbol, v1:number, v2:symbol, v3:number)
.decl for_condition(v0:number, v1:symbol, v2:number)
.decl for_condition_var(v0:symbol, v1:number, v2:symbol, v3:number)
.decl assign_type(v0:symbol, v1:symbol, v2:symbol, v3:number)
.decl control_flow(v0:number, v1:symbol, v2:number, v3:symbol, v4:number, v5:number, v6:number, v7:symbol, v8:number, v9:number, v10:symbol)
.decl flow_reach(v0:number, v1:symbol, v2:number, v3:symbol, v4:number, v5:number, v6:number, v7:symbol, v8:number, v9:number, v10:symbol)
.decl defined(v0:symbol, v1:number, v2:symbol, v3:number, v4:number, v5:number, v6:symbol, v7:number, v8:number, v9:symbol)
.decl may_not_call_followed_simple(v0:symbol, v1:symbol, v2:number, v3:symbol, v4:symbol, v5:symbol, v6:number, v7:symbol, v8:number, v9:number, v10:number, v11:symbol, v12:number, v13:number, v14:symbol)
.decl may_not_call_followed_til_exit(v0:symbol, v1:symbol, v2:number, v3:symbol, v4:symbol, v5:symbol, v6:number, v7:number, v8:number, v9:symbol, v10:number, v11:number, v12:symbol)
.decl may_not_call_name_followed_simple(v0:symbol, v1:symbol, v2:number, v3:symbol, v4:symbol, v5:symbol, v6:number, v7:symbol, v8:number, v9:number, v10:number, v11:symbol, v12:number, v13:number, v14:symbol)
.decl may_not_call_name_followed_til_exit(v0:symbol, v1:symbol, v2:number, v3:symbol, v4:symbol, v5:symbol, v6:number, v7:number, v8:number, v9:symbol, v10:number, v11:number, v12:symbol)
.decl must_call_followed_before_exit(v0:symbol, v1:symbol, v2:number, v3:symbol, v4:symbol, v5:symbol, v6:number, v7:number, v8:number, v9:symbol, v10:number, v11:number, v12:symbol)
.decl must_call_name_followed_before_exit(v0:symbol, v1:symbol, v2:number, v3:symbol, v4:symbol, v5:symbol, v6:number, v7:number, v8:number, v9:symbol, v10:number, v11:number, v12:symbol)
.decl may_not_call_preceded_simple(v0:symbol, v1:symbol, v2:number, v3:symbol, v4:symbol, v5:symbol, v6:number, v7:symbol, v8:number, v9:number, v10:number, v11:symbol, v12:number, v13:number, v14:symbol)
.decl may_not_call_preceded_after_entry(v0:symbol, v1:symbol, v2:number, v3:symbol, v4:symbol, v5:symbol, v6:number, v7:number, v8:number, v9:symbol, v10:number, v11:number, v12:symbol)
.decl must_call_preceded_after_entry(v0:symbol, v1:symbol, v2:number, v3:symbol, v4:symbol, v5:symbol, v6:number, v7:number, v8:number, v9:symbol, v10:number, v11:number, v12:symbol)
.decl condition_dominate(v0:symbol, v1:symbol, v2:number, v3:symbol, v4:number, v5:number, v6:number, v7:symbol, v8:number, v9:number, v10:symbol)
.decl var_dep(v0:symbol, v1:number, v2:symbol, v3:symbol, v4:number, v5:symbol, v6:number, v7:number, v8:number, v9:symbol, v10:number, v11:number, v12:symbol)
.decl in_try_catch(v0:symbol, v1:symbol, v2:number, v3:symbol, v4:number, v5:symbol, v6:number, v7:number, v8:number, v9:symbol, v10:number, v11:number, v12:symbol)
.decl in_try_finally(v0:symbol, v1:symbol, v2:number, v3:symbol, v4:number, v5:number, v6:number, v7:number, v8:number, v9:symbol, v10:number, v11:number, v12:symbol)
.decl node(v0:number, v1:symbol, v2:number, v3:number, v4:number, v5:symbol, v6:number, v7:number, v8:symbol)
.decl not_dom(v0:number, v1:symbol, v2:number, v3:symbol, v4:number, v5:number, v6:number, v7:symbol, v8:number, v9:number, v10:symbol)
.decl dom(v0:number, v1:symbol, v2:number, v3:symbol, v4:number, v5:number, v6:number, v7:symbol, v8:number, v9:number, v10:symbol)
.decl correct_usage(v0:symbol, v1:number, v2:symbol, v3:symbol, v4:number, v5:number, v6:number, v7:symbol, v8:number, v9:number, v10:symbol)
.decl incorrect_usage(v0:symbol, v1:number, v2:symbol, v3:symbol, v4:number, v5:number, v6:number, v7:symbol, v8:number, v9:number, v10:symbol)
.decl symlog_neg_call(v0:symbol, v1:number, v2:symbol, v3:symbol, v4:number, v5:number, v6:number, v7:symbol, v8:number, v9:number, v10:symbol)
.decl symlog_neg_condition_dominate(v0:symbol, v1:symbol, v2:number, v3:symbol, v4:number, v5:number, v6:number, v7:symbol, v8:number, v9:number, v10:symbol)
.decl symlog_neg_not_dom(v0:number, v1:symbol, v2:number, v3:symbol, v4:number, v5:number, v6:number, v7:symbol, v8:number, v9:number, v10:symbol)
.decl symlog_neg_may_not_call_preceded_after_entry(v0:symbol, v1:symbol, v2:number, v3:symbol, v4:symbol, v5:symbol, v6:number, v7:number, v8:number, v9:symbol, v10:number, v11:number, v12:symbol)
.decl symlog_neg_may_not_call_name_followed_til_exit(v0:symbol, v1:symbol, v2:number, v3:symbol, v4:symbol, v5:symbol, v6:number, v7:number, v8:number, v9:symbol, v10:number, v11:number, v12:symbol)
.decl symlog_neg_call_name(v0:symbol, v1:number, v2:symbol, v3:symbol, v4:number, v5:number, v6:number, v7:symbol, v8:number, v9:number, v10:symbol)
.decl symlog_neg_var_dep(v0:symbol, v1:number, v2:symbol, v3:symbol, v4:number, v5:symbol, v6:number, v7:number, v8:number, v9:symbol, v10:number, v11:number, v12:symbol)
.decl symlog_neg_may_not_call_followed_til_exit(v0:symbol, v1:symbol, v2:number, v3:symbol, v4:symbol, v5:symbol, v6:number, v7:number, v8:number, v9:symbol, v10:number, v11:number, v12:symbol)
.decl symlog_domain_symlog_symbolic_2(v0:symbol)
.decl symlog_domain_922336(v0:number)
.decl symlog_domain_symlog_symbolic_1(v0:symbol)
.decl symlog_domain_922333_922335(v0:number, v1:number)
.decl symlog_domain_922334(v0:number)
.input assigned
.input actual_argument
.input variable
.input catch
.input constructor_call
.input while_condition_var
.input try
.input for_condition
.input binary_op
.input if
.input while_condition
.input start
.input call
.input false_flow
.input true_flow
.input flow
.input if_var
.input for_condition_var
.input final
.input define
.input call_name
.input assignment
.input label
.input finally
.output correct_usage
condition_dominate(call_sig, var, t, t_meth_sig, symlog_signal_0, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922334, symlog_binding_922333, symlog_binding_symlog_symbolic_1) :- defined(var, l, l_meth_sig, symlog_signal_1, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922334, symlog_binding_922333, symlog_binding_symlog_symbolic_1), call(call_sig, l, _, l_meth_sig, symlog_signal_2, symlog_binding_922336, symlog_binding_symlog_symbolic_1, symlog_binding_symlog_symbolic_2), for_condition(s, s_meth_sig, symlog_signal_3), for_condition_var(var, s, s_meth_sig, symlog_signal_4), flow_reach(s, s_meth_sig, l, l_meth_sig, symlog_signal_5, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922334, symlog_binding_922333, symlog_binding_symlog_symbolic_1), true_flow(s, s_true, s_meth_sig, symlog_signal_6, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2), dom(t, t_meth_sig, s_true, s_meth_sig, symlog_signal_7, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922334, symlog_binding_922333, symlog_binding_symlog_symbolic_1), symlog_signal_0 = symlog_signal_1 bor symlog_signal_2 bor symlog_signal_3 bor symlog_signal_4 bor symlog_signal_5 bor symlog_signal_6 bor symlog_signal_7, symlog_domain_922333_922335(symlog_binding_922333, symlog_binding_922335), symlog_domain_922336(symlog_binding_922336), symlog_domain_symlog_symbolic_1(symlog_binding_symlog_symbolic_1), symlog_domain_symlog_symbolic_2(symlog_binding_symlog_symbolic_2), symlog_domain_922334(symlog_binding_922334).
symlog_neg_call(followed_call_sig, t, t_base, t_meth_sig, symlog_signal_0, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922334, symlog_binding_922333, symlog_binding_symlog_symbolic_1) :- control_flow(s, s_meth_sig, t, t_meth_sig, symlog_signal_2, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922334, symlog_binding_922333, symlog_binding_symlog_symbolic_1), call(followed_call_sig, _, _, _, symlog_signal_4, symlog_binding_922336, symlog_binding_symlog_symbolic_1, symlog_binding_symlog_symbolic_2), variable(t_base, t_meth_sig, symlog_signal_5), !call(followed_call_sig, t, t_base, t_meth_sig, 0, symlog_binding_922336, symlog_binding_symlog_symbolic_1, symlog_binding_symlog_symbolic_2), !call(followed_call_sig, t, t_base, t_meth_sig, 1, symlog_binding_922336, symlog_binding_symlog_symbolic_1, symlog_binding_symlog_symbolic_2), symlog_signal_0 = 0, symlog_domain_922333_922335(symlog_binding_922333, symlog_binding_922335), symlog_domain_922336(symlog_binding_922336), symlog_domain_symlog_symbolic_1(symlog_binding_symlog_symbolic_1), symlog_domain_symlog_symbolic_2(symlog_binding_symlog_symbolic_2), symlog_domain_922334(symlog_binding_922334).
call("java.util.Iterator.hasNext()", 29, "it", "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0, symlog_binding_922336, symlog_binding_symlog_symbolic_1, symlog_binding_symlog_symbolic_2) :- symlog_domain_922336(symlog_binding_922336), symlog_domain_symlog_symbolic_1(symlog_binding_symlog_symbolic_1), symlog_domain_symlog_symbolic_2(symlog_binding_symlog_symbolic_2).
symlog_neg_call_name(followed_call_name, t, t_base, t_meth_sig, symlog_signal_0, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922334, symlog_binding_922333, symlog_binding_symlog_symbolic_1) :- control_flow(s, s_meth_sig, t, t_meth_sig, symlog_signal_2, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922334, symlog_binding_922333, symlog_binding_symlog_symbolic_1), call_name(followed_call_name, _, _, _, symlog_signal_4), variable(t_base, t_meth_sig, symlog_signal_5), !call_name(followed_call_name, t, t_base, t_meth_sig, 0), !call_name(followed_call_name, t, t_base, t_meth_sig, 1), symlog_signal_0 = 0, symlog_domain_922333_922335(symlog_binding_922333, symlog_binding_922335), symlog_domain_922336(symlog_binding_922336), symlog_domain_symlog_symbolic_1(symlog_binding_symlog_symbolic_1), symlog_domain_symlog_symbolic_2(symlog_binding_symlog_symbolic_2), symlog_domain_922334(symlog_binding_922334).
flow(14, 15, "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 1, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922333, symlog_binding_922334) :- symlog_domain_922333_922335(symlog_binding_922333, symlog_binding_922335), symlog_domain_922336(symlog_binding_922336), symlog_domain_symlog_symbolic_2(symlog_binding_symlog_symbolic_2), symlog_domain_922334(symlog_binding_922334).
may_not_call_followed_simple(s_call_sig, s_base, s, s_meth_sig, followed_call_sig, t_base, t, t_meth_sig, symlog_signal_0, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922334, symlog_binding_922333, symlog_binding_symlog_symbolic_1) :- call(s_call_sig, s, s_base, s_meth_sig, symlog_signal_1, symlog_binding_922336, symlog_binding_symlog_symbolic_1, symlog_binding_symlog_symbolic_2), control_flow(s, s_meth_sig, t, t_meth_sig, symlog_signal_2, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922334, symlog_binding_922333, symlog_binding_symlog_symbolic_1), symlog_neg_call(followed_call_sig, t, t_base, t_meth_sig, symlog_signal_3, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922334, symlog_binding_922333, symlog_binding_symlog_symbolic_1), call(followed_call_sig, _, _, _, symlog_signal_4, symlog_binding_922336, symlog_binding_symlog_symbolic_1, symlog_binding_symlog_symbolic_2), variable(t_base, t_meth_sig, symlog_signal_5), symlog_signal_0 = symlog_signal_1 bor symlog_signal_2 bor symlog_signal_3 bor symlog_signal_4 bor symlog_signal_5, symlog_domain_922333_922335(symlog_binding_922333, symlog_binding_922335), symlog_domain_922336(symlog_binding_922336), symlog_domain_symlog_symbolic_1(symlog_binding_symlog_symbolic_1), symlog_domain_symlog_symbolic_2(symlog_binding_symlog_symbolic_2), symlog_domain_922334(symlog_binding_922334).
flow(17, 19, "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 1, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922333, symlog_binding_922334) :- symlog_domain_922333_922335(symlog_binding_922333, symlog_binding_922335), symlog_domain_922336(symlog_binding_922336), symlog_domain_symlog_symbolic_2(symlog_binding_symlog_symbolic_2), symlog_domain_922334(symlog_binding_922334).
symlog_neg_var_dep(target_1, label_1, in_meth_1, target_1, label_2, in_meth_2, symlog_signal_0, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922334, symlog_binding_922333, symlog_binding_symlog_symbolic_1) :- call("java.util.Iterator.next()", label_2, target_1, in_meth_2, symlog_signal_1, symlog_binding_922336, symlog_binding_symlog_symbolic_1, symlog_binding_symlog_symbolic_2), call("java.util.Iterator.hasNext()", label_1, target_1, in_meth_1, symlog_signal_3, symlog_binding_922336, symlog_binding_symlog_symbolic_1, symlog_binding_symlog_symbolic_2), !var_dep(target_1, label_1, in_meth_1, target_1, label_2, in_meth_2, 0, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922334, symlog_binding_922333, symlog_binding_symlog_symbolic_1), var_dep(target_1, label_1, in_meth_1, target_1, label_2, in_meth_2, 1, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922334, symlog_binding_922333, symlog_binding_symlog_symbolic_1), symlog_signal_0 = symlog_signal_1 bor symlog_signal_3 bor 1, symlog_domain_922333_922335(symlog_binding_922333, symlog_binding_922335), symlog_domain_922336(symlog_binding_922336), symlog_domain_symlog_symbolic_1(symlog_binding_symlog_symbolic_1), symlog_domain_symlog_symbolic_2(symlog_binding_symlog_symbolic_2), symlog_domain_922334(symlog_binding_922334).
flow(27, 28, "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 1, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922333, symlog_binding_922334) :- symlog_domain_922333_922335(symlog_binding_922333, symlog_binding_922335), symlog_domain_922336(symlog_binding_922336), symlog_domain_symlog_symbolic_2(symlog_binding_symlog_symbolic_2), symlog_domain_922334(symlog_binding_922334).
var_dep(l_var, s, meth_sig, r_var, s, meth_sig, symlog_signal_0, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922334, symlog_binding_922333, symlog_binding_symlog_symbolic_1) :- assigned(l_var, s, meth_sig, symlog_signal_1), call_name(call_name, s, r_var, meth_sig, symlog_signal_2), symlog_signal_0 = symlog_signal_1 bor symlog_signal_2, symlog_domain_922333_922335(symlog_binding_922333, symlog_binding_922335), symlog_domain_922336(symlog_binding_922336), symlog_domain_symlog_symbolic_1(symlog_binding_symlog_symbolic_1), symlog_domain_symlog_symbolic_2(symlog_binding_symlog_symbolic_2), symlog_domain_922334(symlog_binding_922334).
var_dep(r_var, s, meth_sig, r_var, s, meth_sig, symlog_signal_0, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922334, symlog_binding_922333, symlog_binding_symlog_symbolic_1) :- assigned(l_var, s, meth_sig, symlog_signal_1), call(call_sig, s, r_var, meth_sig, symlog_signal_2, symlog_binding_922336, symlog_binding_symlog_symbolic_1, symlog_binding_symlog_symbolic_2), symlog_signal_0 = symlog_signal_1 bor symlog_signal_2, symlog_domain_922333_922335(symlog_binding_922333, symlog_binding_922335), symlog_domain_922336(symlog_binding_922336), symlog_domain_symlog_symbolic_1(symlog_binding_symlog_symbolic_1), symlog_domain_symlog_symbolic_2(symlog_binding_symlog_symbolic_2), symlog_domain_922334(symlog_binding_922334).
flow(8, 9, "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 1, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922333, symlog_binding_922334) :- symlog_domain_922333_922335(symlog_binding_922333, symlog_binding_922335), symlog_domain_922336(symlog_binding_922336), symlog_domain_symlog_symbolic_2(symlog_binding_symlog_symbolic_2), symlog_domain_922334(symlog_binding_922334).
may_not_call_name_followed_til_exit(s_call_name, s_base, s, s_meth_sig, followed_call_name, t_base, symlog_signal_0, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922334, symlog_binding_922333, symlog_binding_symlog_symbolic_1) :- may_not_call_name_followed_simple(s_call_name, s_base, s, s_meth_sig, followed_call_name, t_base, t, t_meth_sig, symlog_signal_1, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922334, symlog_binding_922333, symlog_binding_symlog_symbolic_1), final(t, t_meth_sig, symlog_signal_2), symlog_signal_0 = symlog_signal_1 bor symlog_signal_2, symlog_domain_922333_922335(symlog_binding_922333, symlog_binding_922335), symlog_domain_922336(symlog_binding_922336), symlog_domain_symlog_symbolic_1(symlog_binding_symlog_symbolic_1), symlog_domain_symlog_symbolic_2(symlog_binding_symlog_symbolic_2), symlog_domain_922334(symlog_binding_922334).
symlog_neg_call_name(followed_call_name, t, t_base, t_meth_sig, symlog_signal_0, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922334, symlog_binding_922333, symlog_binding_symlog_symbolic_1) :- may_not_call_name_followed_simple(s_call_name, s_base, s, s_meth_sig, followed_call_name, t_base, p, p_meth_sig, symlog_signal_1, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922334, symlog_binding_922333, symlog_binding_symlog_symbolic_1), control_flow(p, p_meth_sig, t, t_meth_sig, symlog_signal_2, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922334, symlog_binding_922333, symlog_binding_symlog_symbolic_1), call_name(followed_call_name, _, _, _, symlog_signal_4), variable(t_base, t_meth_sig, symlog_signal_5), !call_name(followed_call_name, t, t_base, t_meth_sig, 0), !call_name(followed_call_name, t, t_base, t_meth_sig, 1), symlog_signal_0 = 0, symlog_domain_922333_922335(symlog_binding_922333, symlog_binding_922335), symlog_domain_922336(symlog_binding_922336), symlog_domain_symlog_symbolic_1(symlog_binding_symlog_symbolic_1), symlog_domain_symlog_symbolic_2(symlog_binding_symlog_symbolic_2), symlog_domain_922334(symlog_binding_922334).
symlog_neg_not_dom(x, x_meth_sig, y, y_meth_sig, symlog_signal_0, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922334, symlog_binding_922333, symlog_binding_symlog_symbolic_1) :- node(x, x_meth_sig, symlog_signal_1, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922334, symlog_binding_922333, symlog_binding_symlog_symbolic_1), node(y, y_meth_sig, symlog_signal_2, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922334, symlog_binding_922333, symlog_binding_symlog_symbolic_1), !not_dom(x, x_meth_sig, y, y_meth_sig, 0, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922334, symlog_binding_922333, symlog_binding_symlog_symbolic_1), not_dom(x, x_meth_sig, y, y_meth_sig, 1, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922334, symlog_binding_922333, symlog_binding_symlog_symbolic_1), symlog_signal_0 = symlog_signal_1 bor symlog_signal_2 bor 1, symlog_domain_922333_922335(symlog_binding_922333, symlog_binding_922335), symlog_domain_922336(symlog_binding_922336), symlog_domain_symlog_symbolic_1(symlog_binding_symlog_symbolic_1), symlog_domain_symlog_symbolic_2(symlog_binding_symlog_symbolic_2), symlog_domain_922334(symlog_binding_922334).
flow(17, 18, "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 1, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922333, symlog_binding_922334) :- symlog_domain_922333_922335(symlog_binding_922333, symlog_binding_922335), symlog_domain_922336(symlog_binding_922336), symlog_domain_symlog_symbolic_2(symlog_binding_symlog_symbolic_2), symlog_domain_922334(symlog_binding_922334).
if(symlog_binding_922336, symlog_binding_symlog_symbolic_2, 0, symlog_binding_922336, symlog_binding_symlog_symbolic_2) :- symlog_domain_922336(symlog_binding_922336), symlog_domain_symlog_symbolic_2(symlog_binding_symlog_symbolic_2).
symlog_neg_call(followed_call_sig, t, t_base, t_meth_sig, symlog_signal_0, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922334, symlog_binding_922333, symlog_binding_symlog_symbolic_1) :- control_flow(s, s_meth_sig, t, t_meth_sig, symlog_signal_2, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922334, symlog_binding_922333, symlog_binding_symlog_symbolic_1), call(followed_call_sig, _, _, _, symlog_signal_4, symlog_binding_922336, symlog_binding_symlog_symbolic_1, symlog_binding_symlog_symbolic_2), variable(t_base, t_meth_sig, symlog_signal_5), !call(followed_call_sig, t, t_base, t_meth_sig, 0, symlog_binding_922336, symlog_binding_symlog_symbolic_1, symlog_binding_symlog_symbolic_2), call(followed_call_sig, t, t_base, t_meth_sig, 1, symlog_binding_922336, symlog_binding_symlog_symbolic_1, symlog_binding_symlog_symbolic_2), symlog_signal_0 = 1, symlog_domain_922333_922335(symlog_binding_922333, symlog_binding_922335), symlog_domain_922336(symlog_binding_922336), symlog_domain_symlog_symbolic_1(symlog_binding_symlog_symbolic_1), symlog_domain_symlog_symbolic_2(symlog_binding_symlog_symbolic_2), symlog_domain_922334(symlog_binding_922334).
symlog_neg_call_name(followed_call_name, t, t_base, t_meth_sig, symlog_signal_0, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922334, symlog_binding_922333, symlog_binding_symlog_symbolic_1) :- may_not_call_name_followed_simple(s_call_name, s_base, s, s_meth_sig, followed_call_name, t_base, p, p_meth_sig, symlog_signal_1, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922334, symlog_binding_922333, symlog_binding_symlog_symbolic_1), control_flow(p, p_meth_sig, t, t_meth_sig, symlog_signal_2, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922334, symlog_binding_922333, symlog_binding_symlog_symbolic_1), call_name(followed_call_name, _, _, _, symlog_signal_4), variable(t_base, t_meth_sig, symlog_signal_5), !call_name(followed_call_name, t, t_base, t_meth_sig, 0), call_name(followed_call_name, t, t_base, t_meth_sig, 1), symlog_signal_0 = 1, symlog_domain_922333_922335(symlog_binding_922333, symlog_binding_922335), symlog_domain_922336(symlog_binding_922336), symlog_domain_symlog_symbolic_1(symlog_binding_symlog_symbolic_1), symlog_domain_symlog_symbolic_2(symlog_binding_symlog_symbolic_2), symlog_domain_922334(symlog_binding_922334).
not_dom(x, meth_sig, y, meth_sig, symlog_signal_0, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922334, symlog_binding_922333, symlog_binding_symlog_symbolic_1) :- flow(pred, x, meth_sig, symlog_signal_1, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922333, symlog_binding_922334), not_dom(pred, meth_sig, y, meth_sig, symlog_signal_2, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922334, symlog_binding_922333, symlog_binding_symlog_symbolic_1), x != y, symlog_signal_0 = symlog_signal_1 bor symlog_signal_2, symlog_domain_922333_922335(symlog_binding_922333, symlog_binding_922335), symlog_domain_922336(symlog_binding_922336), symlog_domain_symlog_symbolic_1(symlog_binding_symlog_symbolic_1), symlog_domain_symlog_symbolic_2(symlog_binding_symlog_symbolic_2), symlog_domain_922334(symlog_binding_922334).
var_dep(r_var, s, meth_sig, r_var, s, meth_sig, symlog_signal_0, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922334, symlog_binding_922333, symlog_binding_symlog_symbolic_1) :- assigned(l_var, s, meth_sig, symlog_signal_1), assignment(l_var, r_var, s, meth_sig, symlog_signal_2), symlog_signal_0 = symlog_signal_1 bor symlog_signal_2, symlog_domain_922333_922335(symlog_binding_922333, symlog_binding_922335), symlog_domain_922336(symlog_binding_922336), symlog_domain_symlog_symbolic_1(symlog_binding_symlog_symbolic_1), symlog_domain_symlog_symbolic_2(symlog_binding_symlog_symbolic_2), symlog_domain_922334(symlog_binding_922334).
call("com.google.javascript.rhino.Node.children()", 3, "node", "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0, symlog_binding_922336, symlog_binding_symlog_symbolic_1, symlog_binding_symlog_symbolic_2) :- symlog_domain_922336(symlog_binding_922336), symlog_domain_symlog_symbolic_1(symlog_binding_symlog_symbolic_1), symlog_domain_symlog_symbolic_2(symlog_binding_symlog_symbolic_2).
call("com.google.javascript.jscomp.jsonml.Writer.processNode(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 13, "", "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0, symlog_binding_922336, symlog_binding_symlog_symbolic_1, symlog_binding_symlog_symbolic_2) :- symlog_domain_922336(symlog_binding_922336), symlog_domain_symlog_symbolic_1(symlog_binding_symlog_symbolic_1), symlog_domain_symlog_symbolic_2(symlog_binding_symlog_symbolic_2).
var_dep(l_var, s, meth_sig, r_var, s, meth_sig, symlog_signal_0, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922334, symlog_binding_922333, symlog_binding_symlog_symbolic_1) :- assigned(l_var, s, meth_sig, symlog_signal_1), constructor_call(constructor_sig, s, meth_sig, symlog_signal_2), actual_argument(constructor_sig, r_var, s, idx, meth_sig, symlog_signal_3), symlog_signal_0 = symlog_signal_1 bor symlog_signal_2 bor symlog_signal_3, symlog_domain_922333_922335(symlog_binding_922333, symlog_binding_922335), symlog_domain_922336(symlog_binding_922336), symlog_domain_symlog_symbolic_1(symlog_binding_symlog_symbolic_1), symlog_domain_symlog_symbolic_2(symlog_binding_symlog_symbolic_2), symlog_domain_922334(symlog_binding_922334).
true_flow(29, 30, "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2) :- symlog_domain_922333_922335(_, symlog_binding_922335), symlog_domain_922336(symlog_binding_922336), symlog_domain_symlog_symbolic_2(symlog_binding_symlog_symbolic_2).
symlog_neg_may_not_call_name_followed_til_exit(s_call_name, s_base, s, s_meth_sig, followed_call_name, t_base, symlog_signal_0, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922334, symlog_binding_922333, symlog_binding_symlog_symbolic_1) :- call_name(s_call_name, s, s_base, s_meth_sig, symlog_signal_1), call_name(followed_call_name, _, t_base, _, symlog_signal_3), !may_not_call_name_followed_til_exit(s_call_name, s_base, s, s_meth_sig, followed_call_name, t_base, 0, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922334, symlog_binding_922333, symlog_binding_symlog_symbolic_1), may_not_call_name_followed_til_exit(s_call_name, s_base, s, s_meth_sig, followed_call_name, t_base, 1, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922334, symlog_binding_922333, symlog_binding_symlog_symbolic_1), symlog_signal_0 = symlog_signal_1 bor symlog_signal_3 bor 1, symlog_domain_922333_922335(symlog_binding_922333, symlog_binding_922335), symlog_domain_922336(symlog_binding_922336), symlog_domain_symlog_symbolic_1(symlog_binding_symlog_symbolic_1), symlog_domain_symlog_symbolic_2(symlog_binding_symlog_symbolic_2), symlog_domain_922334(symlog_binding_922334).
symlog_neg_call(followed_call_sig, t, t_base, t_meth_sig, symlog_signal_0, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922334, symlog_binding_922333, symlog_binding_symlog_symbolic_1) :- may_not_call_followed_simple(s_call_sig, s_base, s, s_meth_sig, followed_call_sig, t_base, p, p_meth_sig, symlog_signal_1, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922334, symlog_binding_922333, symlog_binding_symlog_symbolic_1), control_flow(p, p_meth_sig, t, t_meth_sig, symlog_signal_2, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922334, symlog_binding_922333, symlog_binding_symlog_symbolic_1), call(followed_call_sig, _, _, _, symlog_signal_4, symlog_binding_922336, symlog_binding_symlog_symbolic_1, symlog_binding_symlog_symbolic_2), variable(t_base, t_meth_sig, symlog_signal_5), !call(followed_call_sig, t, t_base, t_meth_sig, 0, symlog_binding_922336, symlog_binding_symlog_symbolic_1, symlog_binding_symlog_symbolic_2), !call(followed_call_sig, t, t_base, t_meth_sig, 1, symlog_binding_922336, symlog_binding_symlog_symbolic_1, symlog_binding_symlog_symbolic_2), symlog_signal_0 = 0, symlog_domain_922333_922335(symlog_binding_922333, symlog_binding_922335), symlog_domain_922336(symlog_binding_922336), symlog_domain_symlog_symbolic_1(symlog_binding_symlog_symbolic_1), symlog_domain_symlog_symbolic_2(symlog_binding_symlog_symbolic_2), symlog_domain_922334(symlog_binding_922334).
flow(30, 29, "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 1, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922333, symlog_binding_922334) :- symlog_domain_922333_922335(symlog_binding_922333, symlog_binding_922335), symlog_domain_922336(symlog_binding_922336), symlog_domain_symlog_symbolic_2(symlog_binding_symlog_symbolic_2), symlog_domain_922334(symlog_binding_922334).
false_flow(17, 19, "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0, symlog_binding_922336, symlog_binding_922334, symlog_binding_symlog_symbolic_2) :- symlog_domain_922336(symlog_binding_922336), symlog_domain_922334(symlog_binding_922334), symlog_domain_symlog_symbolic_2(symlog_binding_symlog_symbolic_2).
call("java.util.Iterator.hasNext()", symlog_binding_922336, symlog_binding_symlog_symbolic_1, symlog_binding_symlog_symbolic_2, 0, symlog_binding_922336, symlog_binding_symlog_symbolic_1, symlog_binding_symlog_symbolic_2) :- symlog_domain_922336(symlog_binding_922336), symlog_domain_symlog_symbolic_1(symlog_binding_symlog_symbolic_1), symlog_domain_symlog_symbolic_2(symlog_binding_symlog_symbolic_2).
flow(5, 6, "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 1, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922333, symlog_binding_922334) :- symlog_domain_922333_922335(symlog_binding_922333, symlog_binding_922335), symlog_domain_922336(symlog_binding_922336), symlog_domain_symlog_symbolic_2(symlog_binding_symlog_symbolic_2), symlog_domain_922334(symlog_binding_922334).
false_flow(symlog_binding_922336, symlog_binding_922334, symlog_binding_symlog_symbolic_2, 0, symlog_binding_922336, symlog_binding_922334, symlog_binding_symlog_symbolic_2) :- symlog_domain_922336(symlog_binding_922336), symlog_domain_922334(symlog_binding_922334), symlog_domain_symlog_symbolic_2(symlog_binding_symlog_symbolic_2).
symlog_neg_call(followed_call_sig, t, t_base, t_meth_sig, symlog_signal_0, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922334, symlog_binding_922333, symlog_binding_symlog_symbolic_1) :- may_not_call_followed_simple(s_call_sig, s_base, s, s_meth_sig, followed_call_sig, t_base, p, p_meth_sig, symlog_signal_1, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922334, symlog_binding_922333, symlog_binding_symlog_symbolic_1), control_flow(p, p_meth_sig, t, t_meth_sig, symlog_signal_2, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922334, symlog_binding_922333, symlog_binding_symlog_symbolic_1), call(followed_call_sig, _, _, _, symlog_signal_4, symlog_binding_922336, symlog_binding_symlog_symbolic_1, symlog_binding_symlog_symbolic_2), variable(t_base, t_meth_sig, symlog_signal_5), !call(followed_call_sig, t, t_base, t_meth_sig, 0, symlog_binding_922336, symlog_binding_symlog_symbolic_1, symlog_binding_symlog_symbolic_2), call(followed_call_sig, t, t_base, t_meth_sig, 1, symlog_binding_922336, symlog_binding_symlog_symbolic_1, symlog_binding_symlog_symbolic_2), symlog_signal_0 = 1, symlog_domain_922333_922335(symlog_binding_922333, symlog_binding_922335), symlog_domain_922336(symlog_binding_922336), symlog_domain_symlog_symbolic_1(symlog_binding_symlog_symbolic_1), symlog_domain_symlog_symbolic_2(symlog_binding_symlog_symbolic_2), symlog_domain_922334(symlog_binding_922334).
flow(25, 26, "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 1, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922333, symlog_binding_922334) :- symlog_domain_922333_922335(symlog_binding_922333, symlog_binding_922335), symlog_domain_922336(symlog_binding_922336), symlog_domain_symlog_symbolic_2(symlog_binding_symlog_symbolic_2), symlog_domain_922334(symlog_binding_922334).
may_not_call_followed_til_exit(s_call_sig, s_base, s, s_meth_sig, followed_call_sig, t_base, symlog_signal_0, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922334, symlog_binding_922333, symlog_binding_symlog_symbolic_1) :- may_not_call_followed_simple(s_call_sig, s_base, s, s_meth_sig, followed_call_sig, t_base, t, t_meth_sig, symlog_signal_1, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922334, symlog_binding_922333, symlog_binding_symlog_symbolic_1), final(t, t_meth_sig, symlog_signal_2), symlog_signal_0 = symlog_signal_1 bor symlog_signal_2, symlog_domain_922333_922335(symlog_binding_922333, symlog_binding_922335), symlog_domain_922336(symlog_binding_922336), symlog_domain_symlog_symbolic_1(symlog_binding_symlog_symbolic_1), symlog_domain_symlog_symbolic_2(symlog_binding_symlog_symbolic_2), symlog_domain_922334(symlog_binding_922334).
call("com.google.javascript.rhino.Node.getString()", 20, "child", "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0, symlog_binding_922336, symlog_binding_symlog_symbolic_1, symlog_binding_symlog_symbolic_2) :- symlog_domain_922336(symlog_binding_922336), symlog_domain_symlog_symbolic_1(symlog_binding_symlog_symbolic_1), symlog_domain_symlog_symbolic_2(symlog_binding_symlog_symbolic_2).
in_try_finally(call_sig, var, s, s_meth_sig, s_try, finally_label, symlog_signal_0, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922334, symlog_binding_922333, symlog_binding_symlog_symbolic_1) :- try(s_try, _, s_meth_sig, symlog_signal_1), flow_reach(s_try, s_meth_sig, s, s_meth_sig, symlog_signal_2, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922334, symlog_binding_922333, symlog_binding_symlog_symbolic_1), call(call_sig, s, var, s_meth_sig, symlog_signal_3, symlog_binding_922336, symlog_binding_symlog_symbolic_1, symlog_binding_symlog_symbolic_2), flow_reach(s, s_meth_sig, finally_label, s_meth_sig, symlog_signal_4, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922334, symlog_binding_922333, symlog_binding_symlog_symbolic_1), finally(s_try, finally_label, s_meth_sig, symlog_signal_5), symlog_signal_0 = symlog_signal_1 bor symlog_signal_2 bor symlog_signal_3 bor symlog_signal_4 bor symlog_signal_5, symlog_domain_922333_922335(symlog_binding_922333, symlog_binding_922335), symlog_domain_922336(symlog_binding_922336), symlog_domain_symlog_symbolic_1(symlog_binding_symlog_symbolic_1), symlog_domain_symlog_symbolic_2(symlog_binding_symlog_symbolic_2), symlog_domain_922334(symlog_binding_922334).
control_flow(s, in_meth_sig, t, in_meth_sig, symlog_signal_0, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922334, symlog_binding_922333, symlog_binding_symlog_symbolic_1) :- flow(s, t, in_meth_sig, symlog_signal_1, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922333, symlog_binding_922334), symlog_signal_0 = symlog_signal_1, symlog_domain_922333_922335(symlog_binding_922333, symlog_binding_922335), symlog_domain_922336(symlog_binding_922336), symlog_domain_symlog_symbolic_1(symlog_binding_symlog_symbolic_1), symlog_domain_symlog_symbolic_2(symlog_binding_symlog_symbolic_2), symlog_domain_922334(symlog_binding_922334).
flow_reach(s, in_meth_sig, s, in_meth_sig, symlog_signal_0, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922334, symlog_binding_922333, symlog_binding_symlog_symbolic_1) :- label(s, in_meth_sig, symlog_signal_1), symlog_signal_0 = symlog_signal_1, symlog_domain_922333_922335(symlog_binding_922333, symlog_binding_922335), symlog_domain_922336(symlog_binding_922336), symlog_domain_symlog_symbolic_1(symlog_binding_symlog_symbolic_1), symlog_domain_symlog_symbolic_2(symlog_binding_symlog_symbolic_2), symlog_domain_922334(symlog_binding_922334).
incorrect_usage("java.util.Iterator.next()", label_2, target_1, in_meth_2, symlog_signal_0, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922334, symlog_binding_922333, symlog_binding_symlog_symbolic_1) :- call("java.util.Iterator.next()", label_2, target_1, in_meth_2, symlog_signal_1, symlog_binding_922336, symlog_binding_symlog_symbolic_1, symlog_binding_symlog_symbolic_2), symlog_neg_var_dep(target_1, label_1, in_meth_1, target_1, label_2, in_meth_2, symlog_signal_2, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922334, symlog_binding_922333, symlog_binding_symlog_symbolic_1), call("java.util.Iterator.hasNext()", label_1, target_1, in_meth_1, symlog_signal_3, symlog_binding_922336, symlog_binding_symlog_symbolic_1, symlog_binding_symlog_symbolic_2), symlog_signal_0 = symlog_signal_1 bor symlog_signal_2 bor symlog_signal_3, symlog_domain_922333_922335(symlog_binding_922333, symlog_binding_922335), symlog_domain_922336(symlog_binding_922336), symlog_domain_symlog_symbolic_1(symlog_binding_symlog_symbolic_1), symlog_domain_symlog_symbolic_2(symlog_binding_symlog_symbolic_2), symlog_domain_922334(symlog_binding_922334).
condition_dominate(call_sig, var, t, t_meth_sig, symlog_signal_0, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922334, symlog_binding_922333, symlog_binding_symlog_symbolic_1) :- while_condition(s, s_meth_sig, symlog_signal_1), call(call_sig, s, var, s_meth_sig, symlog_signal_2, symlog_binding_922336, symlog_binding_symlog_symbolic_1, symlog_binding_symlog_symbolic_2), true_flow(s, s_true, s_meth_sig, symlog_signal_3, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2), dom(t, t_meth_sig, s_true, s_meth_sig, symlog_signal_4, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922334, symlog_binding_922333, symlog_binding_symlog_symbolic_1), symlog_signal_0 = symlog_signal_1 bor symlog_signal_2 bor symlog_signal_3 bor symlog_signal_4, symlog_domain_922333_922335(symlog_binding_922333, symlog_binding_922335), symlog_domain_922336(symlog_binding_922336), symlog_domain_symlog_symbolic_1(symlog_binding_symlog_symbolic_1), symlog_domain_symlog_symbolic_2(symlog_binding_symlog_symbolic_2), symlog_domain_922334(symlog_binding_922334).
flow_reach(s, s_meth_sig, t, t_meth_sig, symlog_signal_0, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922334, symlog_binding_922333, symlog_binding_symlog_symbolic_1) :- flow_reach(s, s_meth_sig, p, p_meth_sig, symlog_signal_1, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922334, symlog_binding_922333, symlog_binding_symlog_symbolic_1), control_flow(p, p_meth_sig, t, t_meth_sig, symlog_signal_2, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922334, symlog_binding_922333, symlog_binding_symlog_symbolic_1), symlog_signal_0 = symlog_signal_1 bor symlog_signal_2, symlog_domain_922333_922335(symlog_binding_922333, symlog_binding_922335), symlog_domain_922336(symlog_binding_922336), symlog_domain_symlog_symbolic_1(symlog_binding_symlog_symbolic_1), symlog_domain_symlog_symbolic_2(symlog_binding_symlog_symbolic_2), symlog_domain_922334(symlog_binding_922334).
flow(symlog_binding_922336, symlog_binding_922334, symlog_binding_symlog_symbolic_2, 0, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922333, symlog_binding_922334) :- symlog_domain_922333_922335(symlog_binding_922333, symlog_binding_922335), symlog_domain_922336(symlog_binding_922336), symlog_domain_symlog_symbolic_2(symlog_binding_symlog_symbolic_2), symlog_domain_922334(symlog_binding_922334).
flow(6, 7, "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 1, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922333, symlog_binding_922334) :- symlog_domain_922333_922335(symlog_binding_922333, symlog_binding_922335), symlog_domain_922336(symlog_binding_922336), symlog_domain_symlog_symbolic_2(symlog_binding_symlog_symbolic_2), symlog_domain_922334(symlog_binding_922334).
in_try_catch(call_sig, var, s, s_meth_sig, catch_label, exception_type, symlog_signal_0, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922334, symlog_binding_922333, symlog_binding_symlog_symbolic_1) :- try(s_try, catch_label, s_meth_sig, symlog_signal_1), flow_reach(s_try, s_meth_sig, s, s_meth_sig, symlog_signal_2, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922334, symlog_binding_922333, symlog_binding_symlog_symbolic_1), call(call_sig, s, var, s_meth_sig, symlog_signal_3, symlog_binding_922336, symlog_binding_symlog_symbolic_1, symlog_binding_symlog_symbolic_2), flow_reach(s, s_meth_sig, catch_label, s_meth_sig, symlog_signal_4, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922334, symlog_binding_922333, symlog_binding_symlog_symbolic_1), catch(exception_type, _, catch_label, _, _, s_meth_sig, symlog_signal_5), symlog_signal_0 = symlog_signal_1 bor symlog_signal_2 bor symlog_signal_3 bor symlog_signal_4 bor symlog_signal_5, symlog_domain_922333_922335(symlog_binding_922333, symlog_binding_922335), symlog_domain_922336(symlog_binding_922336), symlog_domain_symlog_symbolic_1(symlog_binding_symlog_symbolic_1), symlog_domain_symlog_symbolic_2(symlog_binding_symlog_symbolic_2), symlog_domain_922334(symlog_binding_922334).
condition_dominate(call_sig, var, t, t_meth_sig, symlog_signal_0, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922334, symlog_binding_922333, symlog_binding_symlog_symbolic_1) :- defined(var, l, l_meth_sig, symlog_signal_1, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922334, symlog_binding_922333, symlog_binding_symlog_symbolic_1), call(call_sig, l, _, l_meth_sig, symlog_signal_2, symlog_binding_922336, symlog_binding_symlog_symbolic_1, symlog_binding_symlog_symbolic_2), if(s, s_meth_sig, symlog_signal_3, symlog_binding_922336, symlog_binding_symlog_symbolic_2), if_var(var, s, s_meth_sig, symlog_signal_4), binary_op(var, "EQ", "null", s, s_meth_sig, symlog_signal_5), flow_reach(l, l_meth_sig, s, s_meth_sig, symlog_signal_6, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922334, symlog_binding_922333, symlog_binding_symlog_symbolic_1), false_flow(s, s_false, s_meth_sig, symlog_signal_7, symlog_binding_922336, symlog_binding_922334, symlog_binding_symlog_symbolic_2), dom(t, t_meth_sig, s_false, s_meth_sig, symlog_signal_8, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922334, symlog_binding_922333, symlog_binding_symlog_symbolic_1), symlog_signal_0 = symlog_signal_1 bor symlog_signal_2 bor symlog_signal_3 bor symlog_signal_4 bor symlog_signal_5 bor symlog_signal_6 bor symlog_signal_7 bor symlog_signal_8, symlog_domain_922333_922335(symlog_binding_922333, symlog_binding_922335), symlog_domain_922336(symlog_binding_922336), symlog_domain_symlog_symbolic_1(symlog_binding_symlog_symbolic_1), symlog_domain_symlog_symbolic_2(symlog_binding_symlog_symbolic_2), symlog_domain_922334(symlog_binding_922334).
var_dep(l_var, s, meth_sig, r_var, s, meth_sig, symlog_signal_0, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922334, symlog_binding_922333, symlog_binding_symlog_symbolic_1) :- assigned(l_var, s, meth_sig, symlog_signal_1), assignment(l_var, r_var, s, meth_sig, symlog_signal_2), symlog_signal_0 = symlog_signal_1 bor symlog_signal_2, symlog_domain_922333_922335(symlog_binding_922333, symlog_binding_922335), symlog_domain_922336(symlog_binding_922336), symlog_domain_symlog_symbolic_1(symlog_binding_symlog_symbolic_1), symlog_domain_symlog_symbolic_2(symlog_binding_symlog_symbolic_2), symlog_domain_922334(symlog_binding_922334).
symlog_neg_var_dep(target_1, label_1, in_meth_1, target_1, label_2, in_meth_2, symlog_signal_0, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922334, symlog_binding_922333, symlog_binding_symlog_symbolic_1) :- call("java.util.Iterator.next()", label_2, target_1, in_meth_2, symlog_signal_1, symlog_binding_922336, symlog_binding_symlog_symbolic_1, symlog_binding_symlog_symbolic_2), call("java.util.Iterator.hasNext()", label_1, target_1, in_meth_1, symlog_signal_3, symlog_binding_922336, symlog_binding_symlog_symbolic_1, symlog_binding_symlog_symbolic_2), !var_dep(target_1, label_1, in_meth_1, target_1, label_2, in_meth_2, 0, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922334, symlog_binding_922333, symlog_binding_symlog_symbolic_1), !var_dep(target_1, label_1, in_meth_1, target_1, label_2, in_meth_2, 1, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922334, symlog_binding_922333, symlog_binding_symlog_symbolic_1), symlog_signal_0 = symlog_signal_1 bor symlog_signal_3 bor 0, symlog_domain_922333_922335(symlog_binding_922333, symlog_binding_922335), symlog_domain_922336(symlog_binding_922336), symlog_domain_symlog_symbolic_1(symlog_binding_symlog_symbolic_1), symlog_domain_symlog_symbolic_2(symlog_binding_symlog_symbolic_2), symlog_domain_922334(symlog_binding_922334).
call("com.google.javascript.rhino.Node.getFirstChild()", 12, "child", "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0, symlog_binding_922336, symlog_binding_symlog_symbolic_1, symlog_binding_symlog_symbolic_2) :- symlog_domain_922336(symlog_binding_922336), symlog_domain_symlog_symbolic_1(symlog_binding_symlog_symbolic_1), symlog_domain_symlog_symbolic_2(symlog_binding_symlog_symbolic_2).
must_call_followed_before_exit(s_call_sig, s_base, s, s_meth_sig, followed_call_sig, t_base, symlog_signal_0, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922334, symlog_binding_922333, symlog_binding_symlog_symbolic_1) :- call(s_call_sig, s, s_base, s_meth_sig, symlog_signal_1, symlog_binding_922336, symlog_binding_symlog_symbolic_1, symlog_binding_symlog_symbolic_2), symlog_neg_may_not_call_followed_til_exit(s_call_sig, s_base, s, s_meth_sig, followed_call_sig, t_base, symlog_signal_2, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922334, symlog_binding_922333, symlog_binding_symlog_symbolic_1), call(followed_call_sig, _, t_base, _, symlog_signal_3, symlog_binding_922336, symlog_binding_symlog_symbolic_1, symlog_binding_symlog_symbolic_2), symlog_signal_0 = symlog_signal_1 bor symlog_signal_2 bor symlog_signal_3, symlog_domain_922333_922335(symlog_binding_922333, symlog_binding_922335), symlog_domain_922336(symlog_binding_922336), symlog_domain_symlog_symbolic_1(symlog_binding_symlog_symbolic_1), symlog_domain_symlog_symbolic_2(symlog_binding_symlog_symbolic_2), symlog_domain_922334(symlog_binding_922334).
call("java.lang.Object.java.lang.Object()", 18, "this", "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0, symlog_binding_922336, symlog_binding_symlog_symbolic_1, symlog_binding_symlog_symbolic_2) :- symlog_domain_922336(symlog_binding_922336), symlog_domain_symlog_symbolic_1(symlog_binding_symlog_symbolic_1), symlog_domain_symlog_symbolic_2(symlog_binding_symlog_symbolic_2).
call("com.google.javascript.jscomp.jsonml.JsonML.appendChild(com.google.javascript.jscomp.jsonml.JsonML)", 22, "currentParent", "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0, symlog_binding_922336, symlog_binding_symlog_symbolic_1, symlog_binding_symlog_symbolic_2) :- symlog_domain_922336(symlog_binding_922336), symlog_domain_symlog_symbolic_1(symlog_binding_symlog_symbolic_1), symlog_domain_symlog_symbolic_2(symlog_binding_symlog_symbolic_2).
symlog_neg_call(preceded_call_sig, t, t_base, t_meth_sig, symlog_signal_0, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922334, symlog_binding_922333, symlog_binding_symlog_symbolic_1) :- control_flow(t, t_meth_sig, s, s_meth_sig, symlog_signal_2, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922334, symlog_binding_922333, symlog_binding_symlog_symbolic_1), call(preceded_call_sig, _, _, _, symlog_signal_4, symlog_binding_922336, symlog_binding_symlog_symbolic_1, symlog_binding_symlog_symbolic_2), variable(t_base, t_meth_sig, symlog_signal_5), !call(preceded_call_sig, t, t_base, t_meth_sig, 0, symlog_binding_922336, symlog_binding_symlog_symbolic_1, symlog_binding_symlog_symbolic_2), call(preceded_call_sig, t, t_base, t_meth_sig, 1, symlog_binding_922336, symlog_binding_symlog_symbolic_1, symlog_binding_symlog_symbolic_2), symlog_signal_0 = 1, symlog_domain_922333_922335(symlog_binding_922333, symlog_binding_922335), symlog_domain_922336(symlog_binding_922336), symlog_domain_symlog_symbolic_1(symlog_binding_symlog_symbolic_1), symlog_domain_symlog_symbolic_2(symlog_binding_symlog_symbolic_2), symlog_domain_922334(symlog_binding_922334).
symlog_neg_may_not_call_followed_til_exit(s_call_sig, s_base, s, s_meth_sig, followed_call_sig, t_base, symlog_signal_0, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922334, symlog_binding_922333, symlog_binding_symlog_symbolic_1) :- call(s_call_sig, s, s_base, s_meth_sig, symlog_signal_1, symlog_binding_922336, symlog_binding_symlog_symbolic_1, symlog_binding_symlog_symbolic_2), call(followed_call_sig, _, t_base, _, symlog_signal_3, symlog_binding_922336, symlog_binding_symlog_symbolic_1, symlog_binding_symlog_symbolic_2), !may_not_call_followed_til_exit(s_call_sig, s_base, s, s_meth_sig, followed_call_sig, t_base, 0, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922334, symlog_binding_922333, symlog_binding_symlog_symbolic_1), may_not_call_followed_til_exit(s_call_sig, s_base, s, s_meth_sig, followed_call_sig, t_base, 1, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922334, symlog_binding_922333, symlog_binding_symlog_symbolic_1), symlog_signal_0 = symlog_signal_1 bor symlog_signal_3 bor 1, symlog_domain_922333_922335(symlog_binding_922333, symlog_binding_922335), symlog_domain_922336(symlog_binding_922336), symlog_domain_symlog_symbolic_1(symlog_binding_symlog_symbolic_1), symlog_domain_symlog_symbolic_2(symlog_binding_symlog_symbolic_2), symlog_domain_922334(symlog_binding_922334).
call("java.util.Iterator.next()", 30, "it", "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0, symlog_binding_922336, symlog_binding_symlog_symbolic_1, symlog_binding_symlog_symbolic_2) :- symlog_domain_922336(symlog_binding_922336), symlog_domain_symlog_symbolic_1(symlog_binding_symlog_symbolic_1), symlog_domain_symlog_symbolic_2(symlog_binding_symlog_symbolic_2).
call("com.google.javascript.jscomp.jsonml.JsonML.setAttribute()", 20, "element", "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0, symlog_binding_922336, symlog_binding_symlog_symbolic_1, symlog_binding_symlog_symbolic_2) :- symlog_domain_922336(symlog_binding_922336), symlog_domain_symlog_symbolic_1(symlog_binding_symlog_symbolic_1), symlog_domain_symlog_symbolic_2(symlog_binding_symlog_symbolic_2).
flow(29, 31, "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922333, symlog_binding_922334) :- symlog_domain_922333_922335(symlog_binding_922333, symlog_binding_922335), symlog_domain_922336(symlog_binding_922336), symlog_domain_symlog_symbolic_2(symlog_binding_symlog_symbolic_2), symlog_domain_922334(symlog_binding_922334).
flow(21, 22, "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 1, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922333, symlog_binding_922334) :- symlog_domain_922333_922335(symlog_binding_922333, symlog_binding_922335), symlog_domain_922336(symlog_binding_922336), symlog_domain_symlog_symbolic_2(symlog_binding_symlog_symbolic_2), symlog_domain_922334(symlog_binding_922334).
flow(10, 11, "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 1, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922333, symlog_binding_922334) :- symlog_domain_922333_922335(symlog_binding_922333, symlog_binding_922335), symlog_domain_922336(symlog_binding_922336), symlog_domain_symlog_symbolic_2(symlog_binding_symlog_symbolic_2), symlog_domain_922334(symlog_binding_922334).
flow(16, 17, "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 1, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922333, symlog_binding_922334) :- symlog_domain_922333_922335(symlog_binding_922333, symlog_binding_922335), symlog_domain_922336(symlog_binding_922336), symlog_domain_symlog_symbolic_2(symlog_binding_symlog_symbolic_2), symlog_domain_922334(symlog_binding_922334).
flow(6, 8, "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 1, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922333, symlog_binding_922334) :- symlog_domain_922333_922335(symlog_binding_922333, symlog_binding_922335), symlog_domain_922336(symlog_binding_922336), symlog_domain_symlog_symbolic_2(symlog_binding_symlog_symbolic_2), symlog_domain_922334(symlog_binding_922334).
var_dep(var, s, s_meth_sig, dep_var, p, p_meth_sig, symlog_signal_0, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922334, symlog_binding_922333, symlog_binding_symlog_symbolic_1) :- var_dep(var, t, t_meth_sig, dep_var, t, t_meth_sig, symlog_signal_1, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922334, symlog_binding_922333, symlog_binding_symlog_symbolic_1), flow_reach(t, t_meth_sig, s, s_meth_sig, symlog_signal_2, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922334, symlog_binding_922333, symlog_binding_symlog_symbolic_1), flow_reach(t, t_meth_sig, p, p_meth_sig, symlog_signal_3, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922334, symlog_binding_922333, symlog_binding_symlog_symbolic_1), symlog_signal_0 = symlog_signal_1 bor symlog_signal_2 bor symlog_signal_3, symlog_domain_922333_922335(symlog_binding_922333, symlog_binding_922335), symlog_domain_922336(symlog_binding_922336), symlog_domain_symlog_symbolic_1(symlog_binding_symlog_symbolic_1), symlog_domain_symlog_symbolic_2(symlog_binding_symlog_symbolic_2), symlog_domain_922334(symlog_binding_922334).
flow(4, 5, "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 1, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922333, symlog_binding_922334) :- symlog_domain_922333_922335(symlog_binding_922333, symlog_binding_922335), symlog_domain_922336(symlog_binding_922336), symlog_domain_symlog_symbolic_2(symlog_binding_symlog_symbolic_2), symlog_domain_922334(symlog_binding_922334).
flow(18, 22, "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 1, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922333, symlog_binding_922334) :- symlog_domain_922333_922335(symlog_binding_922333, symlog_binding_922335), symlog_domain_922336(symlog_binding_922336), symlog_domain_symlog_symbolic_2(symlog_binding_symlog_symbolic_2), symlog_domain_922334(symlog_binding_922334).
true_flow(symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, 0, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2) :- symlog_domain_922333_922335(_, symlog_binding_922335), symlog_domain_922336(symlog_binding_922336), symlog_domain_symlog_symbolic_2(symlog_binding_symlog_symbolic_2).
call("com.google.javascript.jscomp.jsonml.JsonML.appendChild(com.google.javascript.jscomp.jsonml.JsonML)", 11, "currentParent", "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0, symlog_binding_922336, symlog_binding_symlog_symbolic_1, symlog_binding_symlog_symbolic_2) :- symlog_domain_922336(symlog_binding_922336), symlog_domain_symlog_symbolic_1(symlog_binding_symlog_symbolic_1), symlog_domain_symlog_symbolic_2(symlog_binding_symlog_symbolic_2).
flow(20, 21, "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 1, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922333, symlog_binding_922334) :- symlog_domain_922333_922335(symlog_binding_922333, symlog_binding_922335), symlog_domain_922336(symlog_binding_922336), symlog_domain_symlog_symbolic_2(symlog_binding_symlog_symbolic_2), symlog_domain_922334(symlog_binding_922334).
flow(3, 4, "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 1, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922333, symlog_binding_922334) :- symlog_domain_922333_922335(symlog_binding_922333, symlog_binding_922335), symlog_domain_922336(symlog_binding_922336), symlog_domain_symlog_symbolic_2(symlog_binding_symlog_symbolic_2), symlog_domain_922334(symlog_binding_922334).
call("com.google.javascript.rhino.Node.getString()", 17, "child", "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0, symlog_binding_922336, symlog_binding_symlog_symbolic_1, symlog_binding_symlog_symbolic_2) :- symlog_domain_922336(symlog_binding_922336), symlog_domain_symlog_symbolic_1(symlog_binding_symlog_symbolic_1), symlog_domain_symlog_symbolic_2(symlog_binding_symlog_symbolic_2).
symlog_neg_call_name(followed_call_name, t, t_base, t_meth_sig, symlog_signal_0, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922334, symlog_binding_922333, symlog_binding_symlog_symbolic_1) :- control_flow(s, s_meth_sig, t, t_meth_sig, symlog_signal_2, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922334, symlog_binding_922333, symlog_binding_symlog_symbolic_1), call_name(followed_call_name, _, _, _, symlog_signal_4), variable(t_base, t_meth_sig, symlog_signal_5), !call_name(followed_call_name, t, t_base, t_meth_sig, 0), call_name(followed_call_name, t, t_base, t_meth_sig, 1), symlog_signal_0 = 1, symlog_domain_922333_922335(symlog_binding_922333, symlog_binding_922335), symlog_domain_922336(symlog_binding_922336), symlog_domain_symlog_symbolic_1(symlog_binding_symlog_symbolic_1), symlog_domain_symlog_symbolic_2(symlog_binding_symlog_symbolic_2), symlog_domain_922334(symlog_binding_922334).
symlog_neg_condition_dominate("java.util.Iterator.hasNext()", target_1, label_2, in_meth_2, symlog_signal_0, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922334, symlog_binding_922333, symlog_binding_symlog_symbolic_1) :- call("java.util.Iterator.next()", label_2, target_1, in_meth_2, symlog_signal_1, symlog_binding_922336, symlog_binding_symlog_symbolic_1, symlog_binding_symlog_symbolic_2), call("java.util.Iterator.hasNext()", label_1, target_1, in_meth_1, symlog_signal_3, symlog_binding_922336, symlog_binding_symlog_symbolic_1, symlog_binding_symlog_symbolic_2), !condition_dominate("java.util.Iterator.hasNext()", target_1, label_2, in_meth_2, 0, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922334, symlog_binding_922333, symlog_binding_symlog_symbolic_1), !condition_dominate("java.util.Iterator.hasNext()", target_1, label_2, in_meth_2, 1, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922334, symlog_binding_922333, symlog_binding_symlog_symbolic_1), symlog_signal_0 = symlog_signal_1 bor symlog_signal_3 bor 0, symlog_domain_922333_922335(symlog_binding_922333, symlog_binding_922335), symlog_domain_922336(symlog_binding_922336), symlog_domain_symlog_symbolic_1(symlog_binding_symlog_symbolic_1), symlog_domain_symlog_symbolic_2(symlog_binding_symlog_symbolic_2), symlog_domain_922334(symlog_binding_922334).
flow(26, 27, "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 1, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922333, symlog_binding_922334) :- symlog_domain_922333_922335(symlog_binding_922333, symlog_binding_922335), symlog_domain_922336(symlog_binding_922336), symlog_domain_symlog_symbolic_2(symlog_binding_symlog_symbolic_2), symlog_domain_922334(symlog_binding_922334).
flow(23, 29, "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 1, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922333, symlog_binding_922334) :- symlog_domain_922333_922335(symlog_binding_922333, symlog_binding_922335), symlog_domain_922336(symlog_binding_922336), symlog_domain_symlog_symbolic_2(symlog_binding_symlog_symbolic_2), symlog_domain_922334(symlog_binding_922334).
call("com.google.javascript.rhino.Node.getType()", 10, "child", "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0, symlog_binding_922336, symlog_binding_symlog_symbolic_1, symlog_binding_symlog_symbolic_2) :- symlog_domain_922336(symlog_binding_922336), symlog_domain_symlog_symbolic_1(symlog_binding_symlog_symbolic_1), symlog_domain_symlog_symbolic_2(symlog_binding_symlog_symbolic_2).
dom(x, x_meth_sig, y, y_meth_sig, symlog_signal_0, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922334, symlog_binding_922333, symlog_binding_symlog_symbolic_1) :- node(x, x_meth_sig, symlog_signal_1, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922334, symlog_binding_922333, symlog_binding_symlog_symbolic_1), node(y, y_meth_sig, symlog_signal_2, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922334, symlog_binding_922333, symlog_binding_symlog_symbolic_1), symlog_neg_not_dom(x, x_meth_sig, y, y_meth_sig, symlog_signal_3, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922334, symlog_binding_922333, symlog_binding_symlog_symbolic_1), symlog_signal_0 = symlog_signal_1 bor symlog_signal_2 bor symlog_signal_3, symlog_domain_922333_922335(symlog_binding_922333, symlog_binding_922335), symlog_domain_922336(symlog_binding_922336), symlog_domain_symlog_symbolic_1(symlog_binding_symlog_symbolic_1), symlog_domain_symlog_symbolic_2(symlog_binding_symlog_symbolic_2), symlog_domain_922334(symlog_binding_922334).
var_dep(l_var, s, meth_sig, r_var, s, meth_sig, symlog_signal_0, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922334, symlog_binding_922333, symlog_binding_symlog_symbolic_1) :- assigned(l_var, s, meth_sig, symlog_signal_1), call(call_sig, s, r_var, meth_sig, symlog_signal_2, symlog_binding_922336, symlog_binding_symlog_symbolic_1, symlog_binding_symlog_symbolic_2), symlog_signal_0 = symlog_signal_1 bor symlog_signal_2, symlog_domain_922333_922335(symlog_binding_922333, symlog_binding_922335), symlog_domain_922336(symlog_binding_922336), symlog_domain_symlog_symbolic_1(symlog_binding_symlog_symbolic_1), symlog_domain_symlog_symbolic_2(symlog_binding_symlog_symbolic_2), symlog_domain_922334(symlog_binding_922334).
symlog_neg_call(preceded_call_sig, t, t_base, t_meth_sig, symlog_signal_0, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922334, symlog_binding_922333, symlog_binding_symlog_symbolic_1) :- may_not_call_preceded_simple(s_call_sig, s_base, s, s_meth_sig, preceded_call_sig, t_base, p, p_meth_sig, symlog_signal_1, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922334, symlog_binding_922333, symlog_binding_symlog_symbolic_1), control_flow(t, t_meth_sig, p, p_meth_sig, symlog_signal_2, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922334, symlog_binding_922333, symlog_binding_symlog_symbolic_1), call(preceded_call_sig, _, _, _, symlog_signal_4, symlog_binding_922336, symlog_binding_symlog_symbolic_1, symlog_binding_symlog_symbolic_2), variable(t_base, t_meth_sig, symlog_signal_5), !call(preceded_call_sig, t, t_base, t_meth_sig, 0, symlog_binding_922336, symlog_binding_symlog_symbolic_1, symlog_binding_symlog_symbolic_2), call(preceded_call_sig, t, t_base, t_meth_sig, 1, symlog_binding_922336, symlog_binding_symlog_symbolic_1, symlog_binding_symlog_symbolic_2), symlog_signal_0 = 1, symlog_domain_922333_922335(symlog_binding_922333, symlog_binding_922335), symlog_domain_922336(symlog_binding_922336), symlog_domain_symlog_symbolic_1(symlog_binding_symlog_symbolic_1), symlog_domain_symlog_symbolic_2(symlog_binding_symlog_symbolic_2), symlog_domain_922334(symlog_binding_922334).
may_not_call_name_followed_simple(s_call_name, s_base, s, s_meth_sig, followed_call_name, t_base, t, t_meth_sig, symlog_signal_0, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922334, symlog_binding_922333, symlog_binding_symlog_symbolic_1) :- call_name(s_call_name, s, s_base, s_meth_sig, symlog_signal_1), control_flow(s, s_meth_sig, t, t_meth_sig, symlog_signal_2, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922334, symlog_binding_922333, symlog_binding_symlog_symbolic_1), symlog_neg_call_name(followed_call_name, t, t_base, t_meth_sig, symlog_signal_3, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922334, symlog_binding_922333, symlog_binding_symlog_symbolic_1), call_name(followed_call_name, _, _, _, symlog_signal_4), variable(t_base, t_meth_sig, symlog_signal_5), symlog_signal_0 = symlog_signal_1 bor symlog_signal_2 bor symlog_signal_3 bor symlog_signal_4 bor symlog_signal_5, symlog_domain_922333_922335(symlog_binding_922333, symlog_binding_922335), symlog_domain_922336(symlog_binding_922336), symlog_domain_symlog_symbolic_1(symlog_binding_symlog_symbolic_1), symlog_domain_symlog_symbolic_2(symlog_binding_symlog_symbolic_2), symlog_domain_922334(symlog_binding_922334).
call("com.google.javascript.jscomp.jsonml.JsonML.setAttribute()", 10, "element", "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0, symlog_binding_922336, symlog_binding_symlog_symbolic_1, symlog_binding_symlog_symbolic_2) :- symlog_domain_922336(symlog_binding_922336), symlog_domain_symlog_symbolic_1(symlog_binding_symlog_symbolic_1), symlog_domain_symlog_symbolic_2(symlog_binding_symlog_symbolic_2).
flow(28, 29, "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 1, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922333, symlog_binding_922334) :- symlog_domain_922333_922335(symlog_binding_922333, symlog_binding_922335), symlog_domain_922336(symlog_binding_922336), symlog_domain_symlog_symbolic_2(symlog_binding_symlog_symbolic_2), symlog_domain_922334(symlog_binding_922334).
flow(11, 12, "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 1, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922333, symlog_binding_922334) :- symlog_domain_922333_922335(symlog_binding_922333, symlog_binding_922335), symlog_domain_922336(symlog_binding_922336), symlog_domain_symlog_symbolic_2(symlog_binding_symlog_symbolic_2), symlog_domain_922334(symlog_binding_922334).
flow(29, 30, "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 1, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922333, symlog_binding_922334) :- symlog_domain_922333_922335(symlog_binding_922333, symlog_binding_922335), symlog_domain_922336(symlog_binding_922336), symlog_domain_symlog_symbolic_2(symlog_binding_symlog_symbolic_2), symlog_domain_922334(symlog_binding_922334).
call("com.google.javascript.rhino.Node.getNext()", 14, "grandchild", "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0, symlog_binding_922336, symlog_binding_symlog_symbolic_1, symlog_binding_symlog_symbolic_2) :- symlog_domain_922336(symlog_binding_922336), symlog_domain_symlog_symbolic_1(symlog_binding_symlog_symbolic_1), symlog_domain_symlog_symbolic_2(symlog_binding_symlog_symbolic_2).
condition_dominate(call_sig, var, t, t_meth_sig, symlog_signal_0, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922334, symlog_binding_922333, symlog_binding_symlog_symbolic_1) :- if(s, s_meth_sig, symlog_signal_1, symlog_binding_922336, symlog_binding_symlog_symbolic_2), call(call_sig, s, var, s_meth_sig, symlog_signal_2, symlog_binding_922336, symlog_binding_symlog_symbolic_1, symlog_binding_symlog_symbolic_2), true_flow(s, s_true, s_meth_sig, symlog_signal_3, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2), dom(t, t_meth_sig, s_true, s_meth_sig, symlog_signal_4, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922334, symlog_binding_922333, symlog_binding_symlog_symbolic_1), symlog_signal_0 = symlog_signal_1 bor symlog_signal_2 bor symlog_signal_3 bor symlog_signal_4, symlog_domain_922333_922335(symlog_binding_922333, symlog_binding_922335), symlog_domain_922336(symlog_binding_922336), symlog_domain_symlog_symbolic_1(symlog_binding_symlog_symbolic_1), symlog_domain_symlog_symbolic_2(symlog_binding_symlog_symbolic_2), symlog_domain_922334(symlog_binding_922334).
symlog_neg_not_dom(x, x_meth_sig, y, y_meth_sig, symlog_signal_0, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922334, symlog_binding_922333, symlog_binding_symlog_symbolic_1) :- node(x, x_meth_sig, symlog_signal_1, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922334, symlog_binding_922333, symlog_binding_symlog_symbolic_1), node(y, y_meth_sig, symlog_signal_2, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922334, symlog_binding_922333, symlog_binding_symlog_symbolic_1), !not_dom(x, x_meth_sig, y, y_meth_sig, 0, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922334, symlog_binding_922333, symlog_binding_symlog_symbolic_1), !not_dom(x, x_meth_sig, y, y_meth_sig, 1, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922334, symlog_binding_922333, symlog_binding_symlog_symbolic_1), symlog_signal_0 = symlog_signal_1 bor symlog_signal_2 bor 0, symlog_domain_922333_922335(symlog_binding_922333, symlog_binding_922335), symlog_domain_922336(symlog_binding_922336), symlog_domain_symlog_symbolic_1(symlog_binding_symlog_symbolic_1), symlog_domain_symlog_symbolic_2(symlog_binding_symlog_symbolic_2), symlog_domain_922334(symlog_binding_922334).
must_call_preceded_after_entry(s_call_sig, s_base, s, s_meth_sig, preceded_call_sig, t_base, symlog_signal_0, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922334, symlog_binding_922333, symlog_binding_symlog_symbolic_1) :- call(s_call_sig, s, s_base, s_meth_sig, symlog_signal_1, symlog_binding_922336, symlog_binding_symlog_symbolic_1, symlog_binding_symlog_symbolic_2), symlog_neg_may_not_call_preceded_after_entry(s_call_sig, s_base, s, s_meth_sig, preceded_call_sig, t_base, symlog_signal_2, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922334, symlog_binding_922333, symlog_binding_symlog_symbolic_1), call(preceded_call_sig, _, t_base, _, symlog_signal_3, symlog_binding_922336, symlog_binding_symlog_symbolic_1, symlog_binding_symlog_symbolic_2), symlog_signal_0 = symlog_signal_1 bor symlog_signal_2 bor symlog_signal_3, symlog_domain_922333_922335(symlog_binding_922333, symlog_binding_922335), symlog_domain_922336(symlog_binding_922336), symlog_domain_symlog_symbolic_1(symlog_binding_symlog_symbolic_1), symlog_domain_symlog_symbolic_2(symlog_binding_symlog_symbolic_2), symlog_domain_922334(symlog_binding_922334).
call("java.lang.Object.java.lang.Object()", 9, "this", "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0, symlog_binding_922336, symlog_binding_symlog_symbolic_1, symlog_binding_symlog_symbolic_2) :- symlog_domain_922336(symlog_binding_922336), symlog_domain_symlog_symbolic_1(symlog_binding_symlog_symbolic_1), symlog_domain_symlog_symbolic_2(symlog_binding_symlog_symbolic_2).
not_dom(x, meth_sig, y, meth_sig, symlog_signal_0, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922334, symlog_binding_922333, symlog_binding_symlog_symbolic_1) :- node(y, meth_sig, symlog_signal_1, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922334, symlog_binding_922333, symlog_binding_symlog_symbolic_1), start(x, meth_sig, symlog_signal_2), x != y, symlog_signal_0 = symlog_signal_1 bor symlog_signal_2, symlog_domain_922333_922335(symlog_binding_922333, symlog_binding_922335), symlog_domain_922336(symlog_binding_922336), symlog_domain_symlog_symbolic_1(symlog_binding_symlog_symbolic_1), symlog_domain_symlog_symbolic_2(symlog_binding_symlog_symbolic_2), symlog_domain_922334(symlog_binding_922334).
symlog_neg_may_not_call_followed_til_exit(s_call_sig, s_base, s, s_meth_sig, followed_call_sig, t_base, symlog_signal_0, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922334, symlog_binding_922333, symlog_binding_symlog_symbolic_1) :- call(s_call_sig, s, s_base, s_meth_sig, symlog_signal_1, symlog_binding_922336, symlog_binding_symlog_symbolic_1, symlog_binding_symlog_symbolic_2), call(followed_call_sig, _, t_base, _, symlog_signal_3, symlog_binding_922336, symlog_binding_symlog_symbolic_1, symlog_binding_symlog_symbolic_2), !may_not_call_followed_til_exit(s_call_sig, s_base, s, s_meth_sig, followed_call_sig, t_base, 0, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922334, symlog_binding_922333, symlog_binding_symlog_symbolic_1), !may_not_call_followed_til_exit(s_call_sig, s_base, s, s_meth_sig, followed_call_sig, t_base, 1, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922334, symlog_binding_922333, symlog_binding_symlog_symbolic_1), symlog_signal_0 = symlog_signal_1 bor symlog_signal_3 bor 0, symlog_domain_922333_922335(symlog_binding_922333, symlog_binding_922335), symlog_domain_922336(symlog_binding_922336), symlog_domain_symlog_symbolic_1(symlog_binding_symlog_symbolic_1), symlog_domain_symlog_symbolic_2(symlog_binding_symlog_symbolic_2), symlog_domain_922334(symlog_binding_922334).
may_not_call_followed_simple(s_call_sig, s_base, s, s_meth_sig, followed_call_sig, t_base, t, t_meth_sig, symlog_signal_0, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922334, symlog_binding_922333, symlog_binding_symlog_symbolic_1) :- may_not_call_followed_simple(s_call_sig, s_base, s, s_meth_sig, followed_call_sig, t_base, p, p_meth_sig, symlog_signal_1, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922334, symlog_binding_922333, symlog_binding_symlog_symbolic_1), control_flow(p, p_meth_sig, t, t_meth_sig, symlog_signal_2, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922334, symlog_binding_922333, symlog_binding_symlog_symbolic_1), symlog_neg_call(followed_call_sig, t, t_base, t_meth_sig, symlog_signal_3, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922334, symlog_binding_922333, symlog_binding_symlog_symbolic_1), call(followed_call_sig, _, _, _, symlog_signal_4, symlog_binding_922336, symlog_binding_symlog_symbolic_1, symlog_binding_symlog_symbolic_2), variable(t_base, t_meth_sig, symlog_signal_5), symlog_signal_0 = symlog_signal_1 bor symlog_signal_2 bor symlog_signal_3 bor symlog_signal_4 bor symlog_signal_5, symlog_domain_922333_922335(symlog_binding_922333, symlog_binding_922335), symlog_domain_922336(symlog_binding_922336), symlog_domain_symlog_symbolic_1(symlog_binding_symlog_symbolic_1), symlog_domain_symlog_symbolic_2(symlog_binding_symlog_symbolic_2), symlog_domain_922334(symlog_binding_922334).
var_dep(r_var, s, meth_sig, r_var, s, meth_sig, symlog_signal_0, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922334, symlog_binding_922333, symlog_binding_symlog_symbolic_1) :- assigned(l_var, s, meth_sig, symlog_signal_1), call_name(call_name, s, r_var, meth_sig, symlog_signal_2), symlog_signal_0 = symlog_signal_1 bor symlog_signal_2, symlog_domain_922333_922335(symlog_binding_922333, symlog_binding_922335), symlog_domain_922336(symlog_binding_922336), symlog_domain_symlog_symbolic_1(symlog_binding_symlog_symbolic_1), symlog_domain_symlog_symbolic_2(symlog_binding_symlog_symbolic_2), symlog_domain_922334(symlog_binding_922334).
may_not_call_preceded_simple(s_call_sig, s_base, s, s_meth_sig, preceded_call_sig, t_base, t, t_meth_sig, symlog_signal_0, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922334, symlog_binding_922333, symlog_binding_symlog_symbolic_1) :- may_not_call_preceded_simple(s_call_sig, s_base, s, s_meth_sig, preceded_call_sig, t_base, p, p_meth_sig, symlog_signal_1, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922334, symlog_binding_922333, symlog_binding_symlog_symbolic_1), control_flow(t, t_meth_sig, p, p_meth_sig, symlog_signal_2, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922334, symlog_binding_922333, symlog_binding_symlog_symbolic_1), symlog_neg_call(preceded_call_sig, t, t_base, t_meth_sig, symlog_signal_3, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922334, symlog_binding_922333, symlog_binding_symlog_symbolic_1), call(preceded_call_sig, _, _, _, symlog_signal_4, symlog_binding_922336, symlog_binding_symlog_symbolic_1, symlog_binding_symlog_symbolic_2), variable(t_base, t_meth_sig, symlog_signal_5), symlog_signal_0 = symlog_signal_1 bor symlog_signal_2 bor symlog_signal_3 bor symlog_signal_4 bor symlog_signal_5, symlog_domain_922333_922335(symlog_binding_922333, symlog_binding_922335), symlog_domain_922336(symlog_binding_922336), symlog_domain_symlog_symbolic_1(symlog_binding_symlog_symbolic_1), symlog_domain_symlog_symbolic_2(symlog_binding_symlog_symbolic_2), symlog_domain_922334(symlog_binding_922334).
flow(9, 10, "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 1, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922333, symlog_binding_922334) :- symlog_domain_922333_922335(symlog_binding_922333, symlog_binding_922335), symlog_domain_922336(symlog_binding_922336), symlog_domain_symlog_symbolic_2(symlog_binding_symlog_symbolic_2), symlog_domain_922334(symlog_binding_922334).
flow(24, 25, "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 1, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922333, symlog_binding_922334) :- symlog_domain_922333_922335(symlog_binding_922333, symlog_binding_922335), symlog_domain_922336(symlog_binding_922336), symlog_domain_symlog_symbolic_2(symlog_binding_symlog_symbolic_2), symlog_domain_922334(symlog_binding_922334).
flow(19, 20, "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 1, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922333, symlog_binding_922334) :- symlog_domain_922333_922335(symlog_binding_922333, symlog_binding_922335), symlog_domain_922336(symlog_binding_922336), symlog_domain_symlog_symbolic_2(symlog_binding_symlog_symbolic_2), symlog_domain_922334(symlog_binding_922334).
flow(symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, 0, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922333, symlog_binding_922334) :- symlog_domain_922333_922335(symlog_binding_922333, symlog_binding_922335), symlog_domain_922336(symlog_binding_922336), symlog_domain_symlog_symbolic_2(symlog_binding_symlog_symbolic_2), symlog_domain_922334(symlog_binding_922334).
call("com.google.javascript.jscomp.jsonml.Writer.processNode(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 30, "", "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0, symlog_binding_922336, symlog_binding_symlog_symbolic_1, symlog_binding_symlog_symbolic_2) :- symlog_domain_922336(symlog_binding_922336), symlog_domain_symlog_symbolic_1(symlog_binding_symlog_symbolic_1), symlog_domain_symlog_symbolic_2(symlog_binding_symlog_symbolic_2).
node(x, meth_sig, symlog_signal_0, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922334, symlog_binding_922333, symlog_binding_symlog_symbolic_1) :- flow(_, x, meth_sig, symlog_signal_1, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922333, symlog_binding_922334), symlog_signal_0 = symlog_signal_1, symlog_domain_922333_922335(symlog_binding_922333, symlog_binding_922335), symlog_domain_922336(symlog_binding_922336), symlog_domain_symlog_symbolic_1(symlog_binding_symlog_symbolic_1), symlog_domain_symlog_symbolic_2(symlog_binding_symlog_symbolic_2), symlog_domain_922334(symlog_binding_922334).
symlog_neg_call(preceded_call_sig, t, t_base, t_meth_sig, symlog_signal_0, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922334, symlog_binding_922333, symlog_binding_symlog_symbolic_1) :- may_not_call_preceded_simple(s_call_sig, s_base, s, s_meth_sig, preceded_call_sig, t_base, p, p_meth_sig, symlog_signal_1, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922334, symlog_binding_922333, symlog_binding_symlog_symbolic_1), control_flow(t, t_meth_sig, p, p_meth_sig, symlog_signal_2, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922334, symlog_binding_922333, symlog_binding_symlog_symbolic_1), call(preceded_call_sig, _, _, _, symlog_signal_4, symlog_binding_922336, symlog_binding_symlog_symbolic_1, symlog_binding_symlog_symbolic_2), variable(t_base, t_meth_sig, symlog_signal_5), !call(preceded_call_sig, t, t_base, t_meth_sig, 0, symlog_binding_922336, symlog_binding_symlog_symbolic_1, symlog_binding_symlog_symbolic_2), !call(preceded_call_sig, t, t_base, t_meth_sig, 1, symlog_binding_922336, symlog_binding_symlog_symbolic_1, symlog_binding_symlog_symbolic_2), symlog_signal_0 = 0, symlog_domain_922333_922335(symlog_binding_922333, symlog_binding_922335), symlog_domain_922336(symlog_binding_922336), symlog_domain_symlog_symbolic_1(symlog_binding_symlog_symbolic_1), symlog_domain_symlog_symbolic_2(symlog_binding_symlog_symbolic_2), symlog_domain_922334(symlog_binding_922334).
call("java.lang.Object.java.lang.Object()", 19, "this", "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0, symlog_binding_922336, symlog_binding_symlog_symbolic_1, symlog_binding_symlog_symbolic_2) :- symlog_domain_922336(symlog_binding_922336), symlog_domain_symlog_symbolic_1(symlog_binding_symlog_symbolic_1), symlog_domain_symlog_symbolic_2(symlog_binding_symlog_symbolic_2).
symlog_neg_may_not_call_name_followed_til_exit(s_call_name, s_base, s, s_meth_sig, followed_call_name, t_base, symlog_signal_0, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922334, symlog_binding_922333, symlog_binding_symlog_symbolic_1) :- call_name(s_call_name, s, s_base, s_meth_sig, symlog_signal_1), call_name(followed_call_name, _, t_base, _, symlog_signal_3), !may_not_call_name_followed_til_exit(s_call_name, s_base, s, s_meth_sig, followed_call_name, t_base, 0, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922334, symlog_binding_922333, symlog_binding_symlog_symbolic_1), !may_not_call_name_followed_til_exit(s_call_name, s_base, s, s_meth_sig, followed_call_name, t_base, 1, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922334, symlog_binding_922333, symlog_binding_symlog_symbolic_1), symlog_signal_0 = symlog_signal_1 bor symlog_signal_3 bor 0, symlog_domain_922333_922335(symlog_binding_922333, symlog_binding_922335), symlog_domain_922336(symlog_binding_922336), symlog_domain_symlog_symbolic_1(symlog_binding_symlog_symbolic_1), symlog_domain_symlog_symbolic_2(symlog_binding_symlog_symbolic_2), symlog_domain_922334(symlog_binding_922334).
symlog_neg_condition_dominate("java.util.Iterator.hasNext()", target_1, label_2, in_meth_2, symlog_signal_0, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922334, symlog_binding_922333, symlog_binding_symlog_symbolic_1) :- call("java.util.Iterator.next()", label_2, target_1, in_meth_2, symlog_signal_1, symlog_binding_922336, symlog_binding_symlog_symbolic_1, symlog_binding_symlog_symbolic_2), call("java.util.Iterator.hasNext()", label_1, target_1, in_meth_1, symlog_signal_3, symlog_binding_922336, symlog_binding_symlog_symbolic_1, symlog_binding_symlog_symbolic_2), !condition_dominate("java.util.Iterator.hasNext()", target_1, label_2, in_meth_2, 0, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922334, symlog_binding_922333, symlog_binding_symlog_symbolic_1), condition_dominate("java.util.Iterator.hasNext()", target_1, label_2, in_meth_2, 1, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922334, symlog_binding_922333, symlog_binding_symlog_symbolic_1), symlog_signal_0 = symlog_signal_1 bor symlog_signal_3 bor 1, symlog_domain_922333_922335(symlog_binding_922333, symlog_binding_922335), symlog_domain_922336(symlog_binding_922336), symlog_domain_symlog_symbolic_1(symlog_binding_symlog_symbolic_1), symlog_domain_symlog_symbolic_2(symlog_binding_symlog_symbolic_2), symlog_domain_922334(symlog_binding_922334).
flow(6, 24, "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 1, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922333, symlog_binding_922334) :- symlog_domain_922333_922335(symlog_binding_922333, symlog_binding_922335), symlog_domain_922336(symlog_binding_922336), symlog_domain_symlog_symbolic_2(symlog_binding_symlog_symbolic_2), symlog_domain_922334(symlog_binding_922334).
false_flow(29, 31, "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0, symlog_binding_922336, symlog_binding_922334, symlog_binding_symlog_symbolic_2) :- symlog_domain_922336(symlog_binding_922336), symlog_domain_922334(symlog_binding_922334), symlog_domain_symlog_symbolic_2(symlog_binding_symlog_symbolic_2).
flow(symlog_binding_922333, symlog_binding_922336, symlog_binding_symlog_symbolic_2, 0, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922333, symlog_binding_922334) :- symlog_domain_922333_922335(symlog_binding_922333, symlog_binding_922335), symlog_domain_922336(symlog_binding_922336), symlog_domain_symlog_symbolic_2(symlog_binding_symlog_symbolic_2), symlog_domain_922334(symlog_binding_922334).
flow(12, 13, "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 1, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922333, symlog_binding_922334) :- symlog_domain_922333_922335(symlog_binding_922333, symlog_binding_922335), symlog_domain_922336(symlog_binding_922336), symlog_domain_symlog_symbolic_2(symlog_binding_symlog_symbolic_2), symlog_domain_922334(symlog_binding_922334).
symlog_neg_may_not_call_preceded_after_entry(s_call_sig, s_base, s, s_meth_sig, preceded_call_sig, t_base, symlog_signal_0, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922334, symlog_binding_922333, symlog_binding_symlog_symbolic_1) :- call(s_call_sig, s, s_base, s_meth_sig, symlog_signal_1, symlog_binding_922336, symlog_binding_symlog_symbolic_1, symlog_binding_symlog_symbolic_2), call(preceded_call_sig, _, t_base, _, symlog_signal_3, symlog_binding_922336, symlog_binding_symlog_symbolic_1, symlog_binding_symlog_symbolic_2), !may_not_call_preceded_after_entry(s_call_sig, s_base, s, s_meth_sig, preceded_call_sig, t_base, 0, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922334, symlog_binding_922333, symlog_binding_symlog_symbolic_1), may_not_call_preceded_after_entry(s_call_sig, s_base, s, s_meth_sig, preceded_call_sig, t_base, 1, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922334, symlog_binding_922333, symlog_binding_symlog_symbolic_1), symlog_signal_0 = symlog_signal_1 bor symlog_signal_3 bor 1, symlog_domain_922333_922335(symlog_binding_922333, symlog_binding_922335), symlog_domain_922336(symlog_binding_922336), symlog_domain_symlog_symbolic_1(symlog_binding_symlog_symbolic_1), symlog_domain_symlog_symbolic_2(symlog_binding_symlog_symbolic_2), symlog_domain_922334(symlog_binding_922334).
var_dep(dep_var, t, t_meth_sig, var, s, s_meth_sig, symlog_signal_0, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922334, symlog_binding_922333, symlog_binding_symlog_symbolic_1) :- var_dep(var, s, s_meth_sig, dep_var, t, t_meth_sig, symlog_signal_1, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922334, symlog_binding_922333, symlog_binding_symlog_symbolic_1), symlog_signal_0 = symlog_signal_1, symlog_domain_922333_922335(symlog_binding_922333, symlog_binding_922335), symlog_domain_922336(symlog_binding_922336), symlog_domain_symlog_symbolic_1(symlog_binding_symlog_symbolic_1), symlog_domain_symlog_symbolic_2(symlog_binding_symlog_symbolic_2), symlog_domain_922334(symlog_binding_922334).
call("com.google.javascript.jscomp.jsonml.JsonML.appendChild(com.google.javascript.jscomp.jsonml.JsonML)", 26, "currentParent", "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0, symlog_binding_922336, symlog_binding_symlog_symbolic_1, symlog_binding_symlog_symbolic_2) :- symlog_domain_922336(symlog_binding_922336), symlog_domain_symlog_symbolic_1(symlog_binding_symlog_symbolic_1), symlog_domain_symlog_symbolic_2(symlog_binding_symlog_symbolic_2).
flow(22, 23, "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 1, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922333, symlog_binding_922334) :- symlog_domain_922333_922335(symlog_binding_922333, symlog_binding_922335), symlog_domain_922336(symlog_binding_922336), symlog_domain_symlog_symbolic_2(symlog_binding_symlog_symbolic_2), symlog_domain_922334(symlog_binding_922334).
may_not_call_preceded_after_entry(s_call_sig, s_base, s, s_meth_sig, preceded_call_sig, t_base, symlog_signal_0, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922334, symlog_binding_922333, symlog_binding_symlog_symbolic_1) :- may_not_call_preceded_simple(s_call_sig, s_base, s, s_meth_sig, preceded_call_sig, t_base, t, t_meth_sig, symlog_signal_1, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922334, symlog_binding_922333, symlog_binding_symlog_symbolic_1), start(t, t_meth_sig, symlog_signal_2), symlog_signal_0 = symlog_signal_1 bor symlog_signal_2, symlog_domain_922333_922335(symlog_binding_922333, symlog_binding_922335), symlog_domain_922336(symlog_binding_922336), symlog_domain_symlog_symbolic_1(symlog_binding_symlog_symbolic_1), symlog_domain_symlog_symbolic_2(symlog_binding_symlog_symbolic_2), symlog_domain_922334(symlog_binding_922334).
call("com.google.javascript.rhino.Node.getType()", 6, "child", "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0, symlog_binding_922336, symlog_binding_symlog_symbolic_1, symlog_binding_symlog_symbolic_2) :- symlog_domain_922336(symlog_binding_922336), symlog_domain_symlog_symbolic_1(symlog_binding_symlog_symbolic_1), symlog_domain_symlog_symbolic_2(symlog_binding_symlog_symbolic_2).
var_dep(l_var, s, meth_sig, l_var, s, meth_sig, symlog_signal_0, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922334, symlog_binding_922333, symlog_binding_symlog_symbolic_1) :- assigned(l_var, s, meth_sig, symlog_signal_1), symlog_signal_0 = symlog_signal_1, symlog_domain_922333_922335(symlog_binding_922333, symlog_binding_922335), symlog_domain_922336(symlog_binding_922336), symlog_domain_symlog_symbolic_1(symlog_binding_symlog_symbolic_1), symlog_domain_symlog_symbolic_2(symlog_binding_symlog_symbolic_2), symlog_domain_922334(symlog_binding_922334).
must_call_name_followed_before_exit(s_call_name, s_base, s, s_meth_sig, followed_call_name, t_base, symlog_signal_0, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922334, symlog_binding_922333, symlog_binding_symlog_symbolic_1) :- call_name(s_call_name, s, s_base, s_meth_sig, symlog_signal_1), symlog_neg_may_not_call_name_followed_til_exit(s_call_name, s_base, s, s_meth_sig, followed_call_name, t_base, symlog_signal_2, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922334, symlog_binding_922333, symlog_binding_symlog_symbolic_1), call_name(followed_call_name, _, t_base, _, symlog_signal_3), symlog_signal_0 = symlog_signal_1 bor symlog_signal_2 bor symlog_signal_3, symlog_domain_922333_922335(symlog_binding_922333, symlog_binding_922335), symlog_domain_922336(symlog_binding_922336), symlog_domain_symlog_symbolic_1(symlog_binding_symlog_symbolic_1), symlog_domain_symlog_symbolic_2(symlog_binding_symlog_symbolic_2), symlog_domain_922334(symlog_binding_922334).
flow(6, 16, "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 1, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922333, symlog_binding_922334) :- symlog_domain_922333_922335(symlog_binding_922333, symlog_binding_922335), symlog_domain_922336(symlog_binding_922336), symlog_domain_symlog_symbolic_2(symlog_binding_symlog_symbolic_2), symlog_domain_922334(symlog_binding_922334).
call("java.util.Iterator.next()", 4, "it", "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0, symlog_binding_922336, symlog_binding_symlog_symbolic_1, symlog_binding_symlog_symbolic_2) :- symlog_domain_922336(symlog_binding_922336), symlog_domain_symlog_symbolic_1(symlog_binding_symlog_symbolic_1), symlog_domain_symlog_symbolic_2(symlog_binding_symlog_symbolic_2).
condition_dominate(call_sig, var, t, t_meth_sig, symlog_signal_0, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922334, symlog_binding_922333, symlog_binding_symlog_symbolic_1) :- for_condition(s, s_meth_sig, symlog_signal_1), call(call_sig, s, var, s_meth_sig, symlog_signal_2, symlog_binding_922336, symlog_binding_symlog_symbolic_1, symlog_binding_symlog_symbolic_2), true_flow(s, s_true, s_meth_sig, symlog_signal_3, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2), dom(t, t_meth_sig, s_true, s_meth_sig, symlog_signal_4, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922334, symlog_binding_922333, symlog_binding_symlog_symbolic_1), symlog_signal_0 = symlog_signal_1 bor symlog_signal_2 bor symlog_signal_3 bor symlog_signal_4, symlog_domain_922333_922335(symlog_binding_922333, symlog_binding_922335), symlog_domain_922336(symlog_binding_922336), symlog_domain_symlog_symbolic_1(symlog_binding_symlog_symbolic_1), symlog_domain_symlog_symbolic_2(symlog_binding_symlog_symbolic_2), symlog_domain_922334(symlog_binding_922334).
call("java.lang.Object.java.lang.Object()", 21, "this", "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0, symlog_binding_922336, symlog_binding_symlog_symbolic_1, symlog_binding_symlog_symbolic_2) :- symlog_domain_922336(symlog_binding_922336), symlog_domain_symlog_symbolic_1(symlog_binding_symlog_symbolic_1), symlog_domain_symlog_symbolic_2(symlog_binding_symlog_symbolic_2).
symlog_neg_call(preceded_call_sig, t, t_base, t_meth_sig, symlog_signal_0, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922334, symlog_binding_922333, symlog_binding_symlog_symbolic_1) :- control_flow(t, t_meth_sig, s, s_meth_sig, symlog_signal_2, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922334, symlog_binding_922333, symlog_binding_symlog_symbolic_1), call(preceded_call_sig, _, _, _, symlog_signal_4, symlog_binding_922336, symlog_binding_symlog_symbolic_1, symlog_binding_symlog_symbolic_2), variable(t_base, t_meth_sig, symlog_signal_5), !call(preceded_call_sig, t, t_base, t_meth_sig, 0, symlog_binding_922336, symlog_binding_symlog_symbolic_1, symlog_binding_symlog_symbolic_2), !call(preceded_call_sig, t, t_base, t_meth_sig, 1, symlog_binding_922336, symlog_binding_symlog_symbolic_1, symlog_binding_symlog_symbolic_2), symlog_signal_0 = 0, symlog_domain_922333_922335(symlog_binding_922333, symlog_binding_922335), symlog_domain_922336(symlog_binding_922336), symlog_domain_symlog_symbolic_1(symlog_binding_symlog_symbolic_1), symlog_domain_symlog_symbolic_2(symlog_binding_symlog_symbolic_2), symlog_domain_922334(symlog_binding_922334).
if(17, "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0, symlog_binding_922336, symlog_binding_symlog_symbolic_2) :- symlog_domain_922336(symlog_binding_922336), symlog_domain_symlog_symbolic_2(symlog_binding_symlog_symbolic_2).
call("java.lang.Object.java.lang.Object()", 25, "this", "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0, symlog_binding_922336, symlog_binding_symlog_symbolic_1, symlog_binding_symlog_symbolic_2) :- symlog_domain_922336(symlog_binding_922336), symlog_domain_symlog_symbolic_1(symlog_binding_symlog_symbolic_1), symlog_domain_symlog_symbolic_2(symlog_binding_symlog_symbolic_2).
node(x, meth_sig, symlog_signal_0, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922334, symlog_binding_922333, symlog_binding_symlog_symbolic_1) :- flow(x, _, meth_sig, symlog_signal_1, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922333, symlog_binding_922334), symlog_signal_0 = symlog_signal_1, symlog_domain_922333_922335(symlog_binding_922333, symlog_binding_922335), symlog_domain_922336(symlog_binding_922336), symlog_domain_symlog_symbolic_1(symlog_binding_symlog_symbolic_1), symlog_domain_symlog_symbolic_2(symlog_binding_symlog_symbolic_2), symlog_domain_922334(symlog_binding_922334).
may_not_call_name_followed_simple(s_call_name, s_base, s, s_meth_sig, followed_call_name, t_base, t, t_meth_sig, symlog_signal_0, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922334, symlog_binding_922333, symlog_binding_symlog_symbolic_1) :- may_not_call_name_followed_simple(s_call_name, s_base, s, s_meth_sig, followed_call_name, t_base, p, p_meth_sig, symlog_signal_1, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922334, symlog_binding_922333, symlog_binding_symlog_symbolic_1), control_flow(p, p_meth_sig, t, t_meth_sig, symlog_signal_2, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922334, symlog_binding_922333, symlog_binding_symlog_symbolic_1), symlog_neg_call_name(followed_call_name, t, t_base, t_meth_sig, symlog_signal_3, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922334, symlog_binding_922333, symlog_binding_symlog_symbolic_1), call_name(followed_call_name, _, _, _, symlog_signal_4), variable(t_base, t_meth_sig, symlog_signal_5), symlog_signal_0 = symlog_signal_1 bor symlog_signal_2 bor symlog_signal_3 bor symlog_signal_4 bor symlog_signal_5, symlog_domain_922333_922335(symlog_binding_922333, symlog_binding_922335), symlog_domain_922336(symlog_binding_922336), symlog_domain_symlog_symbolic_1(symlog_binding_symlog_symbolic_1), symlog_domain_symlog_symbolic_2(symlog_binding_symlog_symbolic_2), symlog_domain_922334(symlog_binding_922334).
flow(7, 8, "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 1, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922333, symlog_binding_922334) :- symlog_domain_922333_922335(symlog_binding_922333, symlog_binding_922335), symlog_domain_922336(symlog_binding_922336), symlog_domain_symlog_symbolic_2(symlog_binding_symlog_symbolic_2), symlog_domain_922334(symlog_binding_922334).
may_not_call_preceded_simple(s_call_sig, s_base, s, s_meth_sig, preceded_call_sig, t_base, t, t_meth_sig, symlog_signal_0, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922334, symlog_binding_922333, symlog_binding_symlog_symbolic_1) :- call(s_call_sig, s, s_base, s_meth_sig, symlog_signal_1, symlog_binding_922336, symlog_binding_symlog_symbolic_1, symlog_binding_symlog_symbolic_2), control_flow(t, t_meth_sig, s, s_meth_sig, symlog_signal_2, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922334, symlog_binding_922333, symlog_binding_symlog_symbolic_1), symlog_neg_call(preceded_call_sig, t, t_base, t_meth_sig, symlog_signal_3, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922334, symlog_binding_922333, symlog_binding_symlog_symbolic_1), call(preceded_call_sig, _, _, _, symlog_signal_4, symlog_binding_922336, symlog_binding_symlog_symbolic_1, symlog_binding_symlog_symbolic_2), variable(t_base, t_meth_sig, symlog_signal_5), symlog_signal_0 = symlog_signal_1 bor symlog_signal_2 bor symlog_signal_3 bor symlog_signal_4 bor symlog_signal_5, symlog_domain_922333_922335(symlog_binding_922333, symlog_binding_922335), symlog_domain_922336(symlog_binding_922336), symlog_domain_symlog_symbolic_1(symlog_binding_symlog_symbolic_1), symlog_domain_symlog_symbolic_2(symlog_binding_symlog_symbolic_2), symlog_domain_922334(symlog_binding_922334).
true_flow(17, 18, "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2) :- symlog_domain_922333_922335(_, symlog_binding_922335), symlog_domain_922336(symlog_binding_922336), symlog_domain_symlog_symbolic_2(symlog_binding_symlog_symbolic_2).
flow_reach(s, in_meth_sig, t, in_meth_sig, symlog_signal_0, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922334, symlog_binding_922333, symlog_binding_symlog_symbolic_1) :- flow(s, t, in_meth_sig, symlog_signal_1, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922333, symlog_binding_922334), symlog_signal_0 = symlog_signal_1, symlog_domain_922333_922335(symlog_binding_922333, symlog_binding_922335), symlog_domain_922336(symlog_binding_922336), symlog_domain_symlog_symbolic_1(symlog_binding_symlog_symbolic_1), symlog_domain_symlog_symbolic_2(symlog_binding_symlog_symbolic_2), symlog_domain_922334(symlog_binding_922334).
call("this_unknown.equals(java.lang.String)", 17, "child.getString()", "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0, symlog_binding_922336, symlog_binding_symlog_symbolic_1, symlog_binding_symlog_symbolic_2) :- symlog_domain_922336(symlog_binding_922336), symlog_domain_symlog_symbolic_1(symlog_binding_symlog_symbolic_1), symlog_domain_symlog_symbolic_2(symlog_binding_symlog_symbolic_2).
correct_usage("java.util.Iterator.next()", label_2, target_1, in_meth_2, symlog_signal_0, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922334, symlog_binding_922333, symlog_binding_symlog_symbolic_1) :- call("java.util.Iterator.next()", label_2, target_1, in_meth_2, symlog_signal_1, symlog_binding_922336, symlog_binding_symlog_symbolic_1, symlog_binding_symlog_symbolic_2), condition_dominate("java.util.Iterator.hasNext()", target_1, label_2, in_meth_2, symlog_signal_2, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922334, symlog_binding_922333, symlog_binding_symlog_symbolic_1), var_dep(target_1, label_1, in_meth_1, target_1, label_2, in_meth_2, symlog_signal_3, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922334, symlog_binding_922333, symlog_binding_symlog_symbolic_1), call("java.util.Iterator.hasNext()", label_1, target_1, in_meth_1, symlog_signal_4, symlog_binding_922336, symlog_binding_symlog_symbolic_1, symlog_binding_symlog_symbolic_2), symlog_signal_0 = symlog_signal_1 bor symlog_signal_2 bor symlog_signal_3 bor symlog_signal_4, symlog_domain_922333_922335(symlog_binding_922333, symlog_binding_922335), symlog_domain_922336(symlog_binding_922336), symlog_domain_symlog_symbolic_1(symlog_binding_symlog_symbolic_1), symlog_domain_symlog_symbolic_2(symlog_binding_symlog_symbolic_2), symlog_domain_922334(symlog_binding_922334).
call("com.google.javascript.jscomp.jsonml.Writer.processNode(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 27, "", "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0, symlog_binding_922336, symlog_binding_symlog_symbolic_1, symlog_binding_symlog_symbolic_2) :- symlog_domain_922336(symlog_binding_922336), symlog_domain_symlog_symbolic_1(symlog_binding_symlog_symbolic_1), symlog_domain_symlog_symbolic_2(symlog_binding_symlog_symbolic_2).
incorrect_usage("java.util.Iterator.next()", label_2, target_1, in_meth_2, symlog_signal_0, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922334, symlog_binding_922333, symlog_binding_symlog_symbolic_1) :- call("java.util.Iterator.next()", label_2, target_1, in_meth_2, symlog_signal_1, symlog_binding_922336, symlog_binding_symlog_symbolic_1, symlog_binding_symlog_symbolic_2), symlog_neg_condition_dominate("java.util.Iterator.hasNext()", target_1, label_2, in_meth_2, symlog_signal_2, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922334, symlog_binding_922333, symlog_binding_symlog_symbolic_1), call("java.util.Iterator.hasNext()", label_1, target_1, in_meth_1, symlog_signal_3, symlog_binding_922336, symlog_binding_symlog_symbolic_1, symlog_binding_symlog_symbolic_2), symlog_signal_0 = symlog_signal_1 bor symlog_signal_2 bor symlog_signal_3, symlog_domain_922333_922335(symlog_binding_922333, symlog_binding_922335), symlog_domain_922336(symlog_binding_922336), symlog_domain_symlog_symbolic_1(symlog_binding_symlog_symbolic_1), symlog_domain_symlog_symbolic_2(symlog_binding_symlog_symbolic_2), symlog_domain_922334(symlog_binding_922334).
defined(v, s, s_meth_sig, symlog_signal_0, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922334, symlog_binding_922333, symlog_binding_symlog_symbolic_1) :- define(_, v, _, s, s_meth_sig, symlog_signal_1), symlog_signal_0 = symlog_signal_1, symlog_domain_922333_922335(symlog_binding_922333, symlog_binding_922335), symlog_domain_922336(symlog_binding_922336), symlog_domain_symlog_symbolic_1(symlog_binding_symlog_symbolic_1), symlog_domain_symlog_symbolic_2(symlog_binding_symlog_symbolic_2), symlog_domain_922334(symlog_binding_922334).
flow(15, 29, "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 1, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922333, symlog_binding_922334) :- symlog_domain_922333_922335(symlog_binding_922333, symlog_binding_922335), symlog_domain_922336(symlog_binding_922336), symlog_domain_symlog_symbolic_2(symlog_binding_symlog_symbolic_2), symlog_domain_922334(symlog_binding_922334).
call("this_unknown.iterator()", 3, "node.children()", "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0, symlog_binding_922336, symlog_binding_symlog_symbolic_1, symlog_binding_symlog_symbolic_2) :- symlog_domain_922336(symlog_binding_922336), symlog_domain_symlog_symbolic_1(symlog_binding_symlog_symbolic_1), symlog_domain_symlog_symbolic_2(symlog_binding_symlog_symbolic_2).
var_dep(r_var, s, meth_sig, r_var, s, meth_sig, symlog_signal_0, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922334, symlog_binding_922333, symlog_binding_symlog_symbolic_1) :- assigned(l_var, s, meth_sig, symlog_signal_1), constructor_call(constructor_sig, s, meth_sig, symlog_signal_2), actual_argument(constructor_sig, r_var, s, idx, meth_sig, symlog_signal_3), symlog_signal_0 = symlog_signal_1 bor symlog_signal_2 bor symlog_signal_3, symlog_domain_922333_922335(symlog_binding_922333, symlog_binding_922335), symlog_domain_922336(symlog_binding_922336), symlog_domain_symlog_symbolic_1(symlog_binding_symlog_symbolic_1), symlog_domain_symlog_symbolic_2(symlog_binding_symlog_symbolic_2), symlog_domain_922334(symlog_binding_922334).
call("com.google.javascript.jscomp.jsonml.Writer.processNode(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 14, "", "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0, symlog_binding_922336, symlog_binding_symlog_symbolic_1, symlog_binding_symlog_symbolic_2) :- symlog_domain_922336(symlog_binding_922336), symlog_domain_symlog_symbolic_1(symlog_binding_symlog_symbolic_1), symlog_domain_symlog_symbolic_2(symlog_binding_symlog_symbolic_2).
symlog_neg_may_not_call_preceded_after_entry(s_call_sig, s_base, s, s_meth_sig, preceded_call_sig, t_base, symlog_signal_0, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922334, symlog_binding_922333, symlog_binding_symlog_symbolic_1) :- call(s_call_sig, s, s_base, s_meth_sig, symlog_signal_1, symlog_binding_922336, symlog_binding_symlog_symbolic_1, symlog_binding_symlog_symbolic_2), call(preceded_call_sig, _, t_base, _, symlog_signal_3, symlog_binding_922336, symlog_binding_symlog_symbolic_1, symlog_binding_symlog_symbolic_2), !may_not_call_preceded_after_entry(s_call_sig, s_base, s, s_meth_sig, preceded_call_sig, t_base, 0, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922334, symlog_binding_922333, symlog_binding_symlog_symbolic_1), !may_not_call_preceded_after_entry(s_call_sig, s_base, s, s_meth_sig, preceded_call_sig, t_base, 1, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922334, symlog_binding_922333, symlog_binding_symlog_symbolic_1), symlog_signal_0 = symlog_signal_1 bor symlog_signal_3 bor 0, symlog_domain_922333_922335(symlog_binding_922333, symlog_binding_922335), symlog_domain_922336(symlog_binding_922336), symlog_domain_symlog_symbolic_1(symlog_binding_symlog_symbolic_1), symlog_domain_symlog_symbolic_2(symlog_binding_symlog_symbolic_2), symlog_domain_922334(symlog_binding_922334).
condition_dominate(call_sig, var, t, t_meth_sig, symlog_signal_0, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922334, symlog_binding_922333, symlog_binding_symlog_symbolic_1) :- defined(var, l, l_meth_sig, symlog_signal_1, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922334, symlog_binding_922333, symlog_binding_symlog_symbolic_1), call(call_sig, l, _, l_meth_sig, symlog_signal_2, symlog_binding_922336, symlog_binding_symlog_symbolic_1, symlog_binding_symlog_symbolic_2), while_condition(s, s_meth_sig, symlog_signal_3), while_condition_var(var, s, s_meth_sig, symlog_signal_4), flow_reach(s, s_meth_sig, l, l_meth_sig, symlog_signal_5, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922334, symlog_binding_922333, symlog_binding_symlog_symbolic_1), true_flow(s, s_true, s_meth_sig, symlog_signal_6, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2), dom(t, t_meth_sig, s_true, s_meth_sig, symlog_signal_7, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922334, symlog_binding_922333, symlog_binding_symlog_symbolic_1), symlog_signal_0 = symlog_signal_1 bor symlog_signal_2 bor symlog_signal_3 bor symlog_signal_4 bor symlog_signal_5 bor symlog_signal_6 bor symlog_signal_7, symlog_domain_922333_922335(symlog_binding_922333, symlog_binding_922335), symlog_domain_922336(symlog_binding_922336), symlog_domain_symlog_symbolic_1(symlog_binding_symlog_symbolic_1), symlog_domain_symlog_symbolic_2(symlog_binding_symlog_symbolic_2), symlog_domain_922334(symlog_binding_922334).
condition_dominate(call_sig, var, t, t_meth_sig, symlog_signal_0, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922334, symlog_binding_922333, symlog_binding_symlog_symbolic_1) :- defined(var, l, l_meth_sig, symlog_signal_1, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922334, symlog_binding_922333, symlog_binding_symlog_symbolic_1), call(call_sig, l, _, l_meth_sig, symlog_signal_2, symlog_binding_922336, symlog_binding_symlog_symbolic_1, symlog_binding_symlog_symbolic_2), if(s, s_meth_sig, symlog_signal_3, symlog_binding_922336, symlog_binding_symlog_symbolic_2), if_var(var, s, s_meth_sig, symlog_signal_4), binary_op(var, "NE", "null", s, s_meth_sig, symlog_signal_5), flow_reach(l, l_meth_sig, s, s_meth_sig, symlog_signal_6, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922334, symlog_binding_922333, symlog_binding_symlog_symbolic_1), true_flow(s, s_true, s_meth_sig, symlog_signal_7, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2), dom(t, t_meth_sig, s_true, s_meth_sig, symlog_signal_8, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922334, symlog_binding_922333, symlog_binding_symlog_symbolic_1), symlog_signal_0 = symlog_signal_1 bor symlog_signal_2 bor symlog_signal_3 bor symlog_signal_4 bor symlog_signal_5 bor symlog_signal_6 bor symlog_signal_7 bor symlog_signal_8, symlog_domain_922333_922335(symlog_binding_922333, symlog_binding_922335), symlog_domain_922336(symlog_binding_922336), symlog_domain_symlog_symbolic_1(symlog_binding_symlog_symbolic_1), symlog_domain_symlog_symbolic_2(symlog_binding_symlog_symbolic_2), symlog_domain_922334(symlog_binding_922334).
flow(2, 3, "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922333, symlog_binding_922334) :- symlog_domain_922333_922335(symlog_binding_922333, symlog_binding_922335), symlog_domain_922336(symlog_binding_922336), symlog_domain_symlog_symbolic_2(symlog_binding_symlog_symbolic_2), symlog_domain_922334(symlog_binding_922334).
flow(13, 14, "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 1, symlog_binding_922336, symlog_binding_922335, symlog_binding_symlog_symbolic_2, symlog_binding_922333, symlog_binding_922334) :- symlog_domain_922333_922335(symlog_binding_922333, symlog_binding_922335), symlog_domain_922336(symlog_binding_922336), symlog_domain_symlog_symbolic_2(symlog_binding_symlog_symbolic_2), symlog_domain_922334(symlog_binding_922334).
label(15, "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0).
call_name("com.google.javascript.jscomp.jsonml.Writer.processNode", 30, "", "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0).
symlog_domain_922334(5).
method("java.util.Iterator.hasNext()", "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0).
formal_argument("currentParent", 2, 1, "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0).
actual_argument_name("com.google.javascript.jscomp.jsonml.JsonML.setAttribute", "child.getString()", 20, 1, "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0).
symlog_domain_922334(7).
assigned("element", 19, "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0).
label(6, "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0).
symlog_domain_922334(28).
actual_argument_name("java.lang.Object.<init>", "TagType.CallExpr", 21, 0, "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0).
call_name("com.google.javascript.jscomp.jsonml.Writer.processNode", 27, "", "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0).
arguments("TagAttr.OP", 10, "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0).
arguments("it.next()", 30, "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0).
variable("com.google.javascript.rhino.Token.GETELEM", "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0).
call_name("java.lang.Object.<init>", 19, "this", "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0).
if_var("TagType.CallExpr", 17, "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0).
assignment("element", "new JsonML(TagType.InvokeExpr)", 9, "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0).
symlog_domain_922333_922335(6, 7).
symlog_domain_922334(2).
symlog_domain_922333_922335(18, 22).
symlog_domain_922334(26).
variable("TagType.IdExpr", "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0).
arguments("grandchild.getNext()", 14, "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0).
label(31, "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0).
actual_argument("com.google.javascript.jscomp.jsonml.JsonML.setAttribute()", "child.getType() == com.google.javascript.rhino.Token.GETPROP ? \".\" : \"[]\"", 10, 1, "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0).
symlog_domain_922333_922335(6, 8).
start(2, "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0).
symlog_domain_922334(11).
symlog_domain_922333_922335(29, 31).
symlog_domain_922334(17).
variable("it", "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0).
instance_call("it", "java.util.Iterator.next()", 4, "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0).
value("new JsonML(TagType.CallExpr, element)", 21, "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0).
arguments("TagAttr.NAME", 20, "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0).
assigned("element", 25, "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0).
value("new JsonML(TagType.IdExpr)", 19, "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0).
call_name("java.lang.Object.<init>", 9, "this", "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0).
call_name("java.util.Iterator.next", 30, "it", "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0).
label(14, "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0).
if_var("TagType.IdExpr", 17, "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0).
constructor_call("java.lang.Object.java.lang.Object()", 18, "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0).
actual_argument("com.google.javascript.jscomp.jsonml.Writer.processNode(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", "grandchild.getNext()", 14, 0, "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0).
call_name("com.google.javascript.rhino.Node.getType", 10, "child", "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0).
call_name("com.google.javascript.jscomp.jsonml.JsonML.appendChild", 26, "currentParent", "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0).
assigned("element", 18, "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0).
constructor_call("java.lang.Object.java.lang.Object()", 19, "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0).
label(29, "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0).
assignment("element", "new JsonML(TagType.EvalExpr)", 18, "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0).
define("Node", "grandchild", "child.getFirstChild()", 12, "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0).
call_name("com.google.javascript.rhino.Node.getString", 20, "child", "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0).
if_var("TagType.EvalExpr", 17, "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0).
label(20, "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0).
symlog_domain_922334(19).
arguments("element", 13, "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0).
label(24, "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0).
symlog_domain_922334(-922333).
actual_argument_name("com.google.javascript.jscomp.jsonml.Writer.processNode", "element", 30, 1, "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0).
symlog_domain_922334(-922334).
actual_argument("com.google.javascript.jscomp.jsonml.JsonML.setAttribute()", "TagAttr.OP", 10, 0, "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0).
symlog_domain_symlog_symbolic_1("it").
actual_argument_name("com.google.javascript.jscomp.jsonml.JsonML.appendChild", "element", 22, 0, "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0).
call_name("java.util.Iterator.next", 4, "it", "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0).
call_name("com.google.javascript.jscomp.jsonml.JsonML.setAttribute", 20, "element", "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0).
assignment("element", "new JsonML(TagType.CallExpr)", 25, "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0).
symlog_domain_922334(25).
symlog_domain_922333_922335(-922336, -922334).
arguments("element", 14, "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0).
arguments("child.getString()", 20, "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0).
assign_type("com.google.javascript.jscomp.jsonml.JsonML", "element", "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0).
symlog_domain_922334(-922335).
constructor_call("java.lang.Object.java.lang.Object()", 9, "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0).
label(9, "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0).
symlog_domain_922334(4).
label(12, "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0).
call_name("com.google.javascript.jscomp.jsonml.JsonML.appendChild", 11, "currentParent", "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0).
symlog_domain_922333_922335(27, 28).
if_var("child", 17, "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0).
symlog_domain_922333_922335(22, 23).
symlog_domain_922334(23).
actual_argument("com.google.javascript.jscomp.jsonml.Writer.processNode(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", "it.next()", 30, 0, "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0).
actual_argument("com.google.javascript.jscomp.jsonml.JsonML.appendChild(com.google.javascript.jscomp.jsonml.JsonML)", "element", 26, 0, "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0).
symlog_domain_922334(10).
symlog_domain_922334(-922336).
actual_argument_name("java.lang.Object.<init>", "TagType.EvalExpr", 18, 0, "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0).
actual_argument_name("com.google.javascript.jscomp.jsonml.Writer.processNode", "it.next()", 30, 0, "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0).
symlog_domain_922334(18).
symlog_domain_922334(13).
symlog_domain_922334(21).
call_name("com.google.javascript.jscomp.jsonml.Writer.processNode", 13, "", "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0).
arguments("element", 22, "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0).
actual_argument("com.google.javascript.jscomp.jsonml.Writer.processNode(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", "element", 30, 1, "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0).
symlog_domain_922334(6).
arguments("element", 27, "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0).
variable("currentParent", "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0).
symlog_domain_922334(16).
symlog_domain_922333_922335(29, 30).
label(4, "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0).
assigned("it", 3, "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0).
value("null", 5, "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0).
call_name("com.google.javascript.rhino.Node.getType", 6, "child", "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0).
actual_argument_name("com.google.javascript.jscomp.jsonml.Writer.processNode", "grandchild.getNext()", 14, 0, "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0).
actual_argument_name("com.google.javascript.jscomp.jsonml.Writer.processNode", "element", 27, 1, "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0).
symlog_domain_922333_922335(11, 12).
symlog_domain_922334(14).
actual_argument("java.lang.Object.java.lang.Object()", "TagType.IdExpr", 19, 0, "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0).
define("JsonML", "element", "null", 5, "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0).
symlog_domain_922334(27).
while_condition_var("it", 29, "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0).
call_name("java.lang.Object.<init>", 25, "this", "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0).
binary_op("child.getType()", "EQ", "com.google.javascript.rhino.Token.GETPROP", 0, "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0).
call_name("java.util.Iterator.hasNext", 29, "it", "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0).
label(18, "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0).
actual_argument("com.google.javascript.jscomp.jsonml.JsonML.appendChild(com.google.javascript.jscomp.jsonml.JsonML)", "element", 22, 0, "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0).
label(5, "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0).
label(7, "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0).
actual_argument_name("com.google.javascript.jscomp.jsonml.Writer.processNode", "child", 27, 0, "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0).
label(2, "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0).
actual_argument("java.lang.Object.java.lang.Object()", "TagType.CallExpr", 25, 0, "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0).
label(13, "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0).
assign_type("java.util.Iterator", "it", "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0).
symlog_domain_922333_922335(17, 18).
instance_call("", "com.google.javascript.jscomp.jsonml.Writer.processNode(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 13, "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0).
arguments("child.getType() == com.google.javascript.rhino.Token.GETPROP ? \".\" : \"[]\"", 10, "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0).
symlog_domain_922333_922335(-922333, -922336).
symlog_domain_922334(20).
label(22, "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0).
symlog_domain_922333_922335(6, 24).
symlog_domain_symlog_symbolic_2("com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)").
symlog_domain_922333_922335(12, 13).
call_name("com.google.javascript.jscomp.jsonml.JsonML.setAttribute", 10, "element", "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0).
symlog_domain_922334(12).
label(21, "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0).
call_name("com.google.javascript.jscomp.jsonml.Writer.processNode", 14, "", "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0).
label(26, "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0).
method("com.google.javascript.jscomp.jsonml.Writer.processNode(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0).
actual_argument("java.lang.Object.java.lang.Object()", "TagType.CallExpr", 21, 0, "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0).
symlog_domain_922333_922335(14, 15).
assignment("element", "new JsonML(TagType.IdExpr)", 19, "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0).
assigned("element", 21, "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0).
symlog_domain_922333_922335(8, 9).
actual_argument_name("com.google.javascript.jscomp.jsonml.JsonML.appendChild", "element", 11, 0, "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0).
instance_call("it", "java.util.Iterator.next()", 30, "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0).
final(31, "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0).
actual_argument("java.lang.Object.java.lang.Object()", "TagType.EvalExpr", 18, 0, "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0).
symlog_domain_922334(3).
assigned("element", 5, "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0).
value("it.next()", 4, "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0).
actual_argument("this_unknown.equals(java.lang.String)", "\"eval\"", 17, 0, "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0).
actual_argument_name("com.google.javascript.jscomp.jsonml.JsonML.appendChild", "element", 26, 0, "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0).
label(8, "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0).
variable("element", "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0).
call_name("com.google.javascript.rhino.Node.getNext", 14, "grandchild", "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0).
arguments("element", 11, "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0).
assign_type("com.google.javascript.rhino.Node", "grandchild", "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0).
call_name("com.google.javascript.rhino.Node.children", 3, "node", "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0).
call_name("com.google.javascript.rhino.Node.getString", 17, "child", "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0).
actual_argument("com.google.javascript.jscomp.jsonml.JsonML.setAttribute()", "TagAttr.NAME", 20, 0, "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0).
symlog_domain_922333_922335(23, 29).
variable("node", "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0).
symlog_domain_922333_922335(28, 29).
assign_type("com.google.javascript.rhino.Node", "child", "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0).
call_name("com.google.javascript.jscomp.jsonml.JsonML.appendChild", 22, "currentParent", "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0).
symlog_domain_922333_922335(2, 3).
actual_argument_name("java.lang.Object.<init>", "TagType.IdExpr", 19, 0, "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0).
symlog_domain_922333_922335(30, 29).
symlog_domain_922333_922335(21, 22).
symlog_domain_922334(30).
assigned("grandchild", 12, "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0).
constructor_call("java.lang.Object.java.lang.Object()", 21, "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0).
actual_argument("com.google.javascript.jscomp.jsonml.Writer.processNode(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", "child", 27, 0, "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0).
arguments("element", 26, "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0).
value("child.getFirstChild()", 12, "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0).
value("new JsonML(TagType.InvokeExpr)", 9, "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0).
label(27, "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0).
label(19, "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0).
symlog_domain_922334(22).
label(3, "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0).
variable("com.google.javascript.rhino.Token.NAME", "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0).
label(28, "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0).
variable("com.google.javascript.rhino.Token.GETPROP", "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0).
symlog_domain_922336(-922336).
arguments("grandchild", 13, "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0).
actual_argument("com.google.javascript.jscomp.jsonml.JsonML.setAttribute()", "child.getString()", 20, 1, "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0).
label(25, "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0).
symlog_domain_922333_922335(3, 4).
constructor_call("java.lang.Object.java.lang.Object()", 25, "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0).
actual_argument_name("com.google.javascript.jscomp.jsonml.Writer.processNode", "grandchild", 13, 0, "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0).
value("node.children().iterator()", 3, "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0).
label(11, "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0).
symlog_domain_922333_922335(5, 6).
instance_call("it", "java.util.Iterator.hasNext()", 29, "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0).
symlog_domain_922334(15).
actual_argument_name("com.google.javascript.jscomp.jsonml.JsonML.setAttribute", "TagAttr.OP", 10, 0, "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0).
actual_argument("com.google.javascript.jscomp.jsonml.Writer.processNode(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", "grandchild", 13, 0, "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0).
arguments("child", 27, "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0).
symlog_domain_922334(31).
call_name("java.lang.Object.<init>", 18, "this", "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0).
symlog_domain_922334(9).
actual_argument_name("com.google.javascript.jscomp.jsonml.JsonML.setAttribute", "TagAttr.NAME", 20, 0, "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0).
actual_argument_name("java.lang.Object.<init>", "TagType.CallExpr", 25, 0, "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0).
actual_argument("com.google.javascript.jscomp.jsonml.JsonML.appendChild(com.google.javascript.jscomp.jsonml.JsonML)", "element", 11, 0, "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0).
arguments("\"eval\"", 17, "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0).
actual_argument("com.google.javascript.jscomp.jsonml.Writer.processNode(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", "element", 27, 1, "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0).
value("new JsonML(TagType.EvalExpr)", 18, "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0).
instance_call("", "com.google.javascript.jscomp.jsonml.Writer.processNode(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 30, "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0).
define("Iterator<Node>", "it", "node.children().iterator()", 3, "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0).
label(23, "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0).
if_var("element", 17, "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0).
symlog_domain_symlog_symbolic_2("symlog_symbolic_2").
symlog_domain_922333_922335(6, 16).
symlog_domain_922333_922335(25, 26).
symlog_domain_922333_922335(9, 10).
assigned("child", 4, "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0).
variable("grandchild", "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0).
arguments("element", 30, "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0).
symlog_domain_922333_922335(10, 11).
label(30, "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0).
label(17, "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0).
call_name("java.lang.Object.<init>", 21, "this", "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0).
symlog_domain_922333_922335(13, 14).
assigned("element", 9, "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0).
symlog_domain_922333_922335(17, 19).
symlog_domain_922334(8).
while_condition(29, "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0).
instance_call("", "com.google.javascript.jscomp.jsonml.Writer.processNode(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 27, "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0).
symlog_domain_922333_922335(15, 29).
symlog_domain_922333_922335(20, 21).
actual_argument("com.google.javascript.jscomp.jsonml.Writer.processNode(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", "element", 14, 1, "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0).
method("java.util.Iterator.next()", "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0).
symlog_domain_922333_922335(16, 17).
symlog_domain_922334(29).
symlog_domain_922333_922335(19, 20).
define("Node", "child", "it.next()", 4, "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0).
value("new JsonML(TagType.CallExpr)", 25, "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0).
actual_argument_name("java.lang.Object.<init>", "element", 21, 1, "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0).
symlog_domain_922333_922335(-922336, -922335).
actual_argument("java.lang.Object.java.lang.Object()", "element", 21, 1, "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0).
variable("child", "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0).
actual_argument_name("java.lang.Object.<init>", "TagType.InvokeExpr", 9, 0, "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0).
instance_call("", "com.google.javascript.jscomp.jsonml.Writer.processNode(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 14, "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0).
actual_argument("java.lang.Object.java.lang.Object()", "TagType.InvokeExpr", 9, 0, "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0).
variable("TagType.CallExpr", "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0).
assignment("element", "new JsonML(TagType.CallExpr, element)", 21, "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0).
actual_argument_name("com.google.javascript.jscomp.jsonml.JsonML.setAttribute", "child.getType() == com.google.javascript.rhino.Token.GETPROP ? \".\" : \"[]\"", 10, 1, "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0).
symlog_domain_922333_922335(26, 27).
variable("TagType.EvalExpr", "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0).
symlog_domain_922334(24).
symlog_domain_922333_922335(4, 5).
variable("TagType.InvokeExpr", "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0).
call_name("com.google.javascript.rhino.Node.getFirstChild", 12, "child", "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0).
symlog_domain_922333_922335(24, 25).
actual_argument_name("com.google.javascript.jscomp.jsonml.Writer.processNode", "element", 13, 1, "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0).
actual_argument_name("com.google.javascript.jscomp.jsonml.Writer.processNode", "element", 14, 1, "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0).
actual_argument("com.google.javascript.jscomp.jsonml.Writer.processNode(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", "element", 13, 1, "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0).
label(16, "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0).
symlog_domain_922333_922335(7, 8).
label(10, "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0).
formal_argument("node", 2, 0, "com.google.javascript.jscomp.jsonml.Writer.processCall(com.google.javascript.rhino.Node,com.google.javascript.jscomp.jsonml.JsonML)", 0).