check flags:    
building check-recursive
Making check in syntax
make[1]: Entering directory `/tmp/nix-build-1qnbnfani0ds08yh0068k2nhy43n6fzg-aster.drv-0/aster-0.1pre18354/syntax'
building all-local
Tools registered in repository /tmp/nix-build-1qnbnfani0ds08yh0068k2nhy43n6fzg-aster.drv-0/aster-0.1pre18354/BUILDTIME_XTC:    
Data registered in repository /tmp/nix-build-1qnbnfani0ds08yh0068k2nhy43n6fzg-aster.drv-0/aster-0.1pre18354/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-1qnbnfani0ds08yh0068k2nhy43n6fzg-aster.drv-0/aster-0.1pre18354/syntax'
Making check in runtime
make[1]: Entering directory `/tmp/nix-build-1qnbnfani0ds08yh0068k2nhy43n6fzg-aster.drv-0/aster-0.1pre18354/runtime'
building all-local
Tools registered in repository /tmp/nix-build-1qnbnfani0ds08yh0068k2nhy43n6fzg-aster.drv-0/aster-0.1pre18354/BUILDTIME_XTC:    
Data registered in repository /tmp/nix-build-1qnbnfani0ds08yh0068k2nhy43n6fzg-aster.drv-0/aster-0.1pre18354/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/tree-access.astr aster/decorators/assert.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-1qnbnfani0ds08yh0068k2nhy43n6fzg-aster.drv-0/aster-0.1pre18354/runtime'
Making check in trans
make[1]: Entering directory `/tmp/nix-build-1qnbnfani0ds08yh0068k2nhy43n6fzg-aster.drv-0/aster-0.1pre18354/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-1qnbnfani0ds08yh0068k2nhy43n6fzg-aster.drv-0/aster-0.1pre18354/BUILDTIME_XTC: aster   
Data registered in repository /tmp/nix-build-1qnbnfani0ds08yh0068k2nhy43n6fzg-aster.drv-0/aster-0.1pre18354/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-1qnbnfani0ds08yh0068k2nhy43n6fzg-aster.drv-0/aster-0.1pre18354/trans'
Making check in tests
make[1]: Entering directory `/tmp/nix-build-1qnbnfani0ds08yh0068k2nhy43n6fzg-aster.drv-0/aster-0.1pre18354/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 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/7cbiqm0mc0nc339052rplg8gvgxwk0rm-aster/share/aster/Stratego-Attributes.tbl
[ aster | warning ] Pattern child equals pattern in attribute silly
          "silly"
building test-aster
strc -i test-aster.str -m main-`basename test-aster` -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.str'
[ strc | info ] Front-end succeeded         : [user/system] = [4.11s/0.09s]
[ strc | info ] Optimization succeeded -O 0 : [user/system] = [0.00s/0.00s]
[ strc | info ] Back-end succeeded          : [user/system] = [1.34s/0.07s]
[ strc | info ] C compilation succeeded     : [user/system] = [4.03s/0.50s]
[ strc | info ] Compilation succeeded       : [user/system] = [9.48s/0.66s]
building test-aster.run

