• check flags:
• building check-recursive
  • Making check in syntax
  • make[1]: Entering directory `/tmp/nix-build-0nxxlz84yaskhxx73xss9dxb5r320awb-aster.drv-0/aster-0.1pre18379/syntax'
    • building all-local
      • Tools registered in repository /tmp/nix-build-0nxxlz84yaskhxx73xss9dxb5r320awb-aster.drv-0/aster-0.1pre18379/BUILDTIME_XTC:
      • Data registered in repository /tmp/nix-build-0nxxlz84yaskhxx73xss9dxb5r320awb-aster.drv-0/aster-0.1pre18379/BUILDTIME_XTC: Stratego-Attributes.tbl Stratego-Attributes.def Stratego-Attributes.str Stratego-Attributes-in-Stratego.def Stratego-Attributes-in-Stratego.tbl Stratego-Attributes.str
    • make[1]: Leaving directory `/tmp/nix-build-0nxxlz84yaskhxx73xss9dxb5r320awb-aster.drv-0/aster-0.1pre18379/syntax'
  • Making check in runtime
  • make[1]: Entering directory `/tmp/nix-build-0nxxlz84yaskhxx73xss9dxb5r320awb-aster.drv-0/aster-0.1pre18379/runtime'
    • building all-local
      • Tools registered in repository /tmp/nix-build-0nxxlz84yaskhxx73xss9dxb5r320awb-aster.drv-0/aster-0.1pre18379/BUILDTIME_XTC:
      • Data registered in repository /tmp/nix-build-0nxxlz84yaskhxx73xss9dxb5r320awb-aster.drv-0/aster-0.1pre18379/BUILDTIME_XTC: aster-runtime.packed-rtree aster-runtime.str aster/lang/annotations.str aster/lang/attributes.str aster/lang/debug.str aster/lang/hashtables.str aster/lang/lists.str aster/lang/parents.str aster/lang/rewrites.str aster/attributes/collection.astr aster/attributes/common.astr aster/attributes/debug.astr aster/attributes/lang.astr aster/attributes/reflection.astr aster/attributes/tree-access.astr aster/decorators/assert.astr aster/decorators/caching.astr aster/decorators/circular.astr aster/decorators/collection.astr aster/decorators/common.astr aster/decorators/debug.astr aster/decorators/flow.astr aster/decorators/lang.astr aster/decorators/lookup.astr aster/decorators/rewriting.astr
    • make[1]: Leaving directory `/tmp/nix-build-0nxxlz84yaskhxx73xss9dxb5r320awb-aster.drv-0/aster-0.1pre18379/runtime'
  • Making check in trans
  • make[1]: Entering directory `/tmp/nix-build-0nxxlz84yaskhxx73xss9dxb5r320awb-aster.drv-0/aster-0.1pre18379/trans'
    • make[1]: Circular aster-no-check <- front/check.rtree dependency dropped.
    • make[1]: Circular aster-no-check <- front/check.rtree dependency dropped.
    • make[1]: Circular aster-no-check <- front/check.rtree dependency dropped.
    • building all-local
      • Tools registered in repository /tmp/nix-build-0nxxlz84yaskhxx73xss9dxb5r320awb-aster.drv-0/aster-0.1pre18379/BUILDTIME_XTC: aster
      • Data registered in repository /tmp/nix-build-0nxxlz84yaskhxx73xss9dxb5r320awb-aster.drv-0/aster-0.1pre18379/BUILDTIME_XTC: aster.rtree aster.rtree io.rtree back/anonymous-rewrites.rtree back/assimilate.rtree back/attribute-builtins.rtree back/attribute-caching.rtree back/attribute-references.rtree back/attribute-tracing.rtree back/decorator-definitions.rtree back/decorator-references.rtree back/decorator-wrapping.rtree back/equation-definitions.rtree back/equation-merging.rtree back/equation-postprocess.rtree back/util.rtree front/analyze-foreign-ops.rtree front/analyze.rtree front/check.bootstrap.rtree front/check.rtree front/decorator-ordering.rtree front/desugar.rtree front/include-library.rtree lib/multi-options.rtree lib/xtc-multi-options.rtree front/check.rtree
    • make[1]: Leaving directory `/tmp/nix-build-0nxxlz84yaskhxx73xss9dxb5r320awb-aster.drv-0/aster-0.1pre18379/trans'
  • Making check in tests
  • make[1]: Entering directory `/tmp/nix-build-0nxxlz84yaskhxx73xss9dxb5r320awb-aster.drv-0/aster-0.1pre18379/tests'
    • building Stratego-Attributes.runtestsuite
      • parse-unit --no-heuristic-filters -i Stratego-Attributes.testsuite -p ../syntax/Stratego-Attributes.tbl
      • -----------------------------------------------------------------------
      • executing testsuite Stratego-Attributes with 45 tests
      • -----------------------------------------------------------------------
      • * OK : test 1 (Rules block)
      • * OK : test 2 (Decorators block)
      • * OK : test 3 (Attribute declarations)
      • * OK : test 4 (Assignment in pattern definition block)
      • * OK : test 5 (Rule definition vs. attribute pattern definition block)
      • * OK : test 6 (Attribute pattern block with strategy definitions)
      • * OK : test 7 (Disallow childless attribute definition in block (1))
      • * OK : test 8 (Disallow childless attribute definition in block (2))
      • * OK : test 9 (Decorated rule (1))
      • * OK : test 10 (Decorated rule (2))
      • * OK : test 11 (Attribute definition block with variable pattern)
      • * OK : test 12 (Attribute definition block with single strategy)
      • * OK : test 13 (Attribute reference in match)
      • * OK : test 14 (Attribute defined on tuple)
      • * OK : test 15 (Attribute localfoo)
      • * OK : test 16 (Pattern rootfoo)
      • * OK : test 17 (Attribute block defined on tuple)
      • * OK : test 18 (Attribute definition 'eq')
      • * OK : test 19 (Attribute declaration 'eq')
      • * OK : test 20 (Attribute declaration 'attributes')
      • * OK : test 21 (Attribute declaration 'def')
      • * OK : test 22 (Mixture of attribute keywords and identifiers (1))
      • * OK : test 23 (Mixture of attribute keywords and identifiers (2))
      • * OK : test 24 (AttributeDecl and ADefNoPattern)
      • * OK : test 25 (Attribute definition vs. <App> (1))
      • * OK : test 26 (Attribute definition vs. <App> (2))
      • * OK : test 27 (Attribute definition vs. <App> (3))
      • * OK : test 28 (Attribute definition vs. <App> (4))
      • * OK : test 29 (Attribute reference vs. <App> (1))
      • * OK : test 30 (Attribute reference vs. <App> (2))
      • * OK : test 31 (Attribute as annotation list)
      • * OK : test 32 (Attribute pattern definitions vs. <App> (1))
      • * OK : test 33 (Attribute pattern definitions vs. <App> (2))
      • * OK : test 34 (Attribute pattern definitions vs. <App> (3))
      • * OK : test 35 (Attribute pattern definitions vs. <App> (4))
      • * OK : test 36 (Attribute pattern definitions vs. <App> (5))
      • * OK : test 37 (Attribute pattern definitions vs. <App> (6))
      • * OK : test 38 (Attribute pattern definitions vs. <App> (7))
      • * OK : test 39 (Attribute pattern definitions vs. <App> (8))
      • * OK : test 40 (Attribute pattern definitions vs. <App> (9))
      • * OK : test 41 (Attributes in pattern)
      • * OK : test 42 ("Default" decorator)
      • * OK : test 43 (Parameterized decorators)
      • * OK : test 44 (Single-line pattern, child pattern, and attribute definition)
      • * OK : test 45 (Anonymous rewrite rule)
      • -----------------------------------------------------------------------
      • results testsuite Stratego-Attributes
      • successes : 45
      • failures : 0
      • -----------------------------------------------------------------------
    • building anonymous-rules.str
      • ../trans/aster -i anonymous-rules.astr -o anonymous-rules.str --trace --verbose 2
      • [ strc | notice ] Parsing file anonymous-rules.astr
      • [ strc | notice ] Using syntax Stratego-Attributes
      • [ strc | notice ] Using parse table: /nix/store/yr8msd8mwhi6kbdxglxg93vzixc43bhh-aster/share/aster/Stratego-Attributes.tbl/...-aster/share/aster/Stratego-Attributes.tbl
      • [ aster | info ] compilation succeeded : [user/system] = [0.51s/0.03s]
    • building binary-numbers.str
      • ../trans/aster -i binary-numbers.astr -o binary-numbers.str --trace --verbose 2
      • [ strc | notice ] Parsing file binary-numbers.astr
      • [ strc | notice ] Using syntax Stratego-Attributes
      • [ strc | notice ] Using parse table: /nix/store/yr8msd8mwhi6kbdxglxg93vzixc43bhh-aster/share/aster/Stratego-Attributes.tbl/...-aster/share/aster/Stratego-Attributes.tbl
      • [ aster | info ] compilation succeeded : [user/system] = [0.51s/0.05s]
    • building caching.str
      • ../trans/aster -i caching.astr -o caching.str --trace --verbose 2
      • [ strc | notice ] Parsing file caching.astr
      • [ strc | notice ] Using syntax Stratego-Attributes
      • [ strc | notice ] Using parse table: /nix/store/yr8msd8mwhi6kbdxglxg93vzixc43bhh-aster/share/aster/Stratego-Attributes.tbl/...-aster/share/aster/Stratego-Attributes.tbl
      • [ aster | info ] compilation succeeded : [user/system] = [0.58s/0.05s]
    • building circular-basic.str
      • ../trans/aster -i circular-basic.astr -o circular-basic.str --trace --verbose 2
      • [ strc | notice ] Parsing file circular-basic.astr
      • [ strc | notice ] Using syntax Stratego-Attributes
      • [ strc | notice ] Using parse table: /nix/store/yr8msd8mwhi6kbdxglxg93vzixc43bhh-aster/share/aster/Stratego-Attributes.tbl/...-aster/share/aster/Stratego-Attributes.tbl
      • [ aster | info ] compilation succeeded : [user/system] = [0.48s/0.07s]
    • building circular-liveness-rewrites.str
      • ../trans/aster -i circular-liveness-rewrites.astr -o circular-liveness-rewrites.str --trace --verbose 2
      • [ strc | notice ] Parsing file circular-liveness-rewrites.astr
      • [ strc | notice ] Using syntax Stratego-Attributes
      • [ strc | notice ] Using parse table: /nix/store/yr8msd8mwhi6kbdxglxg93vzixc43bhh-aster/share/aster/Stratego-Attributes.tbl/...-aster/share/aster/Stratego-Attributes.tbl
      • [ aster | info ] compilation succeeded : [user/system] = [0.50s/0.06s]
    • building circular-liveness.str
      • ../trans/aster -i circular-liveness.astr -o circular-liveness.str --trace --verbose 2
      • [ strc | notice ] Parsing file circular-liveness.astr
      • [ strc | notice ] Using syntax Stratego-Attributes
      • [ strc | notice ] Using parse table: /nix/store/yr8msd8mwhi6kbdxglxg93vzixc43bhh-aster/share/aster/Stratego-Attributes.tbl/...-aster/share/aster/Stratego-Attributes.tbl
      • [ aster | info ] compilation succeeded : [user/system] = [0.54s/0.06s]
    • building circular-propconst.str
      • ../trans/aster -i circular-propconst.astr -o circular-propconst.str --trace --verbose 2
      • [ strc | notice ] Parsing file circular-propconst.astr
      • [ strc | notice ] Using syntax Stratego-Attributes
      • [ strc | notice ] Using parse table: /nix/store/yr8msd8mwhi6kbdxglxg93vzixc43bhh-aster/share/aster/Stratego-Attributes.tbl/...-aster/share/aster/Stratego-Attributes.tbl
      • [ aster | info ] compilation succeeded : [user/system] = [0.59s/0.04s]
    • building cons-nil.str
      • ../trans/aster -i cons-nil.astr -o cons-nil.str --trace --verbose 2
      • [ strc | notice ] Parsing file cons-nil.astr
      • [ strc | notice ] Using syntax Stratego-Attributes
      • [ strc | notice ] Using parse table: /nix/store/yr8msd8mwhi6kbdxglxg93vzixc43bhh-aster/share/aster/Stratego-Attributes.tbl/...-aster/share/aster/Stratego-Attributes.tbl
      • [ aster | info ] compilation succeeded : [user/system] = [0.47s/0.05s]
    • building contributes-to.str
      • ../trans/aster -i contributes-to.astr -o contributes-to.str --trace --verbose 2
      • [ strc | notice ] Parsing file contributes-to.astr
      • [ strc | notice ] Using syntax Stratego-Attributes
      • [ strc | notice ] Using parse table: /nix/store/yr8msd8mwhi6kbdxglxg93vzixc43bhh-aster/share/aster/Stratego-Attributes.tbl/...-aster/share/aster/Stratego-Attributes.tbl
      • [ aster | info ] compilation succeeded : [user/system] = [0.49s/0.06s]
    • building decorators.str
      • ../trans/aster -i decorators.astr -o decorators.str --trace --verbose 2
      • [ strc | notice ] Parsing file decorators.astr
      • [ strc | notice ] Using syntax Stratego-Attributes
      • [ strc | notice ] Using parse table: /nix/store/yr8msd8mwhi6kbdxglxg93vzixc43bhh-aster/share/aster/Stratego-Attributes.tbl/...-aster/share/aster/Stratego-Attributes.tbl
      • [ aster | info ] compilation succeeded : [user/system] = [0.52s/0.03s]
    • building empty.str
      • ../trans/aster -i empty.astr -o empty.str --trace --verbose 2
      • [ strc | notice ] Parsing file empty.astr
      • [ strc | notice ] Using syntax Stratego-Attributes
      • [ strc | notice ] Using parse table: /nix/store/yr8msd8mwhi6kbdxglxg93vzixc43bhh-aster/share/aster/Stratego-Attributes.tbl/...-aster/share/aster/Stratego-Attributes.tbl
      • [ aster | info ] compilation succeeded : [user/system] = [0.48s/0.05s]
    • building find-minimum.str
      • ../trans/aster -i find-minimum.astr -o find-minimum.str --trace --verbose 2
      • [ strc | notice ] Parsing file find-minimum.astr
      • [ strc | notice ] Using syntax Stratego-Attributes
      • [ strc | notice ] Using parse table: /nix/store/yr8msd8mwhi6kbdxglxg93vzixc43bhh-aster/share/aster/Stratego-Attributes.tbl/...-aster/share/aster/Stratego-Attributes.tbl
      • [ aster | info ] compilation succeeded : [user/system] = [0.48s/0.06s]
    • building lookup-unordered.str
      • ../trans/aster -i lookup-unordered.astr -o lookup-unordered.str --trace --verbose 2
      • [ strc | notice ] Parsing file lookup-unordered.astr
      • [ strc | notice ] Using syntax Stratego-Attributes
      • [ strc | notice ] Using parse table: /nix/store/yr8msd8mwhi6kbdxglxg93vzixc43bhh-aster/share/aster/Stratego-Attributes.tbl/...-aster/share/aster/Stratego-Attributes.tbl
      • [ aster | info ] compilation succeeded : [user/system] = [0.50s/0.05s]
    • building nested-decorator.str
      • ../trans/aster -i nested-decorator.astr -o nested-decorator.str --trace --verbose 2
      • [ strc | notice ] Parsing file nested-decorator.astr
      • [ strc | notice ] Using syntax Stratego-Attributes
      • [ strc | notice ] Using parse table: /nix/store/yr8msd8mwhi6kbdxglxg93vzixc43bhh-aster/share/aster/Stratego-Attributes.tbl/...-aster/share/aster/Stratego-Attributes.tbl
      • [ aster | info ] compilation succeeded : [user/system] = [0.50s/0.04s]
    • building repmin-anonymous.str
      • ../trans/aster -i repmin-anonymous.astr -o repmin-anonymous.str --trace --verbose 2
      • [ strc | notice ] Parsing file repmin-anonymous.astr
      • [ strc | notice ] Using syntax Stratego-Attributes
      • [ strc | notice ] Using parse table: /nix/store/yr8msd8mwhi6kbdxglxg93vzixc43bhh-aster/share/aster/Stratego-Attributes.tbl/...-aster/share/aster/Stratego-Attributes.tbl
      • [ aster | info ] compilation succeeded : [user/system] = [0.51s/0.05s]
    • building repmin-hag-decorated.str
      • ../trans/aster -i repmin-hag-decorated.astr -o repmin-hag-decorated.str --trace --verbose 2
      • [ strc | notice ] Parsing file repmin-hag-decorated.astr
      • [ strc | notice ] Using syntax Stratego-Attributes
      • [ strc | notice ] Using parse table: /nix/store/yr8msd8mwhi6kbdxglxg93vzixc43bhh-aster/share/aster/Stratego-Attributes.tbl/...-aster/share/aster/Stratego-Attributes.tbl
      • [ aster | info ] compilation succeeded : [user/system] = [0.50s/0.06s]
    • building repmin-hag.str
      • ../trans/aster -i repmin-hag.astr -o repmin-hag.str --trace --verbose 2
      • [ strc | notice ] Parsing file repmin-hag.astr
      • [ strc | notice ] Using syntax Stratego-Attributes
      • [ strc | notice ] Using parse table: /nix/store/yr8msd8mwhi6kbdxglxg93vzixc43bhh-aster/share/aster/Stratego-Attributes.tbl/...-aster/share/aster/Stratego-Attributes.tbl
      • [ aster | info ] compilation succeeded : [user/system] = [0.51s/0.04s]
    • building repmin-no-copy-rules.str
      • ../trans/aster -i repmin-no-copy-rules.astr -o repmin-no-copy-rules.str --trace --verbose 2
      • [ strc | notice ] Parsing file repmin-no-copy-rules.astr
      • [ strc | notice ] Using syntax Stratego-Attributes
      • [ strc | notice ] Using parse table: /nix/store/yr8msd8mwhi6kbdxglxg93vzixc43bhh-aster/share/aster/Stratego-Attributes.tbl/...-aster/share/aster/Stratego-Attributes.tbl
      • [ aster | info ] compilation succeeded : [user/system] = [0.53s/0.04s]
    • building repmin.str
      • ../trans/aster -i repmin.astr -o repmin.str --trace --verbose 2
      • [ strc | notice ] Parsing file repmin.astr
      • [ strc | notice ] Using syntax Stratego-Attributes
      • [ strc | notice ] Using parse table: /nix/store/yr8msd8mwhi6kbdxglxg93vzixc43bhh-aster/share/aster/Stratego-Attributes.tbl/...-aster/share/aster/Stratego-Attributes.tbl
      • [ aster | info ] compilation succeeded : [user/system] = [0.50s/0.04s]
    • building test-aster-internals.str
      • ../trans/aster -i test-aster-internals.astr -o test-aster-internals.str --trace --verbose 2
      • [ strc | notice ] Parsing file test-aster-internals.astr
      • [ strc | notice ] Using syntax Stratego-Attributes-in-Stratego
      • [ strc | notice ] Using parse table: /nix/store/yr8msd8mwhi6kbdxglxg93vzixc43bhh-aster/share/aster/Stratego-Attributes-in-Stratego.tbl/...-aster/share/aster/Stratego-Attributes-in-Stratego.tbl
      • [ aster | info ] compilation succeeded : [user/system] = [0.62s/0.06s]
    • building test-attributes.str
      • ../trans/aster -i test-attributes.astr -o test-attributes.str --verbose 2
      • [ strc | notice ] Parsing file test-attributes.astr
      • [ strc | notice ] Using syntax Stratego-Attributes
      • [ strc | notice ] Using parse table: /nix/store/yr8msd8mwhi6kbdxglxg93vzixc43bhh-aster/share/aster/Stratego-Attributes.tbl/...-aster/share/aster/Stratego-Attributes.tbl
      • [ aster | warning ] Pattern child equals pattern in attribute 'silly'
      • "silly"
      • [ aster | info ] compilation succeeded : [user/system] = [0.64s/0.03s]
    • building anonymous-rules
      • strc -i anonymous-rules.str -m main-`basename anonymous-rules` -la stratego-lib -la strc -I ../syntax -I ../trans -I ../runtime --format-check 0 -O 0 -Xcc -O0 >/dev/null
      • [ strc | info ] Compiling 'anonymous-rules.str'
      • [ strc | info ] Front-end succeeded : [user/system] = [1.53s/0.06s]
      • [ strc | info ] Optimization succeeded -O 0 : [user/system] = [0.00s/0.00s]
      • [ strc | info ] Back-end succeeded : [user/system] = [0.16s/0.01s]
      • [ strc | info ] C compilation succeeded : [user/system] = [0.66s/0.24s]
      • [ strc | info ] Compilation succeeded : [user/system] = [2.35s/0.31s]
    • building binary-numbers
      • strc -i binary-numbers.str -m main-`basename binary-numbers` -la stratego-lib -la strc -I ../syntax -I ../trans -I ../runtime --format-check 0 -O 0 -Xcc -O0 >/dev/null
      • [ strc | info ] Compiling 'binary-numbers.str'
      • [ strc | info ] Front-end succeeded : [user/system] = [1.58s/0.05s]
      • [ strc | info ] Optimization succeeded -O 0 : [user/system] = [0.00s/0.00s]
      • [ strc | info ] Back-end succeeded : [user/system] = [0.15s/0.01s]
      • [ strc | info ] C compilation succeeded : [user/system] = [0.88s/0.26s]
      • [ strc | info ] Compilation succeeded : [user/system] = [2.61s/0.32s]
    • building caching
      • strc -i caching.str -m main-`basename caching` -la stratego-lib -la strc -I ../syntax -I ../trans -I ../runtime --format-check 0 -O 0 -Xcc -O0 >/dev/null
      • [ strc | info ] Compiling 'caching.str'
      • [ strc | info ] Front-end succeeded : [user/system] = [1.86s/0.04s]
      • [ strc | info ] Optimization succeeded -O 0 : [user/system] = [0.00s/0.00s]
      • [ strc | info ] Back-end succeeded : [user/system] = [0.45s/0.04s]
      • [ strc | info ] C compilation succeeded : [user/system] = [1.53s/0.29s]
      • [ strc | info ] Compilation succeeded : [user/system] = [3.84s/0.37s]
    • building circular-basic
      • strc -i circular-basic.str -m main-`basename circular-basic` -la stratego-lib -la strc -I ../syntax -I ../trans -I ../runtime --format-check 0 -O 0 -Xcc -O0 >/dev/null
      • [ strc | info ] Compiling 'circular-basic.str'
      • [ strc | info ] Front-end succeeded : [user/system] = [1.50s/0.05s]
      • [ strc | info ] Optimization succeeded -O 0 : [user/system] = [0.00s/0.00s]
      • [ strc | info ] Back-end succeeded : [user/system] = [0.23s/0.02s]
      • [ strc | info ] C compilation succeeded : [user/system] = [0.99s/0.23s]
      • [ strc | info ] Compilation succeeded : [user/system] = [2.72s/0.30s]
    • building circular-liveness-rewrites
      • strc -i circular-liveness-rewrites.str -m main-`basename circular-liveness-rewrites` -la stratego-lib -la strc -I ../syntax -I ../trans -I ../runtime --format-check 0 -O 0 -Xcc -O0 >/dev/null
      • [ strc | info ] Compiling 'circular-liveness-rewrites.str'
      • [ strc | info ] Front-end succeeded : [user/system] = [3.01s/0.04s]
      • [ strc | info ] Optimization succeeded -O 0 : [user/system] = [0.00s/0.00s]
      • [ strc | info ] Back-end succeeded : [user/system] = [0.46s/0.02s]
      • [ strc | info ] C compilation succeeded : [user/system] = [1.63s/0.29s]
      • [ strc | info ] Compilation succeeded : [user/system] = [5.10s/0.35s]
    • building circular-liveness
      • strc -i circular-liveness.str -m main-`basename circular-liveness` -la stratego-lib -la strc -I ../syntax -I ../trans -I ../runtime --format-check 0 -O 0 -Xcc -O0 >/dev/null
      • [ strc | info ] Compiling 'circular-liveness.str'
      • [ strc | info ] Front-end succeeded : [user/system] = [1.69s/0.02s]
      • [ strc | info ] Optimization succeeded -O 0 : [user/system] = [0.00s/0.00s]
      • [ strc | info ] Back-end succeeded : [user/system] = [0.27s/0.03s]
      • [ strc | info ] C compilation succeeded : [user/system] = [1.26s/0.31s]
      • [ strc | info ] Compilation succeeded : [user/system] = [3.22s/0.36s]
    • building circular-propconst
      • strc -i circular-propconst.str -m main-`basename circular-propconst` -la stratego-lib -la strc -I ../syntax -I ../trans -I ../runtime --format-check 0 -O 0 -Xcc -O0 >/dev/null
      • [ strc | info ] Compiling 'circular-propconst.str'
      • [ strc | info ] Front-end succeeded : [user/system] = [1.71s/0.04s]
      • [ strc | info ] Optimization succeeded -O 0 : [user/system] = [0.00s/0.00s]
      • [ strc | info ] Back-end succeeded : [user/system] = [0.41s/0.03s]
      • [ strc | info ] C compilation succeeded : [user/system] = [1.56s/0.27s]
      • [ strc | info ] Compilation succeeded : [user/system] = [3.68s/0.34s]
    • building cons-nil
      • strc -i cons-nil.str -m main-`basename cons-nil` -la stratego-lib -la strc -I ../syntax -I ../trans -I ../runtime --format-check 0 -O 0 -Xcc -O0 >/dev/null
      • [ strc | info ] Compiling 'cons-nil.str'
      • [ strc | info ] Front-end succeeded : [user/system] = [1.49s/0.03s]
      • [ strc | info ] Optimization succeeded -O 0 : [user/system] = [0.00s/0.00s]
      • [ strc | info ] Back-end succeeded : [user/system] = [0.17s/0.02s]
      • [ strc | info ] C compilation succeeded : [user/system] = [0.75s/0.23s]
      • [ strc | info ] Compilation succeeded : [user/system] = [2.41s/0.28s]
    • building contributes-to
      • strc -i contributes-to.str -m main-`basename contributes-to` -la stratego-lib -la strc -I ../syntax -I ../trans -I ../runtime --format-check 0 -O 0 -Xcc -O0 >/dev/null
      • [ strc | info ] Compiling 'contributes-to.str'
      • [ strc | info ] Front-end succeeded : [user/system] = [1.49s/0.05s]
      • [ strc | info ] Optimization succeeded -O 0 : [user/system] = [0.00s/0.00s]
      • [ strc | info ] Back-end succeeded : [user/system] = [0.25s/0.02s]
      • [ strc | info ] C compilation succeeded : [user/system] = [0.95s/0.28s]
      • [ strc | info ] Compilation succeeded : [user/system] = [2.69s/0.35s]
    • building decorators
      • strc -i decorators.str -m main-`basename decorators` -la stratego-lib -la strc -I ../syntax -I ../trans -I ../runtime --format-check 0 -O 0 -Xcc -O0 >/dev/null
      • [ strc | info ] Compiling 'decorators.str'
      • [ strc | info ] Front-end succeeded : [user/system] = [1.60s/0.05s]
      • [ strc | info ] Optimization succeeded -O 0 : [user/system] = [0.00s/0.00s]
      • [ strc | info ] Back-end succeeded : [user/system] = [0.16s/0.02s]
      • [ strc | info ] C compilation succeeded : [user/system] = [0.93s/0.22s]
      • [ strc | info ] Compilation succeeded : [user/system] = [2.69s/0.29s]
    • building empty
      • strc -i empty.str -m main-`basename empty` -la stratego-lib -la strc -I ../syntax -I ../trans -I ../runtime --format-check 0 -O 0 -Xcc -O0 >/dev/null
      • [ strc | info ] Compiling 'empty.str'
      • [ strc | info ] Front-end succeeded : [user/system] = [1.43s/0.01s]
      • [ strc | info ] Optimization succeeded -O 0 : [user/system] = [0.00s/0.00s]
      • [ strc | info ] Back-end succeeded : [user/system] = [0.00s/0.00s]
      • [ strc | info ] C compilation succeeded : [user/system] = [0.25s/0.21s]
      • [ strc | info ] Compilation succeeded : [user/system] = [1.68s/0.22s]
    • building find-minimum
      • strc -i find-minimum.str -m main-`basename find-minimum` -la stratego-lib -la strc -I ../syntax -I ../trans -I ../runtime --format-check 0 -O 0 -Xcc -O0 >/dev/null
      • [ strc | info ] Compiling 'find-minimum.str'
      • [ strc | info ] Front-end succeeded : [user/system] = [1.46s/0.04s]
      • [ strc | info ] Optimization succeeded -O 0 : [user/system] = [0.00s/0.00s]
      • [ strc | info ] Back-end succeeded : [user/system] = [0.17s/0.01s]
      • [ strc | info ] C compilation succeeded : [user/system] = [0.77s/0.23s]
      • [ strc | info ] Compilation succeeded : [user/system] = [2.40s/0.28s]
    • building lookup-unordered
      • strc -i lookup-unordered.str -m main-`basename lookup-unordered` -la stratego-lib -la strc -I ../syntax -I ../trans -I ../runtime --format-check 0 -O 0 -Xcc -O0 >/dev/null
      • [ strc | info ] Compiling 'lookup-unordered.str'
      • [ strc | info ] Front-end succeeded : [user/system] = [1.62s/0.03s]
      • [ strc | info ] Optimization succeeded -O 0 : [user/system] = [0.00s/0.00s]
      • [ strc | info ] Back-end succeeded : [user/system] = [0.28s/0.03s]
      • [ strc | info ] C compilation succeeded : [user/system] = [1.26s/0.28s]
      • [ strc | info ] Compilation succeeded : [user/system] = [3.16s/0.34s]
    • building nested-decorator
      • strc -i nested-decorator.str -m main-`basename nested-decorator` -la stratego-lib -la strc -I ../syntax -I ../trans -I ../runtime --format-check 0 -O 0 -Xcc -O0 >/dev/null
      • [ strc | info ] Compiling 'nested-decorator.str'
      • [ strc | info ] Front-end succeeded : [user/system] = [1.53s/0.01s]
      • [ strc | info ] Optimization succeeded -O 0 : [user/system] = [0.00s/0.00s]
      • [ strc | info ] Back-end succeeded : [user/system] = [0.19s/0.01s]
      • [ strc | info ] C compilation succeeded : [user/system] = [0.83s/0.20s]
      • [ strc | info ] Compilation succeeded : [user/system] = [2.55s/0.22s]
    • building repmin-anonymous
      • strc -i repmin-anonymous.str -m main-`basename repmin-anonymous` -la stratego-lib -la strc -I ../syntax -I ../trans -I ../runtime --format-check 0 -O 0 -Xcc -O0 >/dev/null
      • [ strc | info ] Compiling 'repmin-anonymous.str'
      • [ strc | info ] Front-end succeeded : [user/system] = [1.64s/0.04s]
      • [ strc | info ] Optimization succeeded -O 0 : [user/system] = [0.00s/0.00s]
      • [ strc | info ] Back-end succeeded : [user/system] = [0.14s/0.02s]
      • [ strc | info ] C compilation succeeded : [user/system] = [0.84s/0.26s]
      • [ strc | info ] Compilation succeeded : [user/system] = [2.62s/0.32s]
    • building repmin-hag-decorated
      • strc -i repmin-hag-decorated.str -m main-`basename repmin-hag-decorated` -la stratego-lib -la strc -I ../syntax -I ../trans -I ../runtime --format-check 0 -O 0 -Xcc -O0 >/dev/null
      • [ strc | info ] Compiling 'repmin-hag-decorated.str'
      • [ strc | info ] Front-end succeeded : [user/system] = [1.59s/0.03s]
      • [ strc | info ] Optimization succeeded -O 0 : [user/system] = [0.00s/0.00s]
      • [ strc | info ] Back-end succeeded : [user/system] = [0.19s/0.01s]
      • [ strc | info ] C compilation succeeded : [user/system] = [0.95s/0.29s]
      • [ strc | info ] Compilation succeeded : [user/system] = [2.74s/0.33s]
    • building repmin-hag
      • strc -i repmin-hag.str -m main-`basename repmin-hag` -la stratego-lib -la strc -I ../syntax -I ../trans -I ../runtime --format-check 0 -O 0 -Xcc -O0 >/dev/null
      • [ strc | info ] Compiling 'repmin-hag.str'
      • [ strc | info ] Front-end succeeded : [user/system] = [1.51s/0.04s]
      • [ strc | info ] Optimization succeeded -O 0 : [user/system] = [0.00s/0.00s]
      • [ strc | info ] Back-end succeeded : [user/system] = [0.19s/0.02s]
      • [ strc | info ] C compilation succeeded : [user/system] = [0.87s/0.23s]
      • [ strc | info ] Compilation succeeded : [user/system] = [2.57s/0.29s]
    • building repmin-no-copy-rules
      • strc -i repmin-no-copy-rules.str -m main-`basename repmin-no-copy-rules` -la stratego-lib -la strc -I ../syntax -I ../trans -I ../runtime --format-check 0 -O 0 -Xcc -O0 >/dev/null
      • [ strc | info ] Compiling 'repmin-no-copy-rules.str'
      • [ strc | info ] Front-end succeeded : [user/system] = [1.58s/0.05s]
      • [ strc | info ] Optimization succeeded -O 0 : [user/system] = [0.00s/0.00s]
      • [ strc | info ] Back-end succeeded : [user/system] = [0.16s/0.02s]
      • [ strc | info ] C compilation succeeded : [user/system] = [0.91s/0.26s]
      • [ strc | info ] Compilation succeeded : [user/system] = [2.65s/0.33s]
    • building repmin
      • strc -i repmin.str -m main-`basename repmin` -la stratego-lib -la strc -I ../syntax -I ../trans -I ../runtime --format-check 0 -O 0 -Xcc -O0 >/dev/null
      • [ strc | info ] Compiling 'repmin.str'
      • [ strc | info ] Front-end succeeded : [user/system] = [1.51s/0.03s]
      • [ strc | info ] Optimization succeeded -O 0 : [user/system] = [0.00s/0.00s]
      • [ strc | info ] Back-end succeeded : [user/system] = [0.20s/0.00s]
      • [ strc | info ] C compilation succeeded : [user/system] = [0.83s/0.23s]
      • [ strc | info ] Compilation succeeded : [user/system] = [2.55s/0.26s]
    • building test-aster-internals
      • strc -i test-aster-internals.str -m main-`basename test-aster-internals` -la stratego-lib -la strc -I ../syntax -I ../trans -I ../runtime --format-check 0 -O 0 -Xcc -O0 >/dev/null
      • [ strc | info ] Compiling 'test-aster-internals.str'
      • [ strc | info ] Front-end succeeded : [user/system] = [4.88s/0.12s]
      • [ strc | info ] Optimization succeeded -O 0 : [user/system] = [0.00s/0.00s]
      • [ strc | info ] Back-end succeeded : [user/system] = [0.51s/0.03s]
      • [ strc | info ] C compilation succeeded : [user/system] = [1.71s/0.32s]
      • [ strc | info ] Compilation succeeded : [user/system] = [7.10s/0.47s]
    • building test-attributes
      • strc -i test-attributes.str -m main-`basename test-attributes` -la stratego-lib -la strc -I ../syntax -I ../trans -I ../runtime --format-check 0 -O 0 -Xcc -O0 >/dev/null
      • [ strc | info ] Compiling 'test-attributes.str'
      • [ strc | info ] Front-end succeeded : [user/system] = [1.87s/0.06s]
      • [ strc | info ] Optimization succeeded -O 0 : [user/system] = [0.00s/0.00s]
      • [ strc | info ] Back-end succeeded : [user/system] = [0.78s/0.09s]
      • [ strc | info ] C compilation succeeded : [user/system] = [2.37s/0.38s]
      • [ strc | info ] Compilation succeeded : [user/system] = [5.02s/0.53s]
    • building anonymous-rules.run
      • ==== anonymous-rules ====
      • [rewr.] Fac.Fac(3) -> Mul(3,Fac)
      • [rewr.] Fac.Mul.Fac(2) -> Mul(2,Fac)
      • [rewr.] Fac.Mul.Mul.Fac(1) -> Mul(1,Fac)
      • [rewr.] Fac.Mul.Mul.Mul.Fac(0) -> 1
      • [rewr.] Fac.Mul.Mul.Mul(1,1) -> 1
      • [rewr.] Fac.Mul.Mul(2,1) -> 2
      • [rewr.] Fac.Mul(3,2) -> 6
      • [rewr.] Fac(6) -> Mul(6,Fac)
      • [rewr.] Mul.Fac(5) -> Mul(5,Fac)
      • [rewr.] Mul.Mul.Fac(4) -> Mul(4,Fac)
      • [rewr.] Mul.Mul.Mul.Fac(3) -> Mul(3,Fac)
      • [rewr.] Mul.Mul.Mul.Mul.Fac(2) -> Mul(2,Fac)
      • [rewr.] Mul.Mul.Mul.Mul.Mul.Fac(1) -> Mul(1,Fac)
      • [rewr.] Mul.Mul.Mul.Mul.Mul.Mul.Fac(0) -> 1
      • [rewr.] Mul.Mul.Mul.Mul.Mul.Mul(1,1) -> 1
      • [rewr.] Mul.Mul.Mul.Mul.Mul(2,1) -> 2
      • [rewr.] Mul.Mul.Mul.Mul(3,2) -> 6
      • [rewr.] Mul.Mul.Mul(4,6) -> 24
      • [rewr.] Mul.Mul(5,24) -> 120
      • [rewr.] Mul(6,120) -> 720
      • 720
    • building binary-numbers.run
      • ==== binary-numbers ====
      • [trace] up-decorator0_2_1 @ Number(List,List)
      • [trace] value @ Number(List,List)
      • [trace] up-decorator0_2_1 @ Number.List(List,1)
      • [trace] value @ Number.List(List,1)
      • [trace] up-decorator0_2_1 @ Number.List.List(List,0)
      • [trace] value @ Number.List.List(List,0)
      • [trace] up-decorator0_2_1 @ Number.List.List.List(1)
      • [trace] value @ Number.List.List.List(1)
      • [trace] value @ Number.List.List.List(1) (failed)
      • [trace] up-decorator0_2_1 @ Number.List.List.List.1
      • [trace] value @ Number.List.List.List.1
      • [trace] down-decorator0_2_1 @ Number.List.List.List.1
      • [trace] scale @ Number.List.List.List.1
      • [trace] scale @ Number.List.List.List.1 (failed)
      • [trace] down-decorator0_2_1 @ Number.List.List.List(1)
      • [trace] scale @ Number.List.List.List(1)
      • [trace] down-decorator0_2_1 @ Number.List.List(List,0)
      • [trace] scale @ Number.List.List(List,0)
      • [trace] down-decorator0_2_1 @ Number.List(List,1)
      • [trace] scale @ Number.List(List,1)
      • [trace] up-decorator0_2_1 @ Number.List.List.0
      • [trace] value @ Number.List.List.0
      • [trace] up-decorator0_2_1 @ Number.List.1
      • [trace] value @ Number.List.1
      • [trace] down-decorator0_2_1 @ Number.List.1
      • [trace] scale @ Number.List.1
      • [trace] scale @ Number.List.1 (failed)
      • [trace] up-decorator0_2_1 @ Number.List(List,1)
      • [trace] value @ Number.List(List,1)
      • [trace] up-decorator0_2_1 @ Number.List.List(0)
      • [trace] value @ Number.List.List(0)
      • [trace] value @ Number.List.List(0) (failed)
      • [trace] up-decorator0_2_1 @ Number.List.List.0
      • [trace] value @ Number.List.List.0
      • [trace] up-decorator0_2_1 @ Number.List.1
      • [trace] value @ Number.List.1
      • [trace] down-decorator0_2_1 @ Number.List.1
      • [trace] scale @ Number.List.1
      • [trace] scale @ Number.List.1 (failed)
      • [trace] down-decorator0_2_1 @ Number.List(List,1)
      • [trace] scale @ Number.List(List,1)
      • [trace] up-decorator0_2_1 @ Number.List(List,1)
      • [trace] length @ Number.List(List,1)
      • [trace] up-decorator0_2_1 @ Number.List.List(0)
      • [trace] length @ Number.List.List(0)
    • building caching.run
      • ==== caching ====
      • [trace] get-cached-1 @ "root"
      • 1("a_0"{"@2"},"a_0"{"@2"})
      • [trace] noop-decorator0_2_1 @ "root"
      • [trace] get-cached-2 @ "root"
      • 2("b_0"{"@3"},"b_0"{"@3"})
      • [trace] get-uncached-3 @ "root"
      • [trace] get-uncached-3 @ "root"
      • 3("c_0","d_0")
      • [trace] uncached-decorator0_2_1 @ "root"
      • [trace] get-uncached-4 @ "root"
      • [trace] uncached-decorator0_2_1 @ "root"
      • [trace] get-uncached-4 @ "root"
      • 4("e_0"{"@4"},"f_0"{"@5"})
      • [trace] down-decorator0_2_1 @ "root"
      • [trace] get-uncached-5 @ "root"
      • [trace] down-decorator0_2_1 @ "root"
      • [trace] get-uncached-5 @ "root"
      • 5("g_0"{"@6"},"h_0"{"@7"})
      • [trace] down-decorator0_2_1 @ "root"
      • [trace] uncached-decorator0_2_1 @ "root"
      • [trace] get-uncached-6 @ "root"
      • [trace] down-decorator0_2_1 @ "root"
      • [trace] uncached-decorator0_2_1 @ "root"
      • [trace] get-uncached-6 @ "root"
      • 6("i_0"{"@8"},"j_0"{"@9"})
      • [trace] down-decorator0_2_1 @ "root"
      • [trace] get-cached-7 @ "root"
      • 7("k_0"{"@10"},"k_0"{"@10"})
      • [trace] uncached-decorator0_2_1 @ "root"
      • [trace] down-decorator0_2_1 @ "root"
      • [trace] get-cached-8 @ "root"
      • [trace] uncached-decorator0_2_1 @ "root"
      • 8("l_0"{"@11"},"l_0"{"@11"})
      • [trace] get-cached-9_0_1 @ "root"
      • 9(("m_0"{"@12"},1{"@13"}),("m_0"{"@12"},1{"@13"}))
      • [trace] cached-decorator0_2_1 @ "root"
      • [trace] cached-decorator0_2_2 @ "root"
      • [trace] get-cached-10 @ "root"
      • [trace] cached-decorator0_2_1 @ "root"
      • [trace] cached-decorator0_2_2 @ "root"
      • 10("n_0"{"@14"},"n_0"{"@14"})
      • [trace] signature-decorator0_2_1 @ "root"
      • [trace] cached-decorator0_2_2 @ "root"
      • [trace] get-cached-11 @ "root"
      • [trace] signature-decorator0_2_1 @ "root"
      • [trace] cached-decorator0_2_2 @ "root"
      • 11("o_0"{"@15"},"o_0"{"@15"})
      • [trace] check-uncached-decorator0_2_1 @ "root"
      • [trace] noop-decorator0_2_1 @ "root"
      • [trace] no-premature-caching @ "root"
    • building circular-basic.run
      • ==== circular-basic ====
      • [trace] circular-decorator0_2_2 @ 1
      • [trace] plain-decorator0_2_1 @ 1
      • [trace] avg-others @ 1
      • [trace] circular-decorator0_2_2 @ 5
      • [trace] plain-decorator0_2_1 @ 5
      • [trace] avg-others @ 5
      • [trace] circular-decorator0_2_2 @ 1
      • [trace] circular-decorator0_2_2 @ 7
      • [trace] plain-decorator0_2_1 @ 7
      • [trace] avg-others @ 7
      • [trace] circular-decorator0_2_2 @ 1
      • [trace] circular-decorator0_2_2 @ 5
      • C=3.000000000000000e+00
      • B=2.000000000000000e+00
      • [trace] circular-decorator0_2_2 @ 7
      • [trace] plain-decorator0_2_1 @ 7
      • [trace] avg-others @ 7
      • [trace] circular-decorator0_2_2 @ 1
      • [trace] circular-decorator0_2_2 @ 5
      • [trace] plain-decorator0_2_1 @ 5
      • [trace] avg-others @ 5
      • [trace] circular-decorator0_2_2 @ 1
      • [trace] circular-decorator0_2_2 @ 7
      • B=2.000000000000000e+00
      • C=1.500000000000000e+00
      • A=1.700000000000000e+00
      • [trace] plain-decorator0_2_1 @ 1
      • [trace] circular-decorator0_2_2 @ 5
      • [trace] plain-decorator0_2_1 @ 5
      • [trace] avg-others @ 5
      • [trace] circular-decorator0_2_2 @ 1
      • [trace] circular-decorator0_2_2 @ 7
      • [trace] plain-decorator0_2_1 @ 7
      • [trace] avg-others @ 7
      • [trace] circular-decorator0_2_2 @ 1
      • [trace] circular-decorator0_2_2 @ 5
      • C=1.800000000000000e+00
      • B=1.700000000000000e+00
      • [trace] plain-decorator0_2_1 @ 5
      • [trace] circular-decorator0_2_2 @ 7
      • [trace] plain-decorator0_2_1 @ 7
      • [trace] avg-others @ 7
      • [trace] circular-decorator0_2_2 @ 1
      • [trace] circular-decorator0_2_2 @ 5
      • C=1.700000000000000e+00
      • [trace] plain-decorator0_2_1 @ 7
      • (1.700000000000000e+00,1.700000000000000e+00,1.700000000000000e+00)
    • building circular-liveness-rewrites.run
      • ==== circular-liveness-rewrites ====
      • [trace] is-dead @ Block.[]..While.Block.[]..Assign("x","value")
      • [trace] defines @ Block.[]..While.Block.[]..Assign("x","value")
      • [trace] circular-decorator0_2_2 @ Block.[]..While.Block.[]..Assign("x","value")
      • [trace] plain-decorator0_2_1 @ Block.[]..While.Block.[]..Assign("x","value")
      • [trace] live-after @ Block.[]..While.Block.[]..Assign("x","value")
      • [trace] succ @ Block.[]..While.Block.[]..Assign("x","value")
      • [trace] down-decorator0_2_1 @ Block.[]..While.Block.[]..Assign("x","value")
      • [trace] succ-enclosing @ Block.[]..While.Block.[]..Assign("x","value")
      • [trace] succ-enclosing @ Block.[]..While.Block.[]..Assign("x","value") (failed)
      • [trace] down-decorator0_2_1 @ Block.[]..While.Block.[].[Assign]
      • [trace] succ-enclosing @ Block.[]..While.Block.[].[Assign]
      • [trace] succ-enclosing @ Block.[]..While.Block.[]..Assign("x","value") (failed)
      • [trace] down-decorator0_2_1 @ Block.[]..While.Block.[Assign,Assign]
      • [trace] succ-enclosing @ Block.[]..While.Block.[Assign,Assign]
      • [trace] succ-enclosing @ Block.[]..While.Block.[]..Assign("x","value") (failed)
      • [trace] down-decorator0_2_1 @ Block.[]..While.Block([..])
      • [trace] succ-enclosing @ Block.[]..While.Block([..])
      • [trace] map-decorator0_2_1 @ ?.[While]
      • [trace] circular-decorator0_2_2 @ Block.[]..While("x",Block)
      • [trace] plain-decorator0_2_1 @ Block.[]..While("x",Block)
      • [trace] live-before @ Block.[]..While("x",Block)
      • [trace] uses @ Block.[]..While("x",Block)
      • [trace] circular-decorator0_2_2 @ Block.[]..While("x",Block)
      • [trace] plain-decorator0_2_1 @ Block.[]..While("x",Block)
      • [trace] live-after @ Block.[]..While("x",Block)
      • [trace] succ @ Block.[]..While("x",Block)
      • [trace] map-decorator0_2_1 @ ?.[Block,While]
      • [trace] circular-decorator0_2_2 @ Block.[]..While.Block([..])
      • [trace] plain-decorator0_2_1 @ Block.[]..While.Block([..])
      • [trace] live-before @ Block.[]..While.Block([..])
      • [trace] uses @ Block.[]..While.Block([..])
      • [trace] circular-decorator0_2_2 @ Block.[]..While.Block([..])
      • [trace] plain-decorator0_2_1 @ Block.[]..While.Block([..])
      • [trace] live-after @ Block.[]..While.Block([..])
      • [trace] succ @ Block.[]..While.Block([..])
      • [trace] map-decorator0_2_1 @ ?.[Assign]
      • [trace] circular-decorator0_2_2 @ Block.[]..While.Block.[].Assign("x","bogus3")
      • [trace] plain-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x","bogus3")
      • [trace] live-before @ Block.[]..While.Block.[].Assign("x","bogus3")
      • [trace] uses @ Block.[]..While.Block.[].Assign("x","bogus3")
      • [trace] circular-decorator0_2_2 @ Block.[]..While.Block.[].Assign("x","bogus3")
      • [trace] plain-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x","bogus3")
      • [trace] live-after @ Block.[]..While.Block.[].Assign("x","bogus3")
      • [trace] succ @ Block.[]..While.Block.[].Assign("x","bogus3")
      • [trace] down-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x","bogus3")
      • [trace] succ-enclosing @ Block.[]..While.Block.[].Assign("x","bogus3")
      • [trace] map-decorator0_2_1 @ ?.[Assign]
      • [trace] circular-decorator0_2_2 @ Block.[]..While.Block.[]..Assign("x","value")
      • [trace] plain-decorator0_2_1 @ Block.[]..While.Block.[]..Assign("x","value")
      • [trace] live-before @ Block.[]..While.Block.[]..Assign("x","value")
      • [trace] uses @ Block.[]..While.Block.[]..Assign("x","value")
      • [trace] circular-decorator0_2_2 @ Block.[]..While.Block.[]..Assign("x","value")
      • [trace] is-dead @ []."value"
      • [trace] defines @ []."value"
      • [trace] circular-decorator0_2_2 @ []."value"
      • [trace] plain-decorator0_2_1 @ []."value"
      • [trace] live-after @ []."value"
      • [trace] succ @ []."value"
      • [trace] down-decorator0_2_1 @ []."value"
      • [trace] succ-enclosing @ []."value"
      • [trace] succ-enclosing @ []."value" (failed)
      • [trace] down-decorator0_2_1 @ ["value"]
      • [trace] succ-enclosing @ ["value"]
      • [trace] map-decorator0_2_1 @ ?.[]
      • [trace] defines @ Block.[]..While.Block.[].Assign("x","bogus3")
      • [trace] is-dead @ [].."value"
      • [trace] defines @ [].."value"
      • [trace] circular-decorator0_2_2 @ [].."value"
      • [trace] plain-decorator0_2_1 @ [].."value"
      • [trace] live-after @ [].."value"
      • [trace] succ @ [].."value"
      • [trace] down-decorator0_2_1 @ [].."value"
      • [trace] succ-enclosing @ [].."value"
      • [trace] succ-enclosing @ [].."value" (failed)
      • [trace] down-decorator0_2_1 @ [].["value"]
      • [trace] succ-enclosing @ [].["value"]
      • [trace] succ-enclosing @ [].."value" (failed)
      • [trace] down-decorator0_2_1 @ ["bogus3","value"]
      • [trace] succ-enclosing @ ["bogus3","value"]
      • [trace] map-decorator0_2_1 @ ?.[]
      • [trace] is-dead @ []."bogus3"
      • [trace] defines @ []."bogus3"
      • [trace] circular-decorator0_2_2 @ []."bogus3"
      • [trace] plain-decorator0_2_1 @ []."bogus3"
      • [trace] live-after @ []."bogus3"
      • [trace] succ @ []."bogus3"
      • [trace] down-decorator0_2_1 @ []."bogus3"
      • [trace] succ-enclosing @ []."bogus3"
      • [trace] map-decorator0_2_1 @ ?.["value"]
      • [trace] circular-decorator0_2_2 @ [].."value"
      • [trace] plain-decorator0_2_1 @ [].."value"
      • [trace] live-before @ [].."value"
      • [trace] uses @ [].."value"
      • [trace] circular-decorator0_2_2 @ [].."value"
      • [trace] plain-decorator0_2_1 @ [].."value"
      • [trace] live-after @ [].."value"
      • [trace] map-decorator0_2_1 @ ?.[]
      • [trace] defines @ Block.[]..While.Block([..])
      • [trace] circular-decorator0_2_2 @ Block.[]..While("x",Block)
      • [trace] is-dead @ [].."value"
      • [trace] defines @ [].."value"
      • [trace] circular-decorator0_2_2 @ [].."value"
      • [trace] plain-decorator0_2_1 @ [].."value"
      • [trace] live-after @ [].."value"
      • [trace] succ @ [].."value"
      • [trace] down-decorator0_2_1 @ [].."value"
      • [trace] succ-enclosing @ [].."value"
      • [trace] succ-enclosing @ [].."value" (failed)
      • [trace] down-decorator0_2_1 @ [].["value"]
      • [trace] succ-enclosing @ [].["value"]
      • [trace] succ-enclosing @ [].."value" (failed)
      • [trace] down-decorator0_2_1 @ ["bogus3","value"]
      • [trace] succ-enclosing @ ["bogus3","value"]
      • [trace] map-decorator0_2_1 @ ?.[]
      • [trace] is-dead @ []."bogus3"
      • [trace] defines @ []."bogus3"
      • [trace] circular-decorator0_2_2 @ []."bogus3"
      • [trace] plain-decorator0_2_1 @ []."bogus3"
      • [trace] live-after @ []."bogus3"
      • [trace] succ @ []."bogus3"
      • [trace] down-decorator0_2_1 @ []."bogus3"
      • [trace] succ-enclosing @ []."bogus3"
      • [trace] map-decorator0_2_1 @ ?.["value"]
      • [trace] circular-decorator0_2_2 @ [].."value"
      • [trace] plain-decorator0_2_1 @ [].."value"
      • [trace] live-before @ [].."value"
      • [trace] uses @ [].."value"
      • [trace] circular-decorator0_2_2 @ [].."value"
      • [trace] plain-decorator0_2_1 @ [].."value"
      • [trace] live-after @ [].."value"
      • [trace] map-decorator0_2_1 @ ?.[]
      • [trace] defines @ Block.[]..While("x",Block)
      • [trace] is-dead @ [].."value"
      • [trace] defines @ [].."value"
      • [trace] circular-decorator0_2_2 @ [].."value"
      • [trace] plain-decorator0_2_1 @ [].."value"
      • [trace] live-after @ [].."value"
      • [trace] succ @ [].."value"
      • [trace] down-decorator0_2_1 @ [].."value"
      • [trace] succ-enclosing @ [].."value"
      • [trace] succ-enclosing @ [].."value" (failed)
      • [trace] down-decorator0_2_1 @ []..["value"]
      • [trace] succ-enclosing @ []..["value"]
      • [trace] succ-enclosing @ [].."value" (failed)
      • [trace] down-decorator0_2_1 @ [].["bogus3","value"]
      • [trace] succ-enclosing @ [].["bogus3","value"]
      • [trace] succ-enclosing @ [].."value" (failed)
      • [trace] down-decorator0_2_1 @ ["x","bogus3","value"]
      • [trace] succ-enclosing @ ["x","bogus3","value"]
      • [trace] map-decorator0_2_1 @ ?.[]
      • [trace] is-dead @ [].."bogus3"
      • [trace] defines @ [].."bogus3"
      • [trace] circular-decorator0_2_2 @ [].."bogus3"
      • [trace] plain-decorator0_2_1 @ [].."bogus3"
      • [trace] live-after @ [].."bogus3"
      • [trace] succ @ [].."bogus3"
      • [trace] down-decorator0_2_1 @ [].."bogus3"
      • [trace] succ-enclosing @ [].."bogus3"
      • [trace] map-decorator0_2_1 @ ?.["value"]
      • [trace] circular-decorator0_2_2 @ [].."value"
      • [trace] plain-decorator0_2_1 @ [].."value"
      • [trace] live-before @ [].."value"
      • [trace] uses @ [].."value"
      • [trace] circular-decorator0_2_2 @ [].."value"
      • [trace] plain-decorator0_2_1 @ [].."value"
      • [trace] live-after @ [].."value"
      • [trace] map-decorator0_2_1 @ ?.[]
      • [trace] is-dead @ []."x"
      • [trace] defines @ []."x"
      • [trace] circular-decorator0_2_2 @ []."x"
      • [trace] plain-decorator0_2_1 @ []."x"
      • [trace] live-after @ []."x"
      • [trace] succ @ []."x"
      • [trace] down-decorator0_2_1 @ []."x"
      • [trace] succ-enclosing @ []."x"
      • [trace] map-decorator0_2_1 @ ?.["bogus3"]
      • [trace] circular-decorator0_2_2 @ [].."bogus3"
      • [trace] plain-decorator0_2_1 @ [].."bogus3"
      • [trace] live-before @ [].."bogus3"
      • [trace] uses @ [].."bogus3"
      • [trace] circular-decorator0_2_2 @ [].."bogus3"
      • [trace] plain-decorator0_2_1 @ [].."bogus3"
      • [trace] live-after @ [].."bogus3"
      • [trace] map-decorator0_2_1 @ ?.["value"]
      • [trace] circular-decorator0_2_2 @ [].."value"
      • [trace] plain-decorator0_2_1 @ [].."value"
      • [trace] live-before @ [].."value"
      • [trace] circular-decorator0_2_2 @ [].."value"
      • [trace] plain-decorator0_2_1 @ [].."value"
      • [trace] live-after @ [].."value"
      • [trace] map-decorator0_2_1 @ ?.[]
      • [trace] plain-decorator0_2_1 @ Block.[]..While.Block.[]..Assign("x","value")
      • [trace] is-dead @ Block.[]..While.Block.[].Assign("x","bogus3")
      • [trace] circular-decorator0_2_2 @ Block.[]..While.Block.[].Assign("x","bogus3")
      • [trace] plain-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x","bogus3")
      • [trace] live-after @ Block.[]..While.Block.[].Assign("x","bogus3")
      • [trace] map-decorator0_2_1 @ ?.[Assign]
      • [trace] circular-decorator0_2_2 @ Block.[]..While.Block.[]..Assign("x","value")
      • [trace] plain-decorator0_2_1 @ Block.[]..While.Block.[]..Assign("x","value")
      • [trace] live-before @ Block.[]..While.Block.[]..Assign("x","value")
      • [trace] circular-decorator0_2_2 @ Block.[]..While.Block.[]..Assign("x","value")
      • [trace] is-dead @ [].."value"
      • [trace] defines @ [].."value"
      • [trace] circular-decorator0_2_2 @ [].."value"
      • [trace] plain-decorator0_2_1 @ [].."value"
      • [trace] live-after @ [].."value"
      • [trace] succ @ [].."value"
      • [trace] down-decorator0_2_1 @ [].."value"
      • [trace] succ-enclosing @ [].."value"
      • [trace] succ-enclosing @ [].."value" (failed)
      • [trace] down-decorator0_2_1 @ [].["value"]
      • [trace] succ-enclosing @ [].["value"]
      • [trace] succ-enclosing @ [].."value" (failed)
      • [trace] down-decorator0_2_1 @ ["bogus3","value"]
      • [trace] succ-enclosing @ ["bogus3","value"]
      • [trace] map-decorator0_2_1 @ ?.[]
      • [trace] is-dead @ []."bogus3"
      • [trace] defines @ []."bogus3"
      • [trace] circular-decorator0_2_2 @ []."bogus3"
      • [trace] plain-decorator0_2_1 @ []."bogus3"
      • [trace] live-after @ []."bogus3"
      • [trace] succ @ []."bogus3"
      • [trace] down-decorator0_2_1 @ []."bogus3"
      • [trace] succ-enclosing @ []."bogus3"
      • [trace] map-decorator0_2_1 @ ?.["value"]
      • [trace] circular-decorator0_2_2 @ [].."value"
      • [trace] plain-decorator0_2_1 @ [].."value"
      • [trace] live-before @ [].."value"
      • [trace] uses @ [].."value"
      • [trace] circular-decorator0_2_2 @ [].."value"
      • [trace] plain-decorator0_2_1 @ [].."value"
      • [trace] live-after @ [].."value"
      • [trace] map-decorator0_2_1 @ ?.[]
      • [trace] plain-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x","bogus3")
      • [rewr.] Block.[]..While.Block.[Assign,Assign] -> [Assign]
      • [trace] is-dead @ Block.[]..While.Block.[].Assign("x","value")
      • [trace] defines @ Block.[]..While.Block.[].Assign("x","value")
      • [trace] circular-decorator0_2_2 @ Block.[]..While.Block.[].Assign("x","value")
      • [trace] plain-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x","value")
      • [trace] live-after @ Block.[]..While.Block.[].Assign("x","value")
      • [trace] succ @ Block.[]..While.Block.[].Assign("x","value")
      • [trace] down-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x","value")
      • [trace] succ-enclosing @ Block.[]..While.Block.[].Assign("x","value")
      • [trace] succ-enclosing @ Block.[]..While.Block.[].Assign("x","value") (failed)
      • [trace] down-decorator0_2_1 @ Block.[]..While.Block.[Assign]
      • [trace] succ-enclosing @ Block.[]..While.Block.[Assign]
      • [trace] succ-enclosing @ Block.[]..While.Block.[].Assign("x","value") (failed)
      • [trace] down-decorator0_2_1 @ Block.[]..While.Block([_])
      • [trace] succ-enclosing @ Block.[]..While.Block([_])
      • [trace] map-decorator0_2_1 @ ?.[While]
      • [trace] circular-decorator0_2_2 @ Block.[]..While("x",Block)
      • [trace] plain-decorator0_2_1 @ Block.[]..While("x",Block)
      • [trace] live-before @ Block.[]..While("x",Block)
      • [trace] uses @ Block.[]..While("x",Block)
      • [trace] circular-decorator0_2_2 @ Block.[]..While("x",Block)
      • [trace] plain-decorator0_2_1 @ Block.[]..While("x",Block)
      • [trace] live-after @ Block.[]..While("x",Block)
      • [trace] succ @ Block.[]..While("x",Block)
      • [trace] map-decorator0_2_1 @ ?.[Block,While]
      • [trace] circular-decorator0_2_2 @ Block.[]..While.Block([_])
      • [trace] plain-decorator0_2_1 @ Block.[]..While.Block([_])
      • [trace] live-before @ Block.[]..While.Block([_])
      • [trace] uses @ Block.[]..While.Block([_])
      • [trace] circular-decorator0_2_2 @ Block.[]..While.Block([_])
      • [trace] plain-decorator0_2_1 @ Block.[]..While.Block([_])
      • [trace] live-after @ Block.[]..While.Block([_])
      • [trace] succ @ Block.[]..While.Block([_])
      • [trace] map-decorator0_2_1 @ ?.[Assign]
      • [trace] circular-decorator0_2_2 @ Block.[]..While.Block.[].Assign("x","value")
      • [trace] plain-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x","value")
      • [trace] live-before @ Block.[]..While.Block.[].Assign("x","value")
      • [trace] uses @ Block.[]..While.Block.[].Assign("x","value")
      • [trace] circular-decorator0_2_2 @ Block.[]..While.Block.[].Assign("x","value")
      • [trace] is-dead @ []."value"
      • [trace] defines @ []."value"
      • [trace] circular-decorator0_2_2 @ []."value"
      • [trace] plain-decorator0_2_1 @ []."value"
      • [trace] live-after @ []."value"
      • [trace] succ @ []."value"
      • [trace] down-decorator0_2_1 @ []."value"
      • [trace] succ-enclosing @ []."value"
      • [trace] succ-enclosing @ []."value" (failed)
      • [trace] down-decorator0_2_1 @ ["value"]
      • [trace] succ-enclosing @ ["value"]
      • [trace] map-decorator0_2_1 @ ?.[]
      • [trace] defines @ Block.[]..While.Block([_])
      • [trace] circular-decorator0_2_2 @ Block.[]..While("x",Block)
      • [trace] is-dead @ []."value"
      • [trace] defines @ []."value"
      • [trace] circular-decorator0_2_2 @ []."value"
      • [trace] plain-decorator0_2_1 @ []."value"
      • [trace] live-after @ []."value"
      • [trace] succ @ []."value"
      • [trace] down-decorator0_2_1 @ []."value"
      • [trace] succ-enclosing @ []."value"
      • [trace] succ-enclosing @ []."value" (failed)
      • [trace] down-decorator0_2_1 @ ["value"]
      • [trace] succ-enclosing @ ["value"]
      • [trace] map-decorator0_2_1 @ ?.[]
      • [trace] defines @ Block.[]..While("x",Block)
      • [trace] is-dead @ [].."value"
      • [trace] defines @ [].."value"
      • [trace] circular-decorator0_2_2 @ [].."value"
      • [trace] plain-decorator0_2_1 @ [].."value"
      • [trace] live-after @ [].."value"
      • [trace] succ @ [].."value"
      • [trace] down-decorator0_2_1 @ [].."value"
      • [trace] succ-enclosing @ [].."value"
      • [trace] succ-enclosing @ [].."value" (failed)
      • [trace] down-decorator0_2_1 @ [].["value"]
      • [trace] succ-enclosing @ [].["value"]
      • [trace] succ-enclosing @ [].."value" (failed)
      • [trace] down-decorator0_2_1 @ ["x","value"]
      • [trace] succ-enclosing @ ["x","value"]
      • [trace] map-decorator0_2_1 @ ?.[]
      • [trace] is-dead @ []."x"
      • [trace] defines @ []."x"
      • [trace] circular-decorator0_2_2 @ []."x"
      • [trace] plain-decorator0_2_1 @ []."x"
      • [trace] live-after @ []."x"
      • [trace] succ @ []."x"
      • [trace] down-decorator0_2_1 @ []."x"
      • [trace] succ-enclosing @ []."x"
      • [trace] map-decorator0_2_1 @ ?.["value"]
      • [trace] circular-decorator0_2_2 @ [].."value"
      • [trace] plain-decorator0_2_1 @ [].."value"
      • [trace] live-before @ [].."value"
      • [trace] uses @ [].."value"
      • [trace] circular-decorator0_2_2 @ [].."value"
      • [trace] plain-decorator0_2_1 @ [].."value"
      • [trace] live-after @ [].."value"
      • [trace] map-decorator0_2_1 @ ?.[]
      • [trace] plain-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x","value")
      • [trace] is-dead @ Block.[]..Return("x")
      • [trace] defines @ Block.[]..Return("x")
      • [trace] circular-decorator0_2_2 @ Block.[]..Return("x")
      • [trace] plain-decorator0_2_1 @ Block.[]..Return("x")
      • [trace] live-after @ Block.[]..Return("x")
      • [trace] succ @ Block.[]..Return("x")
      • [trace] map-decorator0_2_1 @ ?.[]
      • [trace] is-dead @ Block.[]..While("x",Block)
      • [trace] circular-decorator0_2_2 @ Block.[]..While("x",Block)
      • [trace] plain-decorator0_2_1 @ Block.[]..While("x",Block)
      • [trace] live-after @ Block.[]..While("x",Block)
      • [trace] map-decorator0_2_1 @ ?.[Block,While]
      • [trace] circular-decorator0_2_2 @ Block.[]..While.Block([_])
      • [trace] plain-decorator0_2_1 @ Block.[]..While.Block([_])
      • [trace] live-before @ Block.[]..While.Block([_])
      • [trace] circular-decorator0_2_2 @ Block.[]..While.Block([_])
      • [trace] plain-decorator0_2_1 @ Block.[]..While.Block([_])
      • [trace] live-after @ Block.[]..While.Block([_])
      • [trace] map-decorator0_2_1 @ ?.[Assign]
      • [trace] circular-decorator0_2_2 @ Block.[]..While.Block.[].Assign("x","value")
      • [trace] plain-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x","value")
      • [trace] live-before @ Block.[]..While.Block.[].Assign("x","value")
      • [trace] circular-decorator0_2_2 @ Block.[]..While.Block.[].Assign("x","value")
      • [trace] is-dead @ []."value"
      • [trace] defines @ []."value"
      • [trace] circular-decorator0_2_2 @ []."value"
      • [trace] plain-decorator0_2_1 @ []."value"
      • [trace] live-after @ []."value"
      • [trace] succ @ []."value"
      • [trace] down-decorator0_2_1 @ []."value"
      • [trace] succ-enclosing @ []."value"
      • [trace] succ-enclosing @ []."value" (failed)
      • [trace] down-decorator0_2_1 @ ["value"]
      • [trace] succ-enclosing @ ["value"]
      • [trace] map-decorator0_2_1 @ ?.[]
      • [trace] circular-decorator0_2_2 @ Block.[]..While("x",Block)
      • [trace] plain-decorator0_2_1 @ Block.[]..While("x",Block)
      • [trace] live-before @ Block.[]..While("x",Block)
      • [trace] circular-decorator0_2_2 @ Block.[]..While("x",Block)
      • [trace] is-dead @ []."value"
      • [trace] defines @ []."value"
      • [trace] circular-decorator0_2_2 @ []."value"
      • [trace] plain-decorator0_2_1 @ []."value"
      • [trace] live-after @ []."value"
      • [trace] succ @ []."value"
      • [trace] down-decorator0_2_1 @ []."value"
      • [trace] succ-enclosing @ []."value"
      • [trace] succ-enclosing @ []."value" (failed)
      • [trace] down-decorator0_2_1 @ ["value"]
      • [trace] succ-enclosing @ ["value"]
      • [trace] map-decorator0_2_1 @ ?.[]
      • [trace] is-dead @ [].."value"
      • [trace] defines @ [].."value"
      • [trace] circular-decorator0_2_2 @ [].."value"
      • [trace] plain-decorator0_2_1 @ [].."value"
      • [trace] live-after @ [].."value"
      • [trace] succ @ [].."value"
      • [trace] down-decorator0_2_1 @ [].."value"
      • [trace] succ-enclosing @ [].."value"
      • [trace] succ-enclosing @ [].."value" (failed)
      • [trace] down-decorator0_2_1 @ [].["value"]
      • [trace] succ-enclosing @ [].["value"]
      • [trace] succ-enclosing @ [].."value" (failed)
      • [trace] down-decorator0_2_1 @ ["x","value"]
      • [trace] succ-enclosing @ ["x","value"]
      • [trace] map-decorator0_2_1 @ ?.[]
      • [trace] is-dead @ []."x"
      • [trace] defines @ []."x"
      • [trace] circular-decorator0_2_2 @ []."x"
      • [trace] plain-decorator0_2_1 @ []."x"
      • [trace] live-after @ []."x"
      • [trace] succ @ []."x"
      • [trace] down-decorator0_2_1 @ []."x"
      • [trace] succ-enclosing @ []."x"
      • [trace] map-decorator0_2_1 @ ?.["value"]
      • [trace] circular-decorator0_2_2 @ [].."value"
      • [trace] plain-decorator0_2_1 @ [].."value"
      • [trace] live-before @ [].."value"
      • [trace] uses @ [].."value"
      • [trace] circular-decorator0_2_2 @ [].."value"
      • [trace] plain-decorator0_2_1 @ [].."value"
      • [trace] live-after @ [].."value"
      • [trace] map-decorator0_2_1 @ ?.[]
      • [trace] plain-decorator0_2_1 @ Block.[]..While("x",Block)
      • [trace] is-dead @ Block.[]..Assign("x","value")
      • [trace] defines @ Block.[]..Assign("x","value")
      • [trace] circular-decorator0_2_2 @ Block.[]..Assign("x","value")
      • [trace] plain-decorator0_2_1 @ Block.[]..Assign("x","value")
      • [trace] live-after @ Block.[]..Assign("x","value")
      • [trace] succ @ Block.[]..Assign("x","value")
      • [trace] down-decorator0_2_1 @ Block.[]..Assign("x","value")
      • [trace] succ-enclosing @ Block.[]..Assign("x","value")
      • [trace] map-decorator0_2_1 @ ?.[While]
      • [trace] circular-decorator0_2_2 @ Block.[]..While("x",Block)
      • [trace] plain-decorator0_2_1 @ Block.[]..While("x",Block)
      • [trace] live-before @ Block.[]..While("x",Block)
      • [trace] circular-decorator0_2_2 @ Block.[]..While("x",Block)
      • [trace] is-dead @ [].."value"
      • [trace] defines @ [].."value"
      • [trace] circular-decorator0_2_2 @ [].."value"
      • [trace] plain-decorator0_2_1 @ [].."value"
      • [trace] live-after @ [].."value"
      • [trace] succ @ [].."value"
      • [trace] down-decorator0_2_1 @ [].."value"
      • [trace] succ-enclosing @ [].."value"
      • [trace] succ-enclosing @ [].."value" (failed)
      • [trace] down-decorator0_2_1 @ [].["value"]
      • [trace] succ-enclosing @ [].["value"]
      • [trace] succ-enclosing @ [].."value" (failed)
      • [trace] down-decorator0_2_1 @ ["x","value"]
      • [trace] succ-enclosing @ ["x","value"]
      • [trace] map-decorator0_2_1 @ ?.[]
      • [trace] is-dead @ []."x"
      • [trace] defines @ []."x"
      • [trace] circular-decorator0_2_2 @ []."x"
      • [trace] plain-decorator0_2_1 @ []."x"
      • [trace] live-after @ []."x"
      • [trace] succ @ []."x"
      • [trace] down-decorator0_2_1 @ []."x"
      • [trace] succ-enclosing @ []."x"
      • [trace] map-decorator0_2_1 @ ?.["value"]
      • [trace] circular-decorator0_2_2 @ [].."value"
      • [trace] plain-decorator0_2_1 @ [].."value"
      • [trace] live-before @ [].."value"
      • [trace] uses @ [].."value"
      • [trace] circular-decorator0_2_2 @ [].."value"
      • [trace] plain-decorator0_2_1 @ [].."value"
      • [trace] live-after @ [].."value"
      • [trace] map-decorator0_2_1 @ ?.[]
      • [trace] plain-decorator0_2_1 @ Block.[]..Assign("x","value")
      • [trace] is-dead @ Block.[]..Assign("bogus2","bogus1")
      • [trace] defines @ Block.[]..Assign("bogus2","bogus1")
      • [trace] circular-decorator0_2_2 @ Block.[]..Assign("bogus2","bogus1")
      • [trace] plain-decorator0_2_1 @ Block.[]..Assign("bogus2","bogus1")
      • [trace] live-after @ Block.[]..Assign("bogus2","bogus1")
      • [trace] succ @ Block.[]..Assign("bogus2","bogus1")
      • [trace] down-decorator0_2_1 @ Block.[]..Assign("bogus2","bogus1")
      • [trace] succ-enclosing @ Block.[]..Assign("bogus2","bogus1")
      • [trace] map-decorator0_2_1 @ ?.[Assign]
      • [trace] circular-decorator0_2_2 @ Block.[]..Assign("x","value")
      • [trace] plain-decorator0_2_1 @ Block.[]..Assign("x","value")
      • [trace] live-before @ Block.[]..Assign("x","value")
      • [trace] uses @ Block.[]..Assign("x","value")
      • [trace] circular-decorator0_2_2 @ Block.[]..Assign("x","value")
      • [trace] is-dead @ []."value"
      • [trace] defines @ []."value"
      • [trace] circular-decorator0_2_2 @ []."value"
      • [trace] plain-decorator0_2_1 @ []."value"
      • [trace] live-after @ []."value"
      • [trace] succ @ []."value"
      • [trace] down-decorator0_2_1 @ []."value"
      • [trace] succ-enclosing @ []."value"
      • [trace] succ-enclosing @ []."value" (failed)
      • [trace] down-decorator0_2_1 @ ["value"]
      • [trace] succ-enclosing @ ["value"]
      • [trace] map-decorator0_2_1 @ ?.[]
      • [trace] plain-decorator0_2_1 @ Block.[]..Assign("bogus2","bogus1")
      • [rewr.] Block.[].[Assign,Assign,While,_] -> [Assign,While,Return]
      • [trace] is-dead @ Block.[]..Assign("x","value")
      • [trace] defines @ Block.[]..Assign("x","value")
      • [trace] circular-decorator0_2_2 @ Block.[]..Assign("x","value")
      • [trace] plain-decorator0_2_1 @ Block.[]..Assign("x","value")
      • [trace] live-after @ Block.[]..Assign("x","value")
      • [trace] succ @ Block.[]..Assign("x","value")
      • [trace] down-decorator0_2_1 @ Block.[]..Assign("x","value")
      • [trace] succ-enclosing @ Block.[]..Assign("x","value")
      • [trace] map-decorator0_2_1 @ ?.[While]
      • [trace] circular-decorator0_2_2 @ Block.[]..While("x",Block)
      • [trace] plain-decorator0_2_1 @ Block.[]..While("x",Block)
      • [trace] live-before @ Block.[]..While("x",Block)
      • [trace] uses @ Block.[]..While("x",Block)
      • [trace] circular-decorator0_2_2 @ Block.[]..While("x",Block)
      • [trace] plain-decorator0_2_1 @ Block.[]..While("x",Block)
      • [trace] live-after @ Block.[]..While("x",Block)
      • [trace] succ @ Block.[]..While("x",Block)
      • [trace] down-decorator0_2_1 @ Block.[]..While.Block([_])
      • [trace] succ-enclosing @ Block.[]..While.Block([_])
      • [trace] map-decorator0_2_1 @ ?.[Block,While]
      • [trace] circular-decorator0_2_2 @ Block.[]..While.Block([_])
      • [trace] plain-decorator0_2_1 @ Block.[]..While.Block([_])
      • [trace] live-before @ Block.[]..While.Block([_])
      • [trace] uses @ Block.[]..While.Block([_])
      • [trace] circular-decorator0_2_2 @ Block.[]..While.Block([_])
      • [trace] plain-decorator0_2_1 @ Block.[]..While.Block([_])
      • [trace] live-after @ Block.[]..While.Block([_])
      • [trace] succ @ Block.[]..While.Block([_])
      • [trace] map-decorator0_2_1 @ ?.[Assign]
      • [trace] circular-decorator0_2_2 @ Block.[]..While.Block.[].Assign("x","value")
      • [trace] plain-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x","value")
      • [trace] live-before @ Block.[]..While.Block.[].Assign("x","value")
      • [trace] uses @ Block.[]..While.Block.[].Assign("x","value")
      • [trace] circular-decorator0_2_2 @ Block.[]..While.Block.[].Assign("x","value")
      • [trace] plain-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x","value")
      • [trace] live-after @ Block.[]..While.Block.[].Assign("x","value")
      • [trace] succ @ Block.[]..While.Block.[].Assign("x","value")
      • [trace] down-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x","value")
      • [trace] succ-enclosing @ Block.[]..While.Block.[].Assign("x","value")
      • [trace] succ-enclosing @ Block.[]..While.Block.[].Assign("x","value") (failed)
      • [trace] down-decorator0_2_1 @ Block.[]..While.Block.[Assign]
      • [trace] succ-enclosing @ Block.[]..While.Block.[Assign]
      • [trace] succ-enclosing @ Block.[]..While.Block.[].Assign("x","value") (failed)
      • [trace] map-decorator0_2_1 @ ?.[While]
      • [trace] circular-decorator0_2_2 @ Block.[]..While("x",Block)
      • [trace] defines @ Block.[]..While.Block.[].Assign("x","value")
      • [trace] is-dead @ []."value"
      • [trace] defines @ []."value"
      • [trace] circular-decorator0_2_2 @ []."value"
      • [trace] plain-decorator0_2_1 @ []."value"
      • [trace] live-after @ []."value"
      • [trace] succ @ []."value"
      • [trace] down-decorator0_2_1 @ []."value"
      • [trace] succ-enclosing @ []."value"
      • [trace] succ-enclosing @ []."value" (failed)
      • [trace] down-decorator0_2_1 @ ["value"]
      • [trace] succ-enclosing @ ["value"]
      • [trace] map-decorator0_2_1 @ ?.[]
      • [trace] defines @ Block.[]..While.Block([_])
      • [trace] circular-decorator0_2_2 @ Block.[]..While("x",Block)
      • [trace] is-dead @ []."value"
      • [trace] defines @ []."value"
      • [trace] circular-decorator0_2_2 @ []."value"
      • [trace] plain-decorator0_2_1 @ []."value"
      • [trace] live-after @ []."value"
      • [trace] succ @ []."value"
      • [trace] down-decorator0_2_1 @ []."value"
      • [trace] succ-enclosing @ []."value"
      • [trace] succ-enclosing @ []."value" (failed)
      • [trace] down-decorator0_2_1 @ ["value"]
      • [trace] succ-enclosing @ ["value"]
      • [trace] map-decorator0_2_1 @ ?.[]
      • [trace] defines @ Block.[]..While("x",Block)
      • [trace] is-dead @ [].."value"
      • [trace] defines @ [].."value"
      • [trace] circular-decorator0_2_2 @ [].."value"
      • [trace] plain-decorator0_2_1 @ [].."value"
      • [trace] live-after @ [].."value"
      • [trace] succ @ [].."value"
      • [trace] down-decorator0_2_1 @ [].."value"
      • [trace] succ-enclosing @ [].."value"
      • [trace] succ-enclosing @ [].."value" (failed)
      • [trace] down-decorator0_2_1 @ [].["value"]
      • [trace] succ-enclosing @ [].["value"]
      • [trace] succ-enclosing @ [].."value" (failed)
      • [trace] down-decorator0_2_1 @ ["x","value"]
      • [trace] succ-enclosing @ ["x","value"]
      • [trace] map-decorator0_2_1 @ ?.[]
      • [trace] is-dead @ []."x"
      • [trace] defines @ []."x"
      • [trace] circular-decorator0_2_2 @ []."x"
      • [trace] plain-decorator0_2_1 @ []."x"
      • [trace] live-after @ []."x"
      • [trace] succ @ []."x"
      • [trace] down-decorator0_2_1 @ []."x"
      • [trace] succ-enclosing @ []."x"
      • [trace] map-decorator0_2_1 @ ?.["value"]
      • [trace] circular-decorator0_2_2 @ [].."value"
      • [trace] plain-decorator0_2_1 @ [].."value"
      • [trace] live-before @ [].."value"
      • [trace] uses @ [].."value"
      • [trace] circular-decorator0_2_2 @ [].."value"
      • [trace] plain-decorator0_2_1 @ [].."value"
      • [trace] live-after @ [].."value"
      • [trace] map-decorator0_2_1 @ ?.[]
      • [trace] plain-decorator0_2_1 @ Block.[]..Assign("x","value")
      • [trace] is-dead @ Block.[].Assign("bogus1","value")
      • [trace] defines @ Block.[].Assign("bogus1","value")
      • [trace] circular-decorator0_2_2 @ Block.[].Assign("bogus1","value")
      • [trace] plain-decorator0_2_1 @ Block.[].Assign("bogus1","value")
      • [trace] live-after @ Block.[].Assign("bogus1","value")
      • [trace] succ @ Block.[].Assign("bogus1","value")
      • [trace] down-decorator0_2_1 @ Block.[].Assign("bogus1","value")
      • [trace] succ-enclosing @ Block.[].Assign("bogus1","value")
      • [trace] map-decorator0_2_1 @ ?.[Assign]
      • [trace] circular-decorator0_2_2 @ Block.[]..Assign("bogus2","bogus1")
      • [trace] plain-decorator0_2_1 @ Block.[]..Assign("bogus2","bogus1")
      • [trace] live-before @ Block.[]..Assign("bogus2","bogus1")
      • [trace] uses @ Block.[]..Assign("bogus2","bogus1")
      • [trace] circular-decorator0_2_2 @ Block.[]..Assign("bogus2","bogus1")
      • [trace] is-dead @ [].."value"
      • [trace] defines @ [].."value"
      • [trace] circular-decorator0_2_2 @ [].."value"
      • [trace] plain-decorator0_2_1 @ [].."value"
      • [trace] live-after @ [].."value"
      • [trace] succ @ [].."value"
      • [trace] down-decorator0_2_1 @ [].."value"
      • [trace] succ-enclosing @ [].."value"
      • [trace] succ-enclosing @ [].."value" (failed)
      • [trace] down-decorator0_2_1 @ [].["value"]
      • [trace] succ-enclosing @ [].["value"]
      • [trace] succ-enclosing @ [].."value" (failed)
      • [trace] down-decorator0_2_1 @ ["bogus1","value"]
      • [trace] succ-enclosing @ ["bogus1","value"]
      • [trace] map-decorator0_2_1 @ ?.[]
      • [trace] is-dead @ []."bogus1"
      • [trace] defines @ []."bogus1"
      • [trace] circular-decorator0_2_2 @ []."bogus1"
      • [trace] plain-decorator0_2_1 @ []."bogus1"
      • [trace] live-after @ []."bogus1"
      • [trace] succ @ []."bogus1"
      • [trace] down-decorator0_2_1 @ []."bogus1"
      • [trace] succ-enclosing @ []."bogus1"
      • [trace] map-decorator0_2_1 @ ?.["value"]
      • [trace] circular-decorator0_2_2 @ [].."value"
      • [trace] plain-decorator0_2_1 @ [].."value"
      • [trace] live-before @ [].."value"
      • [trace] uses @ [].."value"
      • [trace] circular-decorator0_2_2 @ [].."value"
      • [trace] plain-decorator0_2_1 @ [].."value"
      • [trace] live-after @ [].."value"
      • [trace] map-decorator0_2_1 @ ?.[]
      • [trace] plain-decorator0_2_1 @ Block.[].Assign("bogus1","value")
      • [trace] is-dead @ Block.[]..While.Block.[].Assign("x","value")
      • [trace] defines @ Block.[]..While.Block.[].Assign("x","value")
      • [trace] circular-decorator0_2_2 @ Block.[]..While.Block.[].Assign("x","value")
      • [trace] plain-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x","value")
      • [trace] live-after @ Block.[]..While.Block.[].Assign("x","value")
      • [trace] succ @ Block.[]..While.Block.[].Assign("x","value")
      • [trace] down-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x","value")
      • [trace] succ-enclosing @ Block.[]..While.Block.[].Assign("x","value")
      • [trace] succ-enclosing @ Block.[]..While.Block.[].Assign("x","value") (failed)
      • [trace] down-decorator0_2_1 @ Block.[]..While.Block.[Assign]
      • [trace] succ-enclosing @ Block.[]..While.Block.[Assign]
      • [trace] succ-enclosing @ Block.[]..While.Block.[].Assign("x","value") (failed)
      • [trace] down-decorator0_2_1 @ Block.[]..While.Block([_])
      • [trace] succ-enclosing @ Block.[]..While.Block([_])
      • [trace] map-decorator0_2_1 @ ?.[While]
      • [trace] circular-decorator0_2_2 @ Block.[]..While("x",Block)
      • [trace] plain-decorator0_2_1 @ Block.[]..While("x",Block)
      • [trace] live-before @ Block.[]..While("x",Block)
      • [trace] uses @ Block.[]..While("x",Block)
      • [trace] circular-decorator0_2_2 @ Block.[]..While("x",Block)
      • [trace] plain-decorator0_2_1 @ Block.[]..While("x",Block)
      • [trace] live-after @ Block.[]..While("x",Block)
      • [trace] succ @ Block.[]..While("x",Block)
      • [trace] map-decorator0_2_1 @ ?.[Block,While]
      • [trace] circular-decorator0_2_2 @ Block.[]..While.Block([_])
      • [trace] plain-decorator0_2_1 @ Block.[]..While.Block([_])
      • [trace] live-before @ Block.[]..While.Block([_])
      • [trace] uses @ Block.[]..While.Block([_])
      • [trace] circular-decorator0_2_2 @ Block.[]..While.Block([_])
      • [trace] plain-decorator0_2_1 @ Block.[]..While.Block([_])
      • [trace] live-after @ Block.[]..While.Block([_])
      • [trace] succ @ Block.[]..While.Block([_])
      • [trace] map-decorator0_2_1 @ ?.[Assign]
      • [trace] circular-decorator0_2_2 @ Block.[]..While.Block.[].Assign("x","value")
      • [trace] plain-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x","value")
      • [trace] live-before @ Block.[]..While.Block.[].Assign("x","value")
      • [trace] uses @ Block.[]..While.Block.[].Assign("x","value")
      • [trace] circular-decorator0_2_2 @ Block.[]..While.Block.[].Assign("x","value")
      • [trace] is-dead @ []."value"
      • [trace] defines @ []."value"
      • [trace] circular-decorator0_2_2 @ []."value"
      • [trace] plain-decorator0_2_1 @ []."value"
      • [trace] live-after @ []."value"
      • [trace] succ @ []."value"
      • [trace] down-decorator0_2_1 @ []."value"
      • [trace] succ-enclosing @ []."value"
      • [trace] succ-enclosing @ []."value" (failed)
      • [trace] down-decorator0_2_1 @ ["value"]
      • [trace] succ-enclosing @ ["value"]
      • [trace] map-decorator0_2_1 @ ?.[]
      • [trace] defines @ Block.[]..While.Block([_])
      • [trace] circular-decorator0_2_2 @ Block.[]..While("x",Block)
      • [trace] is-dead @ []."value"
      • [trace] defines @ []."value"
      • [trace] circular-decorator0_2_2 @ []."value"
      • [trace] plain-decorator0_2_1 @ []."value"
      • [trace] live-after @ []."value"
      • [trace] succ @ []."value"
      • [trace] down-decorator0_2_1 @ []."value"
      • [trace] succ-enclosing @ []."value"
      • [trace] succ-enclosing @ []."value" (failed)
      • [trace] down-decorator0_2_1 @ ["value"]
      • [trace] succ-enclosing @ ["value"]
      • [trace] map-decorator0_2_1 @ ?.[]
      • [trace] defines @ Block.[]..While("x",Block)
      • [trace] is-dead @ [].."value"
      • [trace] defines @ [].."value"
      • [trace] circular-decorator0_2_2 @ [].."value"
      • [trace] plain-decorator0_2_1 @ [].."value"
      • [trace] live-after @ [].."value"
      • [trace] succ @ [].."value"
      • [trace] down-decorator0_2_1 @ [].."value"
      • [trace] succ-enclosing @ [].."value"
      • [trace] succ-enclosing @ [].."value" (failed)
      • [trace] down-decorator0_2_1 @ [].["value"]
      • [trace] succ-enclosing @ [].["value"]
      • [trace] succ-enclosing @ [].."value" (failed)
      • [trace] down-decorator0_2_1 @ ["x","value"]
      • [trace] succ-enclosing @ ["x","value"]
      • [trace] map-decorator0_2_1 @ ?.[]
      • [trace] is-dead @ []."x"
      • [trace] defines @ []."x"
      • [trace] circular-decorator0_2_2 @ []."x"
      • [trace] plain-decorator0_2_1 @ []."x"
      • [trace] live-after @ []."x"
      • [trace] succ @ []."x"
      • [trace] down-decorator0_2_1 @ []."x"
      • [trace] succ-enclosing @ []."x"
      • [trace] map-decorator0_2_1 @ ?.["value"]
      • [trace] circular-decorator0_2_2 @ [].."value"
      • [trace] plain-decorator0_2_1 @ [].."value"
      • [trace] live-before @ [].."value"
      • [trace] uses @ [].."value"
      • [trace] circular-decorator0_2_2 @ [].."value"
      • [trace] plain-decorator0_2_1 @ [].."value"
      • [trace] live-after @ [].."value"
      • [trace] map-decorator0_2_1 @ ?.[]
      • [trace] plain-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x","value")
      • [trace] is-dead @ Block.[]..Return("x")
      • [trace] defines @ Block.[]..Return("x")
      • [trace] circular-decorator0_2_2 @ Block.[]..Return("x")
      • [trace] plain-decorator0_2_1 @ Block.[]..Return("x")
      • [trace] live-after @ Block.[]..Return("x")
      • [trace] succ @ Block.[]..Return("x")
      • [trace] map-decorator0_2_1 @ ?.[]
      • [trace] is-dead @ Block.[]..While("x",Block)
      • [trace] circular-decorator0_2_2 @ Block.[]..While("x",Block)
      • [trace] plain-decorator0_2_1 @ Block.[]..While("x",Block)
      • [trace] live-after @ Block.[]..While("x",Block)
      • [trace] map-decorator0_2_1 @ ?.[Block,While]
      • [trace] circular-decorator0_2_2 @ Block.[]..While.Block([_])
      • [trace] plain-decorator0_2_1 @ Block.[]..While.Block([_])
      • [trace] live-before @ Block.[]..While.Block([_])
      • [trace] circular-decorator0_2_2 @ Block.[]..While.Block([_])
      • [trace] plain-decorator0_2_1 @ Block.[]..While.Block([_])
      • [trace] live-after @ Block.[]..While.Block([_])
      • [trace] map-decorator0_2_1 @ ?.[Assign]
      • [trace] circular-decorator0_2_2 @ Block.[]..While.Block.[].Assign("x","value")
      • [trace] plain-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x","value")
      • [trace] live-before @ Block.[]..While.Block.[].Assign("x","value")
      • [trace] circular-decorator0_2_2 @ Block.[]..While.Block.[].Assign("x","value")
      • [trace] is-dead @ []."value"
      • [trace] defines @ []."value"
      • [trace] circular-decorator0_2_2 @ []."value"
      • [trace] plain-decorator0_2_1 @ []."value"
      • [trace] live-after @ []."value"
      • [trace] succ @ []."value"
      • [trace] down-decorator0_2_1 @ []."value"
      • [trace] succ-enclosing @ []."value"
      • [trace] succ-enclosing @ []."value" (failed)
      • [trace] down-decorator0_2_1 @ ["value"]
      • [trace] succ-enclosing @ ["value"]
      • [trace] map-decorator0_2_1 @ ?.[]
      • [trace] circular-decorator0_2_2 @ Block.[]..While("x",Block)
      • [trace] plain-decorator0_2_1 @ Block.[]..While("x",Block)
      • [trace] live-before @ Block.[]..While("x",Block)
      • [trace] circular-decorator0_2_2 @ Block.[]..While("x",Block)
      • [trace] is-dead @ []."value"
      • [trace] defines @ []."value"
      • [trace] circular-decorator0_2_2 @ []."value"
      • [trace] plain-decorator0_2_1 @ []."value"
      • [trace] live-after @ []."value"
      • [trace] succ @ []."value"
      • [trace] down-decorator0_2_1 @ []."value"
      • [trace] succ-enclosing @ []."value"
      • [trace] succ-enclosing @ []."value" (failed)
      • [trace] down-decorator0_2_1 @ ["value"]
      • [trace] succ-enclosing @ ["value"]
      • [trace] map-decorator0_2_1 @ ?.[]
      • [trace] is-dead @ [].."value"
      • [trace] defines @ [].."value"
      • [trace] circular-decorator0_2_2 @ [].."value"
      • [trace] plain-decorator0_2_1 @ [].."value"
      • [trace] live-after @ [].."value"
      • [trace] succ @ [].."value"
      • [trace] down-decorator0_2_1 @ [].."value"
      • [trace] succ-enclosing @ [].."value"
      • [trace] succ-enclosing @ [].."value" (failed)
      • [trace] down-decorator0_2_1 @ [].["value"]
      • [trace] succ-enclosing @ [].["value"]
      • [trace] succ-enclosing @ [].."value" (failed)
      • [trace] down-decorator0_2_1 @ ["x","value"]
      • [trace] succ-enclosing @ ["x","value"]
      • [trace] map-decorator0_2_1 @ ?.[]
      • [trace] is-dead @ []."x"
      • [trace] defines @ []."x"
      • [trace] circular-decorator0_2_2 @ []."x"
      • [trace] plain-decorator0_2_1 @ []."x"
      • [trace] live-after @ []."x"
      • [trace] succ @ []."x"
      • [trace] down-decorator0_2_1 @ []."x"
      • [trace] succ-enclosing @ []."x"
      • [trace] map-decorator0_2_1 @ ?.["value"]
      • [trace] circular-decorator0_2_2 @ [].."value"
      • [trace] plain-decorator0_2_1 @ [].."value"
      • [trace] live-before @ [].."value"
      • [trace] uses @ [].."value"
      • [trace] circular-decorator0_2_2 @ [].."value"
      • [trace] plain-decorator0_2_1 @ [].."value"
      • [trace] live-after @ [].."value"
      • [trace] map-decorator0_2_1 @ ?.[]
      • [trace] plain-decorator0_2_1 @ Block.[]..While("x",Block)
      • [trace] is-dead @ Block.[]..Assign("x","value")
      • [trace] defines @ Block.[]..Assign("x","value")
      • [trace] circular-decorator0_2_2 @ Block.[]..Assign("x","value")
      • [trace] plain-decorator0_2_1 @ Block.[]..Assign("x","value")
      • [trace] live-after @ Block.[]..Assign("x","value")
      • [trace] succ @ Block.[]..Assign("x","value")
      • [trace] down-decorator0_2_1 @ Block.[]..Assign("x","value")
      • [trace] succ-enclosing @ Block.[]..Assign("x","value")
      • [trace] map-decorator0_2_1 @ ?.[While]
      • [trace] circular-decorator0_2_2 @ Block.[]..While("x",Block)
      • [trace] plain-decorator0_2_1 @ Block.[]..While("x",Block)
      • [trace] live-before @ Block.[]..While("x",Block)
      • [trace] circular-decorator0_2_2 @ Block.[]..While("x",Block)
      • [trace] is-dead @ [].."value"
      • [trace] defines @ [].."value"
      • [trace] circular-decorator0_2_2 @ [].."value"
      • [trace] plain-decorator0_2_1 @ [].."value"
      • [trace] live-after @ [].."value"
      • [trace] succ @ [].."value"
      • [trace] down-decorator0_2_1 @ [].."value"
      • [trace] succ-enclosing @ [].."value"
      • [trace] succ-enclosing @ [].."value" (failed)
      • [trace] down-decorator0_2_1 @ [].["value"]
      • [trace] succ-enclosing @ [].["value"]
      • [trace] succ-enclosing @ [].."value" (failed)
      • [trace] down-decorator0_2_1 @ ["x","value"]
      • [trace] succ-enclosing @ ["x","value"]
      • [trace] map-decorator0_2_1 @ ?.[]
      • [trace] is-dead @ []."x"
      • [trace] defines @ []."x"
      • [trace] circular-decorator0_2_2 @ []."x"
      • [trace] plain-decorator0_2_1 @ []."x"
      • [trace] live-after @ []."x"
      • [trace] succ @ []."x"
      • [trace] down-decorator0_2_1 @ []."x"
      • [trace] succ-enclosing @ []."x"
      • [trace] map-decorator0_2_1 @ ?.["value"]
      • [trace] circular-decorator0_2_2 @ [].."value"
      • [trace] plain-decorator0_2_1 @ [].."value"
      • [trace] live-before @ [].."value"
      • [trace] uses @ [].."value"
      • [trace] circular-decorator0_2_2 @ [].."value"
      • [trace] plain-decorator0_2_1 @ [].."value"
      • [trace] live-after @ [].."value"
      • [trace] map-decorator0_2_1 @ ?.[]
      • [trace] plain-decorator0_2_1 @ Block.[]..Assign("x","value")
      • [trace] is-dead @ Block.[].Assign("bogus1","value")
      • [trace] defines @ Block.[].Assign("bogus1","value")
      • [trace] circular-decorator0_2_2 @ Block.[].Assign("bogus1","value")
      • [trace] plain-decorator0_2_1 @ Block.[].Assign("bogus1","value")
      • [trace] live-after @ Block.[].Assign("bogus1","value")
      • [trace] succ @ Block.[].Assign("bogus1","value")
      • [trace] down-decorator0_2_1 @ Block.[].Assign("bogus1","value")
      • [trace] succ-enclosing @ Block.[].Assign("bogus1","value")
      • [trace] map-decorator0_2_1 @ ?.[Assign]
      • [trace] circular-decorator0_2_2 @ Block.[]..Assign("x","value")
      • [trace] plain-decorator0_2_1 @ Block.[]..Assign("x","value")
      • [trace] live-before @ Block.[]..Assign("x","value")
      • [trace] uses @ Block.[]..Assign("x","value")
      • [trace] circular-decorator0_2_2 @ Block.[]..Assign("x","value")
      • [trace] is-dead @ []."value"
      • [trace] defines @ []."value"
      • [trace] circular-decorator0_2_2 @ []."value"
      • [trace] plain-decorator0_2_1 @ []."value"
      • [trace] live-after @ []."value"
      • [trace] succ @ []."value"
      • [trace] down-decorator0_2_1 @ []."value"
      • [trace] succ-enclosing @ []."value"
      • [trace] succ-enclosing @ []."value" (failed)
      • [trace] down-decorator0_2_1 @ ["value"]
      • [trace] succ-enclosing @ ["value"]
      • [trace] map-decorator0_2_1 @ ?.[]
      • [trace] plain-decorator0_2_1 @ Block.[].Assign("bogus1","value")
      • [rewr.] Block.[Assign,Assign,While,_] -> [Assign,While,Return]
      • [trace] is-dead @ Block.[].Assign("x","value")
      • [trace] defines @ Block.[].Assign("x","value")
      • [trace] circular-decorator0_2_2 @ Block.[].Assign("x","value")
      • [trace] plain-decorator0_2_1 @ Block.[].Assign("x","value")
      • [trace] live-after @ Block.[].Assign("x","value")
      • [trace] succ @ Block.[].Assign("x","value")
      • [trace] down-decorator0_2_1 @ Block.[].Assign("x","value")
      • [trace] succ-enclosing @ Block.[].Assign("x","value")
      • [trace] map-decorator0_2_1 @ ?.[While]
      • [trace] circular-decorator0_2_2 @ Block.[]..While("x",Block)
      • [trace] plain-decorator0_2_1 @ Block.[]..While("x",Block)
      • [trace] live-before @ Block.[]..While("x",Block)
      • [trace] uses @ Block.[]..While("x",Block)
      • [trace] circular-decorator0_2_2 @ Block.[]..While("x",Block)
      • [trace] plain-decorator0_2_1 @ Block.[]..While("x",Block)
      • [trace] live-after @ Block.[]..While("x",Block)
      • [trace] succ @ Block.[]..While("x",Block)
      • [trace] down-decorator0_2_1 @ Block.[]..While.Block([_])
      • [trace] succ-enclosing @ Block.[]..While.Block([_])
      • [trace] map-decorator0_2_1 @ ?.[Block,While]
      • [trace] circular-decorator0_2_2 @ Block.[]..While.Block([_])
      • [trace] plain-decorator0_2_1 @ Block.[]..While.Block([_])
      • [trace] live-before @ Block.[]..While.Block([_])
      • [trace] uses @ Block.[]..While.Block([_])
      • [trace] circular-decorator0_2_2 @ Block.[]..While.Block([_])
      • [trace] plain-decorator0_2_1 @ Block.[]..While.Block([_])
      • [trace] live-after @ Block.[]..While.Block([_])
      • [trace] succ @ Block.[]..While.Block([_])
      • [trace] map-decorator0_2_1 @ ?.[Assign]
      • [trace] circular-decorator0_2_2 @ Block.[]..While.Block.[].Assign("x","value")
      • [trace] plain-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x","value")
      • [trace] live-before @ Block.[]..While.Block.[].Assign("x","value")
      • [trace] uses @ Block.[]..While.Block.[].Assign("x","value")
      • [trace] circular-decorator0_2_2 @ Block.[]..While.Block.[].Assign("x","value")
      • [trace] plain-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x","value")
      • [trace] live-after @ Block.[]..While.Block.[].Assign("x","value")
      • [trace] succ @ Block.[]..While.Block.[].Assign("x","value")
      • [trace] down-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x","value")
      • [trace] succ-enclosing @ Block.[]..While.Block.[].Assign("x","value")
      • [trace] succ-enclosing @ Block.[]..While.Block.[].Assign("x","value") (failed)
      • [trace] down-decorator0_2_1 @ Block.[]..While.Block.[Assign]
      • [trace] succ-enclosing @ Block.[]..While.Block.[Assign]
      • [trace] succ-enclosing @ Block.[]..While.Block.[].Assign("x","value") (failed)
      • [trace] map-decorator0_2_1 @ ?.[While]
      • [trace] circular-decorator0_2_2 @ Block.[]..While("x",Block)
      • [trace] defines @ Block.[]..While.Block.[].Assign("x","value")
      • [trace] is-dead @ []."value"
      • [trace] defines @ []."value"
      • [trace] circular-decorator0_2_2 @ []."value"
      • [trace] plain-decorator0_2_1 @ []."value"
      • [trace] live-after @ []."value"
      • [trace] succ @ []."value"
      • [trace] down-decorator0_2_1 @ []."value"
      • [trace] succ-enclosing @ []."value"
      • [trace] succ-enclosing @ []."value" (failed)
      • [trace] down-decorator0_2_1 @ ["value"]
      • [trace] succ-enclosing @ ["value"]
      • [trace] map-decorator0_2_1 @ ?.[]
      • [trace] defines @ Block.[]..While.Block([_])
      • [trace] circular-decorator0_2_2 @ Block.[]..While("x",Block)
      • [trace] is-dead @ []."value"
      • [trace] defines @ []."value"
      • [trace] circular-decorator0_2_2 @ []."value"
      • [trace] plain-decorator0_2_1 @ []."value"
      • [trace] live-after @ []."value"
      • [trace] succ @ []."value"
      • [trace] down-decorator0_2_1 @ []."value"
      • [trace] succ-enclosing @ []."value"
      • [trace] succ-enclosing @ []."value" (failed)
      • [trace] down-decorator0_2_1 @ ["value"]
      • [trace] succ-enclosing @ ["value"]
      • [trace] map-decorator0_2_1 @ ?.[]
      • [trace] defines @ Block.[]..While("x",Block)
      • [trace] is-dead @ [].."value"
      • [trace] defines @ [].."value"
      • [trace] circular-decorator0_2_2 @ [].."value"
      • [trace] plain-decorator0_2_1 @ [].."value"
      • [trace] live-after @ [].."value"
      • [trace] succ @ [].."value"
      • [trace] down-decorator0_2_1 @ [].."value"
      • [trace] succ-enclosing @ [].."value"
      • [trace] succ-enclosing @ [].."value" (failed)
      • [trace] down-decorator0_2_1 @ [].["value"]
      • [trace] succ-enclosing @ [].["value"]
      • [trace] succ-enclosing @ [].."value" (failed)
      • [trace] down-decorator0_2_1 @ ["x","value"]
      • [trace] succ-enclosing @ ["x","value"]
      • [trace] map-decorator0_2_1 @ ?.[]
      • [trace] is-dead @ []."x"
      • [trace] defines @ []."x"
      • [trace] circular-decorator0_2_2 @ []."x"
      • [trace] plain-decorator0_2_1 @ []."x"
      • [trace] live-after @ []."x"
      • [trace] succ @ []."x"
      • [trace] down-decorator0_2_1 @ []."x"
      • [trace] succ-enclosing @ []."x"
      • [trace] map-decorator0_2_1 @ ?.["value"]
      • [trace] circular-decorator0_2_2 @ [].."value"
      • [trace] plain-decorator0_2_1 @ [].."value"
      • [trace] live-before @ [].."value"
      • [trace] uses @ [].."value"
      • [trace] circular-decorator0_2_2 @ [].."value"
      • [trace] plain-decorator0_2_1 @ [].."value"
      • [trace] live-after @ [].."value"
      • [trace] map-decorator0_2_1 @ ?.[]
      • [trace] plain-decorator0_2_1 @ Block.[].Assign("x","value")
      • [trace] is-dead @ Block.[]..While.Block.[].Assign("x","value")
      • [trace] defines @ Block.[]..While.Block.[].Assign("x","value")
      • [trace] circular-decorator0_2_2 @ Block.[]..While.Block.[].Assign("x","value")
      • [trace] plain-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x","value")
      • [trace] live-after @ Block.[]..While.Block.[].Assign("x","value")
      • [trace] succ @ Block.[]..While.Block.[].Assign("x","value")
      • [trace] down-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x","value")
      • [trace] succ-enclosing @ Block.[]..While.Block.[].Assign("x","value")
      • [trace] succ-enclosing @ Block.[]..While.Block.[].Assign("x","value") (failed)
      • [trace] down-decorator0_2_1 @ Block.[]..While.Block.[Assign]
      • [trace] succ-enclosing @ Block.[]..While.Block.[Assign]
      • [trace] succ-enclosing @ Block.[]..While.Block.[].Assign("x","value") (failed)
      • [trace] down-decorator0_2_1 @ Block.[]..While.Block([_])
      • [trace] succ-enclosing @ Block.[]..While.Block([_])
      • [trace] map-decorator0_2_1 @ ?.[While]
      • [trace] circular-decorator0_2_2 @ Block.[]..While("x",Block)
      • [trace] plain-decorator0_2_1 @ Block.[]..While("x",Block)
      • [trace] live-before @ Block.[]..While("x",Block)
      • [trace] uses @ Block.[]..While("x",Block)
      • [trace] circular-decorator0_2_2 @ Block.[]..While("x",Block)
      • [trace] plain-decorator0_2_1 @ Block.[]..While("x",Block)
      • [trace] live-after @ Block.[]..While("x",Block)
      • [trace] succ @ Block.[]..While("x",Block)
      • [trace] map-decorator0_2_1 @ ?.[Block,While]
      • [trace] circular-decorator0_2_2 @ Block.[]..While.Block([_])
      • [trace] plain-decorator0_2_1 @ Block.[]..While.Block([_])
      • [trace] live-before @ Block.[]..While.Block([_])
      • [trace] uses @ Block.[]..While.Block([_])
      • [trace] circular-decorator0_2_2 @ Block.[]..While.Block([_])
      • [trace] plain-decorator0_2_1 @ Block.[]..While.Block([_])
      • [trace] live-after @ Block.[]..While.Block([_])
      • [trace] succ @ Block.[]..While.Block([_])
      • [trace] map-decorator0_2_1 @ ?.[Assign]
      • [trace] circular-decorator0_2_2 @ Block.[]..While.Block.[].Assign("x","value")
      • [trace] plain-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x","value")
      • [trace] live-before @ Block.[]..While.Block.[].Assign("x","value")
      • [trace] uses @ Block.[]..While.Block.[].Assign("x","value")
      • [trace] circular-decorator0_2_2 @ Block.[]..While.Block.[].Assign("x","value")
      • [trace] is-dead @ []."value"
      • [trace] defines @ []."value"
      • [trace] circular-decorator0_2_2 @ []."value"
      • [trace] plain-decorator0_2_1 @ []."value"
      • [trace] live-after @ []."value"
      • [trace] succ @ []."value"
      • [trace] down-decorator0_2_1 @ []."value"
      • [trace] succ-enclosing @ []."value"
      • [trace] succ-enclosing @ []."value" (failed)
      • [trace] down-decorator0_2_1 @ ["value"]
      • [trace] succ-enclosing @ ["value"]
      • [trace] map-decorator0_2_1 @ ?.[]
      • [trace] defines @ Block.[]..While.Block([_])
      • [trace] circular-decorator0_2_2 @ Block.[]..While("x",Block)
      • [trace] is-dead @ []."value"
      • [trace] defines @ []."value"
      • [trace] circular-decorator0_2_2 @ []."value"
      • [trace] plain-decorator0_2_1 @ []."value"
      • [trace] live-after @ []."value"
      • [trace] succ @ []."value"
      • [trace] down-decorator0_2_1 @ []."value"
      • [trace] succ-enclosing @ []."value"
      • [trace] succ-enclosing @ []."value" (failed)
      • [trace] down-decorator0_2_1 @ ["value"]
      • [trace] succ-enclosing @ ["value"]
      • [trace] map-decorator0_2_1 @ ?.[]
      • [trace] defines @ Block.[]..While("x",Block)
      • [trace] is-dead @ [].."value"
      • [trace] defines @ [].."value"
      • [trace] circular-decorator0_2_2 @ [].."value"
      • [trace] plain-decorator0_2_1 @ [].."value"
      • [trace] live-after @ [].."value"
      • [trace] succ @ [].."value"
      • [trace] down-decorator0_2_1 @ [].."value"
      • [trace] succ-enclosing @ [].."value"
      • [trace] succ-enclosing @ [].."value" (failed)
      • [trace] down-decorator0_2_1 @ [].["value"]
      • [trace] succ-enclosing @ [].["value"]
      • [trace] succ-enclosing @ [].."value" (failed)
      • [trace] down-decorator0_2_1 @ ["x","value"]
      • [trace] succ-enclosing @ ["x","value"]
      • [trace] map-decorator0_2_1 @ ?.[]
      • [trace] is-dead @ []."x"
      • [trace] defines @ []."x"
      • [trace] circular-decorator0_2_2 @ []."x"
      • [trace] plain-decorator0_2_1 @ []."x"
      • [trace] live-after @ []."x"
      • [trace] succ @ []."x"
      • [trace] down-decorator0_2_1 @ []."x"
      • [trace] succ-enclosing @ []."x"
      • [trace] map-decorator0_2_1 @ ?.["value"]
      • [trace] circular-decorator0_2_2 @ [].."value"
      • [trace] plain-decorator0_2_1 @ [].."value"
      • [trace] live-before @ [].."value"
      • [trace] uses @ [].."value"
      • [trace] circular-decorator0_2_2 @ [].."value"
      • [trace] plain-decorator0_2_1 @ [].."value"
      • [trace] live-after @ [].."value"
      • [trace] map-decorator0_2_1 @ ?.[]
      • [trace] plain-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x","value")
      • [trace] is-dead @ Block.[]..Return("x")
      • [trace] defines @ Block.[]..Return("x")
      • [trace] circular-decorator0_2_2 @ Block.[]..Return("x")
      • [trace] plain-decorator0_2_1 @ Block.[]..Return("x")
      • [trace] live-after @ Block.[]..Return("x")
      • [trace] succ @ Block.[]..Return("x")
      • [trace] map-decorator0_2_1 @ ?.[]
      • [trace] is-dead @ Block.[]..While("x",Block)
      • [trace] circular-decorator0_2_2 @ Block.[]..While("x",Block)
      • [trace] plain-decorator0_2_1 @ Block.[]..While("x",Block)
      • [trace] live-after @ Block.[]..While("x",Block)
      • [trace] map-decorator0_2_1 @ ?.[Block,While]
      • [trace] circular-decorator0_2_2 @ Block.[]..While.Block([_])
      • [trace] plain-decorator0_2_1 @ Block.[]..While.Block([_])
      • [trace] live-before @ Block.[]..While.Block([_])
      • [trace] circular-decorator0_2_2 @ Block.[]..While.Block([_])
      • [trace] plain-decorator0_2_1 @ Block.[]..While.Block([_])
      • [trace] live-after @ Block.[]..While.Block([_])
      • [trace] map-decorator0_2_1 @ ?.[Assign]
      • [trace] circular-decorator0_2_2 @ Block.[]..While.Block.[].Assign("x","value")
      • [trace] plain-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x","value")
      • [trace] live-before @ Block.[]..While.Block.[].Assign("x","value")
      • [trace] circular-decorator0_2_2 @ Block.[]..While.Block.[].Assign("x","value")
      • [trace] is-dead @ []."value"
      • [trace] defines @ []."value"
      • [trace] circular-decorator0_2_2 @ []."value"
      • [trace] plain-decorator0_2_1 @ []."value"
      • [trace] live-after @ []."value"
      • [trace] succ @ []."value"
      • [trace] down-decorator0_2_1 @ []."value"
      • [trace] succ-enclosing @ []."value"
      • [trace] succ-enclosing @ []."value" (failed)
      • [trace] down-decorator0_2_1 @ ["value"]
      • [trace] succ-enclosing @ ["value"]
      • [trace] map-decorator0_2_1 @ ?.[]
      • [trace] circular-decorator0_2_2 @ Block.[]..While("x",Block)
      • [trace] plain-decorator0_2_1 @ Block.[]..While("x",Block)
      • [trace] live-before @ Block.[]..While("x",Block)
      • [trace] circular-decorator0_2_2 @ Block.[]..While("x",Block)
      • [trace] is-dead @ []."value"
      • [trace] defines @ []."value"
      • [trace] circular-decorator0_2_2 @ []."value"
      • [trace] plain-decorator0_2_1 @ []."value"
      • [trace] live-after @ []."value"
      • [trace] succ @ []."value"
      • [trace] down-decorator0_2_1 @ []."value"
      • [trace] succ-enclosing @ []."value"
      • [trace] succ-enclosing @ []."value" (failed)
      • [trace] down-decorator0_2_1 @ ["value"]
      • [trace] succ-enclosing @ ["value"]
      • [trace] map-decorator0_2_1 @ ?.[]
      • [trace] is-dead @ [].."value"
      • [trace] defines @ [].."value"
      • [trace] circular-decorator0_2_2 @ [].."value"
      • [trace] plain-decorator0_2_1 @ [].."value"
      • [trace] live-after @ [].."value"
      • [trace] succ @ [].."value"
      • [trace] down-decorator0_2_1 @ [].."value"
      • [trace] succ-enclosing @ [].."value"
      • [trace] succ-enclosing @ [].."value" (failed)
      • [trace] down-decorator0_2_1 @ [].["value"]
      • [trace] succ-enclosing @ [].["value"]
      • [trace] succ-enclosing @ [].."value" (failed)
      • [trace] down-decorator0_2_1 @ ["x","value"]
      • [trace] succ-enclosing @ ["x","value"]
      • [trace] map-decorator0_2_1 @ ?.[]
      • [trace] is-dead @ []."x"
      • [trace] defines @ []."x"
      • [trace] circular-decorator0_2_2 @ []."x"
      • [trace] plain-decorator0_2_1 @ []."x"
      • [trace] live-after @ []."x"
      • [trace] succ @ []."x"
      • [trace] down-decorator0_2_1 @ []."x"
      • [trace] succ-enclosing @ []."x"
      • [trace] map-decorator0_2_1 @ ?.["value"]
      • [trace] circular-decorator0_2_2 @ [].."value"
      • [trace] plain-decorator0_2_1 @ [].."value"
      • [trace] live-before @ [].."value"
      • [trace] uses @ [].."value"
      • [trace] circular-decorator0_2_2 @ [].."value"
      • [trace] plain-decorator0_2_1 @ [].."value"
      • [trace] live-after @ [].."value"
      • [trace] map-decorator0_2_1 @ ?.[]
      • [trace] plain-decorator0_2_1 @ Block.[]..While("x",Block)
      • [trace] is-dead @ Block.[].Assign("x","value")
      • [trace] defines @ Block.[].Assign("x","value")
      • [trace] circular-decorator0_2_2 @ Block.[].Assign("x","value")
      • [trace] plain-decorator0_2_1 @ Block.[].Assign("x","value")
      • [trace] live-after @ Block.[].Assign("x","value")
      • [trace] succ @ Block.[].Assign("x","value")
      • [trace] down-decorator0_2_1 @ Block.[].Assign("x","value")
      • [trace] succ-enclosing @ Block.[].Assign("x","value")
      • [trace] map-decorator0_2_1 @ ?.[While]
      • [trace] circular-decorator0_2_2 @ Block.[]..While("x",Block)
      • [trace] plain-decorator0_2_1 @ Block.[]..While("x",Block)
      • [trace] live-before @ Block.[]..While("x",Block)
      • [trace] circular-decorator0_2_2 @ Block.[]..While("x",Block)
      • [trace] is-dead @ [].."value"
      • [trace] defines @ [].."value"
      • [trace] circular-decorator0_2_2 @ [].."value"
      • [trace] plain-decorator0_2_1 @ [].."value"
      • [trace] live-after @ [].."value"
      • [trace] succ @ [].."value"
      • [trace] down-decorator0_2_1 @ [].."value"
      • [trace] succ-enclosing @ [].."value"
      • [trace] succ-enclosing @ [].."value" (failed)
      • [trace] down-decorator0_2_1 @ [].["value"]
      • [trace] succ-enclosing @ [].["value"]
      • [trace] succ-enclosing @ [].."value" (failed)
      • [trace] down-decorator0_2_1 @ ["x","value"]
      • [trace] succ-enclosing @ ["x","value"]
      • [trace] map-decorator0_2_1 @ ?.[]
      • [trace] is-dead @ []."x"
      • [trace] defines @ []."x"
      • [trace] circular-decorator0_2_2 @ []."x"
      • [trace] plain-decorator0_2_1 @ []."x"
      • [trace] live-after @ []."x"
      • [trace] succ @ []."x"
      • [trace] down-decorator0_2_1 @ []."x"
      • [trace] succ-enclosing @ []."x"
      • [trace] map-decorator0_2_1 @ ?.["value"]
      • [trace] circular-decorator0_2_2 @ [].."value"
      • [trace] plain-decorator0_2_1 @ [].."value"
      • [trace] live-before @ [].."value"
      • [trace] uses @ [].."value"
      • [trace] circular-decorator0_2_2 @ [].."value"
      • [trace] plain-decorator0_2_1 @ [].."value"
      • [trace] live-after @ [].."value"
      • [trace] map-decorator0_2_1 @ ?.[]
      • [trace] plain-decorator0_2_1 @ Block.[].Assign("x","value")
      • [trace] is-dead @ Block.[]..While.Block.[].Assign("x","value")
      • [trace] defines @ Block.[]..While.Block.[].Assign("x","value")
      • [trace] circular-decorator0_2_2 @ Block.[]..While.Block.[].Assign("x","value")
      • [trace] plain-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x","value")
      • [trace] live-after @ Block.[]..While.Block.[].Assign("x","value")
      • [trace] succ @ Block.[]..While.Block.[].Assign("x","value")
      • [trace] down-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x","value")
      • [trace] succ-enclosing @ Block.[]..While.Block.[].Assign("x","value")
      • [trace] succ-enclosing @ Block.[]..While.Block.[].Assign("x","value") (failed)
      • [trace] down-decorator0_2_1 @ Block.[]..While.Block.[Assign]
      • [trace] succ-enclosing @ Block.[]..While.Block.[Assign]
      • [trace] succ-enclosing @ Block.[]..While.Block.[].Assign("x","value") (failed)
      • [trace] down-decorator0_2_1 @ Block.[]..While.Block([_])
      • [trace] succ-enclosing @ Block.[]..While.Block([_])
      • [trace] map-decorator0_2_1 @ ?.[While]
      • [trace] circular-decorator0_2_2 @ Block.[]..While("x",Block)
      • [trace] plain-decorator0_2_1 @ Block.[]..While("x",Block)
      • [trace] live-before @ Block.[]..While("x",Block)
      • [trace] uses @ Block.[]..While("x",Block)
      • [trace] circular-decorator0_2_2 @ Block.[]..While("x",Block)
      • [trace] plain-decorator0_2_1 @ Block.[]..While("x",Block)
      • [trace] live-after @ Block.[]..While("x",Block)
      • [trace] succ @ Block.[]..While("x",Block)
      • [trace] map-decorator0_2_1 @ ?.[Block,While]
      • [trace] circular-decorator0_2_2 @ Block.[]..While.Block([_])
      • [trace] plain-decorator0_2_1 @ Block.[]..While.Block([_])
      • [trace] live-before @ Block.[]..While.Block([_])
      • [trace] uses @ Block.[]..While.Block([_])
      • [trace] circular-decorator0_2_2 @ Block.[]..While.Block([_])
      • [trace] plain-decorator0_2_1 @ Block.[]..While.Block([_])
      • [trace] live-after @ Block.[]..While.Block([_])
      • [trace] succ @ Block.[]..While.Block([_])
      • [trace] map-decorator0_2_1 @ ?.[Assign]
      • [trace] circular-decorator0_2_2 @ Block.[]..While.Block.[].Assign("x","value")
      • [trace] plain-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x","value")
      • [trace] live-before @ Block.[]..While.Block.[].Assign("x","value")
      • [trace] uses @ Block.[]..While.Block.[].Assign("x","value")
      • [trace] circular-decorator0_2_2 @ Block.[]..While.Block.[].Assign("x","value")
      • [trace] is-dead @ []."value"
      • [trace] defines @ []."value"
      • [trace] circular-decorator0_2_2 @ []."value"
      • [trace] plain-decorator0_2_1 @ []."value"
      • [trace] live-after @ []."value"
      • [trace] succ @ []."value"
      • [trace] down-decorator0_2_1 @ []."value"
      • [trace] succ-enclosing @ []."value"
      • [trace] succ-enclosing @ []."value" (failed)
      • [trace] down-decorator0_2_1 @ ["value"]
      • [trace] succ-enclosing @ ["value"]
      • [trace] map-decorator0_2_1 @ ?.[]
      • [trace] defines @ Block.[]..While.Block([_])
      • [trace] circular-decorator0_2_2 @ Block.[]..While("x",Block)
      • [trace] is-dead @ []."value"
      • [trace] defines @ []."value"
      • [trace] circular-decorator0_2_2 @ []."value"
      • [trace] plain-decorator0_2_1 @ []."value"
      • [trace] live-after @ []."value"
      • [trace] succ @ []."value"
      • [trace] down-decorator0_2_1 @ []."value"
      • [trace] succ-enclosing @ []."value"
      • [trace] succ-enclosing @ []."value" (failed)
      • [trace] down-decorator0_2_1 @ ["value"]
      • [trace] succ-enclosing @ ["value"]
      • [trace] map-decorator0_2_1 @ ?.[]
      • [trace] defines @ Block.[]..While("x",Block)
      • [trace] is-dead @ [].."value"
      • [trace] defines @ [].."value"
      • [trace] circular-decorator0_2_2 @ [].."value"
      • [trace] plain-decorator0_2_1 @ [].."value"
      • [trace] live-after @ [].."value"
      • [trace] succ @ [].."value"
      • [trace] down-decorator0_2_1 @ [].."value"
      • [trace] succ-enclosing @ [].."value"
      • [trace] succ-enclosing @ [].."value" (failed)
      • [trace] down-decorator0_2_1 @ [].["value"]
      • [trace] succ-enclosing @ [].["value"]
      • [trace] succ-enclosing @ [].."value" (failed)
      • [trace] down-decorator0_2_1 @ ["x","value"]
      • [trace] succ-enclosing @ ["x","value"]
      • [trace] map-decorator0_2_1 @ ?.[]
      • [trace] is-dead @ []."x"
      • [trace] defines @ []."x"
      • [trace] circular-decorator0_2_2 @ []."x"
      • [trace] plain-decorator0_2_1 @ []."x"
      • [trace] live-after @ []."x"
      • [trace] succ @ []."x"
      • [trace] down-decorator0_2_1 @ []."x"
      • [trace] succ-enclosing @ []."x"
      • [trace] map-decorator0_2_1 @ ?.["value"]
      • [trace] circular-decorator0_2_2 @ [].."value"
      • [trace] plain-decorator0_2_1 @ [].."value"
      • [trace] live-before @ [].."value"
      • [trace] uses @ [].."value"
      • [trace] circular-decorator0_2_2 @ [].."value"
      • [trace] plain-decorator0_2_1 @ [].."value"
      • [trace] live-after @ [].."value"
      • [trace] map-decorator0_2_1 @ ?.[]
      • [trace] plain-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x","value")
      • [trace] is-dead @ Block.[]..Return("x")
      • [trace] defines @ Block.[]..Return("x")
      • [trace] circular-decorator0_2_2 @ Block.[]..Return("x")
      • [trace] plain-decorator0_2_1 @ Block.[]..Return("x")
      • [trace] live-after @ Block.[]..Return("x")
      • [trace] succ @ Block.[]..Return("x")
      • [trace] map-decorator0_2_1 @ ?.[]
      • [trace] is-dead @ Block.[]..While("x",Block)
      • [trace] circular-decorator0_2_2 @ Block.[]..While("x",Block)
      • [trace] plain-decorator0_2_1 @ Block.[]..While("x",Block)
      • [trace] live-after @ Block.[]..While("x",Block)
      • [trace] map-decorator0_2_1 @ ?.[Block,While]
      • [trace] circular-decorator0_2_2 @ Block.[]..While.Block([_])
      • [trace] plain-decorator0_2_1 @ Block.[]..While.Block([_])
      • [trace] live-before @ Block.[]..While.Block([_])
      • [trace] circular-decorator0_2_2 @ Block.[]..While.Block([_])
      • [trace] plain-decorator0_2_1 @ Block.[]..While.Block([_])
      • [trace] live-after @ Block.[]..While.Block([_])
      • [trace] map-decorator0_2_1 @ ?.[Assign]
      • [trace] circular-decorator0_2_2 @ Block.[]..While.Block.[].Assign("x","value")
      • [trace] plain-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x","value")
      • [trace] live-before @ Block.[]..While.Block.[].Assign("x","value")
      • [trace] circular-decorator0_2_2 @ Block.[]..While.Block.[].Assign("x","value")
      • [trace] is-dead @ []."value"
      • [trace] defines @ []."value"
      • [trace] circular-decorator0_2_2 @ []."value"
      • [trace] plain-decorator0_2_1 @ []."value"
      • [trace] live-after @ []."value"
      • [trace] succ @ []."value"
      • [trace] down-decorator0_2_1 @ []."value"
      • [trace] succ-enclosing @ []."value"
      • [trace] succ-enclosing @ []."value" (failed)
      • [trace] down-decorator0_2_1 @ ["value"]
      • [trace] succ-enclosing @ ["value"]
      • [trace] map-decorator0_2_1 @ ?.[]
      • [trace] circular-decorator0_2_2 @ Block.[]..While("x",Block)
      • [trace] plain-decorator0_2_1 @ Block.[]..While("x",Block)
      • [trace] live-before @ Block.[]..While("x",Block)
      • [trace] circular-decorator0_2_2 @ Block.[]..While("x",Block)
      • [trace] is-dead @ []."value"
      • [trace] defines @ []."value"
      • [trace] circular-decorator0_2_2 @ []."value"
      • [trace] plain-decorator0_2_1 @ []."value"
      • [trace] live-after @ []."value"
      • [trace] succ @ []."value"
      • [trace] down-decorator0_2_1 @ []."value"
      • [trace] succ-enclosing @ []."value"
      • [trace] succ-enclosing @ []."value" (failed)
      • [trace] down-decorator0_2_1 @ ["value"]
      • [trace] succ-enclosing @ ["value"]
      • [trace] map-decorator0_2_1 @ ?.[]
      • [trace] is-dead @ [].."value"
      • [trace] defines @ [].."value"
      • [trace] circular-decorator0_2_2 @ [].."value"
      • [trace] plain-decorator0_2_1 @ [].."value"
      • [trace] live-after @ [].."value"
      • [trace] succ @ [].."value"
      • [trace] down-decorator0_2_1 @ [].."value"
      • [trace] succ-enclosing @ [].."value"
      • [trace] succ-enclosing @ [].."value" (failed)
      • [trace] down-decorator0_2_1 @ [].["value"]
      • [trace] succ-enclosing @ [].["value"]
      • [trace] succ-enclosing @ [].."value" (failed)
      • [trace] down-decorator0_2_1 @ ["x","value"]
      • [trace] succ-enclosing @ ["x","value"]
      • [trace] map-decorator0_2_1 @ ?.[]
      • [trace] is-dead @ []."x"
      • [trace] defines @ []."x"
      • [trace] circular-decorator0_2_2 @ []."x"
      • [trace] plain-decorator0_2_1 @ []."x"
      • [trace] live-after @ []."x"
      • [trace] succ @ []."x"
      • [trace] down-decorator0_2_1 @ []."x"
      • [trace] succ-enclosing @ []."x"
      • [trace] map-decorator0_2_1 @ ?.["value"]
      • [trace] circular-decorator0_2_2 @ [].."value"
      • [trace] plain-decorator0_2_1 @ [].."value"
      • [trace] live-before @ [].."value"
      • [trace] uses @ [].."value"
      • [trace] circular-decorator0_2_2 @ [].."value"
      • [trace] plain-decorator0_2_1 @ [].."value"
      • [trace] live-after @ [].."value"
      • [trace] map-decorator0_2_1 @ ?.[]
      • [trace] plain-decorator0_2_1 @ Block.[]..While("x",Block)
      • [trace] is-dead @ Block.[].Assign("x","value")
      • [trace] defines @ Block.[].Assign("x","value")
      • [trace] circular-decorator0_2_2 @ Block.[].Assign("x","value")
      • [trace] plain-decorator0_2_1 @ Block.[].Assign("x","value")
      • [trace] live-after @ Block.[].Assign("x","value")
      • [trace] succ @ Block.[].Assign("x","value")
      • [trace] down-decorator0_2_1 @ Block.[].Assign("x","value")
      • [trace] succ-enclosing @ Block.[].Assign("x","value")
      • [trace] map-decorator0_2_1 @ ?.[While]
      • [trace] circular-decorator0_2_2 @ Block.[]..While("x",Block)
      • [trace] plain-decorator0_2_1 @ Block.[]..While("x",Block)
      • [trace] live-before @ Block.[]..While("x",Block)
      • [trace] circular-decorator0_2_2 @ Block.[]..While("x",Block)
      • [trace] is-dead @ [].."value"
      • [trace] defines @ [].."value"
      • [trace] circular-decorator0_2_2 @ [].."value"
      • [trace] plain-decorator0_2_1 @ [].."value"
      • [trace] live-after @ [].."value"
      • [trace] succ @ [].."value"
      • [trace] down-decorator0_2_1 @ [].."value"
      • [trace] succ-enclosing @ [].."value"
      • [trace] succ-enclosing @ [].."value" (failed)
      • [trace] down-decorator0_2_1 @ [].["value"]
      • [trace] succ-enclosing @ [].["value"]
      • [trace] succ-enclosing @ [].."value" (failed)
      • [trace] down-decorator0_2_1 @ ["x","value"]
      • [trace] succ-enclosing @ ["x","value"]
      • [trace] map-decorator0_2_1 @ ?.[]
      • [trace] is-dead @ []."x"
      • [trace] defines @ []."x"
      • [trace] circular-decorator0_2_2 @ []."x"
      • [trace] plain-decorator0_2_1 @ []."x"
      • [trace] live-after @ []."x"
      • [trace] succ @ []."x"
      • [trace] down-decorator0_2_1 @ []."x"
      • [trace] succ-enclosing @ []."x"
      • [trace] map-decorator0_2_1 @ ?.["value"]
      • [trace] circular-decorator0_2_2 @ [].."value"
      • [trace] plain-decorator0_2_1 @ [].."value"
      • [trace] live-before @ [].."value"
      • [trace] uses @ [].."value"
      • [trace] circular-decorator0_2_2 @ [].."value"
      • [trace] plain-decorator0_2_1 @ [].."value"
      • [trace] live-after @ [].."value"
      • [trace] map-decorator0_2_1 @ ?.[]
      • [trace] plain-decorator0_2_1 @ Block.[].Assign("x","value")
      • Block([Assign("x","value"),While("x",Block([Assign("x","value")])),Return("x")])
    • building circular-liveness.run
      • ==== circular-liveness ====
      • [trace] circular-decorator0_2_2 @ Block([..])
      • [trace] plain-decorator0_2_1 @ Block([..])
      • [trace] live-before @ Block([..])
      • [trace] uses @ Block([..])
      • [trace] circular-decorator0_2_2 @ Block([..])
      • [trace] plain-decorator0_2_1 @ Block([..])
      • [trace] live-after @ Block([..])
      • [trace] succ @ Block([..])
      • [trace] map-decorator0_2_1 @ ?.[Assign]
      • [trace] circular-decorator0_2_2 @ Block.[].Assign("bogus1","value")
      • [trace] plain-decorator0_2_1 @ Block.[].Assign("bogus1","value")
      • [trace] live-before @ Block.[].Assign("bogus1","value")
      • [trace] uses @ Block.[].Assign("bogus1","value")
      • [trace] circular-decorator0_2_2 @ Block.[].Assign("bogus1","value")
      • [trace] plain-decorator0_2_1 @ Block.[].Assign("bogus1","value")
      • [trace] live-after @ Block.[].Assign("bogus1","value")
      • [trace] succ @ Block.[].Assign("bogus1","value")
      • [trace] down-decorator0_2_1 @ Block.[].Assign("bogus1","value")
      • [trace] succ-enclosing @ Block.[].Assign("bogus1","value")
      • [trace] map-decorator0_2_1 @ ?.[Assign]
      • [trace] circular-decorator0_2_2 @ Block.[]..Assign("bogus2","bogus1")
      • [trace] plain-decorator0_2_1 @ Block.[]..Assign("bogus2","bogus1")
      • [trace] live-before @ Block.[]..Assign("bogus2","bogus1")
      • [trace] uses @ Block.[]..Assign("bogus2","bogus1")
      • [trace] circular-decorator0_2_2 @ Block.[]..Assign("bogus2","bogus1")
      • [trace] plain-decorator0_2_1 @ Block.[]..Assign("bogus2","bogus1")
      • [trace] live-after @ Block.[]..Assign("bogus2","bogus1")
      • [trace] succ @ Block.[]..Assign("bogus2","bogus1")
      • [trace] down-decorator0_2_1 @ Block.[]..Assign("bogus2","bogus1")
      • [trace] succ-enclosing @ Block.[]..Assign("bogus2","bogus1")
      • [trace] map-decorator0_2_1 @ ?.[Assign]
      • [trace] circular-decorator0_2_2 @ Block.[]..Assign("x","value")
      • [trace] plain-decorator0_2_1 @ Block.[]..Assign("x","value")
      • [trace] live-before @ Block.[]..Assign("x","value")
      • [trace] uses @ Block.[]..Assign("x","value")
      • [trace] circular-decorator0_2_2 @ Block.[]..Assign("x","value")
      • [trace] plain-decorator0_2_1 @ Block.[]..Assign("x","value")
      • [trace] live-after @ Block.[]..Assign("x","value")
      • [trace] succ @ Block.[]..Assign("x","value")
      • [trace] down-decorator0_2_1 @ Block.[]..Assign("x","value")
      • [trace] succ-enclosing @ Block.[]..Assign("x","value")
      • [trace] map-decorator0_2_1 @ ?.[While]
      • [trace] circular-decorator0_2_2 @ Block.[]..While("x",Block)
      • [trace] plain-decorator0_2_1 @ Block.[]..While("x",Block)
      • [trace] live-before @ Block.[]..While("x",Block)
      • [trace] uses @ Block.[]..While("x",Block)
      • [trace] circular-decorator0_2_2 @ Block.[]..While("x",Block)
      • [trace] plain-decorator0_2_1 @ Block.[]..While("x",Block)
      • [trace] live-after @ Block.[]..While("x",Block)
      • [trace] succ @ Block.[]..While("x",Block)
      • [trace] down-decorator0_2_1 @ Block.[]..While.Block([..])
      • [trace] succ-enclosing @ Block.[]..While.Block([..])
      • [trace] map-decorator0_2_1 @ ?.[Block,While]
      • [trace] circular-decorator0_2_2 @ Block.[]..While.Block([..])
      • [trace] plain-decorator0_2_1 @ Block.[]..While.Block([..])
      • [trace] live-before @ Block.[]..While.Block([..])
      • [trace] uses @ Block.[]..While.Block([..])
      • [trace] circular-decorator0_2_2 @ Block.[]..While.Block([..])
      • [trace] plain-decorator0_2_1 @ Block.[]..While.Block([..])
      • [trace] live-after @ Block.[]..While.Block([..])
      • [trace] succ @ Block.[]..While.Block([..])
      • [trace] map-decorator0_2_1 @ ?.[Assign]
      • [trace] circular-decorator0_2_2 @ Block.[]..While.Block.[].Assign("x","bogus3")
      • [trace] plain-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x","bogus3")
      • [trace] live-before @ Block.[]..While.Block.[].Assign("x","bogus3")
      • [trace] uses @ Block.[]..While.Block.[].Assign("x","bogus3")
      • [trace] circular-decorator0_2_2 @ Block.[]..While.Block.[].Assign("x","bogus3")
      • [trace] plain-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x","bogus3")
      • [trace] live-after @ Block.[]..While.Block.[].Assign("x","bogus3")
      • [trace] succ @ Block.[]..While.Block.[].Assign("x","bogus3")
      • [trace] down-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x","bogus3")
      • [trace] succ-enclosing @ Block.[]..While.Block.[].Assign("x","bogus3")
      • [trace] map-decorator0_2_1 @ ?.[Assign]
      • [trace] circular-decorator0_2_2 @ Block.[]..While.Block.[]..Assign("x","value")
      • [trace] plain-decorator0_2_1 @ Block.[]..While.Block.[]..Assign("x","value")
      • [trace] live-before @ Block.[]..While.Block.[]..Assign("x","value")
      • [trace] uses @ Block.[]..While.Block.[]..Assign("x","value")
      • [trace] circular-decorator0_2_2 @ Block.[]..While.Block.[]..Assign("x","value")
      • [trace] plain-decorator0_2_1 @ Block.[]..While.Block.[]..Assign("x","value")
      • [trace] live-after @ Block.[]..While.Block.[]..Assign("x","value")
      • [trace] succ @ Block.[]..While.Block.[]..Assign("x","value")
      • [trace] down-decorator0_2_1 @ Block.[]..While.Block.[]..Assign("x","value")
      • [trace] succ-enclosing @ Block.[]..While.Block.[]..Assign("x","value")
      • [trace] succ-enclosing @ Block.[]..While.Block.[]..Assign("x","value") (failed)
      • [trace] down-decorator0_2_1 @ Block.[]..While.Block.[].[Assign]
      • [trace] succ-enclosing @ Block.[]..While.Block.[].[Assign]
      • [trace] succ-enclosing @ Block.[]..While.Block.[]..Assign("x","value") (failed)
      • [trace] down-decorator0_2_1 @ Block.[]..While.Block.[Assign,Assign]
      • [trace] succ-enclosing @ Block.[]..While.Block.[Assign,Assign]
      • [trace] succ-enclosing @ Block.[]..While.Block.[]..Assign("x","value") (failed)
      • [trace] map-decorator0_2_1 @ ?.[While]
      • [trace] circular-decorator0_2_2 @ Block.[]..While("x",Block)
      • [trace] defines @ Block.[]..While.Block.[]..Assign("x","value")
      • [trace] defines @ Block.[]..While.Block.[].Assign("x","bogus3")
      • [trace] defines @ Block.[]..While.Block([..])
      • [trace] circular-decorator0_2_2 @ Block.[]..While("x",Block)
      • [trace] defines @ Block.[]..While("x",Block)
      • [trace] defines @ Block.[]..Assign("x","value")
      • [trace] defines @ Block.[]..Assign("bogus2","bogus1")
      • [trace] defines @ Block.[].Assign("bogus1","value")
      • [trace] defines @ Block([..])
      • [trace] plain-decorator0_2_1 @ Block([..])
      • [trace] circular-decorator0_2_2 @ Block.[].Assign("bogus1","value")
      • [trace] plain-decorator0_2_1 @ Block.[].Assign("bogus1","value")
      • [trace] live-before @ Block.[].Assign("bogus1","value")
      • [trace] circular-decorator0_2_2 @ Block.[].Assign("bogus1","value")
      • [trace] plain-decorator0_2_1 @ Block.[].Assign("bogus1","value")
      • [trace] live-after @ Block.[].Assign("bogus1","value")
      • [trace] map-decorator0_2_1 @ ?.[Assign]
      • [trace] circular-decorator0_2_2 @ Block.[]..Assign("bogus2","bogus1")
      • [trace] plain-decorator0_2_1 @ Block.[]..Assign("bogus2","bogus1")
      • [trace] live-before @ Block.[]..Assign("bogus2","bogus1")
      • [trace] circular-decorator0_2_2 @ Block.[]..Assign("bogus2","bogus1")
      • [trace] plain-decorator0_2_1 @ Block.[]..Assign("bogus2","bogus1")
      • [trace] live-after @ Block.[]..Assign("bogus2","bogus1")
      • [trace] map-decorator0_2_1 @ ?.[Assign]
      • [trace] circular-decorator0_2_2 @ Block.[]..Assign("x","value")
      • [trace] plain-decorator0_2_1 @ Block.[]..Assign("x","value")
      • [trace] live-before @ Block.[]..Assign("x","value")
      • [trace] circular-decorator0_2_2 @ Block.[]..Assign("x","value")
      • [trace] plain-decorator0_2_1 @ Block.[]..Assign("x","value")
      • [trace] live-after @ Block.[]..Assign("x","value")
      • [trace] map-decorator0_2_1 @ ?.[While]
      • [trace] circular-decorator0_2_2 @ Block.[]..While("x",Block)
      • [trace] plain-decorator0_2_1 @ Block.[]..While("x",Block)
      • [trace] live-before @ Block.[]..While("x",Block)
      • [trace] circular-decorator0_2_2 @ Block.[]..While("x",Block)
      • [trace] plain-decorator0_2_1 @ Block.[]..While("x",Block)
      • [trace] live-after @ Block.[]..While("x",Block)
      • [trace] map-decorator0_2_1 @ ?.[Block,While]
      • [trace] circular-decorator0_2_2 @ Block.[]..While.Block([..])
      • [trace] plain-decorator0_2_1 @ Block.[]..While.Block([..])
      • [trace] live-before @ Block.[]..While.Block([..])
      • [trace] circular-decorator0_2_2 @ Block.[]..While.Block([..])
      • [trace] plain-decorator0_2_1 @ Block.[]..While.Block([..])
      • [trace] live-after @ Block.[]..While.Block([..])
      • [trace] map-decorator0_2_1 @ ?.[Assign]
      • [trace] circular-decorator0_2_2 @ Block.[]..While.Block.[].Assign("x","bogus3")
      • [trace] plain-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x","bogus3")
      • [trace] live-before @ Block.[]..While.Block.[].Assign("x","bogus3")
      • [trace] circular-decorator0_2_2 @ Block.[]..While.Block.[].Assign("x","bogus3")
      • [trace] plain-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x","bogus3")
      • [trace] live-after @ Block.[]..While.Block.[].Assign("x","bogus3")
      • [trace] map-decorator0_2_1 @ ?.[Assign]
      • [trace] circular-decorator0_2_2 @ Block.[]..While.Block.[]..Assign("x","value")
      • [trace] plain-decorator0_2_1 @ Block.[]..While.Block.[]..Assign("x","value")
      • [trace] live-before @ Block.[]..While.Block.[]..Assign("x","value")
      • [trace] circular-decorator0_2_2 @ Block.[]..While.Block.[]..Assign("x","value")
      • [trace] plain-decorator0_2_1 @ Block.[]..While.Block.[]..Assign("x","value")
      • [trace] live-after @ Block.[]..While.Block.[]..Assign("x","value")
      • [trace] map-decorator0_2_1 @ ?.[While]
      • [trace] circular-decorator0_2_2 @ Block.[]..While("x",Block)
      • [trace] circular-decorator0_2_2 @ Block.[]..While("x",Block)
      • [trace] plain-decorator0_2_1 @ Block.[].Assign("bogus1","value")
      • [trace] circular-decorator0_2_2 @ Block.[]..Assign("bogus2","bogus1")
      • [trace] plain-decorator0_2_1 @ Block.[]..Assign("bogus2","bogus1")
      • [trace] live-before @ Block.[]..Assign("bogus2","bogus1")
      • [trace] circular-decorator0_2_2 @ Block.[]..Assign("bogus2","bogus1")
      • [trace] plain-decorator0_2_1 @ Block.[]..Assign("bogus2","bogus1")
      • [trace] live-after @ Block.[]..Assign("bogus2","bogus1")
      • [trace] map-decorator0_2_1 @ ?.[Assign]
      • [trace] circular-decorator0_2_2 @ Block.[]..Assign("x","value")
      • [trace] plain-decorator0_2_1 @ Block.[]..Assign("x","value")
      • [trace] live-before @ Block.[]..Assign("x","value")
      • [trace] circular-decorator0_2_2 @ Block.[]..Assign("x","value")
      • [trace] plain-decorator0_2_1 @ Block.[]..Assign("x","value")
      • [trace] live-after @ Block.[]..Assign("x","value")
      • [trace] map-decorator0_2_1 @ ?.[While]
      • [trace] circular-decorator0_2_2 @ Block.[]..While("x",Block)
      • [trace] plain-decorator0_2_1 @ Block.[]..While("x",Block)
      • [trace] live-before @ Block.[]..While("x",Block)
      • [trace] circular-decorator0_2_2 @ Block.[]..While("x",Block)
      • [trace] plain-decorator0_2_1 @ Block.[]..While("x",Block)
      • [trace] live-after @ Block.[]..While("x",Block)
      • [trace] map-decorator0_2_1 @ ?.[Block,While]
      • [trace] circular-decorator0_2_2 @ Block.[]..While.Block([..])
      • [trace] plain-decorator0_2_1 @ Block.[]..While.Block([..])
      • [trace] live-before @ Block.[]..While.Block([..])
      • [trace] circular-decorator0_2_2 @ Block.[]..While.Block([..])
      • [trace] plain-decorator0_2_1 @ Block.[]..While.Block([..])
      • [trace] live-after @ Block.[]..While.Block([..])
      • [trace] map-decorator0_2_1 @ ?.[Assign]
      • [trace] circular-decorator0_2_2 @ Block.[]..While.Block.[].Assign("x","bogus3")
      • [trace] plain-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x","bogus3")
      • [trace] live-before @ Block.[]..While.Block.[].Assign("x","bogus3")
      • [trace] circular-decorator0_2_2 @ Block.[]..While.Block.[].Assign("x","bogus3")
      • [trace] plain-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x","bogus3")
      • [trace] live-after @ Block.[]..While.Block.[].Assign("x","bogus3")
      • [trace] map-decorator0_2_1 @ ?.[Assign]
      • [trace] circular-decorator0_2_2 @ Block.[]..While.Block.[]..Assign("x","value")
      • [trace] plain-decorator0_2_1 @ Block.[]..While.Block.[]..Assign("x","value")
      • [trace] live-before @ Block.[]..While.Block.[]..Assign("x","value")
      • [trace] circular-decorator0_2_2 @ Block.[]..While.Block.[]..Assign("x","value")
      • [trace] plain-decorator0_2_1 @ Block.[]..While.Block.[]..Assign("x","value")
      • [trace] live-after @ Block.[]..While.Block.[]..Assign("x","value")
      • [trace] map-decorator0_2_1 @ ?.[While]
      • [trace] circular-decorator0_2_2 @ Block.[]..While("x",Block)
      • [trace] circular-decorator0_2_2 @ Block.[]..While("x",Block)
      • [trace] circular-decorator0_2_2 @ Block.[]..Assign("x","value")
      • [trace] circular-decorator0_2_2 @ Block.[]..While("x",Block)
      • [trace] circular-decorator0_2_2 @ Block.[]..While.Block([..])
      • [trace] circular-decorator0_2_2 @ Block.[]..While.Block.[].Assign("x","bogus3")
      • [trace] circular-decorator0_2_2 @ Block.[]..While.Block.[]..Assign("x","value")
      • [trace] circular-decorator0_2_2 @ Block.[]..Return("x")
      • [trace] plain-decorator0_2_1 @ Block.[]..Return("x")
      • [trace] live-before @ Block.[]..Return("x")
      • [trace] uses @ Block.[]..Return("x")
      • [trace] circular-decorator0_2_2 @ Block.[]..Return("x")
      • [trace] plain-decorator0_2_1 @ Block.[]..Return("x")
      • [trace] live-after @ Block.[]..Return("x")
      • [trace] succ @ Block.[]..Return("x")
      • [trace] map-decorator0_2_1 @ ?.[]
      • [trace] defines @ Block.[]..Return("x")
      • [trace] plain-decorator0_2_1 @ Block.[]..Return("x")
      • live-before: Block([Assign("bogus1","value"){"bogus3","value"},Assign("bogus2","bogus1"){"bogus1","bogus3","value"},Assign("x","value"){"bogus3","value"},While("x",Block([Assign("x","bogus3"){"bogus3","value"},Assign("x","value"){"bogus3","value"}]){"bogus3","value"}){"x","bogus3","value"},Return("x"){"x"}]){"bogus3","value"}
      • live-before matches
      • [trace] circular-decorator0_2_2 @ Block([..])
      • [trace] plain-decorator0_2_1 @ Block([..])
      • [trace] live-after @ Block([..])
      • [trace] map-decorator0_2_1 @ ?.[Assign]
      • [trace] circular-decorator0_2_2 @ Block.[].Assign("bogus1","value")
      • [trace] circular-decorator0_2_2 @ Block.[].Assign("bogus1","value")
      • [trace] plain-decorator0_2_1 @ Block.[].Assign("bogus1","value")
      • [trace] live-after @ Block.[].Assign("bogus1","value")
      • [trace] map-decorator0_2_1 @ ?.[Assign]
      • [trace] circular-decorator0_2_2 @ Block.[]..Assign("bogus2","bogus1")
      • [trace] circular-decorator0_2_2 @ Block.[]..Assign("bogus2","bogus1")
      • [trace] circular-decorator0_2_2 @ Block.[]..Assign("x","value")
      • [trace] circular-decorator0_2_2 @ Block.[]..While("x",Block)
      • [trace] circular-decorator0_2_2 @ Block.[]..While.Block([..])
      • [trace] circular-decorator0_2_2 @ Block.[]..While.Block.[].Assign("x","bogus3")
      • [trace] circular-decorator0_2_2 @ Block.[]..While.Block.[]..Assign("x","value")
      • [trace] circular-decorator0_2_2 @ Block.[]..Return("x")
      • [trace] plain-decorator0_2_1 @ Block.[]..Return("x")
      • [trace] live-after @ Block.[]..Return("x")
      • [trace] map-decorator0_2_1 @ ?.[]
      • live-after: Block([Assign("bogus1","value"){"bogus1","bogus3","value"},Assign("bogus2","bogus1"){"bogus3","value"},Assign("x","value"){"x","bogus3","value"},While("x",Block([Assign("x","bogus3"){"bogus3","value"},Assign("x","value"){"x","bogus3","value"}]){"bogus3","value"}){"x","bogus3","value"},Return("x")]){"bogus3","value"}
      • live-after matches
    • building circular-propconst.run
      • ==== circular-propconst ====
      • [trace] down-decorator0_2_1 @ Block([..])
      • [trace] apply-to-stm-decorator0_2_1 @ Block([..])
      • [trace] circular-decorator0_2_2 @ Block([..])
      • [trace] plain-decorator0_2_1 @ Block([..])
      • [trace] constant-after @ Block([..])
      • [trace] down-decorator0_2_1 @ Block([..])
      • [trace] apply-to-stm-decorator0_2_1 @ Block([..])
      • [trace] circular-decorator0_2_2 @ Block([..])
      • [trace] plain-decorator0_2_1 @ Block([..])
      • [trace] constant-before @ Block([..])
      • [trace] contributes-to-decorator0_3_1 @ Block([..])
      • [trace] contributes-to-decorator0_4_1 @ Block([..])
      • [trace] down-decorator0_2_1 @ Block([..])
      • [trace] root @ Block([..])
      • [trace] apply-to-stm-decorator0_2_1 @ Block([..])
      • [trace] succ @ Block([..])
      • [trace] apply-to-stm-decorator0_2_1 @ Block.[Assign,Assign,Assign,..]
      • [trace] apply-to-stm-decorator0_2_1 @ Block.[].Assign("x",Int)
      • [trace] succ @ Block.[].Assign("x",Int)
      • [trace] down-decorator0_2_1 @ Block.[].Assign("x",Int)
      • [trace] succ-enclosing @ Block.[].Assign("x",Int)
      • [trace] apply-to-stm-decorator0_2_1 @ Block.[].Assign."x"
      • [trace] apply-to-stm-decorator0_2_1 @ Block.[].Assign.Int(1)
      • [trace] apply-to-stm-decorator0_2_1 @ Block.[].Assign.Int.1
      • [trace] apply-to-stm-decorator0_2_1 @ Block.[].[Assign,Assign,While,_]
      • [trace] apply-to-stm-decorator0_2_1 @ Block.[]..Assign("y",Int)
      • [trace] succ @ Block.[]..Assign("y",Int)
      • [trace] down-decorator0_2_1 @ Block.[]..Assign("y",Int)
      • [trace] succ-enclosing @ Block.[]..Assign("y",Int)
      • [trace] apply-to-stm-decorator0_2_1 @ Block.[]..Assign."y"
      • [trace] apply-to-stm-decorator0_2_1 @ Block.[]..Assign.Int(2)
      • [trace] apply-to-stm-decorator0_2_1 @ Block.[]..Assign.Int.2
      • [trace] apply-to-stm-decorator0_2_1 @ Block.[]..[Assign,While,Return]
      • [trace] apply-to-stm-decorator0_2_1 @ Block.[]..Assign("x",Int)
      • [trace] succ @ Block.[]..Assign("x",Int)
      • [trace] down-decorator0_2_1 @ Block.[]..Assign("x",Int)
      • [trace] succ-enclosing @ Block.[]..Assign("x",Int)
      • [trace] apply-to-stm-decorator0_2_1 @ Block.[]..Assign."x"
      • [trace] apply-to-stm-decorator0_2_1 @ Block.[]..Assign.Int(3)
      • [trace] apply-to-stm-decorator0_2_1 @ Block.[]..Assign.Int.3
      • [trace] apply-to-stm-decorator0_2_1 @ Block.[]..[While,Return]
      • [trace] apply-to-stm-decorator0_2_1 @ Block.[]..While("cond",Block)
      • [trace] succ @ Block.[]..While("cond",Block)
      • [trace] down-decorator0_2_1 @ Block.[]..While.Block([..])
      • [trace] succ-enclosing @ Block.[]..While.Block([..])
      • [trace] apply-to-stm-decorator0_2_1 @ Block.[]..While."cond"
      • [trace] apply-to-stm-decorator0_2_1 @ Block.[]..While.Block([..])
      • [trace] succ @ Block.[]..While.Block([..])
      • [trace] apply-to-stm-decorator0_2_1 @ Block.[]..While.Block.[Assign,Assign]
      • [trace] apply-to-stm-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x",Var)
      • [trace] succ @ Block.[]..While.Block.[].Assign("x",Var)
      • [trace] down-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x",Var)
      • [trace] succ-enclosing @ Block.[]..While.Block.[].Assign("x",Var)
      • [trace] apply-to-stm-decorator0_2_1 @ Block.[]..While.Block.[].Assign."x"
      • [trace] apply-to-stm-decorator0_2_1 @ Block.[]..While.Block.[].Assign.Var("y")
      • [trace] apply-to-stm-decorator0_2_1 @ Block.[]..While.Block.[].Assign.Var."y"
      • [trace] apply-to-stm-decorator0_2_1 @ Block.[]..While.Block.[].[Assign]
      • [trace] apply-to-stm-decorator0_2_1 @ Block.[]..While.Block.[]..Assign("x",Var)
      • [trace] succ @ Block.[]..While.Block.[]..Assign("x",Var)
      • [trace] down-decorator0_2_1 @ Block.[]..While.Block.[]..Assign("x",Var)
      • [trace] succ-enclosing @ Block.[]..While.Block.[]..Assign("x",Var)
      • [trace] succ-enclosing @ Block.[]..While.Block.[]..Assign("x",Var) (failed)
      • [trace] down-decorator0_2_1 @ Block.[]..While.Block.[].[Assign]
      • [trace] succ-enclosing @ Block.[]..While.Block.[].[Assign]
      • [trace] succ-enclosing @ Block.[]..While.Block.[]..Assign("x",Var) (failed)
      • [trace] down-decorator0_2_1 @ Block.[]..While.Block.[Assign,Assign]
      • [trace] succ-enclosing @ Block.[]..While.Block.[Assign,Assign]
      • [trace] succ-enclosing @ Block.[]..While.Block.[]..Assign("x",Var) (failed)
      • [trace] apply-to-stm-decorator0_2_1 @ Block.[]..While.Block.[]..Assign."x"
      • [trace] apply-to-stm-decorator0_2_1 @ Block.[]..While.Block.[]..Assign.Var("x")
      • [trace] apply-to-stm-decorator0_2_1 @ Block.[]..While.Block.[]..Assign.Var."x"
      • [trace] apply-to-stm-decorator0_2_1 @ Block.[]..While.Block.[]..[]
      • [trace] apply-to-stm-decorator0_2_1 @ Block.[]..[Return]
      • [trace] apply-to-stm-decorator0_2_1 @ Block.[]..Return("x")
      • [trace] succ @ Block.[]..Return("x")
      • [trace] apply-to-stm-decorator0_2_1 @ Block.[]..Return."x"
      • [trace] apply-to-stm-decorator0_2_1 @ Block.[]..[]
      • [trace] constant-genset @ Block([..])
      • [trace] constant-genset @ Block([..]) (failed)
      • [trace] constant-killset @ Block([..])
      • [trace] constant-killset @ Block([..]) (failed)
      • [trace] down-decorator0_2_1 @ Block.[Assign,Assign,Assign,..]
      • [trace] apply-to-stm-decorator0_2_1 @ Block.[Assign,Assign,Assign,..]
      • [trace] down-decorator0_2_1 @ Block([..])
      • [trace] apply-to-stm-decorator0_2_1 @ Block([..])
      • [trace] circular-decorator0_2_2 @ Block([..])
      • [trace] down-decorator0_2_1 @ Block.[].Assign("x",Int)
      • [trace] apply-to-stm-decorator0_2_1 @ Block.[].Assign("x",Int)
      • [trace] circular-decorator0_2_2 @ Block.[].Assign("x",Int)
      • [trace] plain-decorator0_2_1 @ Block.[].Assign("x",Int)
      • [trace] constant-after @ Block.[].Assign("x",Int)
      • [trace] down-decorator0_2_1 @ Block.[].Assign("x",Int)
      • [trace] apply-to-stm-decorator0_2_1 @ Block.[].Assign("x",Int)
      • [trace] circular-decorator0_2_2 @ Block.[].Assign("x",Int)
      • [trace] plain-decorator0_2_1 @ Block.[].Assign("x",Int)
      • [trace] constant-before @ Block.[].Assign("x",Int)
      • [trace] contributes-to-decorator0_3_1 @ Block.[].Assign("x",Int)
      • [trace] contributes-to-decorator0_4_1 @ Block.[].Assign("x",Int)
      • [trace] pred @ Block([..])
      • [trace] down-decorator0_2_1 @ Block([..])
      • [trace] apply-to-stm-decorator0_2_1 @ Block([..])
      • [trace] circular-decorator0_2_2 @ Block([..])
      • [trace] constant-genset @ Block.[].Assign("x",Int)
      • [trace] constant-value @ Block.[].Assign.Int(1)
      • [trace] table-union @ ?.([_],[])
      • [trace] constant-killset @ Block.[].Assign("x",Int)
      • [trace] constant-killset @ Block.[].Assign("x",Int) (failed)
      • [trace] plain-decorator0_2_1 @ Block.[].Assign("x",Int)
      • [trace] down-decorator0_2_1 @ Block.[].Assign."x"
      • [trace] apply-to-stm-decorator0_2_1 @ Block.[].Assign."x"
      • [trace] down-decorator0_2_1 @ Block.[].Assign("x",Int)
      • [trace] apply-to-stm-decorator0_2_1 @ Block.[].Assign("x",Int)
      • [trace] circular-decorator0_2_2 @ Block.[].Assign("x",Int)
      • [trace] down-decorator0_2_1 @ Block.[].Assign.Int(1)
      • [trace] apply-to-stm-decorator0_2_1 @ Block.[].Assign.Int(1)
      • [trace] down-decorator0_2_1 @ Block.[].Assign("x",Int)
      • [trace] apply-to-stm-decorator0_2_1 @ Block.[].Assign("x",Int)
      • [trace] circular-decorator0_2_2 @ Block.[].Assign("x",Int)
      • [trace] down-decorator0_2_1 @ Block.[].Assign.Int.1
      • [trace] apply-to-stm-decorator0_2_1 @ Block.[].Assign.Int.1
      • [trace] down-decorator0_2_1 @ Block.[].Assign.Int(1)
      • [trace] apply-to-stm-decorator0_2_1 @ Block.[].Assign.Int(1)
      • [trace] down-decorator0_2_1 @ Block.[].Assign("x",Int)
      • [trace] apply-to-stm-decorator0_2_1 @ Block.[].Assign("x",Int)
      • [trace] circular-decorator0_2_2 @ Block.[].Assign("x",Int)
      • [trace] down-decorator0_2_1 @ Block.[]..Assign("y",Int)
      • [trace] apply-to-stm-decorator0_2_1 @ Block.[]..Assign("y",Int)
      • [trace] circular-decorator0_2_2 @ Block.[]..Assign("y",Int)
      • [trace] plain-decorator0_2_1 @ Block.[]..Assign("y",Int)
      • [trace] constant-after @ Block.[]..Assign("y",Int)
      • [trace] down-decorator0_2_1 @ Block.[]..Assign("y",Int)
      • [trace] apply-to-stm-decorator0_2_1 @ Block.[]..Assign("y",Int)
      • [trace] circular-decorator0_2_2 @ Block.[]..Assign("y",Int)
      • [trace] plain-decorator0_2_1 @ Block.[]..Assign("y",Int)
      • [trace] constant-before @ Block.[]..Assign("y",Int)
      • [trace] contributes-to-decorator0_3_1 @ Block.[]..Assign("y",Int)
      • [trace] contributes-to-decorator0_4_1 @ Block.[]..Assign("y",Int)
      • [trace] pred @ Block.[].Assign("x",Int)
      • [trace] down-decorator0_2_1 @ Block.[].Assign("x",Int)
      • [trace] apply-to-stm-decorator0_2_1 @ Block.[].Assign("x",Int)
      • [trace] circular-decorator0_2_2 @ Block.[].Assign("x",Int)
      • [trace] constant-genset @ Block.[]..Assign("y",Int)
      • [trace] constant-value @ Block.[]..Assign.Int(2)
      • [trace] table-union @ ?.([_],[_])
      • [trace] constant-killset @ Block.[]..Assign("y",Int)
      • [trace] constant-killset @ Block.[]..Assign("y",Int) (failed)
      • [trace] plain-decorator0_2_1 @ Block.[]..Assign("y",Int)
      • [trace] down-decorator0_2_1 @ Block.[]..Assign."y"
      • [trace] apply-to-stm-decorator0_2_1 @ Block.[]..Assign."y"
      • [trace] down-decorator0_2_1 @ Block.[]..Assign("y",Int)
      • [trace] apply-to-stm-decorator0_2_1 @ Block.[]..Assign("y",Int)
      • [trace] circular-decorator0_2_2 @ Block.[]..Assign("y",Int)
      • [trace] down-decorator0_2_1 @ Block.[]..Assign.Int(2)
      • [trace] apply-to-stm-decorator0_2_1 @ Block.[]..Assign.Int(2)
      • [trace] down-decorator0_2_1 @ Block.[]..Assign("y",Int)
      • [trace] apply-to-stm-decorator0_2_1 @ Block.[]..Assign("y",Int)
      • [trace] circular-decorator0_2_2 @ Block.[]..Assign("y",Int)
      • [trace] down-decorator0_2_1 @ Block.[]..Assign.Int.2
      • [trace] apply-to-stm-decorator0_2_1 @ Block.[]..Assign.Int.2
      • [trace] down-decorator0_2_1 @ Block.[]..Assign.Int(2)
      • [trace] apply-to-stm-decorator0_2_1 @ Block.[]..Assign.Int(2)
      • [trace] down-decorator0_2_1 @ Block.[]..Assign("y",Int)
      • [trace] apply-to-stm-decorator0_2_1 @ Block.[]..Assign("y",Int)
      • [trace] circular-decorator0_2_2 @ Block.[]..Assign("y",Int)
      • [trace] down-decorator0_2_1 @ Block.[]..Assign("x",Int)
      • [trace] apply-to-stm-decorator0_2_1 @ Block.[]..Assign("x",Int)
      • [trace] circular-decorator0_2_2 @ Block.[]..Assign("x",Int)
      • [trace] plain-decorator0_2_1 @ Block.[]..Assign("x",Int)
      • [trace] constant-after @ Block.[]..Assign("x",Int)
      • [trace] down-decorator0_2_1 @ Block.[]..Assign("x",Int)
      • [trace] apply-to-stm-decorator0_2_1 @ Block.[]..Assign("x",Int)
      • [trace] circular-decorator0_2_2 @ Block.[]..Assign("x",Int)
      • [trace] plain-decorator0_2_1 @ Block.[]..Assign("x",Int)
      • [trace] constant-before @ Block.[]..Assign("x",Int)
      • [trace] contributes-to-decorator0_3_1 @ Block.[]..Assign("x",Int)
      • [trace] contributes-to-decorator0_4_1 @ Block.[]..Assign("x",Int)
      • [trace] pred @ Block.[]..Assign("y",Int)
      • [trace] down-decorator0_2_1 @ Block.[]..Assign("y",Int)
      • [trace] apply-to-stm-decorator0_2_1 @ Block.[]..Assign("y",Int)
      • [trace] circular-decorator0_2_2 @ Block.[]..Assign("y",Int)
      • [trace] constant-genset @ Block.[]..Assign("x",Int)
      • [trace] constant-value @ Block.[]..Assign.Int(3)
      • [trace] table-union @ ?.([_],[..])
      • [trace] constant-killset @ Block.[]..Assign("x",Int)
      • [trace] constant-killset @ Block.[]..Assign("x",Int) (failed)
      • [trace] plain-decorator0_2_1 @ Block.[]..Assign("x",Int)
      • [trace] down-decorator0_2_1 @ Block.[]..Assign."x"
      • [trace] apply-to-stm-decorator0_2_1 @ Block.[]..Assign."x"
      • [trace] down-decorator0_2_1 @ Block.[]..Assign("x",Int)
      • [trace] apply-to-stm-decorator0_2_1 @ Block.[]..Assign("x",Int)
      • [trace] circular-decorator0_2_2 @ Block.[]..Assign("x",Int)
      • [trace] down-decorator0_2_1 @ Block.[]..Assign.Int(3)
      • [trace] apply-to-stm-decorator0_2_1 @ Block.[]..Assign.Int(3)
      • [trace] down-decorator0_2_1 @ Block.[]..Assign("x",Int)
      • [trace] apply-to-stm-decorator0_2_1 @ Block.[]..Assign("x",Int)
      • [trace] circular-decorator0_2_2 @ Block.[]..Assign("x",Int)
      • [trace] down-decorator0_2_1 @ Block.[]..Assign.Int.3
      • [trace] apply-to-stm-decorator0_2_1 @ Block.[]..Assign.Int.3
      • [trace] down-decorator0_2_1 @ Block.[]..Assign.Int(3)
      • [trace] apply-to-stm-decorator0_2_1 @ Block.[]..Assign.Int(3)
      • [trace] down-decorator0_2_1 @ Block.[]..Assign("x",Int)
      • [trace] apply-to-stm-decorator0_2_1 @ Block.[]..Assign("x",Int)
      • [trace] circular-decorator0_2_2 @ Block.[]..Assign("x",Int)
      • [trace] down-decorator0_2_1 @ Block.[]..While("cond",Block)
      • [trace] apply-to-stm-decorator0_2_1 @ Block.[]..While("cond",Block)
      • [trace] circular-decorator0_2_2 @ Block.[]..While("cond",Block)
      • [trace] plain-decorator0_2_1 @ Block.[]..While("cond",Block)
      • [trace] constant-after @ Block.[]..While("cond",Block)
      • [trace] down-decorator0_2_1 @ Block.[]..While("cond",Block)
      • [trace] apply-to-stm-decorator0_2_1 @ Block.[]..While("cond",Block)
      • [trace] circular-decorator0_2_2 @ Block.[]..While("cond",Block)
      • [trace] plain-decorator0_2_1 @ Block.[]..While("cond",Block)
      • [trace] constant-before @ Block.[]..While("cond",Block)
      • [trace] contributes-to-decorator0_3_1 @ Block.[]..While("cond",Block)
      • [trace] contributes-to-decorator0_4_1 @ Block.[]..While("cond",Block)
      • [trace] pred @ Block.[]..Assign("x",Int)
      • [trace] down-decorator0_2_1 @ Block.[]..Assign("x",Int)
      • [trace] apply-to-stm-decorator0_2_1 @ Block.[]..Assign("x",Int)
      • [trace] circular-decorator0_2_2 @ Block.[]..Assign("x",Int)
      • [trace] constant-genset @ Block.[]..While("cond",Block)
      • [trace] constant-genset @ Block.[]..While("cond",Block) (failed)
      • [trace] constant-killset @ Block.[]..While("cond",Block)
      • [trace] constant-killset @ Block.[]..While("cond",Block) (failed)
      • [trace] plain-decorator0_2_1 @ Block.[]..While("cond",Block)
      • [trace] down-decorator0_2_1 @ Block.[]..While."cond"
      • [trace] apply-to-stm-decorator0_2_1 @ Block.[]..While."cond"
      • [trace] down-decorator0_2_1 @ Block.[]..While("cond",Block)
      • [trace] apply-to-stm-decorator0_2_1 @ Block.[]..While("cond",Block)
      • [trace] circular-decorator0_2_2 @ Block.[]..While("cond",Block)
      • [trace] down-decorator0_2_1 @ Block.[]..While.Block([..])
      • [trace] apply-to-stm-decorator0_2_1 @ Block.[]..While.Block([..])
      • [trace] circular-decorator0_2_2 @ Block.[]..While.Block([..])
      • [trace] plain-decorator0_2_1 @ Block.[]..While.Block([..])
      • [trace] constant-after @ Block.[]..While.Block([..])
      • [trace] down-decorator0_2_1 @ Block.[]..While.Block([..])
      • [trace] apply-to-stm-decorator0_2_1 @ Block.[]..While.Block([..])
      • [trace] circular-decorator0_2_2 @ Block.[]..While.Block([..])
      • [trace] plain-decorator0_2_1 @ Block.[]..While.Block([..])
      • [trace] constant-before @ Block.[]..While.Block([..])
      • [trace] contributes-to-decorator0_3_1 @ Block.[]..While.Block([..])
      • [trace] contributes-to-decorator0_4_1 @ Block.[]..While.Block([..])
      • [trace] pred @ Block.[]..While.Block.[]..Assign("x",Var)
      • [trace] pred @ Block.[]..While("cond",Block)
      • [trace] pred @ Block.[]..While("cond",Block)
      • [trace] down-decorator0_2_1 @ Block.[]..While.Block.[]..Assign("x",Var)
      • [trace] apply-to-stm-decorator0_2_1 @ Block.[]..While.Block.[]..Assign("x",Var)
      • [trace] circular-decorator0_2_2 @ Block.[]..While.Block.[]..Assign("x",Var)
      • [trace] plain-decorator0_2_1 @ Block.[]..While.Block.[]..Assign("x",Var)
      • [trace] constant-after @ Block.[]..While.Block.[]..Assign("x",Var)
      • [trace] down-decorator0_2_1 @ Block.[]..While.Block.[]..Assign("x",Var)
      • [trace] apply-to-stm-decorator0_2_1 @ Block.[]..While.Block.[]..Assign("x",Var)
      • [trace] circular-decorator0_2_2 @ Block.[]..While.Block.[]..Assign("x",Var)
      • [trace] plain-decorator0_2_1 @ Block.[]..While.Block.[]..Assign("x",Var)
      • [trace] constant-before @ Block.[]..While.Block.[]..Assign("x",Var)
      • [trace] contributes-to-decorator0_3_1 @ Block.[]..While.Block.[]..Assign("x",Var)
      • [trace] contributes-to-decorator0_4_1 @ Block.[]..While.Block.[]..Assign("x",Var)
      • [trace] pred @ Block.[]..While.Block.[].Assign("x",Var)
      • [trace] down-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x",Var)
      • [trace] apply-to-stm-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x",Var)
      • [trace] circular-decorator0_2_2 @ Block.[]..While.Block.[].Assign("x",Var)
      • [trace] plain-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x",Var)
      • [trace] constant-after @ Block.[]..While.Block.[].Assign("x",Var)
      • [trace] down-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x",Var)
      • [trace] apply-to-stm-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x",Var)
      • [trace] circular-decorator0_2_2 @ Block.[]..While.Block.[].Assign("x",Var)
      • [trace] plain-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x",Var)
      • [trace] constant-before @ Block.[]..While.Block.[].Assign("x",Var)
      • [trace] contributes-to-decorator0_3_1 @ Block.[]..While.Block.[].Assign("x",Var)
      • [trace] contributes-to-decorator0_4_1 @ Block.[]..While.Block.[].Assign("x",Var)
      • [trace] pred @ Block.[]..While.Block([..])
      • [trace] down-decorator0_2_1 @ Block.[]..While.Block([..])
      • [trace] apply-to-stm-decorator0_2_1 @ Block.[]..While.Block([..])
      • [trace] circular-decorator0_2_2 @ Block.[]..While.Block([..])
      • [trace] constant-genset @ Block.[]..While.Block.[].Assign("x",Var)
      • [trace] constant-value @ Block.[]..While.Block.[].Assign.Var("y")
      • [trace] down-decorator0_2_1 @ Block.[]..While.Block.[].Assign.Var("y")
      • [trace] apply-to-stm-decorator0_2_1 @ Block.[]..While.Block.[].Assign.Var("y")
      • [trace] down-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x",Var)
      • [trace] apply-to-stm-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x",Var)
      • [trace] circular-decorator0_2_2 @ Block.[]..While.Block.[].Assign("x",Var)
      • [trace] plain-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x",Var)
      • [trace] constant-before @ Block.[]..While.Block.[].Assign("x",Var)
      • [trace] contributes-to-decorator0_3_1 @ Block.[]..While.Block.[].Assign("x",Var)
      • [trace] contributes-to-decorator0_4_1 @ Block.[]..While.Block.[].Assign("x",Var)
      • [trace] pred @ Block.[]..While.Block([..])
      • [trace] down-decorator0_2_1 @ Block.[]..While.Block([..])
      • [trace] apply-to-stm-decorator0_2_1 @ Block.[]..While.Block([..])
      • [trace] circular-decorator0_2_2 @ Block.[]..While.Block([..])
      • [trace] constant-killset @ Block.[]..While.Block.[].Assign("x",Var)
      • [trace] table-diff @ ?.([],[_])
      • [trace] constant-genset @ Block.[]..While.Block.[]..Assign("x",Var)
      • [trace] constant-value @ Block.[]..While.Block.[]..Assign.Var("x")
      • [trace] down-decorator0_2_1 @ Block.[]..While.Block.[]..Assign.Var("x")
      • [trace] apply-to-stm-decorator0_2_1 @ Block.[]..While.Block.[]..Assign.Var("x")
      • [trace] down-decorator0_2_1 @ Block.[]..While.Block.[]..Assign("x",Var)
      • [trace] apply-to-stm-decorator0_2_1 @ Block.[]..While.Block.[]..Assign("x",Var)
      • [trace] circular-decorator0_2_2 @ Block.[]..While.Block.[]..Assign("x",Var)
      • [trace] plain-decorator0_2_1 @ Block.[]..While.Block.[]..Assign("x",Var)
      • [trace] constant-before @ Block.[]..While.Block.[]..Assign("x",Var)
      • [trace] contributes-to-decorator0_3_1 @ Block.[]..While.Block.[]..Assign("x",Var)
      • [trace] contributes-to-decorator0_4_1 @ Block.[]..While.Block.[]..Assign("x",Var)
      • [trace] pred @ Block.[]..While.Block.[].Assign("x",Var)
      • [trace] down-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x",Var)
      • [trace] apply-to-stm-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x",Var)
      • [trace] circular-decorator0_2_2 @ Block.[]..While.Block.[].Assign("x",Var)
      • [trace] plain-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x",Var)
      • [trace] constant-after @ Block.[]..While.Block.[].Assign("x",Var)
      • [trace] down-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x",Var)
      • [trace] apply-to-stm-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x",Var)
      • [trace] circular-decorator0_2_2 @ Block.[]..While.Block.[].Assign("x",Var)
      • [trace] plain-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x",Var)
      • [trace] constant-before @ Block.[]..While.Block.[].Assign("x",Var)
      • [trace] contributes-to-decorator0_3_1 @ Block.[]..While.Block.[].Assign("x",Var)
      • [trace] contributes-to-decorator0_4_1 @ Block.[]..While.Block.[].Assign("x",Var)
      • [trace] pred @ Block.[]..While.Block([..])
      • [trace] down-decorator0_2_1 @ Block.[]..While.Block([..])
      • [trace] apply-to-stm-decorator0_2_1 @ Block.[]..While.Block([..])
      • [trace] circular-decorator0_2_2 @ Block.[]..While.Block([..])
      • [trace] constant-killset @ Block.[]..While.Block.[]..Assign("x",Var)
      • [trace] table-diff @ ?.([],[_])
      • [trace] down-decorator0_2_1 @ Block.[]..While("cond",Block)
      • [trace] apply-to-stm-decorator0_2_1 @ Block.[]..While("cond",Block)
      • [trace] circular-decorator0_2_2 @ Block.[]..While("cond",Block)
      • [trace] down-decorator0_2_1 @ Block.[]..While("cond",Block)
      • [trace] apply-to-stm-decorator0_2_1 @ Block.[]..While("cond",Block)
      • [trace] circular-decorator0_2_2 @ Block.[]..While("cond",Block)
      • [trace] constant-genset @ Block.[]..While.Block([..])
      • [trace] constant-genset @ Block.[]..While.Block([..]) (failed)
      • [trace] constant-killset @ Block.[]..While.Block([..])
      • [trace] constant-killset @ Block.[]..While.Block([..]) (failed)
      • [trace] down-decorator0_2_1 @ Block.[]..While.Block.[Assign,Assign]
      • [trace] apply-to-stm-decorator0_2_1 @ Block.[]..While.Block.[Assign,Assign]
      • [trace] down-decorator0_2_1 @ Block.[]..While.Block([..])
      • [trace] apply-to-stm-decorator0_2_1 @ Block.[]..While.Block([..])
      • [trace] circular-decorator0_2_2 @ Block.[]..While.Block([..])
      • [trace] down-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x",Var)
      • [trace] apply-to-stm-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x",Var)
      • [trace] circular-decorator0_2_2 @ Block.[]..While.Block.[].Assign("x",Var)
      • [trace] down-decorator0_2_1 @ Block.[]..While.Block.[].Assign."x"
      • [trace] apply-to-stm-decorator0_2_1 @ Block.[]..While.Block.[].Assign."x"
      • [trace] down-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x",Var)
      • [trace] apply-to-stm-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x",Var)
      • [trace] circular-decorator0_2_2 @ Block.[]..While.Block.[].Assign("x",Var)
      • [trace] down-decorator0_2_1 @ Block.[]..While.Block.[].Assign.Var("y")
      • [trace] apply-to-stm-decorator0_2_1 @ Block.[]..While.Block.[].Assign.Var("y")
      • [trace] down-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x",Var)
      • [trace] apply-to-stm-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x",Var)
      • [trace] circular-decorator0_2_2 @ Block.[]..While.Block.[].Assign("x",Var)
      • [trace] down-decorator0_2_1 @ Block.[]..While.Block.[].Assign.Var."y"
      • [trace] apply-to-stm-decorator0_2_1 @ Block.[]..While.Block.[].Assign.Var."y"
      • [trace] down-decorator0_2_1 @ Block.[]..While.Block.[].Assign.Var("y")
      • [trace] apply-to-stm-decorator0_2_1 @ Block.[]..While.Block.[].Assign.Var("y")
      • [trace] down-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x",Var)
      • [trace] apply-to-stm-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x",Var)
      • [trace] circular-decorator0_2_2 @ Block.[]..While.Block.[].Assign("x",Var)
      • [trace] down-decorator0_2_1 @ Block.[]..While.Block.[]..Assign("x",Var)
      • [trace] apply-to-stm-decorator0_2_1 @ Block.[]..While.Block.[]..Assign("x",Var)
      • [trace] circular-decorator0_2_2 @ Block.[]..While.Block.[]..Assign("x",Var)
      • [trace] down-decorator0_2_1 @ Block.[]..While.Block.[]..Assign."x"
      • [trace] apply-to-stm-decorator0_2_1 @ Block.[]..While.Block.[]..Assign."x"
      • [trace] down-decorator0_2_1 @ Block.[]..While.Block.[]..Assign("x",Var)
      • [trace] apply-to-stm-decorator0_2_1 @ Block.[]..While.Block.[]..Assign("x",Var)
      • [trace] circular-decorator0_2_2 @ Block.[]..While.Block.[]..Assign("x",Var)
      • [trace] down-decorator0_2_1 @ Block.[]..While.Block.[]..Assign.Var("x")
      • [trace] apply-to-stm-decorator0_2_1 @ Block.[]..While.Block.[]..Assign.Var("x")
      • [trace] down-decorator0_2_1 @ Block.[]..While.Block.[]..Assign("x",Var)
      • [trace] apply-to-stm-decorator0_2_1 @ Block.[]..While.Block.[]..Assign("x",Var)
      • [trace] circular-decorator0_2_2 @ Block.[]..While.Block.[]..Assign("x",Var)
      • [trace] down-decorator0_2_1 @ Block.[]..While.Block.[]..Assign.Var."x"
      • [trace] apply-to-stm-decorator0_2_1 @ Block.[]..While.Block.[]..Assign.Var."x"
      • [trace] down-decorator0_2_1 @ Block.[]..While.Block.[]..Assign.Var("x")
      • [trace] apply-to-stm-decorator0_2_1 @ Block.[]..While.Block.[]..Assign.Var("x")
      • [trace] down-decorator0_2_1 @ Block.[]..While.Block.[]..Assign("x",Var)
      • [trace] apply-to-stm-decorator0_2_1 @ Block.[]..While.Block.[]..Assign("x",Var)
      • [trace] circular-decorator0_2_2 @ Block.[]..While.Block.[]..Assign("x",Var)
      • [trace] down-decorator0_2_1 @ Block.[]..Return("x")
      • [trace] apply-to-stm-decorator0_2_1 @ Block.[]..Return("x")
      • [trace] circular-decorator0_2_2 @ Block.[]..Return("x")
      • [trace] plain-decorator0_2_1 @ Block.[]..Return("x")
      • [trace] constant-after @ Block.[]..Return("x")
      • [trace] down-decorator0_2_1 @ Block.[]..Return("x")
      • [trace] apply-to-stm-decorator0_2_1 @ Block.[]..Return("x")
      • [trace] circular-decorator0_2_2 @ Block.[]..Return("x")
      • [trace] plain-decorator0_2_1 @ Block.[]..Return("x")
      • [trace] constant-before @ Block.[]..Return("x")
      • [trace] contributes-to-decorator0_3_1 @ Block.[]..Return("x")
      • [trace] contributes-to-decorator0_4_1 @ Block.[]..Return("x")
      • [trace] constant-genset @ Block.[]..Return("x")
      • [trace] constant-genset @ Block.[]..Return("x") (failed)
      • [trace] constant-killset @ Block.[]..Return("x")
      • [trace] constant-killset @ Block.[]..Return("x") (failed)
      • [trace] down-decorator0_2_1 @ Block.[]..Return."x"
      • [trace] apply-to-stm-decorator0_2_1 @ Block.[]..Return."x"
      • [trace] down-decorator0_2_1 @ Block.[]..Return("x")
      • [trace] apply-to-stm-decorator0_2_1 @ Block.[]..Return("x")
      • [trace] circular-decorator0_2_2 @ Block.[]..Return("x")
      • Block([Assign("x"{("x"{"@28"},Int(1{"@29"}))},Int(1{("x"{"@28"},Int(1{"@29"}))}){("x"{"@28"},Int(1{"@29"}))}){("x"{"@28"},Int(1{"@29"}))},Assign("y"{("y"{"@30"},Int(2{"@31"})),("x"{"@28"},Int(1{"@29"}))},Int(2{("y"{"@30"},Int(2{"@31"})),("x"{"@28"},Int(1{"@29"}))}){("y"{"@30"},Int(2{"@31"})),("x"{"@28"},Int(1{"@29"}))}){("y"{"@30"},Int(2{"@31"})),("x"{"@28"},Int(1{"@29"}))},Assign("x"{("y"{"@30"},Int(2{"@31"})),("x"{"@28"},Int(1{"@29"}))},Int(3{("y"{"@30"},Int(2{"@31"})),("x"{"@28"},Int(1{"@29"}))}){("y"{"@30"},Int(2{"@31"})),("x"{"@28"},Int(1{"@29"}))}){("y"{"@30"},Int(2{"@31"})),("x"{"@28"},Int(1{"@29"}))},While("cond"{("y"{"@30"},Int(2{"@31"})),("x"{"@28"},Int(1{"@29"}))},Block([Assign("x",Var("y")),Assign("x",Var("x"))])){("y"{"@30"},Int(2{"@31"})),("x"{"@28"},Int(1{"@29"}))},Return("x")])
    • building cons-nil.run
      • ==== cons-nil ====
      • [1,2,3,4,5,6,7]
      • [trace] up-decorator0_2_1 @ [1,2,3,..]
      • [trace] depth @ [1,2,3,..]
      • [trace] up-decorator0_2_1 @ [].[2,3,4,..]
      • [trace] depth @ [].[2,3,4,..]
      • [trace] up-decorator0_2_1 @ []..[3,4,5,..]
      • [trace] depth @ []..[3,4,5,..]
      • [trace] up-decorator0_2_1 @ []..[4,5,6,_]
      • [trace] depth @ []..[4,5,6,_]
      • [trace] up-decorator0_2_1 @ []..[5,6,7]
      • [trace] depth @ []..[5,6,7]
      • [trace] up-decorator0_2_1 @ []..[6,7]
      • [trace] depth @ []..[6,7]
      • [trace] up-decorator0_2_1 @ []..[7]
      • [trace] depth @ []..[7]
      • [trace] up-decorator0_2_1 @ []..[]
      • [trace] depth @ []..[]
    • building contributes-to.run
      • ==== contributes-to ====
      • [trace] following @ [].1
      • [2,3,4]
      • [trace] following @ []..2
      • [3,4]
      • [trace] contributes-to-decorator0_3_1 @ []..3
      • [trace] contributes-to-decorator0_4_1 @ []..3
      • [trace] down-decorator0_2_1 @ []..3
      • [trace] root @ []..3
      • [trace] root @ []..3 (failed)
      • [trace] down-decorator0_2_1 @ []..[3,4]
      • [trace] root @ []..[3,4]
      • [trace] root @ []..3 (failed)
      • [trace] down-decorator0_2_1 @ [].[2,3,4]
      • [trace] root @ [].[2,3,4]
      • [trace] root @ []..3 (failed)
      • [trace] down-decorator0_2_1 @ [1,2,3,_]
      • [trace] root @ [1,2,3,_]
      • [trace] following @ [1,2,3,_]
      • [trace] following @ [1,2,3,_] (failed)
      • [trace] following @ [].[2,3,4]
      • [trace] following @ [].[2,3,4] (failed)
      • [trace] following @ []..[3,4]
      • [trace] following @ []..[3,4] (failed)
      • [trace] following @ []..3
      • [trace] following @ []..[4]
      • [trace] following @ []..[4] (failed)
      • [trace] following @ []..4
      • [trace] following @ []..[]
      • [trace] following @ []..[] (failed)
      • [trace] preceding @ []..2
      • [trace] preceding @ [].1
      • [2,1]
      • [trace] contributes-to-decorator0_3_1 @ []..4
      • [trace] contributes-to-decorator0_4_1 @ []..4
      • [trace] preceding @ []..3
      • [trace] preceding @ []..2
      • [trace] preceding @ [].1
      • [3,2,1]
    • building decorators.run
      • ==== decorators ====
      • [trace] down-decorator0_2_1 @ [1,2,3,_]
      • [trace] at-root-decorator0_2_1 @ [1,2,3,_]
      • [trace] collect-all-decorator0_2_1 @ [1,2,3,_]
      • [trace] collect-lt_0_1 @ [1,2,3,_]
      • [trace] collect-lt_0_1 @ [].1
      • [trace] collect-lt_0_1 @ []..2
      • [trace] collect-lt_0_1 @ []..3
      • [trace] collect-lt_0_1 @ []..[4,5,1,..]
      • [trace] collect-lt_0_1 @ []..4
      • [trace] collect-lt_0_1 @ []..5
      • [trace] collect-lt_0_1 @ []..1
      • [trace] collect-lt_0_1 @ []..2
      • [trace] collect-lt_0_1 @ []..6
      • [trace] _collect-all-decorator0_2_1 @ [1,2,3,_]
      • [trace] _collect-lt_0_1 @ [1,2,3,_]
      • [trace] _collect-all-decorator0_2_1 @ [].1
      • [trace] _collect-lt_0_1 @ [].1
      • [trace] _collect-all-decorator0_2_1 @ [].[2,3,[..]]
      • [trace] _collect-lt_0_1 @ [].[2,3,[..]]
      • [trace] _collect-all-decorator0_2_1 @ []..2
      • [trace] _collect-lt_0_1 @ []..2
      • [trace] _collect-all-decorator0_2_1 @ []..[3,[..]]
      • [trace] _collect-lt_0_1 @ []..[3,[..]]
      • [trace] _collect-all-decorator0_2_1 @ []..3
      • [trace] _collect-lt_0_1 @ []..3
      • [trace] _collect-all-decorator0_2_1 @ []..[[..]]
      • [trace] _collect-lt_0_1 @ []..[[..]]
      • [trace] _collect-all-decorator0_2_1 @ []..[4,5,1,..]
      • [trace] _collect-lt_0_1 @ []..[4,5,1,..]
      • [trace] _collect-all-decorator0_2_1 @ []..4
      • [trace] _collect-lt_0_1 @ []..4
      • [trace] _collect-all-decorator0_2_1 @ []..[5,1,2,_]
      • [trace] _collect-lt_0_1 @ []..[5,1,2,_]
      • [trace] _collect-all-decorator0_2_1 @ []..5
      • [trace] _collect-lt_0_1 @ []..5
      • [trace] _collect-all-decorator0_2_1 @ []..[1,2,6]
      • [trace] _collect-lt_0_1 @ []..[1,2,6]
      • [trace] _collect-all-decorator0_2_1 @ []..1
      • [trace] _collect-lt_0_1 @ []..1
      • [trace] _collect-all-decorator0_2_1 @ []..[2,6]
      • [trace] _collect-lt_0_1 @ []..[2,6]
      • [trace] _collect-all-decorator0_2_1 @ []..2
      • [trace] _collect-lt_0_1 @ []..2
      • [trace] _collect-all-decorator0_2_1 @ []..[6]
      • [trace] _collect-lt_0_1 @ []..[6]
      • [trace] _collect-all-decorator0_2_1 @ []..6
      • [trace] _collect-lt_0_1 @ []..6
      • [trace] _collect-all-decorator0_2_1 @ []..[]
      • [trace] _collect-lt_0_1 @ []..[]
      • [trace] _collect-all-decorator0_2_1 @ []..[]
      • [trace] _collect-lt_0_1 @ []..[]
      • ([1,2,3,4,1,2],[1,2,3,4,1,2])
    • building empty.run
      • ==== empty ====
      • ["./empty","--verbose","2"]
    • building find-minimum.run
      • ==== find-minimum ====
      • [trace] up-decorator0_2_1 @ Fork(Fork,Leaf)
      • [trace] min @ Fork(Fork,Leaf)
      • [trace] up-decorator0_2_1 @ Fork.Fork(Leaf,Fork)
      • [trace] min @ Fork.Fork(Leaf,Fork)
      • [trace] up-decorator0_2_1 @ Fork.Fork.Leaf(70)
      • [trace] min @ Fork.Fork.Leaf(70)
      • [trace] up-decorator0_2_1 @ Fork.Fork.Fork(Leaf,Leaf)
      • [trace] min @ Fork.Fork.Fork(Leaf,Leaf)
      • [trace] up-decorator0_2_1 @ Fork.Fork.Fork.Leaf(212)
      • [trace] min @ Fork.Fork.Fork.Leaf(212)
      • [trace] up-decorator0_2_1 @ Fork.Fork.Fork.Leaf(83)
      • [trace] min @ Fork.Fork.Fork.Leaf(83)
      • [trace] up-decorator0_2_1 @ Fork.Leaf(42)
      • [trace] min @ Fork.Leaf(42)
      • 42
    • building lookup-unordered.run
      • ==== lookup-unordered ====
      • [trace] lookup-unordered-decorator0_3_1 @ [Decl,Some]
      • [trace] down-decorator0_2_1 @ [Decl,Some]
      • [trace] before-decorator0_3_1 @ [Decl,Some]
      • [trace] cached-decorator0_2_2 @ [Decl,Some]
      • [trace] all-decls_2_1 @ [Decl,Some]
      • [trace] lookup-1_0_1 @ [].Decl."x"
      • [trace] lookup-1_0_1 @ [Decl,Some] (failed)
      • [trace] lookup-1_0_1 @ [].Decl.1
      • [trace] lookup-1_0_1 @ [Decl,Some] (failed)
      • [trace] lookup-1_0_1 @ [].Decl("x",1)
      • [trace] lookup-1_0_1 @ []..Some.[].Decl."x"
      • [trace] lookup-1_0_1 @ [Decl,Some] (failed)
      • [trace] lookup-1_0_1 @ []..Some.[].Decl.2
      • [trace] lookup-1_0_1 @ [Decl,Some] (failed)
      • [trace] lookup-1_0_1 @ []..Some.[].Decl("x",2)
      • [trace] lookup-1_0_1 @ []..Some.[]..Decl."y"
      • [trace] lookup-1_0_1 @ [Decl,Some] (failed)
      • [trace] lookup-1_0_1 @ []..Some.[]..Decl.3
      • [trace] lookup-1_0_1 @ [Decl,Some] (failed)
      • [trace] lookup-1_0_1 @ []..Some.[]..Decl("y",3)
      • [trace] lookup-1_0_1 @ []..Some.[]..[]
      • [trace] lookup-1_0_1 @ [Decl,Some] (failed)
      • [trace] lookup-1_0_1 @ []..Some.[].[Decl]
      • [trace] lookup-1_0_1 @ [Decl,Some] (failed)
      • [trace] lookup-1_0_1 @ []..Some.[Decl,Decl]
      • [trace] lookup-1_0_1 @ [Decl,Some] (failed)
      • [trace] lookup-1_0_1 @ []..Some([..])
      • [trace] lookup-1_0_1 @ [Decl,Some] (failed)
      • [trace] lookup-1_0_1 @ []..[]
      • [trace] lookup-1_0_1 @ [Decl,Some] (failed)
      • [trace] lookup-1_0_1 @ [].[Some]
      • [trace] lookup-1_0_1 @ [Decl,Some] (failed)
      • [trace] lookup-1_0_1 @ [Decl,Some]
      • [trace] lookup-1_0_1 @ [Decl,Some] (failed)
      • [trace] lookup-1_0_1 @ [].Decl("x",1)
      • Decl("x",1)
      • [trace] lookup-global-decorator0_2_1 @ [].Decl("x",1)
      • [trace] lookup-unordered-decorator0_3_1 @ [].Decl("x",1)
      • [trace] down-decorator0_2_1 @ [].Decl("x",1)
      • [trace] before-decorator0_3_1 @ [].Decl("x",1)
      • [trace] down-decorator0_2_1 @ [Decl,Some]
      • [trace] before-decorator0_3_1 @ [Decl,Some]
      • [trace] cached-decorator0_2_2 @ [Decl,Some]
      • [trace] all-decls_2_1 @ [Decl,Some]
      • [trace] lookup-2_0_1 @ [].Decl."x"
      • [trace] lookup-2_0_1 @ [].Decl("x",1) (failed)
      • [trace] lookup-2_0_1 @ [].Decl.1
      • [trace] lookup-2_0_1 @ [].Decl("x",1) (failed)
      • [trace] lookup-2_0_1 @ [].Decl("x",1)
      • [trace] lookup-2_0_1 @ []..Some.[].Decl."x"
      • [trace] lookup-2_0_1 @ [].Decl("x",1) (failed)
      • [trace] lookup-2_0_1 @ []..Some.[].Decl.2
      • [trace] lookup-2_0_1 @ [].Decl("x",1) (failed)
      • [trace] lookup-2_0_1 @ []..Some.[].Decl("x",2)
      • [trace] lookup-2_0_1 @ []..Some.[]..Decl."y"
      • [trace] lookup-2_0_1 @ [].Decl("x",1) (failed)
      • [trace] lookup-2_0_1 @ []..Some.[]..Decl.3
      • [trace] lookup-2_0_1 @ [].Decl("x",1) (failed)
      • [trace] lookup-2_0_1 @ []..Some.[]..Decl("y",3)
      • [trace] lookup-2_0_1 @ []..Some.[]..[]
      • [trace] lookup-2_0_1 @ [].Decl("x",1) (failed)
      • [trace] lookup-2_0_1 @ []..Some.[].[Decl]
      • [trace] lookup-2_0_1 @ [].Decl("x",1) (failed)
      • [trace] lookup-2_0_1 @ []..Some.[Decl,Decl]
      • [trace] lookup-2_0_1 @ [].Decl("x",1) (failed)
      • [trace] lookup-2_0_1 @ []..Some([..])
      • [trace] lookup-2_0_1 @ [].Decl("x",1) (failed)
      • [trace] lookup-2_0_1 @ []..[]
      • [trace] lookup-2_0_1 @ [].Decl("x",1) (failed)
      • [trace] lookup-2_0_1 @ [].[Some]
      • [trace] lookup-2_0_1 @ [].Decl("x",1) (failed)
      • [trace] lookup-2_0_1 @ [Decl,Some]
      • [trace] lookup-2_0_1 @ [].Decl("x",1) (failed)
      • Decl("x",1)
      • [trace] lookup-unordered-decorator0_3_1 @ [].Decl("x",1)
      • [trace] down-decorator0_2_1 @ [].Decl("x",1)
      • [trace] before-decorator0_3_1 @ [].Decl("x",1)
      • [trace] down-decorator0_2_1 @ [Decl,Some]
      • [trace] before-decorator0_3_1 @ [Decl,Some]
      • [trace] cached-decorator0_2_2 @ [Decl,Some]
      • [trace] lookup-1_0_1 @ [].Decl("x",1)
      • [trace] lookup-1_0_1 @ []..Some.[].Decl("x",2)
      • [trace] lookup-1_0_1 @ []..Some.[]..Decl("y",3)
      • Decl("y",3)
      • [trace] lookup-multiple-global-decorator0_2_1 @ []..Some.[]..Decl("y",3)
      • [trace] lookup-multiple-unordered-decorator0_3_1 @ []..Some.[]..Decl("y",3)
      • [trace] down-decorator0_2_1 @ []..Some.[]..Decl("y",3)
      • [trace] before-decorator0_3_1 @ []..Some.[]..Decl("y",3)
      • [trace] down-decorator0_2_1 @ []..Some.[].[Decl]
      • [trace] before-decorator0_3_1 @ []..Some.[].[Decl]
      • [trace] down-decorator0_2_1 @ []..Some.[Decl,Decl]
      • [trace] before-decorator0_3_1 @ []..Some.[Decl,Decl]
      • [trace] down-decorator0_2_1 @ []..Some([..])
      • [trace] before-decorator0_3_1 @ []..Some([..])
      • [trace] down-decorator0_2_1 @ [].[Some]
      • [trace] before-decorator0_3_1 @ [].[Some]
      • [trace] down-decorator0_2_1 @ [Decl,Some]
      • [trace] before-decorator0_3_1 @ [Decl,Some]
      • [trace] cached-decorator0_2_2 @ [Decl,Some]
      • [trace] all-decls_2_1 @ [Decl,Some]
      • [trace] lookup-all_0_1 @ [].Decl."x"
      • [trace] lookup-all_0_1 @ []..Some.[]..Decl("y",3) (failed)
      • [trace] lookup-all_0_1 @ [].Decl.1
      • [trace] lookup-all_0_1 @ []..Some.[]..Decl("y",3) (failed)
      • [trace] lookup-all_0_1 @ [].Decl("x",1)
      • [trace] lookup-all_0_1 @ []..Some.[].Decl."x"
      • [trace] lookup-all_0_1 @ []..Some.[]..Decl("y",3) (failed)
      • [trace] lookup-all_0_1 @ []..Some.[].Decl.2
      • [trace] lookup-all_0_1 @ []..Some.[]..Decl("y",3) (failed)
      • [trace] lookup-all_0_1 @ []..Some.[].Decl("x",2)
      • [trace] lookup-all_0_1 @ []..Some.[]..Decl."y"
      • [trace] lookup-all_0_1 @ []..Some.[]..Decl("y",3) (failed)
      • [trace] lookup-all_0_1 @ []..Some.[]..Decl.3
      • [trace] lookup-all_0_1 @ []..Some.[]..Decl("y",3) (failed)
      • [trace] lookup-all_0_1 @ []..Some.[]..Decl("y",3)
      • [trace] lookup-all_0_1 @ []..Some.[]..[]
      • [trace] lookup-all_0_1 @ []..Some.[]..Decl("y",3) (failed)
      • [trace] lookup-all_0_1 @ []..Some.[].[Decl]
      • [trace] lookup-all_0_1 @ []..Some.[]..Decl("y",3) (failed)
      • [trace] lookup-all_0_1 @ []..Some.[Decl,Decl]
      • [trace] lookup-all_0_1 @ []..Some.[]..Decl("y",3) (failed)
      • [trace] lookup-all_0_1 @ []..Some([..])
      • [trace] lookup-all_0_1 @ []..Some.[]..Decl("y",3) (failed)
      • [trace] lookup-all_0_1 @ []..[]
      • [trace] lookup-all_0_1 @ []..Some.[]..Decl("y",3) (failed)
      • [trace] lookup-all_0_1 @ [].[Some]
      • [trace] lookup-all_0_1 @ []..Some.[]..Decl("y",3) (failed)
      • [trace] lookup-all_0_1 @ [Decl,Some]
      • [trace] lookup-all_0_1 @ []..Some.[]..Decl("y",3) (failed)
      • [trace] lookup-all_0_1 @ [].Decl("x",1)
      • [trace] lookup-all_0_1 @ []..Some.[].Decl("x",2)
      • [Decl("x",1),Decl("x",2)]
      • [trace] all-declarations @ []..Some.[]..Decl("y",3)
      • [trace] all-decls-decorator0_2_1 @ []..Some.[]..Decl("y",3)
      • [trace] lookup-unordered-decorator0_3_1 @ []..Some.[]..Decl("y",3)
      • [trace] down-decorator0_2_1 @ []..Some.[]..Decl("y",3)
      • [trace] before-decorator0_3_1 @ []..Some.[]..Decl("y",3)
      • [trace] down-decorator0_2_1 @ []..Some.[].[Decl]
      • [trace] before-decorator0_3_1 @ []..Some.[].[Decl]
      • [trace] down-decorator0_2_1 @ []..Some.[Decl,Decl]
      • [trace] before-decorator0_3_1 @ []..Some.[Decl,Decl]
      • [trace] down-decorator0_2_1 @ []..Some([..])
      • [trace] before-decorator0_3_1 @ []..Some([..])
      • [trace] down-decorator0_2_1 @ [].[Some]
      • [trace] before-decorator0_3_1 @ [].[Some]
      • [trace] down-decorator0_2_1 @ [Decl,Some]
      • [trace] before-decorator0_3_1 @ [Decl,Some]
      • [trace] cached-decorator0_2_2 @ [Decl,Some]
      • [trace] lookup-1_0_1 @ [].Decl("x",1)
      • [trace] lookup-1_0_1 @ []..Some.[].Decl("x",2)
      • [trace] lookup-1_0_1 @ []..Some.[]..Decl("y",3)
      • [trace] down-decorator0_2_1 @ []..Some.[]..Decl("y",3)
      • [trace] before-decorator0_3_1 @ []..Some.[]..Decl("y",3)
      • [trace] down-decorator0_2_1 @ []..Some.[].[Decl]
      • [trace] before-decorator0_3_1 @ []..Some.[].[Decl]
      • [trace] down-decorator0_2_1 @ []..Some.[Decl,Decl]
      • [trace] before-decorator0_3_1 @ []..Some.[Decl,Decl]
      • [trace] down-decorator0_2_1 @ []..Some([..])
      • [trace] before-decorator0_3_1 @ []..Some([..])
      • [trace] down-decorator0_2_1 @ [].[Some]
      • [trace] before-decorator0_3_1 @ [].[Some]
      • [trace] down-decorator0_2_1 @ [Decl,Some]
      • [trace] before-decorator0_3_1 @ [Decl,Some]
      • [trace] cached-decorator0_2_2 @ [Decl,Some]
      • [Decl("x",1),Decl("x",2),Decl("y",3)]
    • building nested-decorator.run
      • ==== nested-decorator ====
      • [trace] nested-get-signature-decorator0_2_1 @ 1
      • [trace] get-signature-decorator0_2_1 @ 1
      • [trace] signature-decorator0_2_1 @ 1
      • Attribute("foo",[],[])
    • building repmin-anonymous.run
      • ==== repmin-anonymous ====
      • [trace] down-decorator0_2_1 @ Fork.Fork.Leaf(70)
      • [trace] global-min @ Fork.Fork.Leaf(70)
      • [trace] global-min @ Fork.Fork.Leaf(70) (failed)
      • [trace] down-decorator0_2_1 @ Fork.Fork(Leaf,Fork)
      • [trace] global-min @ Fork.Fork(Leaf,Fork)
      • [trace] global-min @ Fork.Fork.Leaf(70) (failed)
      • [trace] down-decorator0_2_1 @ Fork(Fork,Leaf)
      • [trace] global-min @ Fork(Fork,Leaf)
      • [trace] up-decorator0_2_1 @ Fork(Fork,Leaf)
      • [trace] min @ Fork(Fork,Leaf)
      • [trace] up-decorator0_2_1 @ Fork.Fork(Leaf,Fork)
      • [trace] min @ Fork.Fork(Leaf,Fork)
      • [trace] up-decorator0_2_1 @ Fork.Fork.Leaf(70)
      • [trace] min @ Fork.Fork.Leaf(70)
      • [trace] up-decorator0_2_1 @ Fork.Fork.Fork(Leaf,Leaf)
      • [trace] min @ Fork.Fork.Fork(Leaf,Leaf)
      • [trace] down-decorator0_2_1 @ Fork.Fork.Fork.Leaf(212)
      • [trace] global-min @ Fork.Fork.Fork.Leaf(212)
      • [trace] global-min @ Fork.Fork.Fork.Leaf(212) (failed)
      • [trace] down-decorator0_2_1 @ Fork.Fork.Fork(Leaf,Leaf)
      • [trace] global-min @ Fork.Fork.Fork(Leaf,Leaf)
      • [trace] global-min @ Fork.Fork.Fork.Leaf(212) (failed)
      • [trace] down-decorator0_2_1 @ Fork.Fork(Leaf,Fork)
      • [trace] global-min @ Fork.Fork(Leaf,Fork)
      • [trace] global-min @ Fork.Fork.Fork.Leaf(212) (failed)
      • [trace] down-decorator0_2_1 @ Fork(Fork,Leaf)
      • [trace] global-min @ Fork(Fork,Leaf)
      • [trace] up-decorator0_2_1 @ Fork(Fork,Leaf)
      • [trace] min @ Fork(Fork,Leaf)
      • [trace] up-decorator0_2_1 @ Fork.Fork(Leaf,Fork)
      • [trace] min @ Fork.Fork(Leaf,Fork)
      • [trace] up-decorator0_2_1 @ Fork.Fork.Leaf(70)
      • [trace] min @ Fork.Fork.Leaf(70)
      • [trace] up-decorator0_2_1 @ Fork.Fork.Fork(Leaf,Leaf)
      • [trace] min @ Fork.Fork.Fork(Leaf,Leaf)
      • [trace] up-decorator0_2_1 @ Fork.Fork.Fork.Leaf(212)
      • [trace] min @ Fork.Fork.Fork.Leaf(212)
      • [trace] down-decorator0_2_1 @ Fork.Fork.Fork.Leaf(83)
      • [trace] global-min @ Fork.Fork.Fork.Leaf(83)
      • [trace] global-min @ Fork.Fork.Fork.Leaf(83) (failed)
      • [trace] down-decorator0_2_1 @ Fork.Fork.Fork(Leaf,Leaf)
      • [trace] global-min @ Fork.Fork.Fork(Leaf,Leaf)
      • [trace] global-min @ Fork.Fork.Fork.Leaf(83) (failed)
      • [trace] down-decorator0_2_1 @ Fork.Fork(Leaf,Fork)
      • [trace] global-min @ Fork.Fork(Leaf,Fork)
      • [trace] global-min @ Fork.Fork.Fork.Leaf(83) (failed)
      • [trace] down-decorator0_2_1 @ Fork(Fork,Leaf)
      • [trace] global-min @ Fork(Fork,Leaf)
      • [trace] up-decorator0_2_1 @ Fork(Fork,Leaf)
      • [trace] min @ Fork(Fork,Leaf)
      • [trace] up-decorator0_2_1 @ Fork.Fork(Leaf,Fork)
      • [trace] min @ Fork.Fork(Leaf,Fork)
      • [trace] up-decorator0_2_1 @ Fork.Fork.Leaf(70)
      • [trace] min @ Fork.Fork.Leaf(70)
      • [trace] up-decorator0_2_1 @ Fork.Fork.Fork(Leaf,Leaf)
      • [trace] min @ Fork.Fork.Fork(Leaf,Leaf)
      • [trace] up-decorator0_2_1 @ Fork.Fork.Fork.Leaf(212)
      • [trace] min @ Fork.Fork.Fork.Leaf(212)
      • [trace] up-decorator0_2_1 @ Fork.Fork.Fork.Leaf(83)
      • [trace] min @ Fork.Fork.Fork.Leaf(83)
      • [trace] down-decorator0_2_1 @ Fork.Leaf(42)
      • [trace] global-min @ Fork.Leaf(42)
      • [trace] global-min @ Fork.Leaf(42) (failed)
      • [trace] down-decorator0_2_1 @ Fork(Fork,Leaf)
      • [trace] global-min @ Fork(Fork,Leaf)
      • [trace] up-decorator0_2_1 @ Fork(Fork,Leaf)
      • [trace] min @ Fork(Fork,Leaf)
      • [trace] up-decorator0_2_1 @ Fork.Fork(Leaf,Fork)
      • [trace] min @ Fork.Fork(Leaf,Fork)
      • [trace] up-decorator0_2_1 @ Fork.Fork.Leaf(70)
      • [trace] min @ Fork.Fork.Leaf(70)
      • [trace] up-decorator0_2_1 @ Fork.Fork.Fork(Leaf,Leaf)
      • [trace] min @ Fork.Fork.Fork(Leaf,Leaf)
      • [trace] up-decorator0_2_1 @ Fork.Fork.Fork.Leaf(212)
      • [trace] min @ Fork.Fork.Fork.Leaf(212)
      • [trace] up-decorator0_2_1 @ Fork.Fork.Fork.Leaf(83)
      • [trace] min @ Fork.Fork.Fork.Leaf(83)
      • [trace] up-decorator0_2_1 @ Fork.Leaf(42)
      • [trace] min @ Fork.Leaf(42)
      • [trace] up-decorator0_2_1 @ Fork.Leaf(42)
      • [trace] min @ Fork.Leaf(42)
      • [rewr.] Fork.Fork.Fork.Leaf(83) -> Leaf(42)
      • [trace] down-decorator0_2_1 @ Fork.Fork.Fork.Leaf(42)
      • [trace] global-min @ Fork.Fork.Fork.Leaf(42)
      • [trace] global-min @ Fork.Fork.Fork.Leaf(42) (failed)
      • [trace] down-decorator0_2_1 @ Fork.Fork.Fork(Leaf,Leaf)
      • [trace] global-min @ Fork.Fork.Fork(Leaf,Leaf)
      • [trace] global-min @ Fork.Fork.Fork.Leaf(42) (failed)
      • [trace] down-decorator0_2_1 @ Fork.Fork(Leaf,Fork)
      • [trace] global-min @ Fork.Fork(Leaf,Fork)
      • [trace] global-min @ Fork.Fork.Fork.Leaf(42) (failed)
      • [trace] down-decorator0_2_1 @ Fork(Fork,Leaf)
      • [trace] global-min @ Fork(Fork,Leaf)
      • [trace] up-decorator0_2_1 @ Fork(Fork,Leaf)
      • [trace] min @ Fork(Fork,Leaf)
      • [trace] up-decorator0_2_1 @ Fork.Fork(Leaf,Fork)
      • [trace] min @ Fork.Fork(Leaf,Fork)
      • [trace] up-decorator0_2_1 @ Fork.Fork.Leaf(70)
      • [trace] min @ Fork.Fork.Leaf(70)
      • [trace] up-decorator0_2_1 @ Fork.Fork.Fork(Leaf,Leaf)
      • [trace] min @ Fork.Fork.Fork(Leaf,Leaf)
      • [trace] up-decorator0_2_1 @ Fork.Fork.Fork.Leaf(212)
      • [trace] min @ Fork.Fork.Fork.Leaf(212)
      • [trace] up-decorator0_2_1 @ Fork.Fork.Fork.Leaf(42)
      • [trace] min @ Fork.Fork.Fork.Leaf(42)
      • [trace] up-decorator0_2_1 @ Fork.Leaf(42)
      • [trace] min @ Fork.Leaf(42)
      • [trace] up-decorator0_2_1 @ Fork.Fork.Fork.Leaf(42)
      • [trace] min @ Fork.Fork.Fork.Leaf(42)
      • [trace] up-decorator0_2_1 @ Fork.Leaf(42)
      • [trace] min @ Fork.Leaf(42)
      • [rewr.] Fork.Fork.Fork.Leaf(212) -> Leaf(42)
      • [trace] down-decorator0_2_1 @ Fork.Fork.Fork.Leaf(42)
      • [trace] global-min @ Fork.Fork.Fork.Leaf(42)
      • [trace] global-min @ Fork.Fork.Fork.Leaf(42) (failed)
      • [trace] down-decorator0_2_1 @ Fork.Fork.Fork(Leaf,Leaf)
      • [trace] global-min @ Fork.Fork.Fork(Leaf,Leaf)
      • [trace] global-min @ Fork.Fork.Fork.Leaf(42) (failed)
      • [trace] down-decorator0_2_1 @ Fork.Fork(Leaf,Fork)
      • [trace] global-min @ Fork.Fork(Leaf,Fork)
      • [trace] global-min @ Fork.Fork.Fork.Leaf(42) (failed)
      • [trace] down-decorator0_2_1 @ Fork(Fork,Leaf)
      • [trace] global-min @ Fork(Fork,Leaf)
      • [trace] up-decorator0_2_1 @ Fork(Fork,Leaf)
      • [trace] min @ Fork(Fork,Leaf)
      • [trace] up-decorator0_2_1 @ Fork.Fork(Leaf,Fork)
      • [trace] min @ Fork.Fork(Leaf,Fork)
      • [trace] up-decorator0_2_1 @ Fork.Fork.Leaf(70)
      • [trace] min @ Fork.Fork.Leaf(70)
      • [trace] up-decorator0_2_1 @ Fork.Fork.Fork(Leaf,Leaf)
      • [trace] min @ Fork.Fork.Fork(Leaf,Leaf)
      • [trace] up-decorator0_2_1 @ Fork.Fork.Fork.Leaf(42)
      • [trace] min @ Fork.Fork.Fork.Leaf(42)
      • [trace] up-decorator0_2_1 @ Fork.Fork.Fork.Leaf(42)
      • [trace] min @ Fork.Fork.Fork.Leaf(42)
      • [trace] up-decorator0_2_1 @ Fork.Leaf(42)
      • [trace] min @ Fork.Leaf(42)
      • [trace] up-decorator0_2_1 @ Fork.Fork.Fork.Leaf(42)
      • [trace] min @ Fork.Fork.Fork.Leaf(42)
      • [trace] up-decorator0_2_1 @ Fork.Fork.Fork.Leaf(42)
      • [trace] min @ Fork.Fork.Fork.Leaf(42)
      • [trace] up-decorator0_2_1 @ Fork.Leaf(42)
      • [trace] min @ Fork.Leaf(42)
      • [rewr.] Fork.Fork.Leaf(70) -> Leaf(42)
      • [trace] down-decorator0_2_1 @ Fork.Fork.Leaf(42)
      • [trace] global-min @ Fork.Fork.Leaf(42)
      • [trace] global-min @ Fork.Fork.Leaf(42) (failed)
      • [trace] down-decorator0_2_1 @ Fork.Fork(Leaf,Fork)
      • [trace] global-min @ Fork.Fork(Leaf,Fork)
      • [trace] global-min @ Fork.Fork.Leaf(42) (failed)
      • [trace] down-decorator0_2_1 @ Fork(Fork,Leaf)
      • [trace] global-min @ Fork(Fork,Leaf)
      • [trace] up-decorator0_2_1 @ Fork(Fork,Leaf)
      • [trace] min @ Fork(Fork,Leaf)
      • [trace] up-decorator0_2_1 @ Fork.Fork(Leaf,Fork)
      • [trace] min @ Fork.Fork(Leaf,Fork)
      • [trace] up-decorator0_2_1 @ Fork.Fork.Leaf(42)
      • [trace] min @ Fork.Fork.Leaf(42)
      • [trace] up-decorator0_2_1 @ Fork.Fork.Fork(Leaf,Leaf)
      • [trace] min @ Fork.Fork.Fork(Leaf,Leaf)
      • [trace] up-decorator0_2_1 @ Fork.Fork.Fork.Leaf(42)
      • [trace] min @ Fork.Fork.Fork.Leaf(42)
      • [trace] up-decorator0_2_1 @ Fork.Fork.Fork.Leaf(42)
      • [trace] min @ Fork.Fork.Fork.Leaf(42)
      • [trace] up-decorator0_2_1 @ Fork.Leaf(42)
      • [trace] min @ Fork.Leaf(42)
      • [trace] down-decorator0_2_1 @ Fork.Fork.Leaf(42)
      • [trace] global-min @ Fork.Fork.Leaf(42)
      • [trace] global-min @ Fork.Fork.Leaf(42) (failed)
      • [trace] down-decorator0_2_1 @ Fork.Fork(Leaf,Fork)
      • [trace] global-min @ Fork.Fork(Leaf,Fork)
      • [trace] global-min @ Fork.Fork.Leaf(42) (failed)
      • [trace] down-decorator0_2_1 @ Fork(Fork,Leaf)
      • [trace] global-min @ Fork(Fork,Leaf)
      • [trace] up-decorator0_2_1 @ Fork(Fork,Leaf)
      • [trace] min @ Fork(Fork,Leaf)
      • [trace] up-decorator0_2_1 @ Fork.Fork(Leaf,Fork)
      • [trace] min @ Fork.Fork(Leaf,Fork)
      • [trace] up-decorator0_2_1 @ Fork.Fork.Leaf(42)
      • [trace] min @ Fork.Fork.Leaf(42)
      • [trace] up-decorator0_2_1 @ Fork.Fork.Fork(Leaf,Leaf)
      • [trace] min @ Fork.Fork.Fork(Leaf,Leaf)
      • [trace] down-decorator0_2_1 @ Fork.Fork.Fork.Leaf(42)
      • [trace] global-min @ Fork.Fork.Fork.Leaf(42)
      • [trace] global-min @ Fork.Fork.Fork.Leaf(42) (failed)
      • [trace] down-decorator0_2_1 @ Fork.Fork.Fork(Leaf,Leaf)
      • [trace] global-min @ Fork.Fork.Fork(Leaf,Leaf)
      • [trace] global-min @ Fork.Fork.Fork.Leaf(42) (failed)
      • [trace] down-decorator0_2_1 @ Fork.Fork(Leaf,Fork)
      • [trace] global-min @ Fork.Fork(Leaf,Fork)
      • [trace] global-min @ Fork.Fork.Fork.Leaf(42) (failed)
      • [trace] down-decorator0_2_1 @ Fork(Fork,Leaf)
      • [trace] global-min @ Fork(Fork,Leaf)
      • [trace] up-decorator0_2_1 @ Fork(Fork,Leaf)
      • [trace] min @ Fork(Fork,Leaf)
      • [trace] up-decorator0_2_1 @ Fork.Fork(Leaf,Fork)
      • [trace] min @ Fork.Fork(Leaf,Fork)
      • [trace] up-decorator0_2_1 @ Fork.Fork.Leaf(42)
      • [trace] min @ Fork.Fork.Leaf(42)
      • [trace] up-decorator0_2_1 @ Fork.Fork.Fork(Leaf,Leaf)
      • [trace] min @ Fork.Fork.Fork(Leaf,Leaf)
      • [trace] up-decorator0_2_1 @ Fork.Fork.Fork.Leaf(42)
      • [trace] min @ Fork.Fork.Fork.Leaf(42)
      • [trace] down-decorator0_2_1 @ Fork.Fork.Fork.Leaf(42)
      • [trace] global-min @ Fork.Fork.Fork.Leaf(42)
      • [trace] global-min @ Fork.Fork.Fork.Leaf(42) (failed)
      • [trace] down-decorator0_2_1 @ Fork.Fork.Fork(Leaf,Leaf)
      • [trace] global-min @ Fork.Fork.Fork(Leaf,Leaf)
      • [trace] global-min @ Fork.Fork.Fork.Leaf(42) (failed)
      • [trace] down-decorator0_2_1 @ Fork.Fork(Leaf,Fork)
      • [trace] global-min @ Fork.Fork(Leaf,Fork)
      • [trace] global-min @ Fork.Fork.Fork.Leaf(42) (failed)
      • [trace] down-decorator0_2_1 @ Fork(Fork,Leaf)
      • [trace] global-min @ Fork(Fork,Leaf)
      • [trace] up-decorator0_2_1 @ Fork(Fork,Leaf)
      • [trace] min @ Fork(Fork,Leaf)
      • [trace] up-decorator0_2_1 @ Fork.Fork(Leaf,Fork)
      • [trace] min @ Fork.Fork(Leaf,Fork)
      • [trace] up-decorator0_2_1 @ Fork.Fork.Leaf(42)
      • [trace] min @ Fork.Fork.Leaf(42)
      • [trace] up-decorator0_2_1 @ Fork.Fork.Fork(Leaf,Leaf)
      • [trace] min @ Fork.Fork.Fork(Leaf,Leaf)
      • [trace] up-decorator0_2_1 @ Fork.Fork.Fork.Leaf(42)
      • [trace] min @ Fork.Fork.Fork.Leaf(42)
      • [trace] up-decorator0_2_1 @ Fork.Fork.Fork.Leaf(42)
      • [trace] min @ Fork.Fork.Fork.Leaf(42)
      • [trace] down-decorator0_2_1 @ Fork.Leaf(42)
      • [trace] global-min @ Fork.Leaf(42)
      • [trace] global-min @ Fork.Leaf(42) (failed)
      • [trace] down-decorator0_2_1 @ Fork(Fork,Leaf)
      • [trace] global-min @ Fork(Fork,Leaf)
      • [trace] up-decorator0_2_1 @ Fork(Fork,Leaf)
      • [trace] min @ Fork(Fork,Leaf)
      • [trace] up-decorator0_2_1 @ Fork.Fork(Leaf,Fork)
      • [trace] min @ Fork.Fork(Leaf,Fork)
      • [trace] up-decorator0_2_1 @ Fork.Fork.Leaf(42)
      • [trace] min @ Fork.Fork.Leaf(42)
      • [trace] up-decorator0_2_1 @ Fork.Fork.Fork(Leaf,Leaf)
      • [trace] min @ Fork.Fork.Fork(Leaf,Leaf)
      • [trace] up-decorator0_2_1 @ Fork.Fork.Fork.Leaf(42)
      • [trace] min @ Fork.Fork.Fork.Leaf(42)
      • [trace] up-decorator0_2_1 @ Fork.Fork.Fork.Leaf(42)
      • [trace] min @ Fork.Fork.Fork.Leaf(42)
      • [trace] up-decorator0_2_1 @ Fork.Leaf(42)
      • [trace] min @ Fork.Leaf(42)
      • [trace] up-decorator0_2_1 @ Fork.Leaf(42)
      • [trace] min @ Fork.Leaf(42)
      • [trace] up-decorator0_2_1 @ Fork.Fork.Fork.Leaf(42)
      • [trace] min @ Fork.Fork.Fork.Leaf(42)
      • [trace] up-decorator0_2_1 @ Fork.Leaf(42)
      • [trace] min @ Fork.Leaf(42)
      • [trace] up-decorator0_2_1 @ Fork.Fork.Fork.Leaf(42)
      • [trace] min @ Fork.Fork.Fork.Leaf(42)
      • [trace] up-decorator0_2_1 @ Fork.Fork.Fork.Leaf(42)
      • [trace] min @ Fork.Fork.Fork.Leaf(42)
      • [trace] up-decorator0_2_1 @ Fork.Leaf(42)
      • [trace] min @ Fork.Leaf(42)
      • [trace] down-decorator0_2_1 @ Fork.Fork.Leaf(42)
      • [trace] global-min @ Fork.Fork.Leaf(42)
      • [trace] global-min @ Fork.Fork.Leaf(42) (failed)
      • [trace] down-decorator0_2_1 @ Fork.Fork(Leaf,Fork)
      • [trace] global-min @ Fork.Fork(Leaf,Fork)
      • [trace] global-min @ Fork.Fork.Leaf(42) (failed)
      • [trace] down-decorator0_2_1 @ Fork(Fork,Leaf)
      • [trace] global-min @ Fork(Fork,Leaf)
      • [trace] up-decorator0_2_1 @ Fork(Fork,Leaf)
      • [trace] min @ Fork(Fork,Leaf)
      • [trace] up-decorator0_2_1 @ Fork.Fork(Leaf,Fork)
      • [trace] min @ Fork.Fork(Leaf,Fork)
      • [trace] up-decorator0_2_1 @ Fork.Fork.Leaf(42)
      • [trace] min @ Fork.Fork.Leaf(42)
      • [trace] up-decorator0_2_1 @ Fork.Fork.Fork(Leaf,Leaf)
      • [trace] min @ Fork.Fork.Fork(Leaf,Leaf)
      • [trace] down-decorator0_2_1 @ Fork.Fork.Fork.Leaf(42)
      • [trace] global-min @ Fork.Fork.Fork.Leaf(42)
      • [trace] global-min @ Fork.Fork.Fork.Leaf(42) (failed)
      • [trace] down-decorator0_2_1 @ Fork.Fork.Fork(Leaf,Leaf)
      • [trace] global-min @ Fork.Fork.Fork(Leaf,Leaf)
      • [trace] global-min @ Fork.Fork.Fork.Leaf(42) (failed)
      • [trace] down-decorator0_2_1 @ Fork.Fork(Leaf,Fork)
      • [trace] global-min @ Fork.Fork(Leaf,Fork)
      • [trace] global-min @ Fork.Fork.Fork.Leaf(42) (failed)
      • [trace] down-decorator0_2_1 @ Fork(Fork,Leaf)
      • [trace] global-min @ Fork(Fork,Leaf)
      • [trace] up-decorator0_2_1 @ Fork(Fork,Leaf)
      • [trace] min @ Fork(Fork,Leaf)
      • [trace] up-decorator0_2_1 @ Fork.Fork(Leaf,Fork)
      • [trace] min @ Fork.Fork(Leaf,Fork)
      • [trace] up-decorator0_2_1 @ Fork.Fork.Leaf(42)
      • [trace] min @ Fork.Fork.Leaf(42)
      • [trace] up-decorator0_2_1 @ Fork.Fork.Fork(Leaf,Leaf)
      • [trace] min @ Fork.Fork.Fork(Leaf,Leaf)
      • [trace] up-decorator0_2_1 @ Fork.Fork.Fork.Leaf(42)
      • [trace] min @ Fork.Fork.Fork.Leaf(42)
      • [trace] down-decorator0_2_1 @ Fork.Fork.Fork.Leaf(42)
      • [trace] global-min @ Fork.Fork.Fork.Leaf(42)
      • [trace] global-min @ Fork.Fork.Fork.Leaf(42) (failed)
      • [trace] down-decorator0_2_1 @ Fork.Fork.Fork(Leaf,Leaf)
      • [trace] global-min @ Fork.Fork.Fork(Leaf,Leaf)
      • [trace] global-min @ Fork.Fork.Fork.Leaf(42) (failed)
      • [trace] down-decorator0_2_1 @ Fork.Fork(Leaf,Fork)
      • [trace] global-min @ Fork.Fork(Leaf,Fork)
      • [trace] global-min @ Fork.Fork.Fork.Leaf(42) (failed)
      • [trace] down-decorator0_2_1 @ Fork(Fork,Leaf)
      • [trace] global-min @ Fork(Fork,Leaf)
      • [trace] up-decorator0_2_1 @ Fork(Fork,Leaf)
      • [trace] min @ Fork(Fork,Leaf)
      • [trace] up-decorator0_2_1 @ Fork.Fork(Leaf,Fork)
      • [trace] min @ Fork.Fork(Leaf,Fork)
      • [trace] up-decorator0_2_1 @ Fork.Fork.Leaf(42)
      • [trace] min @ Fork.Fork.Leaf(42)
      • [trace] up-decorator0_2_1 @ Fork.Fork.Fork(Leaf,Leaf)
      • [trace] min @ Fork.Fork.Fork(Leaf,Leaf)
      • [trace] up-decorator0_2_1 @ Fork.Fork.Fork.Leaf(42)
      • [trace] min @ Fork.Fork.Fork.Leaf(42)
      • [trace] up-decorator0_2_1 @ Fork.Fork.Fork.Leaf(42)
      • [trace] min @ Fork.Fork.Fork.Leaf(42)
      • [trace] down-decorator0_2_1 @ Fork.Leaf(42)
      • [trace] global-min @ Fork.Leaf(42)
      • [trace] global-min @ Fork.Leaf(42) (failed)
      • [trace] down-decorator0_2_1 @ Fork(Fork,Leaf)
      • [trace] global-min @ Fork(Fork,Leaf)
      • [trace] up-decorator0_2_1 @ Fork(Fork,Leaf)
      • [trace] min @ Fork(Fork,Leaf)
      • [trace] up-decorator0_2_1 @ Fork.Fork(Leaf,Fork)
      • [trace] min @ Fork.Fork(Leaf,Fork)
      • [trace] up-decorator0_2_1 @ Fork.Fork.Leaf(42)
      • [trace] min @ Fork.Fork.Leaf(42)
      • [trace] up-decorator0_2_1 @ Fork.Fork.Fork(Leaf,Leaf)
      • [trace] min @ Fork.Fork.Fork(Leaf,Leaf)
      • [trace] up-decorator0_2_1 @ Fork.Fork.Fork.Leaf(42)
      • [trace] min @ Fork.Fork.Fork.Leaf(42)
      • [trace] up-decorator0_2_1 @ Fork.Fork.Fork.Leaf(42)
      • [trace] min @ Fork.Fork.Fork.Leaf(42)
      • [trace] up-decorator0_2_1 @ Fork.Leaf(42)
      • [trace] min @ Fork.Leaf(42)
      • [trace] up-decorator0_2_1 @ Fork.Leaf(42)
      • [trace] min @ Fork.Leaf(42)
      • [trace] up-decorator0_2_1 @ Fork.Fork.Fork.Leaf(42)
      • [trace] min @ Fork.Fork.Fork.Leaf(42)
      • [trace] up-decorator0_2_1 @ Fork.Leaf(42)
      • [trace] min @ Fork.Leaf(42)
      • [trace] up-decorator0_2_1 @ Fork.Fork.Fork.Leaf(42)
      • [trace] min @ Fork.Fork.Fork.Leaf(42)
      • [trace] up-decorator0_2_1 @ Fork.Fork.Fork.Leaf(42)
      • [trace] min @ Fork.Fork.Fork.Leaf(42)
      • [trace] up-decorator0_2_1 @ Fork.Leaf(42)
      • [trace] min @ Fork.Leaf(42)
      • Fork(Fork(Leaf(42),Fork(Leaf(42),Leaf(42))),Leaf(42))
    • building repmin-hag-decorated.run
      • ==== repmin-hag-decorated ====
      • [trace] rewrite-td-decorator0_2_1 @ Fork(Fork,Leaf)
      • [trace] rewrite-td @ Fork(Fork,Leaf)
      • [trace] rewrite-td @ Fork(Fork,Leaf) (failed)
      • [trace] all_1_0 @ Fork(Fork,Leaf)
      • [trace] rewrite-td-decorator0_2_1 @ Fork.Fork(Leaf,Fork)
      • [trace] rewrite-td @ Fork.Fork(Leaf,Fork)
      • [trace] rewrite-td @ Fork(Fork,Leaf) (failed)
      • [trace] all_1_0 @ Fork.Fork(Leaf,Fork)
      • [trace] rewrite-td-decorator0_2_1 @ Fork.Fork.Leaf(70)
      • [trace] rewrite-td @ Fork.Fork.Leaf(70)
      • [trace] down-decorator0_2_1 @ Fork.Fork.Leaf(70)
      • [trace] global-min @ Fork.Fork.Leaf(70)
      • [trace] global-min @ Fork.Fork.Leaf(70) (failed)
      • [trace] down-decorator0_2_1 @ Fork.Fork(Leaf,Fork)
      • [trace] global-min @ Fork.Fork(Leaf,Fork)
      • [trace] global-min @ Fork.Fork.Leaf(70) (failed)
      • [trace] down-decorator0_2_1 @ Fork(Fork,Leaf)
      • [trace] global-min @ Fork(Fork,Leaf)
      • [trace] up-decorator0_2_1 @ Fork(Fork,Leaf)
      • [trace] min @ Fork(Fork,Leaf)
      • [trace] up-decorator0_2_1 @ Fork.Fork(Leaf,Fork)
      • [trace] min @ Fork.Fork(Leaf,Fork)
      • [trace] up-decorator0_2_1 @ Fork.Fork.Leaf(70)
      • [trace] min @ Fork.Fork.Leaf(70)
      • [trace] up-decorator0_2_1 @ Fork.Fork.Fork(Leaf,Leaf)
      • [trace] min @ Fork.Fork.Fork(Leaf,Leaf)
      • [trace] up-decorator0_2_1 @ Fork.Fork.Fork.Leaf(212)
      • [trace] min @ Fork.Fork.Fork.Leaf(212)
      • [trace] up-decorator0_2_1 @ Fork.Fork.Fork.Leaf(83)
      • [trace] min @ Fork.Fork.Fork.Leaf(83)
      • [trace] up-decorator0_2_1 @ Fork.Leaf(42)
      • [trace] min @ Fork.Leaf(42)
      • [trace] all_1_0 @ Fork.Leaf(42)
      • [trace] rewrite-td-decorator0_2_1 @ Fork.Leaf.42
      • [trace] rewrite-td @ Fork.Leaf.42
      • [trace] rewrite-td @ Fork(Fork,Leaf) (failed)
      • [trace] all_1_0 @ Fork.Leaf.42
      • [trace] rewrite-td-decorator0_2_1 @ Fork.Fork.Fork(Leaf,Leaf)
      • [trace] rewrite-td @ Fork.Fork.Fork(Leaf,Leaf)
      • [trace] rewrite-td @ Fork(Fork,Leaf) (failed)
      • [trace] all_1_0 @ Fork.Fork.Fork(Leaf,Leaf)
      • [trace] rewrite-td-decorator0_2_1 @ Fork.Fork.Fork.Leaf(212)
      • [trace] rewrite-td @ Fork.Fork.Fork.Leaf(212)
      • [trace] down-decorator0_2_1 @ Fork.Fork.Fork.Leaf(212)
      • [trace] global-min @ Fork.Fork.Fork.Leaf(212)
      • [trace] global-min @ Fork.Fork.Fork.Leaf(212) (failed)
      • [trace] down-decorator0_2_1 @ Fork.Fork.Fork(Leaf,Leaf)
      • [trace] global-min @ Fork.Fork.Fork(Leaf,Leaf)
      • [trace] global-min @ Fork.Fork.Fork.Leaf(212) (failed)
      • [trace] all_1_0 @ Fork.Leaf(42)
      • [trace] rewrite-td-decorator0_2_1 @ Fork.Fork.Fork.Leaf(83)
      • [trace] rewrite-td @ Fork.Fork.Fork.Leaf(83)
      • [trace] down-decorator0_2_1 @ Fork.Fork.Fork.Leaf(83)
      • [trace] global-min @ Fork.Fork.Fork.Leaf(83)
      • [trace] global-min @ Fork.Fork.Fork.Leaf(83) (failed)
      • [trace] all_1_0 @ Fork.Leaf(42)
      • [trace] rewrite-td-decorator0_2_1 @ Fork.Leaf(42)
      • [trace] rewrite-td @ Fork.Leaf(42)
      • [trace] down-decorator0_2_1 @ Fork.Leaf(42)
      • [trace] global-min @ Fork.Leaf(42)
      • [trace] global-min @ Fork.Leaf(42) (failed)
      • [trace] all_1_0 @ Fork.Leaf(42)
      • [trace] rewrite-bu-decorator0_2_1 @ Fork(Fork,Leaf)
      • [trace] all-inline_1_0 @ Fork(Fork,Leaf)
      • [trace] rewrite-bu-decorator0_2_1 @ Fork.Fork(Leaf,Fork)
      • [trace] all-inline_1_0 @ Fork.Fork(Leaf,Fork)
      • [trace] rewrite-bu-decorator0_2_1 @ Fork.Fork.Leaf(70)
      • [trace] all-inline_1_0 @ Fork.Fork.Leaf(70)
      • [trace] rewrite-bu-decorator0_2_1 @ Fork.Fork.Leaf.70
      • [trace] all-inline_1_0 @ Fork.Fork.Leaf.70
      • [trace] rewrite-bu @ Fork.Fork.Leaf.70
      • [trace] rewrite-bu @ Fork(Fork,Leaf) (failed)
      • [trace] rewrite-bu @ Fork.Fork.Leaf(70)
      • [trace] rewrite-bu-decorator0_2_1 @ Fork.Fork.Fork(Leaf,Leaf)
      • [trace] all-inline_1_0 @ Fork.Fork.Fork(Leaf,Leaf)
      • [trace] rewrite-bu-decorator0_2_1 @ Fork.Fork.Fork.Leaf(212)
      • [trace] all-inline_1_0 @ Fork.Fork.Fork.Leaf(212)
      • [trace] rewrite-bu-decorator0_2_1 @ Fork.Fork.Fork.Leaf.212
      • [trace] all-inline_1_0 @ Fork.Fork.Fork.Leaf.212
      • [trace] rewrite-bu @ Fork.Fork.Fork.Leaf.212
      • [trace] rewrite-bu @ Fork(Fork,Leaf) (failed)
      • [trace] rewrite-bu @ Fork.Fork.Fork.Leaf(212)
      • [trace] rewrite-bu-decorator0_2_1 @ Fork.Fork.Fork.Leaf(83)
      • [trace] all-inline_1_0 @ Fork.Fork.Fork.Leaf(83)
      • [trace] rewrite-bu-decorator0_2_1 @ Fork.Fork.Fork.Leaf.83
      • [trace] all-inline_1_0 @ Fork.Fork.Fork.Leaf.83
      • [trace] rewrite-bu @ Fork.Fork.Fork.Leaf.83
      • [trace] rewrite-bu @ Fork(Fork,Leaf) (failed)
      • [trace] rewrite-bu @ Fork.Fork.Fork.Leaf(83)
      • [trace] rewrite-bu @ Fork(Leaf,Leaf)
      • [trace] rewrite-bu @ Fork(Fork,Leaf) (failed)
      • [trace] rewrite-bu @ Fork(Leaf,Fork)
      • [trace] rewrite-bu @ Fork(Fork,Leaf) (failed)
      • [trace] rewrite-bu-decorator0_2_1 @ Fork.Leaf(42)
      • [trace] all-inline_1_0 @ Fork.Leaf(42)
      • [trace] rewrite-bu-decorator0_2_1 @ Fork.Leaf.42
      • [trace] all-inline_1_0 @ Fork.Leaf.42
      • [trace] rewrite-bu @ Fork.Leaf.42
      • [trace] rewrite-bu @ Fork(Fork,Leaf) (failed)
      • [trace] rewrite-bu @ Fork.Leaf(42)
      • [trace] rewrite-bu @ Fork(Fork,Leaf)
      • [trace] rewrite-bu @ Fork(Fork,Leaf) (failed)
      • (Fork(Fork(Leaf(42),Fork(Leaf(42),Leaf(42))),Leaf(42)),Fork(Fork(Leaf(42),Fork(Leaf(42),Leaf(42))),Leaf(42)))
    • building repmin-hag.run
      • ==== repmin-hag ====
      • [trace] rewrite @ Fork(Fork,Leaf)
      • [trace] rewrite @ Fork.Fork(Leaf,Fork)
      • [trace] rewrite @ Fork.Fork.Leaf(70)
      • [trace] down-decorator0_2_1 @ Fork.Fork.Leaf(70)
      • [trace] global-min @ Fork.Fork.Leaf(70)
      • [trace] global-min @ Fork.Fork.Leaf(70) (failed)
      • [trace] down-decorator0_2_1 @ Fork.Fork(Leaf,Fork)
      • [trace] global-min @ Fork.Fork(Leaf,Fork)
      • [trace] global-min @ Fork.Fork.Leaf(70) (failed)
      • [trace] down-decorator0_2_1 @ Fork(Fork,Leaf)
      • [trace] global-min @ Fork(Fork,Leaf)
      • [trace] up-decorator0_2_1 @ Fork(Fork,Leaf)
      • [trace] min @ Fork(Fork,Leaf)
      • [trace] up-decorator0_2_1 @ Fork.Fork(Leaf,Fork)
      • [trace] min @ Fork.Fork(Leaf,Fork)
      • [trace] up-decorator0_2_1 @ Fork.Fork.Leaf(70)
      • [trace] min @ Fork.Fork.Leaf(70)
      • [trace] up-decorator0_2_1 @ Fork.Fork.Fork(Leaf,Leaf)
      • [trace] min @ Fork.Fork.Fork(Leaf,Leaf)
      • [trace] up-decorator0_2_1 @ Fork.Fork.Fork.Leaf(212)
      • [trace] min @ Fork.Fork.Fork.Leaf(212)
      • [trace] up-decorator0_2_1 @ Fork.Fork.Fork.Leaf(83)
      • [trace] min @ Fork.Fork.Fork.Leaf(83)
      • [trace] up-decorator0_2_1 @ Fork.Leaf(42)
      • [trace] min @ Fork.Leaf(42)
      • [trace] rewrite @ Fork.Fork.Fork(Leaf,Leaf)
      • [trace] rewrite @ Fork.Fork.Fork.Leaf(212)
      • [trace] down-decorator0_2_1 @ Fork.Fork.Fork.Leaf(212)
      • [trace] global-min @ Fork.Fork.Fork.Leaf(212)
      • [trace] global-min @ Fork.Fork.Fork.Leaf(212) (failed)
      • [trace] down-decorator0_2_1 @ Fork.Fork.Fork(Leaf,Leaf)
      • [trace] global-min @ Fork.Fork.Fork(Leaf,Leaf)
      • [trace] global-min @ Fork.Fork.Fork.Leaf(212) (failed)
      • [trace] rewrite @ Fork.Fork.Fork.Leaf(83)
      • [trace] down-decorator0_2_1 @ Fork.Fork.Fork.Leaf(83)
      • [trace] global-min @ Fork.Fork.Fork.Leaf(83)
      • [trace] global-min @ Fork.Fork.Fork.Leaf(83) (failed)
      • [trace] rewrite @ Fork.Leaf(42)
      • [trace] down-decorator0_2_1 @ Fork.Leaf(42)
      • [trace] global-min @ Fork.Leaf(42)
      • [trace] global-min @ Fork.Leaf(42) (failed)
      • Fork(Fork(Leaf(42),Fork(Leaf(42),Leaf(42))),Leaf(42))
    • building repmin-no-copy-rules.run
      • ==== repmin-no-copy-rules ====
      • Tree(Fork(Fork(Leaf(70),Fork(Leaf(212),Leaf(83))),Leaf(42)))
      • [trace] fail-fatal-decorator0_2_1 @ Tree(Fork)
      • [trace] assert-input-decorator0_3_2 @ Tree(Fork)
      • [trace] replace @ Tree(Fork)
      • [trace] fail-fatal-decorator0_2_1 @ Tree.Fork(Fork,Leaf)
      • [trace] assert-input-decorator0_3_2 @ Tree.Fork(Fork,Leaf)
      • [trace] replace @ Tree.Fork(Fork,Leaf)
      • [trace] fail-fatal-decorator0_2_1 @ Tree.Fork.Fork(Leaf,Fork)
      • [trace] assert-input-decorator0_3_2 @ Tree.Fork.Fork(Leaf,Fork)
      • [trace] replace @ Tree.Fork.Fork(Leaf,Fork)
      • [trace] fail-fatal-decorator0_2_1 @ Tree.Fork.Fork.Leaf(70)
      • [trace] assert-input-decorator0_3_2 @ Tree.Fork.Fork.Leaf(70)
      • [trace] replace @ Tree.Fork.Fork.Leaf(70)
      • [trace] fail-fatal-decorator0_2_1 @ Tree.Fork.Fork.Leaf(70)
      • [trace] assert-input-decorator0_3_2 @ Tree.Fork.Fork.Leaf(70)
      • [trace] global-min @ Tree.Fork.Fork.Leaf(70)
      • [trace] fail-fatal-decorator0_2_1 @ Tree.Fork.Fork(Leaf,Fork)
      • [trace] assert-input-decorator0_3_2 @ Tree.Fork.Fork(Leaf,Fork)
      • [trace] global-min @ Tree.Fork.Fork(Leaf,Fork)
      • [trace] fail-fatal-decorator0_2_1 @ Tree.Fork(Fork,Leaf)
      • [trace] assert-input-decorator0_3_2 @ Tree.Fork(Fork,Leaf)
      • [trace] global-min @ Tree.Fork(Fork,Leaf)
      • [trace] fail-fatal-decorator0_2_1 @ Tree(Fork)
      • [trace] assert-input-decorator0_3_2 @ Tree(Fork)
      • [trace] min @ Tree(Fork)
      • [trace] fail-fatal-decorator0_2_1 @ Tree.Fork(Fork,Leaf)
      • [trace] assert-input-decorator0_3_2 @ Tree.Fork(Fork,Leaf)
      • [trace] min @ Tree.Fork(Fork,Leaf)
      • [trace] fail-fatal-decorator0_2_1 @ Tree.Fork.Fork(Leaf,Fork)
      • [trace] assert-input-decorator0_3_2 @ Tree.Fork.Fork(Leaf,Fork)
      • [trace] min @ Tree.Fork.Fork(Leaf,Fork)
      • [trace] fail-fatal-decorator0_2_1 @ Tree.Fork.Fork.Leaf(70)
      • [trace] assert-input-decorator0_3_2 @ Tree.Fork.Fork.Leaf(70)
      • [trace] min @ Tree.Fork.Fork.Leaf(70)
      • [trace] fail-fatal-decorator0_2_1 @ Tree.Fork.Fork.Fork(Leaf,Leaf)
      • [trace] assert-input-decorator0_3_2 @ Tree.Fork.Fork.Fork(Leaf,Leaf)
      • [trace] min @ Tree.Fork.Fork.Fork(Leaf,Leaf)
      • [trace] fail-fatal-decorator0_2_1 @ Tree.Fork.Fork.Fork.Leaf(212)
      • [trace] assert-input-decorator0_3_2 @ Tree.Fork.Fork.Fork.Leaf(212)
      • [trace] min @ Tree.Fork.Fork.Fork.Leaf(212)
      • [trace] fail-fatal-decorator0_2_1 @ Tree.Fork.Fork.Fork.Leaf(83)
      • [trace] assert-input-decorator0_3_2 @ Tree.Fork.Fork.Fork.Leaf(83)
      • [trace] min @ Tree.Fork.Fork.Fork.Leaf(83)
      • [trace] fail-fatal-decorator0_2_1 @ Tree.Fork.Leaf(42)
      • [trace] assert-input-decorator0_3_2 @ Tree.Fork.Leaf(42)
      • [trace] min @ Tree.Fork.Leaf(42)
      • [trace] fail-fatal-decorator0_2_1 @ Tree.Fork.Fork.Fork(Leaf,Leaf)
      • [trace] assert-input-decorator0_3_2 @ Tree.Fork.Fork.Fork(Leaf,Leaf)
      • [trace] replace @ Tree.Fork.Fork.Fork(Leaf,Leaf)
      • [trace] fail-fatal-decorator0_2_1 @ Tree.Fork.Fork.Fork.Leaf(212)
      • [trace] assert-input-decorator0_3_2 @ Tree.Fork.Fork.Fork.Leaf(212)
      • [trace] replace @ Tree.Fork.Fork.Fork.Leaf(212)
      • [trace] fail-fatal-decorator0_2_1 @ Tree.Fork.Fork.Fork.Leaf(212)
      • [trace] assert-input-decorator0_3_2 @ Tree.Fork.Fork.Fork.Leaf(212)
      • [trace] global-min @ Tree.Fork.Fork.Fork.Leaf(212)
      • [trace] fail-fatal-decorator0_2_1 @ Tree.Fork.Fork.Fork(Leaf,Leaf)
      • [trace] assert-input-decorator0_3_2 @ Tree.Fork.Fork.Fork(Leaf,Leaf)
      • [trace] global-min @ Tree.Fork.Fork.Fork(Leaf,Leaf)
      • [trace] fail-fatal-decorator0_2_1 @ Tree.Fork.Fork.Fork.Leaf(83)
      • [trace] assert-input-decorator0_3_2 @ Tree.Fork.Fork.Fork.Leaf(83)
      • [trace] replace @ Tree.Fork.Fork.Fork.Leaf(83)
      • [trace] fail-fatal-decorator0_2_1 @ Tree.Fork.Fork.Fork.Leaf(83)
      • [trace] assert-input-decorator0_3_2 @ Tree.Fork.Fork.Fork.Leaf(83)
      • [trace] global-min @ Tree.Fork.Fork.Fork.Leaf(83)
      • [trace] fail-fatal-decorator0_2_1 @ Tree.Fork.Leaf(42)
      • [trace] assert-input-decorator0_3_2 @ Tree.Fork.Leaf(42)
      • [trace] replace @ Tree.Fork.Leaf(42)
      • [trace] fail-fatal-decorator0_2_1 @ Tree.Fork.Leaf(42)
      • [trace] assert-input-decorator0_3_2 @ Tree.Fork.Leaf(42)
      • [trace] global-min @ Tree.Fork.Leaf(42)
      • Tree(Fork(Fork(Leaf(42),Fork(Leaf(42),Leaf(42))),Leaf(42)))
    • building repmin.run
      • ==== repmin ====
      • Fork(Fork(Leaf(70),Fork(Leaf(212),Leaf(83))),Leaf(42))
      • [trace] down-decorator0_2_1 @ Fork.Fork.Leaf(70)
      • [trace] global-min @ Fork.Fork.Leaf(70)
      • [trace] global-min @ Fork.Fork.Leaf(70) (failed)
      • [trace] down-decorator0_2_1 @ Fork.Fork(Leaf,Fork)
      • [trace] global-min @ Fork.Fork(Leaf,Fork)
      • [trace] global-min @ Fork.Fork.Leaf(70) (failed)
      • [trace] down-decorator0_2_1 @ Fork(Fork,Leaf)
      • [trace] global-min @ Fork(Fork,Leaf)
      • [trace] up-decorator0_2_1 @ Fork(Fork,Leaf)
      • [trace] min @ Fork(Fork,Leaf)
      • [trace] up-decorator0_2_1 @ Fork.Fork(Leaf,Fork)
      • [trace] min @ Fork.Fork(Leaf,Fork)
      • [trace] up-decorator0_2_1 @ Fork.Fork.Leaf(70)
      • [trace] min @ Fork.Fork.Leaf(70)
      • [trace] up-decorator0_2_1 @ Fork.Fork.Fork(Leaf,Leaf)
      • [trace] min @ Fork.Fork.Fork(Leaf,Leaf)
      • [trace] up-decorator0_2_1 @ Fork.Fork.Fork.Leaf(212)
      • [trace] min @ Fork.Fork.Fork.Leaf(212)
      • [trace] up-decorator0_2_1 @ Fork.Fork.Fork.Leaf(83)
      • [trace] min @ Fork.Fork.Fork.Leaf(83)
      • [trace] up-decorator0_2_1 @ Fork.Leaf(42)
      • [trace] min @ Fork.Leaf(42)
      • [trace] down-decorator0_2_1 @ Fork.Fork.Fork.Leaf(212)
      • [trace] global-min @ Fork.Fork.Fork.Leaf(212)
      • [trace] global-min @ Fork.Fork.Fork.Leaf(212) (failed)
      • [trace] down-decorator0_2_1 @ Fork.Fork.Fork(Leaf,Leaf)
      • [trace] global-min @ Fork.Fork.Fork(Leaf,Leaf)
      • [trace] global-min @ Fork.Fork.Fork.Leaf(212) (failed)
      • [trace] down-decorator0_2_1 @ Fork.Fork.Fork.Leaf(83)
      • [trace] global-min @ Fork.Fork.Fork.Leaf(83)
      • [trace] global-min @ Fork.Fork.Fork.Leaf(83) (failed)
      • [trace] down-decorator0_2_1 @ Fork.Leaf(42)
      • [trace] global-min @ Fork.Leaf(42)
      • [trace] global-min @ Fork.Leaf(42) (failed)
      • Fork(Fork(Leaf(42),Fork(Leaf(42),Leaf(42))),Leaf(42))
    • building test-aster-internals.run
      • ==== test-aster-internals ====
      • test suite: aster internals tests
      • term-depth (1)
      • term-depth (2)
      • term-depth (3)
      • term-depth (4)
      • term-depth (5)
      • term-depth (6)
      • term-depth (7)
      • term-depth (8)
      • term-depth (9)
      • term-depth (10)
      • eq-ignore-annos (1)
      • eq-ignore-annos (2)
      • eq-ignore-annos (3)
      • eq-ignore-annos (4)
      • eq-ignore-annos (5)
      • eq-ignore-annos (6)
      • eq-ignore-annos (7)
      • eq-ignore-annos (8)
      • has-foreign-operations (1)
      • has-foreign-operations (2)
      • has-foreign-operations (3)
      • has-foreign-operations (4)
      • has-foreign-operations (5)
      • has-foreign-operations (6)
      • has-foreign-operations (7)
      • has-foreign-operations (8)
      • has-foreign-operations (9)
      • has-foreign-operations (10)
      • has-foreign-operations (11)
      • has-foreign-operations (12)
      • has-foreign-operations (13)
      • has-foreign-operations (14)
      • has-foreign-operations (15)
      • equation-postprocess (1)
      • equation-postprocess (2)
      • equation-postprocess (3)
      • ordered-union (1)
      • ordered-union (2)
      • ordered-union (3)
      • ordered-union (4)
      • ordered-union (5)
      • ordered-union (6)
      • ordered-union (7)
      • ordered-union (8)
      • ordered-union (9)
      • successes: 45
      • failures: 0
    • building test-attributes.run
      • ==== test-attributes ====
      • test suite: aster attribute tests
      • id.parent (1)
      • id.parent (2)
      • id.ancestor (1)
      • id.ancestor (2)
      • id.ancestor is not proper
      • id.prev-sibling
      • down copy rule
      • circular attribute initial value
      • down copy rule
      • up copy rule (1)
      • up copy rule (2)
      • up copy rule (3)
      • basic rewriting
      • attribute to get a child node
      • reference attribute
      • reference list attribute
      • reference tuple attribute
      • non-reference attribute
      • id refers to the whole pattern, not the pattern child
      • attribute parameter used in pattern (1)
      • attribute parameter used in pattern (2)
      • attribute parameter used in pattern is ignored for id.defined
      • patterns in attribute arguments
      • id.attribute does not refer to specified child
      • attribute on id child
      • attribute result is an initialized term (1)
      • attribute result is an initialized term (2)
      • attribute result is an initialized term (3)
      • attribute result is an initialized term (4)
      • attribute result is an initialized term (4)
      • attribute result is an initialized term (4)
      • non-reference attribute
      • id.signature
      • id.attribute-name
      • signature of remote attribute
      • id.signature simply fails if there are strategy arguments (1)
      • id.signature simply fails if there are strategy arguments (2)
      • id.signature simply fails outside of signature context
      • successes: 38
      • failures: 0
    • make[1]: Leaving directory `/tmp/nix-build-0nxxlz84yaskhxx73xss9dxb5r320awb-aster.drv-0/aster-0.1pre18379/tests'
  • make[1]: Entering directory `/tmp/nix-build-0nxxlz84yaskhxx73xss9dxb5r320awb-aster.drv-0/aster-0.1pre18379'
    • building all-local
      • /nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/bin/xtc/...-strategoxt-0.17pre18269-a0f0wy0j/bin/xtc -r /tmp/nix-build-0nxxlz84yaskhxx73xss9dxb5r320awb-aster.drv-0/aster-0.1pre18379/BUILDTIME_XTC import /nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/share/strategoxt/XTC/...-strategoxt-0.17pre18269-a0f0wy0j/share/strategoxt/XTC
      • Tools registered in repository /tmp/nix-build-0nxxlz84yaskhxx73xss9dxb5r320awb-aster.drv-0/aster-0.1pre18379/BUILDTIME_XTC:
      • Data registered in repository /tmp/nix-build-0nxxlz84yaskhxx73xss9dxb5r320awb-aster.drv-0/aster-0.1pre18379/BUILDTIME_XTC:
    • make[1]: Leaving directory `/tmp/nix-build-0nxxlz84yaskhxx73xss9dxb5r320awb-aster.drv-0/aster-0.1pre18379'