• check flags:
  • +- building check-recursive
    • Making check in syntax
    • +- make[1]: Entering directory `/tmp/nix-build-1fdk5n5mk9xrcdk807hwhdvcd2xisxdf-aster.drv-0/aster-0.1pre18377/syntax'
      • +- building all-local
        • Tools registered in repository /tmp/nix-build-1fdk5n5mk9xrcdk807hwhdvcd2xisxdf-aster.drv-0/aster-0.1pre18377/BUILDTIME_XTC:
        • Data registered in repository /tmp/nix-build-1fdk5n5mk9xrcdk807hwhdvcd2xisxdf-aster.drv-0/aster-0.1pre18377/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-1fdk5n5mk9xrcdk807hwhdvcd2xisxdf-aster.drv-0/aster-0.1pre18377/syntax'
    • Making check in runtime
    • +- make[1]: Entering directory `/tmp/nix-build-1fdk5n5mk9xrcdk807hwhdvcd2xisxdf-aster.drv-0/aster-0.1pre18377/runtime'
      • +- building all-local
        • Tools registered in repository /tmp/nix-build-1fdk5n5mk9xrcdk807hwhdvcd2xisxdf-aster.drv-0/aster-0.1pre18377/BUILDTIME_XTC:
        • Data registered in repository /tmp/nix-build-1fdk5n5mk9xrcdk807hwhdvcd2xisxdf-aster.drv-0/aster-0.1pre18377/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-1fdk5n5mk9xrcdk807hwhdvcd2xisxdf-aster.drv-0/aster-0.1pre18377/runtime'
    • Making check in trans
    • +- make[1]: Entering directory `/tmp/nix-build-1fdk5n5mk9xrcdk807hwhdvcd2xisxdf-aster.drv-0/aster-0.1pre18377/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-1fdk5n5mk9xrcdk807hwhdvcd2xisxdf-aster.drv-0/aster-0.1pre18377/BUILDTIME_XTC: aster
        • Data registered in repository /tmp/nix-build-1fdk5n5mk9xrcdk807hwhdvcd2xisxdf-aster.drv-0/aster-0.1pre18377/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-1fdk5n5mk9xrcdk807hwhdvcd2xisxdf-aster.drv-0/aster-0.1pre18377/trans'
    • Making check in tests
    • +- make[1]: Entering directory `/tmp/nix-build-1fdk5n5mk9xrcdk807hwhdvcd2xisxdf-aster.drv-0/aster-0.1pre18377/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/ldkmyabqw8d1a7lavj66mvnbn4sqn4mc-aster/share/aster/Stratego-Attributes.tbl/...-aster/share/aster/Stratego-Attributes.tbl
        • [ aster | info ] compilation succeeded : [user/system] = [0.55s/0.02s]
      • +- 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/ldkmyabqw8d1a7lavj66mvnbn4sqn4mc-aster/share/aster/Stratego-Attributes.tbl/...-aster/share/aster/Stratego-Attributes.tbl
        • [ aster | info ] compilation succeeded : [user/system] = [0.54s/0.04s]
      • +- 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/ldkmyabqw8d1a7lavj66mvnbn4sqn4mc-aster/share/aster/Stratego-Attributes.tbl/...-aster/share/aster/Stratego-Attributes.tbl
        • [ aster | info ] compilation succeeded : [user/system] = [0.62s/0.04s]
      • +- 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/ldkmyabqw8d1a7lavj66mvnbn4sqn4mc-aster/share/aster/Stratego-Attributes.tbl/...-aster/share/aster/Stratego-Attributes.tbl
        • [ aster | info ] compilation succeeded : [user/system] = [0.53s/0.03s]
      • +- 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/ldkmyabqw8d1a7lavj66mvnbn4sqn4mc-aster/share/aster/Stratego-Attributes.tbl/...-aster/share/aster/Stratego-Attributes.tbl
        • [ aster | info ] compilation succeeded : [user/system] = [0.55s/0.02s]
      • +- 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/ldkmyabqw8d1a7lavj66mvnbn4sqn4mc-aster/share/aster/Stratego-Attributes.tbl/...-aster/share/aster/Stratego-Attributes.tbl
        • [ aster | info ] compilation succeeded : [user/system] = [0.59s/0.03s]
      • +- 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/ldkmyabqw8d1a7lavj66mvnbn4sqn4mc-aster/share/aster/Stratego-Attributes.tbl/...-aster/share/aster/Stratego-Attributes.tbl
        • [ aster | info ] compilation succeeded : [user/system] = [0.62s/0.03s]
      • +- 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/ldkmyabqw8d1a7lavj66mvnbn4sqn4mc-aster/share/aster/Stratego-Attributes.tbl/...-aster/share/aster/Stratego-Attributes.tbl
        • [ aster | info ] compilation succeeded : [user/system] = [0.53s/0.03s]
      • +- 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/ldkmyabqw8d1a7lavj66mvnbn4sqn4mc-aster/share/aster/Stratego-Attributes.tbl/...-aster/share/aster/Stratego-Attributes.tbl
        • [ aster | info ] compilation succeeded : [user/system] = [0.52s/0.04s]
      • +- 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/ldkmyabqw8d1a7lavj66mvnbn4sqn4mc-aster/share/aster/Stratego-Attributes.tbl/...-aster/share/aster/Stratego-Attributes.tbl
        • [ aster | info ] compilation succeeded : [user/system] = [0.56s/0.02s]
      • +- 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/ldkmyabqw8d1a7lavj66mvnbn4sqn4mc-aster/share/aster/Stratego-Attributes.tbl/...-aster/share/aster/Stratego-Attributes.tbl
        • [ aster | info ] compilation succeeded : [user/system] = [0.50s/0.03s]
      • +- 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/ldkmyabqw8d1a7lavj66mvnbn4sqn4mc-aster/share/aster/Stratego-Attributes.tbl/...-aster/share/aster/Stratego-Attributes.tbl
        • [ aster | info ] compilation succeeded : [user/system] = [0.53s/0.02s]
      • +- 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/ldkmyabqw8d1a7lavj66mvnbn4sqn4mc-aster/share/aster/Stratego-Attributes.tbl/...-aster/share/aster/Stratego-Attributes.tbl
        • [ aster | info ] compilation succeeded : [user/system] = [0.54s/0.04s]
      • +- 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/ldkmyabqw8d1a7lavj66mvnbn4sqn4mc-aster/share/aster/Stratego-Attributes.tbl/...-aster/share/aster/Stratego-Attributes.tbl
        • [ aster | info ] compilation succeeded : [user/system] = [0.53s/0.03s]
      • +- 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/ldkmyabqw8d1a7lavj66mvnbn4sqn4mc-aster/share/aster/Stratego-Attributes.tbl/...-aster/share/aster/Stratego-Attributes.tbl
        • [ aster | info ] compilation succeeded : [user/system] = [0.56s/0.03s]
      • +- 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/ldkmyabqw8d1a7lavj66mvnbn4sqn4mc-aster/share/aster/Stratego-Attributes.tbl/...-aster/share/aster/Stratego-Attributes.tbl
        • [ aster | info ] compilation succeeded : [user/system] = [0.54s/0.04s]
      • +- 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/ldkmyabqw8d1a7lavj66mvnbn4sqn4mc-aster/share/aster/Stratego-Attributes.tbl/...-aster/share/aster/Stratego-Attributes.tbl
        • [ aster | info ] compilation succeeded : [user/system] = [0.55s/0.02s]
      • +- 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/ldkmyabqw8d1a7lavj66mvnbn4sqn4mc-aster/share/aster/Stratego-Attributes.tbl/...-aster/share/aster/Stratego-Attributes.tbl
        • [ aster | info ] compilation succeeded : [user/system] = [0.56s/0.02s]
      • +- 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/ldkmyabqw8d1a7lavj66mvnbn4sqn4mc-aster/share/aster/Stratego-Attributes.tbl/...-aster/share/aster/Stratego-Attributes.tbl
        • [ aster | info ] compilation succeeded : [user/system] = [0.53s/0.03s]
      • +- 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/ldkmyabqw8d1a7lavj66mvnbn4sqn4mc-aster/share/aster/Stratego-Attributes-in-Stratego.tbl/...-aster/share/aster/Stratego-Attributes-in-Stratego.tbl
        • [ aster | info ] compilation succeeded : [user/system] = [0.67s/0.03s]
      • +- 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/ldkmyabqw8d1a7lavj66mvnbn4sqn4mc-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.70s/0.02s]
      • +- 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.73s/0.02s]
        • [ strc | info ] Optimization succeeded -O 0 : [user/system] = [0.00s/0.00s]
        • [ strc | info ] Back-end succeeded : [user/system] = [0.14s/0.00s]
        • [ strc | info ] C compilation succeeded : [user/system] = [0.66s/0.23s]
        • [ strc | info ] Compilation succeeded : [user/system] = [2.53s/0.25s]
      • +- 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.71s/0.02s]
        • [ strc | info ] Optimization succeeded -O 0 : [user/system] = [0.00s/0.00s]
        • [ strc | info ] Back-end succeeded : [user/system] = [0.21s/0.00s]
        • [ strc | info ] C compilation succeeded : [user/system] = [0.93s/0.22s]
        • [ strc | info ] Compilation succeeded : [user/system] = [2.85s/0.24s]
      • +- 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] = [2.03s/0.04s]
        • [ strc | info ] Optimization succeeded -O 0 : [user/system] = [0.00s/0.00s]
        • [ strc | info ] Back-end succeeded : [user/system] = [0.41s/0.01s]
        • [ strc | info ] C compilation succeeded : [user/system] = [1.48s/0.27s]
        • [ strc | info ] Compilation succeeded : [user/system] = [3.92s/0.32s]
      • +- 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.72s/0.00s]
        • [ strc | info ] Optimization succeeded -O 0 : [user/system] = [0.00s/0.00s]
        • [ strc | info ] Back-end succeeded : [user/system] = [0.22s/0.01s]
        • [ strc | info ] C compilation succeeded : [user/system] = [1.00s/0.20s]
        • [ strc | info ] Compilation succeeded : [user/system] = [2.94s/0.21s]
      • +- 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.39s/0.05s]
        • [ strc | info ] Optimization succeeded -O 0 : [user/system] = [0.00s/0.00s]
        • [ strc | info ] Back-end succeeded : [user/system] = [0.48s/0.01s]
        • [ strc | info ] C compilation succeeded : [user/system] = [1.57s/0.29s]
        • [ strc | info ] Compilation succeeded : [user/system] = [5.44s/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.82s/0.01s]
        • [ strc | info ] Optimization succeeded -O 0 : [user/system] = [0.00s/0.00s]
        • [ strc | info ] Back-end succeeded : [user/system] = [0.30s/0.01s]
        • [ strc | info ] C compilation succeeded : [user/system] = [1.28s/0.29s]
        • [ strc | info ] Compilation succeeded : [user/system] = [3.40s/0.31s]
      • +- 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.89s/0.02s]
        • [ strc | info ] Optimization succeeded -O 0 : [user/system] = [0.00s/0.00s]
        • [ strc | info ] Back-end succeeded : [user/system] = [0.39s/0.01s]
        • [ strc | info ] C compilation succeeded : [user/system] = [1.50s/0.28s]
        • [ strc | info ] Compilation succeeded : [user/system] = [3.78s/0.31s]
      • +- 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.63s/0.01s]
        • [ strc | info ] Optimization succeeded -O 0 : [user/system] = [0.00s/0.00s]
        • [ strc | info ] Back-end succeeded : [user/system] = [0.16s/0.00s]
        • [ strc | info ] C compilation succeeded : [user/system] = [0.76s/0.21s]
        • [ strc | info ] Compilation succeeded : [user/system] = [2.56s/0.22s]
      • +- 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.67s/0.02s]
        • [ strc | info ] Optimization succeeded -O 0 : [user/system] = [0.00s/0.00s]
        • [ strc | info ] Back-end succeeded : [user/system] = [0.22s/0.02s]
        • [ strc | info ] C compilation succeeded : [user/system] = [1.01s/0.21s]
        • [ strc | info ] Compilation succeeded : [user/system] = [2.90s/0.25s]
      • +- 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.71s/0.02s]
        • [ strc | info ] Optimization succeeded -O 0 : [user/system] = [0.00s/0.00s]
        • [ strc | info ] Back-end succeeded : [user/system] = [0.21s/0.01s]
        • [ strc | info ] C compilation succeeded : [user/system] = [0.95s/0.22s]
        • [ strc | info ] Compilation succeeded : [user/system] = [2.87s/0.25s]
      • +- 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.51s/0.03s]
        • [ strc | info ] Optimization succeeded -O 0 : [user/system] = [0.00s/0.00s]
        • [ strc | info ] Back-end succeeded : [user/system] = [0.01s/0.00s]
        • [ strc | info ] C compilation succeeded : [user/system] = [0.34s/0.20s]
        • [ strc | info ] Compilation succeeded : [user/system] = [1.86s/0.23s]
      • +- 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.63s/0.02s]
        • [ 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.76s/0.25s]
        • [ strc | info ] Compilation succeeded : [user/system] = [2.54s/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.72s/0.04s]
        • [ strc | info ] Optimization succeeded -O 0 : [user/system] = [0.00s/0.00s]
        • [ strc | info ] Back-end succeeded : [user/system] = [0.30s/0.02s]
        • [ strc | info ] C compilation succeeded : [user/system] = [1.24s/0.21s]
        • [ strc | info ] Compilation succeeded : [user/system] = [3.26s/0.27s]
      • +- 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.65s/0.03s]
        • [ 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.79s/0.23s]
        • [ strc | info ] Compilation succeeded : [user/system] = [2.60s/0.27s]
      • +- 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.77s/0.02s]
        • [ strc | info ] Optimization succeeded -O 0 : [user/system] = [0.00s/0.00s]
        • [ strc | info ] Back-end succeeded : [user/system] = [0.18s/0.02s]
        • [ strc | info ] C compilation succeeded : [user/system] = [0.86s/0.23s]
        • [ strc | info ] Compilation succeeded : [user/system] = [2.81s/0.27s]
      • +- 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.70s/0.02s]
        • [ strc | info ] Optimization succeeded -O 0 : [user/system] = [0.00s/0.00s]
        • [ strc | info ] Back-end succeeded : [user/system] = [0.23s/0.01s]
        • [ strc | info ] C compilation succeeded : [user/system] = [1.00s/0.21s]
        • [ strc | info ] Compilation succeeded : [user/system] = [2.93s/0.24s]
      • +- 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.66s/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.86s/0.24s]
        • [ strc | info ] Compilation succeeded : [user/system] = [2.71s/0.28s]
      • +- 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.72s/0.00s]
        • [ strc | info ] Optimization succeeded -O 0 : [user/system] = [0.00s/0.00s]
        • [ strc | info ] Back-end succeeded : [user/system] = [0.20s/0.02s]
        • [ strc | info ] C compilation succeeded : [user/system] = [0.92s/0.21s]
        • [ strc | info ] Compilation succeeded : [user/system] = [2.84s/0.24s]
      • +- 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.66s/0.01s]
        • [ strc | info ] Optimization succeeded -O 0 : [user/system] = [0.00s/0.00s]
        • [ strc | info ] Back-end succeeded : [user/system] = [0.18s/0.00s]
        • [ strc | info ] C compilation succeeded : [user/system] = [0.85s/0.19s]
        • [ strc | info ] Compilation succeeded : [user/system] = [2.69s/0.20s]
      • +- 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] = [5.38s/0.09s]
        • [ strc | info ] Optimization succeeded -O 0 : [user/system] = [0.00s/0.00s]
        • [ strc | info ] Back-end succeeded : [user/system] = [0.43s/0.01s]
        • [ strc | info ] C compilation succeeded : [user/system] = [1.65s/0.23s]
        • [ strc | info ] Compilation succeeded : [user/system] = [7.46s/0.33s]
      • +- 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] = [2.06s/0.02s]
        • [ strc | info ] Optimization succeeded -O 0 : [user/system] = [0.00s/0.00s]
        • [ strc | info ] Back-end succeeded : [user/system] = [0.72s/0.05s]
        • [ strc | info ] C compilation succeeded : [user/system] = [2.29s/0.25s]
        • [ strc | info ] Compilation succeeded : [user/system] = [5.07s/0.32s]
      • +- 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] lookup-1-all-decls @ [Decl,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-1fdk5n5mk9xrcdk807hwhdvcd2xisxdf-aster.drv-0/aster-0.1pre18377/tests'
    • +- make[1]: Entering directory `/tmp/nix-build-1fdk5n5mk9xrcdk807hwhdvcd2xisxdf-aster.drv-0/aster-0.1pre18377'
      • +- building all-local
        • /nix/store/p2ilyhcckkkab8y0bph6n4lkzkvh20z4-strategoxt-0.17pre18269-a0f0wy0j/bin/xtc/...-strategoxt-0.17pre18269-a0f0wy0j/bin/xtc -r /tmp/nix-build-1fdk5n5mk9xrcdk807hwhdvcd2xisxdf-aster.drv-0/aster-0.1pre18377/BUILDTIME_XTC import /nix/store/p2ilyhcckkkab8y0bph6n4lkzkvh20z4-strategoxt-0.17pre18269-a0f0wy0j/share/strategoxt/XTC/...-strategoxt-0.17pre18269-a0f0wy0j/share/strategoxt/XTC
        • Tools registered in repository /tmp/nix-build-1fdk5n5mk9xrcdk807hwhdvcd2xisxdf-aster.drv-0/aster-0.1pre18377/BUILDTIME_XTC:
        • Data registered in repository /tmp/nix-build-1fdk5n5mk9xrcdk807hwhdvcd2xisxdf-aster.drv-0/aster-0.1pre18377/BUILDTIME_XTC:
      • make[1]: Leaving directory `/tmp/nix-build-1fdk5n5mk9xrcdk807hwhdvcd2xisxdf-aster.drv-0/aster-0.1pre18377'