==== test-aster ====
test suite: aster 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)
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)
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
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: 82
failures: 0
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/7cbiqm0mc0nc339052rplg8gvgxwk0rm-aster/share/aster/Stratego-Attributes.tbl
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/7cbiqm0mc0nc339052rplg8gvgxwk0rm-aster/share/aster/Stratego-Attributes.tbl
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/7cbiqm0mc0nc339052rplg8gvgxwk0rm-aster/share/aster/Stratego-Attributes.tbl
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/7cbiqm0mc0nc339052rplg8gvgxwk0rm-aster/share/aster/Stratego-Attributes.tbl
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/7cbiqm0mc0nc339052rplg8gvgxwk0rm-aster/share/aster/Stratego-Attributes.tbl
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/7cbiqm0mc0nc339052rplg8gvgxwk0rm-aster/share/aster/Stratego-Attributes.tbl
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/7cbiqm0mc0nc339052rplg8gvgxwk0rm-aster/share/aster/Stratego-Attributes.tbl
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/7cbiqm0mc0nc339052rplg8gvgxwk0rm-aster/share/aster/Stratego-Attributes.tbl
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/7cbiqm0mc0nc339052rplg8gvgxwk0rm-aster/share/aster/Stratego-Attributes.tbl
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/7cbiqm0mc0nc339052rplg8gvgxwk0rm-aster/share/aster/Stratego-Attributes.tbl
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/7cbiqm0mc0nc339052rplg8gvgxwk0rm-aster/share/aster/Stratego-Attributes.tbl
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/7cbiqm0mc0nc339052rplg8gvgxwk0rm-aster/share/aster/Stratego-Attributes.tbl
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/7cbiqm0mc0nc339052rplg8gvgxwk0rm-aster/share/aster/Stratego-Attributes.tbl
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/7cbiqm0mc0nc339052rplg8gvgxwk0rm-aster/share/aster/Stratego-Attributes.tbl
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/7cbiqm0mc0nc339052rplg8gvgxwk0rm-aster/share/aster/Stratego-Attributes.tbl
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.12s/0.01s]
[ strc | info ] Optimization succeeded -O 0 : [user/system] = [0.00s/0.00s]
[ strc | info ] Back-end succeeded          : [user/system] = [0.00s/0.00s]
[ strc | info ] C compilation succeeded     : [user/system] = [0.28s/0.23s]
[ strc | info ] Compilation succeeded       : [user/system] = [1.40s/0.24s]
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.15s/0.03s]
[ strc | info ] Optimization succeeded -O 0 : [user/system] = [0.00s/0.00s]
[ strc | info ] Back-end succeeded          : [user/system] = [0.11s/0.01s]
[ strc | info ] C compilation succeeded     : [user/system] = [0.74s/0.21s]
[ strc | info ] Compilation succeeded       : [user/system] = [2.00s/0.25s]
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.16s/0.03s]
[ 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.82s/0.23s]
[ strc | info ] Compilation succeeded       : [user/system] = [2.16s/0.26s]
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.21s/0.03s]
[ strc | info ] Optimization succeeded -O 0 : [user/system] = [0.00s/0.00s]
[ strc | info ] Back-end succeeded          : [user/system] = [0.20s/0.03s]
[ strc | info ] C compilation succeeded     : [user/system] = [0.90s/0.27s]
[ strc | info ] Compilation succeeded       : [user/system] = [2.31s/0.33s]
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.23s/0.03s]
[ strc | info ] Optimization succeeded -O 0 : [user/system] = [0.00s/0.00s]
[ strc | info ] Back-end succeeded          : [user/system] = [0.20s/0.00s]
[ strc | info ] C compilation succeeded     : [user/system] = [0.83s/0.26s]
[ strc | info ] Compilation succeeded       : [user/system] = [2.26s/0.29s]
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.19s/0.03s]
[ 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.84s/0.28s]
[ strc | info ] Compilation succeeded       : [user/system] = [2.21s/0.33s]
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.19s/0.05s]
[ strc | info ] Optimization succeeded -O 0 : [user/system] = [0.00s/0.00s]
[ strc | info ] Back-end succeeded          : [user/system] = [0.23s/0.02s]
[ strc | info ] C compilation succeeded     : [user/system] = [0.99s/0.25s]
[ strc | info ] Compilation succeeded       : [user/system] = [2.41s/0.32s]
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.21s/0.02s]
[ strc | info ] Optimization succeeded -O 0 : [user/system] = [0.00s/0.00s]
[ strc | info ] Back-end succeeded          : [user/system] = [0.20s/0.01s]
[ strc | info ] C compilation succeeded     : [user/system] = [0.86s/0.25s]
[ strc | info ] Compilation succeeded       : [user/system] = [2.27s/0.28s]
building caching
strc -i caching.str -m main-`basename caching` -la stratego-lib -la strc -I ../syntax -I ../trans -I ../runtime --format-check 0 -O 0 -Xcc -O0 >/dev/null
[ strc | info ] Compiling 'caching.str'
[ strc | info ] Front-end succeeded         : [user/system] = [1.37s/0.05s]
[ strc | info ] Optimization succeeded -O 0 : [user/system] = [0.00s/0.00s]
[ strc | info ] Back-end succeeded          : [user/system] = [0.35s/0.03s]
[ strc | info ] C compilation succeeded     : [user/system] = [1.23s/0.27s]
[ strc | info ] Compilation succeeded       : [user/system] = [2.95s/0.35s]
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.15s/0.04s]
[ strc | info ] Optimization succeeded -O 0 : [user/system] = [0.00s/0.00s]
[ strc | info ] Back-end succeeded          : [user/system] = [0.11s/0.02s]
[ strc | info ] C compilation succeeded     : [user/system] = [0.71s/0.27s]
[ strc | info ] Compilation succeeded       : [user/system] = [1.97s/0.33s]
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.18s/0.04s]
[ strc | info ] Optimization succeeded -O 0 : [user/system] = [0.00s/0.00s]
[ strc | info ] Back-end succeeded          : [user/system] = [0.12s/0.02s]
[ strc | info ] C compilation succeeded     : [user/system] = [0.62s/0.23s]
[ strc | info ] Compilation succeeded       : [user/system] = [1.92s/0.29s]
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.23s/0.01s]
[ 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] = [0.93s/0.23s]
[ strc | info ] Compilation succeeded       : [user/system] = [2.38s/0.25s]
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.18s/0.04s]
[ strc | info ] Optimization succeeded -O 0 : [user/system] = [0.00s/0.00s]
[ strc | info ] Back-end succeeded          : [user/system] = [0.22s/0.00s]
[ strc | info ] C compilation succeeded     : [user/system] = [0.97s/0.25s]
[ strc | info ] Compilation succeeded       : [user/system] = [2.37s/0.29s]
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.29s/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.30s/0.23s]
[ strc | info ] Compilation succeeded       : [user/system] = [2.89s/0.29s]
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] = [2.34s/0.04s]
[ strc | info ] Optimization succeeded -O 0 : [user/system] = [0.00s/0.00s]
[ strc | info ] Back-end succeeded          : [user/system] = [0.42s/0.02s]
[ strc | info ] C compilation succeeded     : [user/system] = [1.57s/0.30s]
[ strc | info ] Compilation succeeded       : [user/system] = [4.33s/0.36s]
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 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 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-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.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-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 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] check-uncached-decorator0_2_1 @ ("l_0","l_0")
  [trace] noop-decorator0_2_1 @ ("l_0","l_0")
  [trace] no-premature-caching @ ("l_0","l_0")
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 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 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] children @ [1,2,3,_]
  [trace] _collect-all-decorator0_2_1 @ [].1
  [trace] _collect-lt_0_1 @ [].1
  [trace] children @ [].1
  [trace] _collect-all-decorator0_2_1 @ []..2
  [trace] _collect-lt_0_1 @ []..2
  [trace] children @ []..2
  [trace] _collect-all-decorator0_2_1 @ []..3
  [trace] _collect-lt_0_1 @ []..3
  [trace] children @ []..3
  [trace] _collect-all-decorator0_2_1 @ []..[4,5,1,..]
  [trace] _collect-lt_0_1 @ []..[4,5,1,..]
  [trace] children @ []..[4,5,1,..]
  [trace] _collect-all-decorator0_2_1 @ []..4
  [trace] _collect-lt_0_1 @ []..4
  [trace] children @ []..4
  [trace] _collect-all-decorator0_2_1 @ []..5
  [trace] _collect-lt_0_1 @ []..5
  [trace] children @ []..5
  [trace] _collect-all-decorator0_2_1 @ []..1
  [trace] _collect-lt_0_1 @ []..1
  [trace] children @ []..1
  [trace] _collect-all-decorator0_2_1 @ []..2
  [trace] _collect-lt_0_1 @ []..2
  [trace] children @ []..2
  [trace] _collect-all-decorator0_2_1 @ []..6
  [trace] _collect-lt_0_1 @ []..6
  [trace] children @ []..6
