rascal 0.3.4

---
source: crates/rascal/src/program.rs
expression: parsed
input_file: samples/as2/constant_folding.as
---
Ok:
  initial_script:
    - Expr:
        span:
          start: 25
          end: 38
          file: 0
        value:
          Trace:
            span:
              start: 31
              end: 37
              file: 0
            value:
              Constant:
                Boolean: true
    - Expr:
        span:
          start: 40
          end: 54
          file: 0
        value:
          Trace:
            span:
              start: 46
              end: 53
              file: 0
            value:
              Constant:
                Boolean: false
    - Expr:
        span:
          start: 64
          end: 74
          file: 0
        value:
          Trace:
            span:
              start: 70
              end: 73
              file: 0
            value:
              Constant:
                Boolean: false
    - Expr:
        span:
          start: 76
          end: 86
          file: 0
        value:
          Trace:
            span:
              start: 82
              end: 85
              file: 0
            value:
              Constant:
                Boolean: true
    - Expr:
        span:
          start: 88
          end: 99
          file: 0
        value:
          Trace:
            span:
              start: 94
              end: 98
              file: 0
            value:
              Constant:
                Boolean: true
    - Expr:
        span:
          start: 111
          end: 123
          file: 0
        value:
          Trace:
            span:
              start: 117
              end: 122
              file: 0
            value:
              Constant:
                Boolean: false
    - Expr:
        span:
          start: 125
          end: 137
          file: 0
        value:
          Trace:
            span:
              start: 131
              end: 136
              file: 0
            value:
              Constant:
                Boolean: true
    - Expr:
        span:
          start: 150
          end: 164
          file: 0
        value:
          Trace:
            span:
              start: 156
              end: 163
              file: 0
            value:
              Constant:
                Boolean: true
    - Expr:
        span:
          start: 166
          end: 180
          file: 0
        value:
          Trace:
            span:
              start: 172
              end: 179
              file: 0
            value:
              Constant:
                Boolean: true
    - Expr:
        span:
          start: 182
          end: 194
          file: 0
        value:
          Trace:
            span:
              start: 188
              end: 193
              file: 0
            value:
              Constant:
                Boolean: false
    - Expr:
        span:
          start: 196
          end: 209
          file: 0
        value:
          Trace:
            span:
              start: 202
              end: 208
              file: 0
            value:
              Constant:
                Boolean: false
    - Expr:
        span:
          start: 211
          end: 222
          file: 0
        value:
          Trace:
            span:
              start: 217
              end: 221
              file: 0
            value:
              Constant:
                Boolean: false
    - Expr:
        span:
          start: 224
          end: 239
          file: 0
        value:
          Trace:
            span:
              start: 230
              end: 238
              file: 0
            value:
              Constant:
                Boolean: false
    - Expr:
        span:
          start: 241
          end: 257
          file: 0
        value:
          Trace:
            span:
              start: 247
              end: 256
              file: 0
            value:
              Constant:
                Boolean: false
    - Expr:
        span:
          start: 298
          end: 311
          file: 0
        value:
          Trace:
            span:
              start: 304
              end: 310
              file: 0
            value:
              UnaryOperator:
                - LogicalNot
                - span:
                    start: 305
                    end: 310
                    file: 0
                  value:
                    UnaryOperator:
                      - LogicalNot
                      - span:
                          start: 306
                          end: 310
                          file: 0
                        value:
                          Constant:
                            Identifier: "null"
    - Expr:
        span:
          start: 313
          end: 331
          file: 0
        value:
          Trace:
            span:
              start: 319
              end: 330
              file: 0
            value:
              UnaryOperator:
                - LogicalNot
                - span:
                    start: 320
                    end: 330
                    file: 0
                  value:
                    UnaryOperator:
                      - LogicalNot
                      - span:
                          start: 321
                          end: 330
                          file: 0
                        value:
                          Constant:
                            Identifier: undefined
    - Expr:
        span:
          start: 333
          end: 345
          file: 0
        value:
          Trace:
            span:
              start: 339
              end: 344
              file: 0
            value:
              UnaryOperator:
                - LogicalNot
                - span:
                    start: 340
                    end: 344
                    file: 0
                  value:
                    UnaryOperator:
                      - LogicalNot
                      - span:
                          start: 341
                          end: 344
                          file: 0
                        value:
                          Constant:
                            Identifier: foo
    - Expr:
        span:
          start: 378
          end: 390
          file: 0
        value:
          Trace:
            span:
              start: 384
              end: 389
              file: 0
            value:
              Constant:
                Integer: -1
    - Expr:
        span:
          start: 392
          end: 405
          file: 0
        value:
          Trace:
            span:
              start: 398
              end: 404
              file: 0
            value:
              Constant:
                Integer: 0
    - Expr:
        span:
          start: 415
          end: 424
          file: 0
        value:
          Trace:
            span:
              start: 421
              end: 423
              file: 0
            value:
              Constant:
                Integer: 0
    - Expr:
        span:
          start: 426
          end: 435
          file: 0
        value:
          Trace:
            span:
              start: 432
              end: 434
              file: 0
            value:
              Constant:
                Integer: -1
    - Expr:
        span:
          start: 437
          end: 449
          file: 0
        value:
          Trace:
            span:
              start: 443
              end: 448
              file: 0
            value:
              Constant:
                Integer: 1
    - Expr:
        span:
          start: 461
          end: 472
          file: 0
        value:
          Trace:
            span:
              start: 467
              end: 471
              file: 0
            value:
              Constant:
                Integer: 0
    - Expr:
        span:
          start: 474
          end: 485
          file: 0
        value:
          Trace:
            span:
              start: 480
              end: 484
              file: 0
            value:
              Constant:
                Float: -0.1
    - Expr:
        span:
          start: 498
          end: 511
          file: 0
        value:
          Trace:
            span:
              start: 504
              end: 510
              file: 0
            value:
              Constant:
                Integer: -123
    - Expr:
        span:
          start: 513
          end: 526
          file: 0
        value:
          Trace:
            span:
              start: 519
              end: 525
              file: 0
            value:
              Constant:
                Float: -2.5
    - Expr:
        span:
          start: 528
          end: 539
          file: 0
        value:
          Trace:
            span:
              start: 534
              end: 538
              file: 0
            value:
              Constant:
                Integer: 0
    - Expr:
        span:
          start: 541
          end: 553
          file: 0
        value:
          Trace:
            span:
              start: 547
              end: 552
              file: 0
            value:
              Constant:
                Float: NaN
    - Expr:
        span:
          start: 555
          end: 565
          file: 0
        value:
          Trace:
            span:
              start: 561
              end: 564
              file: 0
            value:
              Constant:
                Float: NaN
    - Expr:
        span:
          start: 567
          end: 581
          file: 0
        value:
          Trace:
            span:
              start: 573
              end: 580
              file: 0
            value:
              Constant:
                Float: NaN
    - Expr:
        span:
          start: 583
          end: 598
          file: 0
        value:
          Trace:
            span:
              start: 589
              end: 597
              file: 0
            value:
              Constant:
                Float: NaN
    - Expr:
        span:
          start: 639
          end: 651
          file: 0
        value:
          Trace:
            span:
              start: 645
              end: 650
              file: 0
            value:
              UnaryOperator:
                - Sub
                - span:
                    start: 646
                    end: 650
                    file: 0
                  value:
                    Constant:
                      Identifier: "null"
    - Expr:
        span:
          start: 653
          end: 670
          file: 0
        value:
          Trace:
            span:
              start: 659
              end: 669
              file: 0
            value:
              UnaryOperator:
                - Sub
                - span:
                    start: 660
                    end: 669
                    file: 0
                  value:
                    Constant:
                      Identifier: undefined
    - Expr:
        span:
          start: 672
          end: 683
          file: 0
        value:
          Trace:
            span:
              start: 678
              end: 682
              file: 0
            value:
              UnaryOperator:
                - Sub
                - span:
                    start: 679
                    end: 682
                    file: 0
                  value:
                    Constant:
                      Identifier: foo
    - Expr:
        span:
          start: 711
          end: 723
          file: 0
        value:
          Trace:
            span:
              start: 717
              end: 722
              file: 0
            value:
              Constant:
                Integer: 1
    - Expr:
        span:
          start: 725
          end: 738
          file: 0
        value:
          Trace:
            span:
              start: 731
              end: 737
              file: 0
            value:
              Constant:
                Integer: 0
    - Expr:
        span:
          start: 748
          end: 757
          file: 0
        value:
          Trace:
            span:
              start: 754
              end: 756
              file: 0
            value:
              Constant:
                Integer: 0
    - Expr:
        span:
          start: 759
          end: 768
          file: 0
        value:
          Trace:
            span:
              start: 765
              end: 767
              file: 0
            value:
              Constant:
                Integer: 1
    - Expr:
        span:
          start: 770
          end: 782
          file: 0
        value:
          Trace:
            span:
              start: 776
              end: 781
              file: 0
            value:
              Constant:
                Integer: -1
    - Expr:
        span:
          start: 794
          end: 805
          file: 0
        value:
          Trace:
            span:
              start: 800
              end: 804
              file: 0
            value:
              Constant:
                Integer: 0
    - Expr:
        span:
          start: 807
          end: 818
          file: 0
        value:
          Trace:
            span:
              start: 813
              end: 817
              file: 0
            value:
              Constant:
                Float: 0.1
    - Expr:
        span:
          start: 831
          end: 844
          file: 0
        value:
          Trace:
            span:
              start: 837
              end: 843
              file: 0
            value:
              Constant:
                Integer: 123
    - Expr:
        span:
          start: 846
          end: 859
          file: 0
        value:
          Trace:
            span:
              start: 852
              end: 858
              file: 0
            value:
              Constant:
                Float: 2.5
    - Expr:
        span:
          start: 861
          end: 872
          file: 0
        value:
          Trace:
            span:
              start: 867
              end: 871
              file: 0
            value:
              Constant:
                Integer: 0
    - Expr:
        span:
          start: 874
          end: 884
          file: 0
        value:
          Trace:
            span:
              start: 880
              end: 883
              file: 0
            value:
              Constant:
                Float: NaN
    - Expr:
        span:
          start: 886
          end: 900
          file: 0
        value:
          Trace:
            span:
              start: 892
              end: 899
              file: 0
            value:
              Constant:
                Float: NaN
    - Expr:
        span:
          start: 902
          end: 917
          file: 0
        value:
          Trace:
            span:
              start: 908
              end: 916
              file: 0
            value:
              Constant:
                Float: NaN
    - Expr:
        span:
          start: 958
          end: 970
          file: 0
        value:
          Trace:
            span:
              start: 964
              end: 969
              file: 0
            value:
              UnaryOperator:
                - Add
                - span:
                    start: 965
                    end: 969
                    file: 0
                  value:
                    Constant:
                      Identifier: "null"
    - Expr:
        span:
          start: 972
          end: 989
          file: 0
        value:
          Trace:
            span:
              start: 978
              end: 988
              file: 0
            value:
              UnaryOperator:
                - Add
                - span:
                    start: 979
                    end: 988
                    file: 0
                  value:
                    Constant:
                      Identifier: undefined
    - Expr:
        span:
          start: 991
          end: 1002
          file: 0
        value:
          Trace:
            span:
              start: 997
              end: 1001
              file: 0
            value:
              UnaryOperator:
                - Add
                - span:
                    start: 998
                    end: 1001
                    file: 0
                  value:
                    Constant:
                      Identifier: foo
    - Expr:
        span:
          start: 1034
          end: 1046
          file: 0
        value:
          Trace:
            span:
              start: 1040
              end: 1045
              file: 0
            value:
              Constant:
                Integer: -2
    - Expr:
        span:
          start: 1048
          end: 1061
          file: 0
        value:
          Trace:
            span:
              start: 1054
              end: 1060
              file: 0
            value:
              Constant:
                Integer: -1
    - Expr:
        span:
          start: 1071
          end: 1080
          file: 0
        value:
          Trace:
            span:
              start: 1077
              end: 1079
              file: 0
            value:
              Constant:
                Integer: -1
    - Expr:
        span:
          start: 1082
          end: 1091
          file: 0
        value:
          Trace:
            span:
              start: 1088
              end: 1090
              file: 0
            value:
              Constant:
                Integer: -2
    - Expr:
        span:
          start: 1093
          end: 1105
          file: 0
        value:
          Trace:
            span:
              start: 1099
              end: 1104
              file: 0
            value:
              Constant:
                Integer: 0
    - Expr:
        span:
          start: 1107
          end: 1116
          file: 0
        value:
          Trace:
            span:
              start: 1113
              end: 1115
              file: 0
            value:
              Constant:
                Integer: -6
    - Expr:
        span:
          start: 1128
          end: 1139
          file: 0
        value:
          Trace:
            span:
              start: 1134
              end: 1138
              file: 0
            value:
              Constant:
                Integer: -1
    - Expr:
        span:
          start: 1141
          end: 1152
          file: 0
        value:
          Trace:
            span:
              start: 1147
              end: 1151
              file: 0
            value:
              Constant:
                Integer: -1
    - Expr:
        span:
          start: 1154
          end: 1165
          file: 0
        value:
          Trace:
            span:
              start: 1160
              end: 1164
              file: 0
            value:
              Constant:
                Integer: -6
    - Expr:
        span:
          start: 1178
          end: 1191
          file: 0
        value:
          Trace:
            span:
              start: 1184
              end: 1190
              file: 0
            value:
              Constant:
                Integer: -124
    - Expr:
        span:
          start: 1193
          end: 1206
          file: 0
        value:
          Trace:
            span:
              start: 1199
              end: 1205
              file: 0
            value:
              Constant:
                Integer: -3
    - Expr:
        span:
          start: 1208
          end: 1219
          file: 0
        value:
          Trace:
            span:
              start: 1214
              end: 1218
              file: 0
            value:
              Constant:
                Integer: -1
    - Expr:
        span:
          start: 1221
          end: 1231
          file: 0
        value:
          Trace:
            span:
              start: 1227
              end: 1230
              file: 0
            value:
              Constant:
                Integer: -1
    - Expr:
        span:
          start: 1233
          end: 1247
          file: 0
        value:
          Trace:
            span:
              start: 1239
              end: 1246
              file: 0
            value:
              Constant:
                Integer: -1
    - Expr:
        span:
          start: 1249
          end: 1264
          file: 0
        value:
          Trace:
            span:
              start: 1255
              end: 1263
              file: 0
            value:
              Constant:
                Integer: -1
    - Expr:
        span:
          start: 1305
          end: 1317
          file: 0
        value:
          Trace:
            span:
              start: 1311
              end: 1316
              file: 0
            value:
              UnaryOperator:
                - BitNot
                - span:
                    start: 1312
                    end: 1316
                    file: 0
                  value:
                    Constant:
                      Identifier: "null"
    - Expr:
        span:
          start: 1319
          end: 1336
          file: 0
        value:
          Trace:
            span:
              start: 1325
              end: 1335
              file: 0
            value:
              UnaryOperator:
                - BitNot
                - span:
                    start: 1326
                    end: 1335
                    file: 0
                  value:
                    Constant:
                      Identifier: undefined
    - Expr:
        span:
          start: 1338
          end: 1349
          file: 0
        value:
          Trace:
            span:
              start: 1344
              end: 1348
              file: 0
            value:
              UnaryOperator:
                - BitNot
                - span:
                    start: 1345
                    end: 1348
                    file: 0
                  value:
                    Constant:
                      Identifier: foo
    - Expr:
        span:
          start: 1369
          end: 1405
          file: 0
        value:
          Trace:
            span:
              start: 1375
              end: 1404
              file: 0
            value:
              Constant:
                String: ab3true123.45
    - Expr:
        span:
          start: 1407
          end: 1423
          file: 0
        value:
          Trace:
            span:
              start: 1413
              end: 1422
              file: 0
            value:
              Constant:
                String: "12"
    - Expr:
        span:
          start: 1424
          end: 1438
          file: 0
        value:
          Trace:
            span:
              start: 1430
              end: 1437
              file: 0
            value:
              Constant:
                String: "12"
    - Expr:
        span:
          start: 1439
          end: 1453
          file: 0
        value:
          Trace:
            span:
              start: 1445
              end: 1452
              file: 0
            value:
              Constant:
                String: "12"
    - Expr:
        span:
          start: 1454
          end: 1466
          file: 0
        value:
          Trace:
            span:
              start: 1460
              end: 1465
              file: 0
            value:
              Constant:
                Integer: 3
    - Expr:
        span:
          start: 1467
          end: 1481
          file: 0
        value:
          Trace:
            span:
              start: 1473
              end: 1480
              file: 0
            value:
              Constant:
                Integer: 3
    - Expr:
        span:
          start: 1482
          end: 1496
          file: 0
        value:
          Trace:
            span:
              start: 1488
              end: 1495
              file: 0
            value:
              Constant:
                Integer: 3
    - Expr:
        span:
          start: 1498
          end: 1517
          file: 0
        value:
          Trace:
            span:
              start: 1504
              end: 1516
              file: 0
            value:
              Constant:
                Integer: 1
    - Expr:
        span:
          start: 1519
          end: 1540
          file: 0
        value:
          Trace:
            span:
              start: 1525
              end: 1539
              file: 0
            value:
              Constant:
                String: truefalse
    - Expr:
        span:
          start: 1560
          end: 1576
          file: 0
        value:
          Trace:
            span:
              start: 1566
              end: 1575
              file: 0
            value:
              Constant:
                Integer: -1
    - Expr:
        span:
          start: 1577
          end: 1591
          file: 0
        value:
          Trace:
            span:
              start: 1583
              end: 1590
              file: 0
            value:
              Constant:
                Integer: -1
    - Expr:
        span:
          start: 1592
          end: 1606
          file: 0
        value:
          Trace:
            span:
              start: 1598
              end: 1605
              file: 0
            value:
              Constant:
                Integer: -1
    - Expr:
        span:
          start: 1607
          end: 1619
          file: 0
        value:
          Trace:
            span:
              start: 1613
              end: 1618
              file: 0
            value:
              Constant:
                Integer: -1
    - Expr:
        span:
          start: 1620
          end: 1634
          file: 0
        value:
          Trace:
            span:
              start: 1626
              end: 1633
              file: 0
            value:
              Constant:
                Integer: -1
    - Expr:
        span:
          start: 1635
          end: 1649
          file: 0
        value:
          Trace:
            span:
              start: 1641
              end: 1648
              file: 0
            value:
              Constant:
                Integer: -1
    - Expr:
        span:
          start: 1651
          end: 1670
          file: 0
        value:
          Trace:
            span:
              start: 1657
              end: 1669
              file: 0
            value:
              Constant:
                Integer: 1
    - Expr:
        span:
          start: 1672
          end: 1693
          file: 0
        value:
          Trace:
            span:
              start: 1678
              end: 1692
              file: 0
            value:
              Constant:
                Float: NaN
    - Expr:
        span:
          start: 1720
          end: 1736
          file: 0
        value:
          Trace:
            span:
              start: 1726
              end: 1735
              file: 0
            value:
              Constant:
                Integer: 1
    - Expr:
        span:
          start: 1738
          end: 1755
          file: 0
        value:
          Trace:
            span:
              start: 1744
              end: 1754
              file: 0
            value:
              Constant:
                Integer: 0
    - Expr:
        span:
          start: 1765
          end: 1778
          file: 0
        value:
          Trace:
            span:
              start: 1771
              end: 1777
              file: 0
            value:
              Constant:
                Integer: 0
    - Expr:
        span:
          start: 1780
          end: 1793
          file: 0
        value:
          Trace:
            span:
              start: 1786
              end: 1792
              file: 0
            value:
              Constant:
                Integer: 1
    - Expr:
        span:
          start: 1795
          end: 1811
          file: 0
        value:
          Trace:
            span:
              start: 1801
              end: 1810
              file: 0
            value:
              Constant:
                Integer: -1
    - Expr:
        span:
          start: 1813
          end: 1826
          file: 0
        value:
          Trace:
            span:
              start: 1819
              end: 1825
              file: 0
            value:
              Constant:
                Integer: 5
    - Expr:
        span:
          start: 1838
          end: 1853
          file: 0
        value:
          Trace:
            span:
              start: 1844
              end: 1852
              file: 0
            value:
              Constant:
                Integer: 0
    - Expr:
        span:
          start: 1855
          end: 1870
          file: 0
        value:
          Trace:
            span:
              start: 1861
              end: 1869
              file: 0
            value:
              Constant:
                Integer: 0
    - Expr:
        span:
          start: 1872
          end: 1887
          file: 0
        value:
          Trace:
            span:
              start: 1878
              end: 1886
              file: 0
            value:
              Constant:
                Integer: 5
    - Expr:
        span:
          start: 1900
          end: 1917
          file: 0
        value:
          Trace:
            span:
              start: 1906
              end: 1916
              file: 0
            value:
              Constant:
                Integer: 123
    - Expr:
        span:
          start: 1919
          end: 1936
          file: 0
        value:
          Trace:
            span:
              start: 1925
              end: 1935
              file: 0
            value:
              Constant:
                Integer: 2
    - Expr:
        span:
          start: 1938
          end: 1953
          file: 0
        value:
          Trace:
            span:
              start: 1944
              end: 1952
              file: 0
            value:
              Constant:
                Integer: 0
    - Expr:
        span:
          start: 1955
          end: 1969
          file: 0
        value:
          Trace:
            span:
              start: 1961
              end: 1968
              file: 0
            value:
              Constant:
                Integer: -2147483648
    - Expr:
        span:
          start: 1971
          end: 1989
          file: 0
        value:
          Trace:
            span:
              start: 1977
              end: 1988
              file: 0
            value:
              Constant:
                Integer: -2147483648
    - Expr:
        span:
          start: 1991
          end: 2010
          file: 0
        value:
          Trace:
            span:
              start: 1997
              end: 2009
              file: 0
            value:
              Constant:
                Integer: -2147483648
    - Expr:
        span:
          start: 2051
          end: 2067
          file: 0
        value:
          Trace:
            span:
              start: 2057
              end: 2066
              file: 0
            value:
              CastToInteger:
                span:
                  start: 2061
                  end: 2065
                  file: 0
                value:
                  Constant:
                    Identifier: "null"
    - Expr:
        span:
          start: 2069
          end: 2090
          file: 0
        value:
          Trace:
            span:
              start: 2075
              end: 2089
              file: 0
            value:
              CastToInteger:
                span:
                  start: 2079
                  end: 2088
                  file: 0
                value:
                  Constant:
                    Identifier: undefined
    - Expr:
        span:
          start: 2092
          end: 2107
          file: 0
        value:
          Trace:
            span:
              start: 2098
              end: 2106
              file: 0
            value:
              CastToInteger:
                span:
                  start: 2102
                  end: 2105
                  file: 0
                value:
                  Constant:
                    Identifier: foo
  interfaces: []
  classes: []
  custom_pcodes: []
  compile_options:
    swf_version: 15
    optimizations:
      fold_constants: true
      promote_variables_to_registers: true