([1,2,3,4,1,2],[1,2,3,4,1,2])
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.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-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] 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] 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] 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 @ [].."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] 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")
  [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 @ ?.[]
  [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] 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] 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 @ [].."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] 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] 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] 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 @ [].."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] 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 @ [].."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] 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")
  [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 @ ?.[]
  [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] 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] 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 @ [].."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] 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] 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 @ [].."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] 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] 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] 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 @ [].."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] 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] 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] 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 @ [].."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] 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 @ [].."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] 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")
  [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 @ ?.[]
  [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] 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] 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 @ [].."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] 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] 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] 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 @ [].."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] 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] 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] 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 @ [].."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] 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 @ [].."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] 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] 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] 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 @ [].."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] 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] 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] 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 @ [].."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] 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 @ [].."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 @ ?.[]
Block([Assign("x","value"),While("x",Block([Assign("x","value")])),Return("x")])
make[1]: Leaving directory `/tmp/nix-build-1qnbnfani0ds08yh0068k2nhy43n6fzg-aster.drv-0/aster-0.1pre18354/tests'
make[1]: Entering directory `/tmp/nix-build-1qnbnfani0ds08yh0068k2nhy43n6fzg-aster.drv-0/aster-0.1pre18354'
building all-local
/nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/bin/xtc -r /tmp/nix-build-1qnbnfani0ds08yh0068k2nhy43n6fzg-aster.drv-0/aster-0.1pre18354/BUILDTIME_XTC import /nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/share/strategoxt/XTC
Tools registered in repository /tmp/nix-build-1qnbnfani0ds08yh0068k2nhy43n6fzg-aster.drv-0/aster-0.1pre18354/BUILDTIME_XTC:    
Data registered in repository /tmp/nix-build-1qnbnfani0ds08yh0068k2nhy43n6fzg-aster.drv-0/aster-0.1pre18354/BUILDTIME_XTC:      
make[1]: Leaving directory `/tmp/nix-build-1qnbnfani0ds08yh0068k2nhy43n6fzg-aster.drv-0/aster-0.1pre18354'