check flags: -
building check-recursive
-
Making check in syntax
-
make[1]: Entering directory `/tmp/nix-build-812xspj4f1nl2ynaz4wj1rz6dmrlw4v4-aster.drv-0/aster-0.1pre18214/syntax'
-
building all-local
-
Tools registered in repository /tmp/nix-build-812xspj4f1nl2ynaz4wj1rz6dmrlw4v4-aster.drv-0/aster-0.1pre18214/BUILDTIME_XTC:
-
Data registered in repository /tmp/nix-build-812xspj4f1nl2ynaz4wj1rz6dmrlw4v4-aster.drv-0/aster-0.1pre18214/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-812xspj4f1nl2ynaz4wj1rz6dmrlw4v4-aster.drv-0/aster-0.1pre18214/syntax'
-
Making check in runtime
-
make[1]: Entering directory `/tmp/nix-build-812xspj4f1nl2ynaz4wj1rz6dmrlw4v4-aster.drv-0/aster-0.1pre18214/runtime'
-
building all-local
-
Tools registered in repository /tmp/nix-build-812xspj4f1nl2ynaz4wj1rz6dmrlw4v4-aster.drv-0/aster-0.1pre18214/BUILDTIME_XTC:
-
Data registered in repository /tmp/nix-build-812xspj4f1nl2ynaz4wj1rz6dmrlw4v4-aster.drv-0/aster-0.1pre18214/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/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/lookup.astr aster/decorators/rewriting.astr
-
make[1]: Leaving directory `/tmp/nix-build-812xspj4f1nl2ynaz4wj1rz6dmrlw4v4-aster.drv-0/aster-0.1pre18214/runtime'
-
Making check in trans
-
make[1]: Entering directory `/tmp/nix-build-812xspj4f1nl2ynaz4wj1rz6dmrlw4v4-aster.drv-0/aster-0.1pre18214/trans'
-
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-812xspj4f1nl2ynaz4wj1rz6dmrlw4v4-aster.drv-0/aster-0.1pre18214/BUILDTIME_XTC: aster
-
Data registered in repository /tmp/nix-build-812xspj4f1nl2ynaz4wj1rz6dmrlw4v4-aster.drv-0/aster-0.1pre18214/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/desugar.rtree front/include-library.rtree lib/multi-options.rtree lib/xtc-multi-options.rtree
-
make[1]: Leaving directory `/tmp/nix-build-812xspj4f1nl2ynaz4wj1rz6dmrlw4v4-aster.drv-0/aster-0.1pre18214/trans'
-
Making check in tests
-
make[1]: Entering directory `/tmp/nix-build-812xspj4f1nl2ynaz4wj1rz6dmrlw4v4-aster.drv-0/aster-0.1pre18214/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: /...-aster/share/aster/Stratego-Attributes.tbl
-
[ aster | warning ] Pattern child equals pattern in attribute stupid
-
"stupid"
-
does not have foreign operations: Attribute("test-decorator0",2,1)
-
does not have foreign operations: Attribute("root",0,0)
-
does not have foreign operations: Attribute("root",0,0)
-
does not have foreign operations: Attribute("my-signature",1,0)
-
does not have foreign operations: Attribute("my-attribute-name",0,0)
-
does not have foreign operations: Attribute("my-attribute-name",0,0)
-
does not have foreign operations: Attribute("my-signature",0,0)
-
does not have foreign operations: Attribute("my-signature",0,0)
-
does not have foreign operations: Attribute("is-one",0,0)
-
does not have foreign operations: Attribute("is-one",0,0)
-
does not have foreign operations: Attribute("tuple-first",0,1)
-
does not have foreign operations: Attribute("tuple-first",0,1)
-
does not have foreign operations: Attribute("is",0,1)
-
does not have foreign operations: Attribute("is",0,1)
-
does not have foreign operations: Attribute("all-kids",0,0)
-
does not have foreign operations: Attribute("all-kids",0,0)
-
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.10s/0.29s]
-
[ strc | info ] Optimization succeeded -O 0 : [user/system] = [0.00s/0.00s]
-
[ strc | info ] Back-end succeeded : [user/system] = [0.91s/0.01s]
-
[ strc | info ] C compilation succeeded : [user/system] = [3.14s/0.31s]
-
[ strc | info ] Compilation succeeded : [user/system] = [8.15s/0.62s]
-
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)
-
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)
-
successes: 72
-
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: /...-aster/share/aster/Stratego-Attributes.tbl
-
does not have foreign operations: Attribute("test-decorator0",2,1)
-
does not have foreign operations: Attribute("root",0,0)
-
does not have foreign operations: Attribute("root",0,0)
-
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: /...-aster/share/aster/Stratego-Attributes.tbl
-
does not have foreign operations: Attribute("test-decorator0",2,1)
-
does not have foreign operations: Attribute("root",0,0)
-
does not have foreign operations: Attribute("root",0,0)
-
does not have foreign operations: Attribute("min",0,0)
-
does not have foreign operations: Attribute("min",0,0)
-
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: /...-aster/share/aster/Stratego-Attributes.tbl
-
does not have foreign operations: Attribute("test-decorator0",2,1)
-
does not have foreign operations: Attribute("root",0,0)
-
does not have foreign operations: Attribute("root",0,0)
-
does not have foreign operations: Attribute("min",0,0)
-
does not have foreign operations: Attribute("min",0,0)
-
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: /...-aster/share/aster/Stratego-Attributes.tbl
-
does not have foreign operations: Attribute("test-decorator0",2,1)
-
does not have foreign operations: Attribute("root",0,0)
-
does not have foreign operations: Attribute("root",0,0)
-
does not have foreign operations: Attribute("min",0,0)
-
does not have foreign operations: Attribute("min",0,0)
-
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: /...-aster/share/aster/Stratego-Attributes.tbl
-
does not have foreign operations: Attribute("test-decorator0",2,1)
-
does not have foreign operations: Attribute("root",0,0)
-
does not have foreign operations: Attribute("root",0,0)
-
does not have foreign operations: Attribute("min",0,0)
-
does not have foreign operations: Attribute("min",0,0)
-
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: /...-aster/share/aster/Stratego-Attributes.tbl
-
does not have foreign operations: Attribute("test-decorator0",2,1)
-
does not have foreign operations: Attribute("root",0,0)
-
does not have foreign operations: Attribute("root",0,0)
-
does not have foreign operations: Attribute("min",0,0)
-
does not have foreign operations: Attribute("min",0,0)
-
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: /...-aster/share/aster/Stratego-Attributes.tbl
-
does not have foreign operations: Attribute("test-decorator0",2,1)
-
does not have foreign operations: Attribute("root",0,0)
-
does not have foreign operations: Attribute("root",0,0)
-
does not have foreign operations: Attribute("min",0,0)
-
does not have foreign operations: Attribute("min",0,0)
-
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: /...-aster/share/aster/Stratego-Attributes.tbl
-
does not have foreign operations: Attribute("test-decorator0",2,1)
-
does not have foreign operations: Attribute("root",0,0)
-
does not have foreign operations: Attribute("root",0,0)
-
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: /...-aster/share/aster/Stratego-Attributes.tbl
-
does not have foreign operations: Attribute("test-decorator0",2,1)
-
does not have foreign operations: Attribute("root",0,0)
-
does not have foreign operations: Attribute("root",0,0)
-
does not have foreign operations: Attribute("noop-decorator0",2,1)
-
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: /...-aster/share/aster/Stratego-Attributes.tbl
-
does not have foreign operations: Attribute("test-decorator0",2,1)
-
does not have foreign operations: Attribute("root",0,0)
-
does not have foreign operations: Attribute("root",0,0)
-
building anonymous-rules.str
-
../trans/aster -i anonymous-rules.astr -o anonymous-rules.str --trace --verbose 2
-
[ strc | notice ] Parsing file anonymous-rules.astr
-
[ strc | notice ] Using syntax Stratego-Attributes
-
[ strc | notice ] Using parse table: /...-aster/share/aster/Stratego-Attributes.tbl
-
does not have foreign operations: Attribute("test-decorator0",2,1)
-
does not have foreign operations: Attribute("root",0,0)
-
does not have foreign operations: Attribute("root",0,0)
-
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: /...-aster/share/aster/Stratego-Attributes.tbl
-
does not have foreign operations: Attribute("test-decorator0",2,1)
-
does not have foreign operations: Attribute("root",0,0)
-
does not have foreign operations: Attribute("root",0,0)
-
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: /...-aster/share/aster/Stratego-Attributes.tbl
-
does not have foreign operations: Attribute("test-decorator0",2,1)
-
does not have foreign operations: Attribute("root",0,0)
-
does not have foreign operations: Attribute("root",0,0)
-
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: /...-aster/share/aster/Stratego-Attributes.tbl
-
does not have foreign operations: Attribute("test-decorator0",2,1)
-
does not have foreign operations: Attribute("root",0,0)
-
does not have foreign operations: Attribute("root",0,0)
-
does not have foreign operations: Attribute("live-before",0,0)
-
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: /...-aster/share/aster/Stratego-Attributes.tbl
-
does not have foreign operations: Attribute("test-decorator0",2,1)
-
does not have foreign operations: Attribute("root",0,0)
-
does not have foreign operations: Attribute("root",0,0)
-
does not have foreign operations: Attribute("live-after",0,0)
-
does not have foreign operations: Attribute("live-after",0,0)
-
does not have foreign operations: Attribute("defines",0,0)
-
does not have foreign operations: Attribute("defines",0,0)
-
does not have foreign operations: Attribute("is-dead",0,0)
-
does not have foreign operations: Attribute("is-dead",0,0)
-
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.13s/0.02s]
-
[ 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.30s/0.26s]
-
[ strc | info ] Compilation succeeded : [user/system] = [1.43s/0.28s]
-
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.22s/0.01s]
-
[ strc | info ] Optimization succeeded -O 0 : [user/system] = [0.00s/0.00s]
-
[ strc | info ] Back-end succeeded : [user/system] = [0.11s/0.00s]
-
[ strc | info ] C compilation succeeded : [user/system] = [0.79s/0.24s]
-
[ strc | info ] Compilation succeeded : [user/system] = [2.12s/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.23s/0.01s]
-
[ strc | info ] Optimization succeeded -O 0 : [user/system] = [0.00s/0.00s]
-
[ strc | info ] Back-end succeeded : [user/system] = [0.12s/0.01s]
-
[ strc | info ] C compilation succeeded : [user/system] = [0.79s/0.25s]
-
[ strc | info ] Compilation succeeded : [user/system] = [2.14s/0.27s]
-
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.23s/0.04s]
-
[ strc | info ] Optimization succeeded -O 0 : [user/system] = [0.00s/0.00s]
-
[ strc | info ] Back-end succeeded : [user/system] = [0.18s/0.01s]
-
[ strc | info ] C compilation succeeded : [user/system] = [0.90s/0.24s]
-
[ strc | info ] Compilation succeeded : [user/system] = [2.31s/0.29s]
-
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.27s/0.02s]
-
[ strc | info ] Optimization succeeded -O 0 : [user/system] = [0.00s/0.00s]
-
[ strc | info ] Back-end succeeded : [user/system] = [0.13s/0.01s]
-
[ strc | info ] C compilation succeeded : [user/system] = [0.87s/0.23s]
-
[ strc | info ] Compilation succeeded : [user/system] = [2.27s/0.27s]
-
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.23s/0.02s]
-
[ strc | info ] Optimization succeeded -O 0 : [user/system] = [0.00s/0.00s]
-
[ strc | info ] Back-end succeeded : [user/system] = [0.13s/0.01s]
-
[ strc | info ] C compilation succeeded : [user/system] = [0.83s/0.23s]
-
[ strc | info ] Compilation succeeded : [user/system] = [2.19s/0.26s]
-
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.23s/0.04s]
-
[ strc | info ] Optimization succeeded -O 0 : [user/system] = [0.00s/0.00s]
-
[ strc | info ] Back-end succeeded : [user/system] = [0.21s/0.00s]
-
[ strc | info ] C compilation succeeded : [user/system] = [0.93s/0.29s]
-
[ strc | info ] Compilation succeeded : [user/system] = [2.37s/0.33s]
-
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.27s/0.02s]
-
[ 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.91s/0.21s]
-
[ strc | info ] Compilation succeeded : [user/system] = [2.36s/0.23s]
-
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.38s/0.03s]
-
[ strc | info ] Optimization succeeded -O 0 : [user/system] = [0.00s/0.00s]
-
[ strc | info ] Back-end succeeded : [user/system] = [0.60s/0.01s]
-
[ strc | info ] C compilation succeeded : [user/system] = [1.08s/0.30s]
-
[ strc | info ] Compilation succeeded : [user/system] = [3.06s/0.34s]
-
building cons-nil
-
strc -i cons-nil.str -m main-`basename cons-nil` -la stratego-lib -la strc -I ../syntax -I ../trans -I ../runtime --format-check 0 -O 0 -Xcc -O0 >/dev/null
-
[ strc | info ] Compiling 'cons-nil.str'
-
[ strc | info ] Front-end succeeded : [user/system] = [1.20s/0.02s]
-
[ strc | info ] Optimization succeeded -O 0 : [user/system] = [0.00s/0.00s]
-
[ strc | info ] Back-end succeeded : [user/system] = [0.10s/0.00s]
-
[ strc | info ] C compilation succeeded : [user/system] = [0.77s/0.20s]
-
[ strc | info ] Compilation succeeded : [user/system] = [2.08s/0.22s]
-
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.23s/0.02s]
-
[ strc | info ] Optimization succeeded -O 0 : [user/system] = [0.00s/0.00s]
-
[ strc | info ] Back-end succeeded : [user/system] = [0.10s/0.00s]
-
[ strc | info ] C compilation succeeded : [user/system] = [0.67s/0.25s]
-
[ strc | info ] Compilation succeeded : [user/system] = [2.00s/0.27s]
-
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.25s/0.04s]
-
[ 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.91s/0.29s]
-
[ strc | info ] Compilation succeeded : [user/system] = [2.36s/0.34s]
-
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.23s/0.03s]
-
[ strc | info ] Optimization succeeded -O 0 : [user/system] = [0.00s/0.00s]
-
[ strc | info ] Back-end succeeded : [user/system] = [0.14s/0.01s]
-
[ strc | info ] C compilation succeeded : [user/system] = [0.94s/0.23s]
-
[ strc | info ] Compilation succeeded : [user/system] = [2.31s/0.27s]
-
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.39s/0.02s]
-
[ strc | info ] Optimization succeeded -O 0 : [user/system] = [0.00s/0.00s]
-
[ strc | info ] Back-end succeeded : [user/system] = [0.24s/0.01s]
-
[ strc | info ] C compilation succeeded : [user/system] = [1.22s/0.29s]
-
[ strc | info ] Compilation succeeded : [user/system] = [2.85s/0.32s]
-
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.47s/0.01s]
-
[ strc | info ] Optimization succeeded -O 0 : [user/system] = [0.00s/0.00s]
-
[ strc | info ] Back-end succeeded : [user/system] = [0.40s/0.03s]
-
[ strc | info ] C compilation succeeded : [user/system] = [1.57s/0.29s]
-
[ strc | info ] Compilation succeeded : [user/system] = [4.44s/0.33s]
-
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] 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)
-
[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(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.Fork.Fork.Leaf(42)
-
[trace] min @ Fork.Fork.Fork.Leaf(42)
-
[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)
-
[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] down-decorator0_2_1 @ Fork.Leaf(42)
-
[trace] global-min @ Fork.Leaf(42)
-
[trace] global-min @ Fork.Leaf(42) (failed)
-
[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(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] 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.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.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.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.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] rewrite-td-decorator0_2_1 @ Fork.Fork(Leaf,Fork)
-
[trace] rewrite-td @ Fork.Fork(Leaf,Fork)
-
[trace] rewrite-td @ Fork(Fork,Leaf) (failed)
-
[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] rewrite-td-decorator0_2_1 @ Fork.Leaf.42
-
[trace] rewrite-td @ Fork.Leaf.42
-
[trace] rewrite-td @ Fork(Fork,Leaf) (failed)
-
[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] 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] 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] 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] 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] child_1_0 @ Number.List.List.List(1)
-
[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] child_1_0 @ Number.List.List(0)
-
[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"{"@3"},"a_0"{"@3"})
-
[trace] noop-decorator0_2_1 @ "root"
-
[trace] get-cached-2 @ "root"
-
2("b_0","b_0")
-
[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"})
-
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] is-root @ [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] _inh-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
-
([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] defines @ Block.[]..While.Block.[].Assign("x","bogus3")
-
[trace] is-dead @ [].."value"
-
[trace] defines @ [].."value"
-
[trace] circular-decorator0_2_2 @ [].."value"
-
[trace] plain-decorator0_2_1 @ [].."value"
-
[trace] live-after @ [].."value"
-
[trace] succ @ [].."value"
-
[trace] down-decorator0_2_1 @ [].."value"
-
[trace] succ-enclosing @ [].."value"
-
[trace] succ-enclosing @ [].."value" (failed)
-
[trace] down-decorator0_2_1 @ [].["value"]
-
[trace] succ-enclosing @ [].["value"]
-
[trace] succ-enclosing @ [].."value" (failed)
-
[trace] down-decorator0_2_1 @ ["bogus3","value"]
-
[trace] succ-enclosing @ ["bogus3","value"]
-
[trace] map-decorator0_2_1 @ ?.[]
-
[trace] is-dead @ []."bogus3"
-
[trace] defines @ []."bogus3"
-
[trace] circular-decorator0_2_2 @ []."bogus3"
-
[trace] plain-decorator0_2_1 @ []."bogus3"
-
[trace] live-after @ []."bogus3"
-
[trace] succ @ []."bogus3"
-
[trace] down-decorator0_2_1 @ []."bogus3"
-
[trace] succ-enclosing @ []."bogus3"
-
[trace] map-decorator0_2_1 @ ?.["value"]
-
[trace] circular-decorator0_2_2 @ [].."value"
-
[trace] plain-decorator0_2_1 @ [].."value"
-
[trace] live-before @ [].."value"
-
[trace] uses @ [].."value"
-
[trace] circular-decorator0_2_2 @ [].."value"
-
[trace] plain-decorator0_2_1 @ [].."value"
-
[trace] live-after @ [].."value"
-
[trace] map-decorator0_2_1 @ ?.[]
-
[trace] defines @ Block.[]..While.Block([..])
-
[trace] circular-decorator0_2_2 @ Block.[]..While("x",Block)
-
[trace] is-dead @ [].."value"
-
[trace] defines @ [].."value"
-
[trace] circular-decorator0_2_2 @ [].."value"
-
[trace] plain-decorator0_2_1 @ [].."value"
-
[trace] live-after @ [].."value"
-
[trace] succ @ [].."value"
-
[trace] down-decorator0_2_1 @ [].."value"
-
[trace] succ-enclosing @ [].."value"
-
[trace] succ-enclosing @ [].."value" (failed)
-
[trace] down-decorator0_2_1 @ [].["value"]
-
[trace] succ-enclosing @ [].["value"]
-
[trace] succ-enclosing @ [].."value" (failed)
-
[trace] down-decorator0_2_1 @ ["bogus3","value"]
-
[trace] succ-enclosing @ ["bogus3","value"]
-
[trace] map-decorator0_2_1 @ ?.[]
-
[trace] is-dead @ []."bogus3"
-
[trace] defines @ []."bogus3"
-
[trace] circular-decorator0_2_2 @ []."bogus3"
-
[trace] plain-decorator0_2_1 @ []."bogus3"
-
[trace] live-after @ []."bogus3"
-
[trace] succ @ []."bogus3"
-
[trace] down-decorator0_2_1 @ []."bogus3"
-
[trace] succ-enclosing @ []."bogus3"
-
[trace] map-decorator0_2_1 @ ?.["value"]
-
[trace] circular-decorator0_2_2 @ [].."value"
-
[trace] plain-decorator0_2_1 @ [].."value"
-
[trace] live-before @ [].."value"
-
[trace] uses @ [].."value"
-
[trace] circular-decorator0_2_2 @ [].."value"
-
[trace] plain-decorator0_2_1 @ [].."value"
-
[trace] live-after @ [].."value"
-
[trace] map-decorator0_2_1 @ ?.[]
-
[trace] defines @ Block.[]..While("x",Block)
-
[trace] is-dead @ [].."value"
-
[trace] defines @ [].."value"
-
[trace] circular-decorator0_2_2 @ [].."value"
-
[trace] plain-decorator0_2_1 @ [].."value"
-
[trace] live-after @ [].."value"
-
[trace] succ @ [].."value"
-
[trace] down-decorator0_2_1 @ [].."value"
-
[trace] succ-enclosing @ [].."value"
-
[trace] succ-enclosing @ [].."value" (failed)
-
[trace] down-decorator0_2_1 @ []..["value"]
-
[trace] succ-enclosing @ []..["value"]
-
[trace] succ-enclosing @ [].."value" (failed)
-
[trace] down-decorator0_2_1 @ [].["bogus3","value"]
-
[trace] succ-enclosing @ [].["bogus3","value"]
-
[trace] succ-enclosing @ [].."value" (failed)
-
[trace] down-decorator0_2_1 @ ["x","bogus3","value"]
-
[trace] succ-enclosing @ ["x","bogus3","value"]
-
[trace] map-decorator0_2_1 @ ?.[]
-
[trace] is-dead @ [].."bogus3"
-
[trace] defines @ [].."bogus3"
-
[trace] circular-decorator0_2_2 @ [].."bogus3"
-
[trace] plain-decorator0_2_1 @ [].."bogus3"
-
[trace] live-after @ [].."bogus3"
-
[trace] succ @ [].."bogus3"
-
[trace] down-decorator0_2_1 @ [].."bogus3"
-
[trace] succ-enclosing @ [].."bogus3"
-
[trace] map-decorator0_2_1 @ ?.["value"]
-
[trace] circular-decorator0_2_2 @ [].."value"
-
[trace] plain-decorator0_2_1 @ [].."value"
-
[trace] live-before @ [].."value"
-
[trace] uses @ [].."value"
-
[trace] circular-decorator0_2_2 @ [].."value"
-
[trace] plain-decorator0_2_1 @ [].."value"
-
[trace] live-after @ [].."value"
-
[trace] map-decorator0_2_1 @ ?.[]
-
[trace] is-dead @ []."x"
-
[trace] defines @ []."x"
-
[trace] circular-decorator0_2_2 @ []."x"
-
[trace] plain-decorator0_2_1 @ []."x"
-
[trace] live-after @ []."x"
-
[trace] succ @ []."x"
-
[trace] down-decorator0_2_1 @ []."x"
-
[trace] succ-enclosing @ []."x"
-
[trace] map-decorator0_2_1 @ ?.["bogus3"]
-
[trace] circular-decorator0_2_2 @ [].."bogus3"
-
[trace] plain-decorator0_2_1 @ [].."bogus3"
-
[trace] live-before @ [].."bogus3"
-
[trace] uses @ [].."bogus3"
-
[trace] circular-decorator0_2_2 @ [].."bogus3"
-
[trace] plain-decorator0_2_1 @ [].."bogus3"
-
[trace] live-after @ [].."bogus3"
-
[trace] map-decorator0_2_1 @ ?.["value"]
-
[trace] circular-decorator0_2_2 @ [].."value"
-
[trace] plain-decorator0_2_1 @ [].."value"
-
[trace] live-before @ [].."value"
-
[trace] circular-decorator0_2_2 @ [].."value"
-
[trace] plain-decorator0_2_1 @ [].."value"
-
[trace] live-after @ [].."value"
-
[trace] map-decorator0_2_1 @ ?.[]
-
[trace] plain-decorator0_2_1 @ Block.[]..While.Block.[]..Assign("x","value")
-
[trace] is-dead @ Block.[]..While.Block.[].Assign("x","bogus3")
-
[trace] circular-decorator0_2_2 @ Block.[]..While.Block.[].Assign("x","bogus3")
-
[trace] plain-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x","bogus3")
-
[trace] live-after @ Block.[]..While.Block.[].Assign("x","bogus3")
-
[trace] map-decorator0_2_1 @ ?.[Assign]
-
[trace] circular-decorator0_2_2 @ Block.[]..While.Block.[]..Assign("x","value")
-
[trace] plain-decorator0_2_1 @ Block.[]..While.Block.[]..Assign("x","value")
-
[trace] live-before @ Block.[]..While.Block.[]..Assign("x","value")
-
[trace] circular-decorator0_2_2 @ Block.[]..While.Block.[]..Assign("x","value")
-
[trace] is-dead @ [].."value"
-
[trace] defines @ [].."value"
-
[trace] circular-decorator0_2_2 @ [].."value"
-
[trace] plain-decorator0_2_1 @ [].."value"
-
[trace] live-after @ [].."value"
-
[trace] succ @ [].."value"
-
[trace] down-decorator0_2_1 @ [].."value"
-
[trace] succ-enclosing @ [].."value"
-
[trace] succ-enclosing @ [].."value" (failed)
-
[trace] down-decorator0_2_1 @ [].["value"]
-
[trace] succ-enclosing @ [].["value"]
-
[trace] succ-enclosing @ [].."value" (failed)
-
[trace] down-decorator0_2_1 @ ["bogus3","value"]
-
[trace] succ-enclosing @ ["bogus3","value"]
-
[trace] map-decorator0_2_1 @ ?.[]
-
[trace] is-dead @ []."bogus3"
-
[trace] defines @ []."bogus3"
-
[trace] circular-decorator0_2_2 @ []."bogus3"
-
[trace] plain-decorator0_2_1 @ []."bogus3"
-
[trace] live-after @ []."bogus3"
-
[trace] succ @ []."bogus3"
-
[trace] down-decorator0_2_1 @ []."bogus3"
-
[trace] succ-enclosing @ []."bogus3"
-
[trace] map-decorator0_2_1 @ ?.["value"]
-
[trace] circular-decorator0_2_2 @ [].."value"
-
[trace] plain-decorator0_2_1 @ [].."value"
-
[trace] live-before @ [].."value"
-
[trace] uses @ [].."value"
-
[trace] circular-decorator0_2_2 @ [].."value"
-
[trace] plain-decorator0_2_1 @ [].."value"
-
[trace] live-after @ [].."value"
-
[trace] map-decorator0_2_1 @ ?.[]
-
[trace] plain-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x","bogus3")
-
[rewr.] Block.[]..While.Block.[Assign,Assign] -> [Assign]
-
[trace] is-dead @ Block.[]..While.Block.[].Assign("x","value")
-
[trace] defines @ Block.[]..While.Block.[].Assign("x","value")
-
[trace] circular-decorator0_2_2 @ Block.[]..While.Block.[].Assign("x","value")
-
[trace] plain-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x","value")
-
[trace] live-after @ Block.[]..While.Block.[].Assign("x","value")
-
[trace] succ @ Block.[]..While.Block.[].Assign("x","value")
-
[trace] down-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x","value")
-
[trace] succ-enclosing @ Block.[]..While.Block.[].Assign("x","value")
-
[trace] succ-enclosing @ Block.[]..While.Block.[].Assign("x","value") (failed)
-
[trace] down-decorator0_2_1 @ Block.[]..While.Block.[Assign]
-
[trace] succ-enclosing @ Block.[]..While.Block.[Assign]
-
[trace] succ-enclosing @ Block.[]..While.Block.[].Assign("x","value") (failed)
-
[trace] down-decorator0_2_1 @ Block.[]..While.Block([_])
-
[trace] succ-enclosing @ Block.[]..While.Block([_])
-
[trace] map-decorator0_2_1 @ ?.[While]
-
[trace] circular-decorator0_2_2 @ Block.[]..While("x",Block)
-
[trace] plain-decorator0_2_1 @ Block.[]..While("x",Block)
-
[trace] live-before @ Block.[]..While("x",Block)
-
[trace] uses @ Block.[]..While("x",Block)
-
[trace] circular-decorator0_2_2 @ Block.[]..While("x",Block)
-
[trace] plain-decorator0_2_1 @ Block.[]..While("x",Block)
-
[trace] live-after @ Block.[]..While("x",Block)
-
[trace] succ @ Block.[]..While("x",Block)
-
[trace] map-decorator0_2_1 @ ?.[Block,While]
-
[trace] circular-decorator0_2_2 @ Block.[]..While.Block([_])
-
[trace] plain-decorator0_2_1 @ Block.[]..While.Block([_])
-
[trace] live-before @ Block.[]..While.Block([_])
-
[trace] uses @ Block.[]..While.Block([_])
-
[trace] circular-decorator0_2_2 @ Block.[]..While.Block([_])
-
[trace] plain-decorator0_2_1 @ Block.[]..While.Block([_])
-
[trace] live-after @ Block.[]..While.Block([_])
-
[trace] succ @ Block.[]..While.Block([_])
-
[trace] map-decorator0_2_1 @ ?.[Assign]
-
[trace] circular-decorator0_2_2 @ Block.[]..While.Block.[].Assign("x","value")
-
[trace] plain-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x","value")
-
[trace] live-before @ Block.[]..While.Block.[].Assign("x","value")
-
[trace] uses @ Block.[]..While.Block.[].Assign("x","value")
-
[trace] circular-decorator0_2_2 @ Block.[]..While.Block.[].Assign("x","value")
-
[trace] is-dead @ []."value"
-
[trace] defines @ []."value"
-
[trace] circular-decorator0_2_2 @ []."value"
-
[trace] plain-decorator0_2_1 @ []."value"
-
[trace] live-after @ []."value"
-
[trace] succ @ []."value"
-
[trace] down-decorator0_2_1 @ []."value"
-
[trace] succ-enclosing @ []."value"
-
[trace] succ-enclosing @ []."value" (failed)
-
[trace] down-decorator0_2_1 @ ["value"]
-
[trace] succ-enclosing @ ["value"]
-
[trace] map-decorator0_2_1 @ ?.[]
-
[trace] defines @ Block.[]..While.Block([_])
-
[trace] circular-decorator0_2_2 @ Block.[]..While("x",Block)
-
[trace] is-dead @ []."value"
-
[trace] defines @ []."value"
-
[trace] circular-decorator0_2_2 @ []."value"
-
[trace] plain-decorator0_2_1 @ []."value"
-
[trace] live-after @ []."value"
-
[trace] succ @ []."value"
-
[trace] down-decorator0_2_1 @ []."value"
-
[trace] succ-enclosing @ []."value"
-
[trace] succ-enclosing @ []."value" (failed)
-
[trace] down-decorator0_2_1 @ ["value"]
-
[trace] succ-enclosing @ ["value"]
-
[trace] map-decorator0_2_1 @ ?.[]
-
[trace] defines @ Block.[]..While("x",Block)
-
[trace] is-dead @ [].."value"
-
[trace] defines @ [].."value"
-
[trace] circular-decorator0_2_2 @ [].."value"
-
[trace] plain-decorator0_2_1 @ [].."value"
-
[trace] live-after @ [].."value"
-
[trace] succ @ [].."value"
-
[trace] down-decorator0_2_1 @ [].."value"
-
[trace] succ-enclosing @ [].."value"
-
[trace] succ-enclosing @ [].."value" (failed)
-
[trace] down-decorator0_2_1 @ [].["value"]
-
[trace] succ-enclosing @ [].["value"]
-
[trace] succ-enclosing @ [].."value" (failed)
-
[trace] down-decorator0_2_1 @ ["x","value"]
-
[trace] succ-enclosing @ ["x","value"]
-
[trace] map-decorator0_2_1 @ ?.[]
-
[trace] is-dead @ []."x"
-
[trace] defines @ []."x"
-
[trace] circular-decorator0_2_2 @ []."x"
-
[trace] plain-decorator0_2_1 @ []."x"
-
[trace] live-after @ []."x"
-
[trace] succ @ []."x"
-
[trace] down-decorator0_2_1 @ []."x"
-
[trace] succ-enclosing @ []."x"
-
[trace] map-decorator0_2_1 @ ?.["value"]
-
[trace] circular-decorator0_2_2 @ [].."value"
-
[trace] plain-decorator0_2_1 @ [].."value"
-
[trace] live-before @ [].."value"
-
[trace] uses @ [].."value"
-
[trace] circular-decorator0_2_2 @ [].."value"
-
[trace] plain-decorator0_2_1 @ [].."value"
-
[trace] live-after @ [].."value"
-
[trace] map-decorator0_2_1 @ ?.[]
-
[trace] plain-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x","value")
-
[trace] is-dead @ Block.[]..Return("x")
-
[trace] defines @ Block.[]..Return("x")
-
[trace] circular-decorator0_2_2 @ Block.[]..Return("x")
-
[trace] plain-decorator0_2_1 @ Block.[]..Return("x")
-
[trace] live-after @ Block.[]..Return("x")
-
[trace] succ @ Block.[]..Return("x")
-
[trace] map-decorator0_2_1 @ ?.[]
-
[trace] is-dead @ Block.[]..While("x",Block)
-
[trace] circular-decorator0_2_2 @ Block.[]..While("x",Block)
-
[trace] plain-decorator0_2_1 @ Block.[]..While("x",Block)
-
[trace] live-after @ Block.[]..While("x",Block)
-
[trace] map-decorator0_2_1 @ ?.[Block,While]
-
[trace] circular-decorator0_2_2 @ Block.[]..While.Block([_])
-
[trace] plain-decorator0_2_1 @ Block.[]..While.Block([_])
-
[trace] live-before @ Block.[]..While.Block([_])
-
[trace] circular-decorator0_2_2 @ Block.[]..While.Block([_])
-
[trace] plain-decorator0_2_1 @ Block.[]..While.Block([_])
-
[trace] live-after @ Block.[]..While.Block([_])
-
[trace] map-decorator0_2_1 @ ?.[Assign]
-
[trace] circular-decorator0_2_2 @ Block.[]..While.Block.[].Assign("x","value")
-
[trace] plain-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x","value")
-
[trace] live-before @ Block.[]..While.Block.[].Assign("x","value")
-
[trace] circular-decorator0_2_2 @ Block.[]..While.Block.[].Assign("x","value")
-
[trace] is-dead @ []."value"
-
[trace] defines @ []."value"
-
[trace] circular-decorator0_2_2 @ []."value"
-
[trace] plain-decorator0_2_1 @ []."value"
-
[trace] live-after @ []."value"
-
[trace] succ @ []."value"
-
[trace] down-decorator0_2_1 @ []."value"
-
[trace] succ-enclosing @ []."value"
-
[trace] succ-enclosing @ []."value" (failed)
-
[trace] down-decorator0_2_1 @ ["value"]
-
[trace] succ-enclosing @ ["value"]
-
[trace] map-decorator0_2_1 @ ?.[]
-
[trace] circular-decorator0_2_2 @ Block.[]..While("x",Block)
-
[trace] plain-decorator0_2_1 @ Block.[]..While("x",Block)
-
[trace] live-before @ Block.[]..While("x",Block)
-
[trace] circular-decorator0_2_2 @ Block.[]..While("x",Block)
-
[trace] is-dead @ []."value"
-
[trace] defines @ []."value"
-
[trace] circular-decorator0_2_2 @ []."value"
-
[trace] plain-decorator0_2_1 @ []."value"
-
[trace] live-after @ []."value"
-
[trace] succ @ []."value"
-
[trace] down-decorator0_2_1 @ []."value"
-
[trace] succ-enclosing @ []."value"
-
[trace] succ-enclosing @ []."value" (failed)
-
[trace] down-decorator0_2_1 @ ["value"]
-
[trace] succ-enclosing @ ["value"]
-
[trace] map-decorator0_2_1 @ ?.[]
-
[trace] is-dead @ [].."value"
-
[trace] defines @ [].."value"
-
[trace] circular-decorator0_2_2 @ [].."value"
-
[trace] plain-decorator0_2_1 @ [].."value"
-
[trace] live-after @ [].."value"
-
[trace] succ @ [].."value"
-
[trace] down-decorator0_2_1 @ [].."value"
-
[trace] succ-enclosing @ [].."value"
-
[trace] succ-enclosing @ [].."value" (failed)
-
[trace] down-decorator0_2_1 @ [].["value"]
-
[trace] succ-enclosing @ [].["value"]
-
[trace] succ-enclosing @ [].."value" (failed)
-
[trace] down-decorator0_2_1 @ ["x","value"]
-
[trace] succ-enclosing @ ["x","value"]
-
[trace] map-decorator0_2_1 @ ?.[]
-
[trace] is-dead @ []."x"
-
[trace] defines @ []."x"
-
[trace] circular-decorator0_2_2 @ []."x"
-
[trace] plain-decorator0_2_1 @ []."x"
-
[trace] live-after @ []."x"
-
[trace] succ @ []."x"
-
[trace] down-decorator0_2_1 @ []."x"
-
[trace] succ-enclosing @ []."x"
-
[trace] map-decorator0_2_1 @ ?.["value"]
-
[trace] circular-decorator0_2_2 @ [].."value"
-
[trace] plain-decorator0_2_1 @ [].."value"
-
[trace] live-before @ [].."value"
-
[trace] uses @ [].."value"
-
[trace] circular-decorator0_2_2 @ [].."value"
-
[trace] plain-decorator0_2_1 @ [].."value"
-
[trace] live-after @ [].."value"
-
[trace] map-decorator0_2_1 @ ?.[]
-
[trace] plain-decorator0_2_1 @ Block.[]..While("x",Block)
-
[trace] is-dead @ Block.[]..Assign("x","value")
-
[trace] defines @ Block.[]..Assign("x","value")
-
[trace] circular-decorator0_2_2 @ Block.[]..Assign("x","value")
-
[trace] plain-decorator0_2_1 @ Block.[]..Assign("x","value")
-
[trace] live-after @ Block.[]..Assign("x","value")
-
[trace] succ @ Block.[]..Assign("x","value")
-
[trace] down-decorator0_2_1 @ Block.[]..Assign("x","value")
-
[trace] succ-enclosing @ Block.[]..Assign("x","value")
-
[trace] map-decorator0_2_1 @ ?.[While]
-
[trace] circular-decorator0_2_2 @ Block.[]..While("x",Block)
-
[trace] plain-decorator0_2_1 @ Block.[]..While("x",Block)
-
[trace] live-before @ Block.[]..While("x",Block)
-
[trace] circular-decorator0_2_2 @ Block.[]..While("x",Block)
-
[trace] is-dead @ [].."value"
-
[trace] defines @ [].."value"
-
[trace] circular-decorator0_2_2 @ [].."value"
-
[trace] plain-decorator0_2_1 @ [].."value"
-
[trace] live-after @ [].."value"
-
[trace] succ @ [].."value"
-
[trace] down-decorator0_2_1 @ [].."value"
-
[trace] succ-enclosing @ [].."value"
-
[trace] succ-enclosing @ [].."value" (failed)
-
[trace] down-decorator0_2_1 @ [].["value"]
-
[trace] succ-enclosing @ [].["value"]
-
[trace] succ-enclosing @ [].."value" (failed)
-
[trace] down-decorator0_2_1 @ ["x","value"]
-
[trace] succ-enclosing @ ["x","value"]
-
[trace] map-decorator0_2_1 @ ?.[]
-
[trace] is-dead @ []."x"
-
[trace] defines @ []."x"
-
[trace] circular-decorator0_2_2 @ []."x"
-
[trace] plain-decorator0_2_1 @ []."x"
-
[trace] live-after @ []."x"
-
[trace] succ @ []."x"
-
[trace] down-decorator0_2_1 @ []."x"
-
[trace] succ-enclosing @ []."x"
-
[trace] map-decorator0_2_1 @ ?.["value"]
-
[trace] circular-decorator0_2_2 @ [].."value"
-
[trace] plain-decorator0_2_1 @ [].."value"
-
[trace] live-before @ [].."value"
-
[trace] uses @ [].."value"
-
[trace] circular-decorator0_2_2 @ [].."value"
-
[trace] plain-decorator0_2_1 @ [].."value"
-
[trace] live-after @ [].."value"
-
[trace] map-decorator0_2_1 @ ?.[]
-
[trace] plain-decorator0_2_1 @ Block.[]..Assign("x","value")
-
[trace] is-dead @ Block.[]..Assign("bogus2","bogus1")
-
[trace] defines @ Block.[]..Assign("bogus2","bogus1")
-
[trace] circular-decorator0_2_2 @ Block.[]..Assign("bogus2","bogus1")
-
[trace] plain-decorator0_2_1 @ Block.[]..Assign("bogus2","bogus1")
-
[trace] live-after @ Block.[]..Assign("bogus2","bogus1")
-
[trace] succ @ Block.[]..Assign("bogus2","bogus1")
-
[trace] down-decorator0_2_1 @ Block.[]..Assign("bogus2","bogus1")
-
[trace] succ-enclosing @ Block.[]..Assign("bogus2","bogus1")
-
[trace] map-decorator0_2_1 @ ?.[Assign]
-
[trace] circular-decorator0_2_2 @ Block.[]..Assign("x","value")
-
[trace] plain-decorator0_2_1 @ Block.[]..Assign("x","value")
-
[trace] live-before @ Block.[]..Assign("x","value")
-
[trace] uses @ Block.[]..Assign("x","value")
-
[trace] circular-decorator0_2_2 @ Block.[]..Assign("x","value")
-
[trace] is-dead @ []."value"
-
[trace] defines @ []."value"
-
[trace] circular-decorator0_2_2 @ []."value"
-
[trace] plain-decorator0_2_1 @ []."value"
-
[trace] live-after @ []."value"
-
[trace] succ @ []."value"
-
[trace] down-decorator0_2_1 @ []."value"
-
[trace] succ-enclosing @ []."value"
-
[trace] succ-enclosing @ []."value" (failed)
-
[trace] down-decorator0_2_1 @ ["value"]
-
[trace] succ-enclosing @ ["value"]
-
[trace] map-decorator0_2_1 @ ?.[]
-
[trace] plain-decorator0_2_1 @ Block.[]..Assign("bogus2","bogus1")
-
[rewr.] Block.[].[Assign,Assign,While,_] -> [Assign,While,Return]
-
[trace] is-dead @ Block.[]..Assign("x","value")
-
[trace] defines @ Block.[]..Assign("x","value")
-
[trace] circular-decorator0_2_2 @ Block.[]..Assign("x","value")
-
[trace] plain-decorator0_2_1 @ Block.[]..Assign("x","value")
-
[trace] live-after @ Block.[]..Assign("x","value")
-
[trace] succ @ Block.[]..Assign("x","value")
-
[trace] down-decorator0_2_1 @ Block.[]..Assign("x","value")
-
[trace] succ-enclosing @ Block.[]..Assign("x","value")
-
[trace] map-decorator0_2_1 @ ?.[While]
-
[trace] circular-decorator0_2_2 @ Block.[]..While("x",Block)
-
[trace] plain-decorator0_2_1 @ Block.[]..While("x",Block)
-
[trace] live-before @ Block.[]..While("x",Block)
-
[trace] uses @ Block.[]..While("x",Block)
-
[trace] circular-decorator0_2_2 @ Block.[]..While("x",Block)
-
[trace] plain-decorator0_2_1 @ Block.[]..While("x",Block)
-
[trace] live-after @ Block.[]..While("x",Block)
-
[trace] succ @ Block.[]..While("x",Block)
-
[trace] down-decorator0_2_1 @ Block.[]..While.Block([_])
-
[trace] succ-enclosing @ Block.[]..While.Block([_])
-
[trace] map-decorator0_2_1 @ ?.[Block,While]
-
[trace] circular-decorator0_2_2 @ Block.[]..While.Block([_])
-
[trace] plain-decorator0_2_1 @ Block.[]..While.Block([_])
-
[trace] live-before @ Block.[]..While.Block([_])
-
[trace] uses @ Block.[]..While.Block([_])
-
[trace] circular-decorator0_2_2 @ Block.[]..While.Block([_])
-
[trace] plain-decorator0_2_1 @ Block.[]..While.Block([_])
-
[trace] live-after @ Block.[]..While.Block([_])
-
[trace] succ @ Block.[]..While.Block([_])
-
[trace] map-decorator0_2_1 @ ?.[Assign]
-
[trace] circular-decorator0_2_2 @ Block.[]..While.Block.[].Assign("x","value")
-
[trace] plain-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x","value")
-
[trace] live-before @ Block.[]..While.Block.[].Assign("x","value")
-
[trace] uses @ Block.[]..While.Block.[].Assign("x","value")
-
[trace] circular-decorator0_2_2 @ Block.[]..While.Block.[].Assign("x","value")
-
[trace] plain-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x","value")
-
[trace] live-after @ Block.[]..While.Block.[].Assign("x","value")
-
[trace] succ @ Block.[]..While.Block.[].Assign("x","value")
-
[trace] down-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x","value")
-
[trace] succ-enclosing @ Block.[]..While.Block.[].Assign("x","value")
-
[trace] succ-enclosing @ Block.[]..While.Block.[].Assign("x","value") (failed)
-
[trace] down-decorator0_2_1 @ Block.[]..While.Block.[Assign]
-
[trace] succ-enclosing @ Block.[]..While.Block.[Assign]
-
[trace] succ-enclosing @ Block.[]..While.Block.[].Assign("x","value") (failed)
-
[trace] map-decorator0_2_1 @ ?.[While]
-
[trace] circular-decorator0_2_2 @ Block.[]..While("x",Block)
-
[trace] defines @ Block.[]..While.Block.[].Assign("x","value")
-
[trace] is-dead @ []."value"
-
[trace] defines @ []."value"
-
[trace] circular-decorator0_2_2 @ []."value"
-
[trace] plain-decorator0_2_1 @ []."value"
-
[trace] live-after @ []."value"
-
[trace] succ @ []."value"
-
[trace] down-decorator0_2_1 @ []."value"
-
[trace] succ-enclosing @ []."value"
-
[trace] succ-enclosing @ []."value" (failed)
-
[trace] down-decorator0_2_1 @ ["value"]
-
[trace] succ-enclosing @ ["value"]
-
[trace] map-decorator0_2_1 @ ?.[]
-
[trace] defines @ Block.[]..While.Block([_])
-
[trace] circular-decorator0_2_2 @ Block.[]..While("x",Block)
-
[trace] is-dead @ []."value"
-
[trace] defines @ []."value"
-
[trace] circular-decorator0_2_2 @ []."value"
-
[trace] plain-decorator0_2_1 @ []."value"
-
[trace] live-after @ []."value"
-
[trace] succ @ []."value"
-
[trace] down-decorator0_2_1 @ []."value"
-
[trace] succ-enclosing @ []."value"
-
[trace] succ-enclosing @ []."value" (failed)
-
[trace] down-decorator0_2_1 @ ["value"]
-
[trace] succ-enclosing @ ["value"]
-
[trace] map-decorator0_2_1 @ ?.[]
-
[trace] defines @ Block.[]..While("x",Block)
-
[trace] is-dead @ [].."value"
-
[trace] defines @ [].."value"
-
[trace] circular-decorator0_2_2 @ [].."value"
-
[trace] plain-decorator0_2_1 @ [].."value"
-
[trace] live-after @ [].."value"
-
[trace] succ @ [].."value"
-
[trace] down-decorator0_2_1 @ [].."value"
-
[trace] succ-enclosing @ [].."value"
-
[trace] succ-enclosing @ [].."value" (failed)
-
[trace] down-decorator0_2_1 @ [].["value"]
-
[trace] succ-enclosing @ [].["value"]
-
[trace] succ-enclosing @ [].."value" (failed)
-
[trace] down-decorator0_2_1 @ ["x","value"]
-
[trace] succ-enclosing @ ["x","value"]
-
[trace] map-decorator0_2_1 @ ?.[]
-
[trace] is-dead @ []."x"
-
[trace] defines @ []."x"
-
[trace] circular-decorator0_2_2 @ []."x"
-
[trace] plain-decorator0_2_1 @ []."x"
-
[trace] live-after @ []."x"
-
[trace] succ @ []."x"
-
[trace] down-decorator0_2_1 @ []."x"
-
[trace] succ-enclosing @ []."x"
-
[trace] map-decorator0_2_1 @ ?.["value"]
-
[trace] circular-decorator0_2_2 @ [].."value"
-
[trace] plain-decorator0_2_1 @ [].."value"
-
[trace] live-before @ [].."value"
-
[trace] uses @ [].."value"
-
[trace] circular-decorator0_2_2 @ [].."value"
-
[trace] plain-decorator0_2_1 @ [].."value"
-
[trace] live-after @ [].."value"
-
[trace] map-decorator0_2_1 @ ?.[]
-
[trace] plain-decorator0_2_1 @ Block.[]..Assign("x","value")
-
[trace] is-dead @ Block.[].Assign("bogus1","value")
-
[trace] defines @ Block.[].Assign("bogus1","value")
-
[trace] circular-decorator0_2_2 @ Block.[].Assign("bogus1","value")
-
[trace] plain-decorator0_2_1 @ Block.[].Assign("bogus1","value")
-
[trace] live-after @ Block.[].Assign("bogus1","value")
-
[trace] succ @ Block.[].Assign("bogus1","value")
-
[trace] down-decorator0_2_1 @ Block.[].Assign("bogus1","value")
-
[trace] succ-enclosing @ Block.[].Assign("bogus1","value")
-
[trace] map-decorator0_2_1 @ ?.[Assign]
-
[trace] circular-decorator0_2_2 @ Block.[]..Assign("bogus2","bogus1")
-
[trace] plain-decorator0_2_1 @ Block.[]..Assign("bogus2","bogus1")
-
[trace] live-before @ Block.[]..Assign("bogus2","bogus1")
-
[trace] uses @ Block.[]..Assign("bogus2","bogus1")
-
[trace] circular-decorator0_2_2 @ Block.[]..Assign("bogus2","bogus1")
-
[trace] is-dead @ [].."value"
-
[trace] defines @ [].."value"
-
[trace] circular-decorator0_2_2 @ [].."value"
-
[trace] plain-decorator0_2_1 @ [].."value"
-
[trace] live-after @ [].."value"
-
[trace] succ @ [].."value"
-
[trace] down-decorator0_2_1 @ [].."value"
-
[trace] succ-enclosing @ [].."value"
-
[trace] succ-enclosing @ [].."value" (failed)
-
[trace] down-decorator0_2_1 @ [].["value"]
-
[trace] succ-enclosing @ [].["value"]
-
[trace] succ-enclosing @ [].."value" (failed)
-
[trace] down-decorator0_2_1 @ ["bogus1","value"]
-
[trace] succ-enclosing @ ["bogus1","value"]
-
[trace] map-decorator0_2_1 @ ?.[]
-
[trace] is-dead @ []."bogus1"
-
[trace] defines @ []."bogus1"
-
[trace] circular-decorator0_2_2 @ []."bogus1"
-
[trace] plain-decorator0_2_1 @ []."bogus1"
-
[trace] live-after @ []."bogus1"
-
[trace] succ @ []."bogus1"
-
[trace] down-decorator0_2_1 @ []."bogus1"
-
[trace] succ-enclosing @ []."bogus1"
-
[trace] map-decorator0_2_1 @ ?.["value"]
-
[trace] circular-decorator0_2_2 @ [].."value"
-
[trace] plain-decorator0_2_1 @ [].."value"
-
[trace] live-before @ [].."value"
-
[trace] uses @ [].."value"
-
[trace] circular-decorator0_2_2 @ [].."value"
-
[trace] plain-decorator0_2_1 @ [].."value"
-
[trace] live-after @ [].."value"
-
[trace] map-decorator0_2_1 @ ?.[]
-
[trace] plain-decorator0_2_1 @ Block.[].Assign("bogus1","value")
-
[trace] is-dead @ Block.[]..While.Block.[].Assign("x","value")
-
[trace] defines @ Block.[]..While.Block.[].Assign("x","value")
-
[trace] circular-decorator0_2_2 @ Block.[]..While.Block.[].Assign("x","value")
-
[trace] plain-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x","value")
-
[trace] live-after @ Block.[]..While.Block.[].Assign("x","value")
-
[trace] succ @ Block.[]..While.Block.[].Assign("x","value")
-
[trace] down-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x","value")
-
[trace] succ-enclosing @ Block.[]..While.Block.[].Assign("x","value")
-
[trace] succ-enclosing @ Block.[]..While.Block.[].Assign("x","value") (failed)
-
[trace] down-decorator0_2_1 @ Block.[]..While.Block.[Assign]
-
[trace] succ-enclosing @ Block.[]..While.Block.[Assign]
-
[trace] succ-enclosing @ Block.[]..While.Block.[].Assign("x","value") (failed)
-
[trace] down-decorator0_2_1 @ Block.[]..While.Block([_])
-
[trace] succ-enclosing @ Block.[]..While.Block([_])
-
[trace] map-decorator0_2_1 @ ?.[While]
-
[trace] circular-decorator0_2_2 @ Block.[]..While("x",Block)
-
[trace] plain-decorator0_2_1 @ Block.[]..While("x",Block)
-
[trace] live-before @ Block.[]..While("x",Block)
-
[trace] uses @ Block.[]..While("x",Block)
-
[trace] circular-decorator0_2_2 @ Block.[]..While("x",Block)
-
[trace] plain-decorator0_2_1 @ Block.[]..While("x",Block)
-
[trace] live-after @ Block.[]..While("x",Block)
-
[trace] succ @ Block.[]..While("x",Block)
-
[trace] map-decorator0_2_1 @ ?.[Block,While]
-
[trace] circular-decorator0_2_2 @ Block.[]..While.Block([_])
-
[trace] plain-decorator0_2_1 @ Block.[]..While.Block([_])
-
[trace] live-before @ Block.[]..While.Block([_])
-
[trace] uses @ Block.[]..While.Block([_])
-
[trace] circular-decorator0_2_2 @ Block.[]..While.Block([_])
-
[trace] plain-decorator0_2_1 @ Block.[]..While.Block([_])
-
[trace] live-after @ Block.[]..While.Block([_])
-
[trace] succ @ Block.[]..While.Block([_])
-
[trace] map-decorator0_2_1 @ ?.[Assign]
-
[trace] circular-decorator0_2_2 @ Block.[]..While.Block.[].Assign("x","value")
-
[trace] plain-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x","value")
-
[trace] live-before @ Block.[]..While.Block.[].Assign("x","value")
-
[trace] uses @ Block.[]..While.Block.[].Assign("x","value")
-
[trace] circular-decorator0_2_2 @ Block.[]..While.Block.[].Assign("x","value")
-
[trace] is-dead @ []."value"
-
[trace] defines @ []."value"
-
[trace] circular-decorator0_2_2 @ []."value"
-
[trace] plain-decorator0_2_1 @ []."value"
-
[trace] live-after @ []."value"
-
[trace] succ @ []."value"
-
[trace] down-decorator0_2_1 @ []."value"
-
[trace] succ-enclosing @ []."value"
-
[trace] succ-enclosing @ []."value" (failed)
-
[trace] down-decorator0_2_1 @ ["value"]
-
[trace] succ-enclosing @ ["value"]
-
[trace] map-decorator0_2_1 @ ?.[]
-
[trace] defines @ Block.[]..While.Block([_])
-
[trace] circular-decorator0_2_2 @ Block.[]..While("x",Block)
-
[trace] is-dead @ []."value"
-
[trace] defines @ []."value"
-
[trace] circular-decorator0_2_2 @ []."value"
-
[trace] plain-decorator0_2_1 @ []."value"
-
[trace] live-after @ []."value"
-
[trace] succ @ []."value"
-
[trace] down-decorator0_2_1 @ []."value"
-
[trace] succ-enclosing @ []."value"
-
[trace] succ-enclosing @ []."value" (failed)
-
[trace] down-decorator0_2_1 @ ["value"]
-
[trace] succ-enclosing @ ["value"]
-
[trace] map-decorator0_2_1 @ ?.[]
-
[trace] defines @ Block.[]..While("x",Block)
-
[trace] is-dead @ [].."value"
-
[trace] defines @ [].."value"
-
[trace] circular-decorator0_2_2 @ [].."value"
-
[trace] plain-decorator0_2_1 @ [].."value"
-
[trace] live-after @ [].."value"
-
[trace] succ @ [].."value"
-
[trace] down-decorator0_2_1 @ [].."value"
-
[trace] succ-enclosing @ [].."value"
-
[trace] succ-enclosing @ [].."value" (failed)
-
[trace] down-decorator0_2_1 @ [].["value"]
-
[trace] succ-enclosing @ [].["value"]
-
[trace] succ-enclosing @ [].."value" (failed)
-
[trace] down-decorator0_2_1 @ ["x","value"]
-
[trace] succ-enclosing @ ["x","value"]
-
[trace] map-decorator0_2_1 @ ?.[]
-
[trace] is-dead @ []."x"
-
[trace] defines @ []."x"
-
[trace] circular-decorator0_2_2 @ []."x"
-
[trace] plain-decorator0_2_1 @ []."x"
-
[trace] live-after @ []."x"
-
[trace] succ @ []."x"
-
[trace] down-decorator0_2_1 @ []."x"
-
[trace] succ-enclosing @ []."x"
-
[trace] map-decorator0_2_1 @ ?.["value"]
-
[trace] circular-decorator0_2_2 @ [].."value"
-
[trace] plain-decorator0_2_1 @ [].."value"
-
[trace] live-before @ [].."value"
-
[trace] uses @ [].."value"
-
[trace] circular-decorator0_2_2 @ [].."value"
-
[trace] plain-decorator0_2_1 @ [].."value"
-
[trace] live-after @ [].."value"
-
[trace] map-decorator0_2_1 @ ?.[]
-
[trace] plain-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x","value")
-
[trace] is-dead @ Block.[]..Return("x")
-
[trace] defines @ Block.[]..Return("x")
-
[trace] circular-decorator0_2_2 @ Block.[]..Return("x")
-
[trace] plain-decorator0_2_1 @ Block.[]..Return("x")
-
[trace] live-after @ Block.[]..Return("x")
-
[trace] succ @ Block.[]..Return("x")
-
[trace] map-decorator0_2_1 @ ?.[]
-
[trace] is-dead @ Block.[]..While("x",Block)
-
[trace] circular-decorator0_2_2 @ Block.[]..While("x",Block)
-
[trace] plain-decorator0_2_1 @ Block.[]..While("x",Block)
-
[trace] live-after @ Block.[]..While("x",Block)
-
[trace] map-decorator0_2_1 @ ?.[Block,While]
-
[trace] circular-decorator0_2_2 @ Block.[]..While.Block([_])
-
[trace] plain-decorator0_2_1 @ Block.[]..While.Block([_])
-
[trace] live-before @ Block.[]..While.Block([_])
-
[trace] circular-decorator0_2_2 @ Block.[]..While.Block([_])
-
[trace] plain-decorator0_2_1 @ Block.[]..While.Block([_])
-
[trace] live-after @ Block.[]..While.Block([_])
-
[trace] map-decorator0_2_1 @ ?.[Assign]
-
[trace] circular-decorator0_2_2 @ Block.[]..While.Block.[].Assign("x","value")
-
[trace] plain-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x","value")
-
[trace] live-before @ Block.[]..While.Block.[].Assign("x","value")
-
[trace] circular-decorator0_2_2 @ Block.[]..While.Block.[].Assign("x","value")
-
[trace] is-dead @ []."value"
-
[trace] defines @ []."value"
-
[trace] circular-decorator0_2_2 @ []."value"
-
[trace] plain-decorator0_2_1 @ []."value"
-
[trace] live-after @ []."value"
-
[trace] succ @ []."value"
-
[trace] down-decorator0_2_1 @ []."value"
-
[trace] succ-enclosing @ []."value"
-
[trace] succ-enclosing @ []."value" (failed)
-
[trace] down-decorator0_2_1 @ ["value"]
-
[trace] succ-enclosing @ ["value"]
-
[trace] map-decorator0_2_1 @ ?.[]
-
[trace] circular-decorator0_2_2 @ Block.[]..While("x",Block)
-
[trace] plain-decorator0_2_1 @ Block.[]..While("x",Block)
-
[trace] live-before @ Block.[]..While("x",Block)
-
[trace] circular-decorator0_2_2 @ Block.[]..While("x",Block)
-
[trace] is-dead @ []."value"
-
[trace] defines @ []."value"
-
[trace] circular-decorator0_2_2 @ []."value"
-
[trace] plain-decorator0_2_1 @ []."value"
-
[trace] live-after @ []."value"
-
[trace] succ @ []."value"
-
[trace] down-decorator0_2_1 @ []."value"
-
[trace] succ-enclosing @ []."value"
-
[trace] succ-enclosing @ []."value" (failed)
-
[trace] down-decorator0_2_1 @ ["value"]
-
[trace] succ-enclosing @ ["value"]
-
[trace] map-decorator0_2_1 @ ?.[]
-
[trace] is-dead @ [].."value"
-
[trace] defines @ [].."value"
-
[trace] circular-decorator0_2_2 @ [].."value"
-
[trace] plain-decorator0_2_1 @ [].."value"
-
[trace] live-after @ [].."value"
-
[trace] succ @ [].."value"
-
[trace] down-decorator0_2_1 @ [].."value"
-
[trace] succ-enclosing @ [].."value"
-
[trace] succ-enclosing @ [].."value" (failed)
-
[trace] down-decorator0_2_1 @ [].["value"]
-
[trace] succ-enclosing @ [].["value"]
-
[trace] succ-enclosing @ [].."value" (failed)
-
[trace] down-decorator0_2_1 @ ["x","value"]
-
[trace] succ-enclosing @ ["x","value"]
-
[trace] map-decorator0_2_1 @ ?.[]
-
[trace] is-dead @ []."x"
-
[trace] defines @ []."x"
-
[trace] circular-decorator0_2_2 @ []."x"
-
[trace] plain-decorator0_2_1 @ []."x"
-
[trace] live-after @ []."x"
-
[trace] succ @ []."x"
-
[trace] down-decorator0_2_1 @ []."x"
-
[trace] succ-enclosing @ []."x"
-
[trace] map-decorator0_2_1 @ ?.["value"]
-
[trace] circular-decorator0_2_2 @ [].."value"
-
[trace] plain-decorator0_2_1 @ [].."value"
-
[trace] live-before @ [].."value"
-
[trace] uses @ [].."value"
-
[trace] circular-decorator0_2_2 @ [].."value"
-
[trace] plain-decorator0_2_1 @ [].."value"
-
[trace] live-after @ [].."value"
-
[trace] map-decorator0_2_1 @ ?.[]
-
[trace] plain-decorator0_2_1 @ Block.[]..While("x",Block)
-
[trace] is-dead @ Block.[]..Assign("x","value")
-
[trace] defines @ Block.[]..Assign("x","value")
-
[trace] circular-decorator0_2_2 @ Block.[]..Assign("x","value")
-
[trace] plain-decorator0_2_1 @ Block.[]..Assign("x","value")
-
[trace] live-after @ Block.[]..Assign("x","value")
-
[trace] succ @ Block.[]..Assign("x","value")
-
[trace] down-decorator0_2_1 @ Block.[]..Assign("x","value")
-
[trace] succ-enclosing @ Block.[]..Assign("x","value")
-
[trace] map-decorator0_2_1 @ ?.[While]
-
[trace] circular-decorator0_2_2 @ Block.[]..While("x",Block)
-
[trace] plain-decorator0_2_1 @ Block.[]..While("x",Block)
-
[trace] live-before @ Block.[]..While("x",Block)
-
[trace] circular-decorator0_2_2 @ Block.[]..While("x",Block)
-
[trace] is-dead @ [].."value"
-
[trace] defines @ [].."value"
-
[trace] circular-decorator0_2_2 @ [].."value"
-
[trace] plain-decorator0_2_1 @ [].."value"
-
[trace] live-after @ [].."value"
-
[trace] succ @ [].."value"
-
[trace] down-decorator0_2_1 @ [].."value"
-
[trace] succ-enclosing @ [].."value"
-
[trace] succ-enclosing @ [].."value" (failed)
-
[trace] down-decorator0_2_1 @ [].["value"]
-
[trace] succ-enclosing @ [].["value"]
-
[trace] succ-enclosing @ [].."value" (failed)
-
[trace] down-decorator0_2_1 @ ["x","value"]
-
[trace] succ-enclosing @ ["x","value"]
-
[trace] map-decorator0_2_1 @ ?.[]
-
[trace] is-dead @ []."x"
-
[trace] defines @ []."x"
-
[trace] circular-decorator0_2_2 @ []."x"
-
[trace] plain-decorator0_2_1 @ []."x"
-
[trace] live-after @ []."x"
-
[trace] succ @ []."x"
-
[trace] down-decorator0_2_1 @ []."x"
-
[trace] succ-enclosing @ []."x"
-
[trace] map-decorator0_2_1 @ ?.["value"]
-
[trace] circular-decorator0_2_2 @ [].."value"
-
[trace] plain-decorator0_2_1 @ [].."value"
-
[trace] live-before @ [].."value"
-
[trace] uses @ [].."value"
-
[trace] circular-decorator0_2_2 @ [].."value"
-
[trace] plain-decorator0_2_1 @ [].."value"
-
[trace] live-after @ [].."value"
-
[trace] map-decorator0_2_1 @ ?.[]
-
[trace] plain-decorator0_2_1 @ Block.[]..Assign("x","value")
-
[trace] is-dead @ Block.[].Assign("bogus1","value")
-
[trace] defines @ Block.[].Assign("bogus1","value")
-
[trace] circular-decorator0_2_2 @ Block.[].Assign("bogus1","value")
-
[trace] plain-decorator0_2_1 @ Block.[].Assign("bogus1","value")
-
[trace] live-after @ Block.[].Assign("bogus1","value")
-
[trace] succ @ Block.[].Assign("bogus1","value")
-
[trace] down-decorator0_2_1 @ Block.[].Assign("bogus1","value")
-
[trace] succ-enclosing @ Block.[].Assign("bogus1","value")
-
[trace] map-decorator0_2_1 @ ?.[Assign]
-
[trace] circular-decorator0_2_2 @ Block.[]..Assign("x","value")
-
[trace] plain-decorator0_2_1 @ Block.[]..Assign("x","value")
-
[trace] live-before @ Block.[]..Assign("x","value")
-
[trace] uses @ Block.[]..Assign("x","value")
-
[trace] circular-decorator0_2_2 @ Block.[]..Assign("x","value")
-
[trace] is-dead @ []."value"
-
[trace] defines @ []."value"
-
[trace] circular-decorator0_2_2 @ []."value"
-
[trace] plain-decorator0_2_1 @ []."value"
-
[trace] live-after @ []."value"
-
[trace] succ @ []."value"
-
[trace] down-decorator0_2_1 @ []."value"
-
[trace] succ-enclosing @ []."value"
-
[trace] succ-enclosing @ []."value" (failed)
-
[trace] down-decorator0_2_1 @ ["value"]
-
[trace] succ-enclosing @ ["value"]
-
[trace] map-decorator0_2_1 @ ?.[]
-
[trace] plain-decorator0_2_1 @ Block.[].Assign("bogus1","value")
-
[rewr.] Block.[Assign,Assign,While,_] -> [Assign,While,Return]
-
[trace] is-dead @ Block.[].Assign("x","value")
-
[trace] defines @ Block.[].Assign("x","value")
-
[trace] circular-decorator0_2_2 @ Block.[].Assign("x","value")
-
[trace] plain-decorator0_2_1 @ Block.[].Assign("x","value")
-
[trace] live-after @ Block.[].Assign("x","value")
-
[trace] succ @ Block.[].Assign("x","value")
-
[trace] down-decorator0_2_1 @ Block.[].Assign("x","value")
-
[trace] succ-enclosing @ Block.[].Assign("x","value")
-
[trace] map-decorator0_2_1 @ ?.[While]
-
[trace] circular-decorator0_2_2 @ Block.[]..While("x",Block)
-
[trace] plain-decorator0_2_1 @ Block.[]..While("x",Block)
-
[trace] live-before @ Block.[]..While("x",Block)
-
[trace] uses @ Block.[]..While("x",Block)
-
[trace] circular-decorator0_2_2 @ Block.[]..While("x",Block)
-
[trace] plain-decorator0_2_1 @ Block.[]..While("x",Block)
-
[trace] live-after @ Block.[]..While("x",Block)
-
[trace] succ @ Block.[]..While("x",Block)
-
[trace] down-decorator0_2_1 @ Block.[]..While.Block([_])
-
[trace] succ-enclosing @ Block.[]..While.Block([_])
-
[trace] map-decorator0_2_1 @ ?.[Block,While]
-
[trace] circular-decorator0_2_2 @ Block.[]..While.Block([_])
-
[trace] plain-decorator0_2_1 @ Block.[]..While.Block([_])
-
[trace] live-before @ Block.[]..While.Block([_])
-
[trace] uses @ Block.[]..While.Block([_])
-
[trace] circular-decorator0_2_2 @ Block.[]..While.Block([_])
-
[trace] plain-decorator0_2_1 @ Block.[]..While.Block([_])
-
[trace] live-after @ Block.[]..While.Block([_])
-
[trace] succ @ Block.[]..While.Block([_])
-
[trace] map-decorator0_2_1 @ ?.[Assign]
-
[trace] circular-decorator0_2_2 @ Block.[]..While.Block.[].Assign("x","value")
-
[trace] plain-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x","value")
-
[trace] live-before @ Block.[]..While.Block.[].Assign("x","value")
-
[trace] uses @ Block.[]..While.Block.[].Assign("x","value")
-
[trace] circular-decorator0_2_2 @ Block.[]..While.Block.[].Assign("x","value")
-
[trace] plain-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x","value")
-
[trace] live-after @ Block.[]..While.Block.[].Assign("x","value")
-
[trace] succ @ Block.[]..While.Block.[].Assign("x","value")
-
[trace] down-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x","value")
-
[trace] succ-enclosing @ Block.[]..While.Block.[].Assign("x","value")
-
[trace] succ-enclosing @ Block.[]..While.Block.[].Assign("x","value") (failed)
-
[trace] down-decorator0_2_1 @ Block.[]..While.Block.[Assign]
-
[trace] succ-enclosing @ Block.[]..While.Block.[Assign]
-
[trace] succ-enclosing @ Block.[]..While.Block.[].Assign("x","value") (failed)
-
[trace] map-decorator0_2_1 @ ?.[While]
-
[trace] circular-decorator0_2_2 @ Block.[]..While("x",Block)
-
[trace] defines @ Block.[]..While.Block.[].Assign("x","value")
-
[trace] is-dead @ []."value"
-
[trace] defines @ []."value"
-
[trace] circular-decorator0_2_2 @ []."value"
-
[trace] plain-decorator0_2_1 @ []."value"
-
[trace] live-after @ []."value"
-
[trace] succ @ []."value"
-
[trace] down-decorator0_2_1 @ []."value"
-
[trace] succ-enclosing @ []."value"
-
[trace] succ-enclosing @ []."value" (failed)
-
[trace] down-decorator0_2_1 @ ["value"]
-
[trace] succ-enclosing @ ["value"]
-
[trace] map-decorator0_2_1 @ ?.[]
-
[trace] defines @ Block.[]..While.Block([_])
-
[trace] circular-decorator0_2_2 @ Block.[]..While("x",Block)
-
[trace] is-dead @ []."value"
-
[trace] defines @ []."value"
-
[trace] circular-decorator0_2_2 @ []."value"
-
[trace] plain-decorator0_2_1 @ []."value"
-
[trace] live-after @ []."value"
-
[trace] succ @ []."value"
-
[trace] down-decorator0_2_1 @ []."value"
-
[trace] succ-enclosing @ []."value"
-
[trace] succ-enclosing @ []."value" (failed)
-
[trace] down-decorator0_2_1 @ ["value"]
-
[trace] succ-enclosing @ ["value"]
-
[trace] map-decorator0_2_1 @ ?.[]
-
[trace] defines @ Block.[]..While("x",Block)
-
[trace] is-dead @ [].."value"
-
[trace] defines @ [].."value"
-
[trace] circular-decorator0_2_2 @ [].."value"
-
[trace] plain-decorator0_2_1 @ [].."value"
-
[trace] live-after @ [].."value"
-
[trace] succ @ [].."value"
-
[trace] down-decorator0_2_1 @ [].."value"
-
[trace] succ-enclosing @ [].."value"
-
[trace] succ-enclosing @ [].."value" (failed)
-
[trace] down-decorator0_2_1 @ [].["value"]
-
[trace] succ-enclosing @ [].["value"]
-
[trace] succ-enclosing @ [].."value" (failed)
-
[trace] down-decorator0_2_1 @ ["x","value"]
-
[trace] succ-enclosing @ ["x","value"]
-
[trace] map-decorator0_2_1 @ ?.[]
-
[trace] is-dead @ []."x"
-
[trace] defines @ []."x"
-
[trace] circular-decorator0_2_2 @ []."x"
-
[trace] plain-decorator0_2_1 @ []."x"
-
[trace] live-after @ []."x"
-
[trace] succ @ []."x"
-
[trace] down-decorator0_2_1 @ []."x"
-
[trace] succ-enclosing @ []."x"
-
[trace] map-decorator0_2_1 @ ?.["value"]
-
[trace] circular-decorator0_2_2 @ [].."value"
-
[trace] plain-decorator0_2_1 @ [].."value"
-
[trace] live-before @ [].."value"
-
[trace] uses @ [].."value"
-
[trace] circular-decorator0_2_2 @ [].."value"
-
[trace] plain-decorator0_2_1 @ [].."value"
-
[trace] live-after @ [].."value"
-
[trace] map-decorator0_2_1 @ ?.[]
-
[trace] plain-decorator0_2_1 @ Block.[].Assign("x","value")
-
[trace] is-dead @ Block.[]..While.Block.[].Assign("x","value")
-
[trace] defines @ Block.[]..While.Block.[].Assign("x","value")
-
[trace] circular-decorator0_2_2 @ Block.[]..While.Block.[].Assign("x","value")
-
[trace] plain-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x","value")
-
[trace] live-after @ Block.[]..While.Block.[].Assign("x","value")
-
[trace] succ @ Block.[]..While.Block.[].Assign("x","value")
-
[trace] down-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x","value")
-
[trace] succ-enclosing @ Block.[]..While.Block.[].Assign("x","value")
-
[trace] succ-enclosing @ Block.[]..While.Block.[].Assign("x","value") (failed)
-
[trace] down-decorator0_2_1 @ Block.[]..While.Block.[Assign]
-
[trace] succ-enclosing @ Block.[]..While.Block.[Assign]
-
[trace] succ-enclosing @ Block.[]..While.Block.[].Assign("x","value") (failed)
-
[trace] down-decorator0_2_1 @ Block.[]..While.Block([_])
-
[trace] succ-enclosing @ Block.[]..While.Block([_])
-
[trace] map-decorator0_2_1 @ ?.[While]
-
[trace] circular-decorator0_2_2 @ Block.[]..While("x",Block)
-
[trace] plain-decorator0_2_1 @ Block.[]..While("x",Block)
-
[trace] live-before @ Block.[]..While("x",Block)
-
[trace] uses @ Block.[]..While("x",Block)
-
[trace] circular-decorator0_2_2 @ Block.[]..While("x",Block)
-
[trace] plain-decorator0_2_1 @ Block.[]..While("x",Block)
-
[trace] live-after @ Block.[]..While("x",Block)
-
[trace] succ @ Block.[]..While("x",Block)
-
[trace] map-decorator0_2_1 @ ?.[Block,While]
-
[trace] circular-decorator0_2_2 @ Block.[]..While.Block([_])
-
[trace] plain-decorator0_2_1 @ Block.[]..While.Block([_])
-
[trace] live-before @ Block.[]..While.Block([_])
-
[trace] uses @ Block.[]..While.Block([_])
-
[trace] circular-decorator0_2_2 @ Block.[]..While.Block([_])
-
[trace] plain-decorator0_2_1 @ Block.[]..While.Block([_])
-
[trace] live-after @ Block.[]..While.Block([_])
-
[trace] succ @ Block.[]..While.Block([_])
-
[trace] map-decorator0_2_1 @ ?.[Assign]
-
[trace] circular-decorator0_2_2 @ Block.[]..While.Block.[].Assign("x","value")
-
[trace] plain-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x","value")
-
[trace] live-before @ Block.[]..While.Block.[].Assign("x","value")
-
[trace] uses @ Block.[]..While.Block.[].Assign("x","value")
-
[trace] circular-decorator0_2_2 @ Block.[]..While.Block.[].Assign("x","value")
-
[trace] is-dead @ []."value"
-
[trace] defines @ []."value"
-
[trace] circular-decorator0_2_2 @ []."value"
-
[trace] plain-decorator0_2_1 @ []."value"
-
[trace] live-after @ []."value"
-
[trace] succ @ []."value"
-
[trace] down-decorator0_2_1 @ []."value"
-
[trace] succ-enclosing @ []."value"
-
[trace] succ-enclosing @ []."value" (failed)
-
[trace] down-decorator0_2_1 @ ["value"]
-
[trace] succ-enclosing @ ["value"]
-
[trace] map-decorator0_2_1 @ ?.[]
-
[trace] defines @ Block.[]..While.Block([_])
-
[trace] circular-decorator0_2_2 @ Block.[]..While("x",Block)
-
[trace] is-dead @ []."value"
-
[trace] defines @ []."value"
-
[trace] circular-decorator0_2_2 @ []."value"
-
[trace] plain-decorator0_2_1 @ []."value"
-
[trace] live-after @ []."value"
-
[trace] succ @ []."value"
-
[trace] down-decorator0_2_1 @ []."value"
-
[trace] succ-enclosing @ []."value"
-
[trace] succ-enclosing @ []."value" (failed)
-
[trace] down-decorator0_2_1 @ ["value"]
-
[trace] succ-enclosing @ ["value"]
-
[trace] map-decorator0_2_1 @ ?.[]
-
[trace] defines @ Block.[]..While("x",Block)
-
[trace] is-dead @ [].."value"
-
[trace] defines @ [].."value"
-
[trace] circular-decorator0_2_2 @ [].."value"
-
[trace] plain-decorator0_2_1 @ [].."value"
-
[trace] live-after @ [].."value"
-
[trace] succ @ [].."value"
-
[trace] down-decorator0_2_1 @ [].."value"
-
[trace] succ-enclosing @ [].."value"
-
[trace] succ-enclosing @ [].."value" (failed)
-
[trace] down-decorator0_2_1 @ [].["value"]
-
[trace] succ-enclosing @ [].["value"]
-
[trace] succ-enclosing @ [].."value" (failed)
-
[trace] down-decorator0_2_1 @ ["x","value"]
-
[trace] succ-enclosing @ ["x","value"]
-
[trace] map-decorator0_2_1 @ ?.[]
-
[trace] is-dead @ []."x"
-
[trace] defines @ []."x"
-
[trace] circular-decorator0_2_2 @ []."x"
-
[trace] plain-decorator0_2_1 @ []."x"
-
[trace] live-after @ []."x"
-
[trace] succ @ []."x"
-
[trace] down-decorator0_2_1 @ []."x"
-
[trace] succ-enclosing @ []."x"
-
[trace] map-decorator0_2_1 @ ?.["value"]
-
[trace] circular-decorator0_2_2 @ [].."value"
-
[trace] plain-decorator0_2_1 @ [].."value"
-
[trace] live-before @ [].."value"
-
[trace] uses @ [].."value"
-
[trace] circular-decorator0_2_2 @ [].."value"
-
[trace] plain-decorator0_2_1 @ [].."value"
-
[trace] live-after @ [].."value"
-
[trace] map-decorator0_2_1 @ ?.[]
-
[trace] plain-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x","value")
-
[trace] is-dead @ Block.[]..Return("x")
-
[trace] defines @ Block.[]..Return("x")
-
[trace] circular-decorator0_2_2 @ Block.[]..Return("x")
-
[trace] plain-decorator0_2_1 @ Block.[]..Return("x")
-
[trace] live-after @ Block.[]..Return("x")
-
[trace] succ @ Block.[]..Return("x")
-
[trace] map-decorator0_2_1 @ ?.[]
-
[trace] is-dead @ Block.[]..While("x",Block)
-
[trace] circular-decorator0_2_2 @ Block.[]..While("x",Block)
-
[trace] plain-decorator0_2_1 @ Block.[]..While("x",Block)
-
[trace] live-after @ Block.[]..While("x",Block)
-
[trace] map-decorator0_2_1 @ ?.[Block,While]
-
[trace] circular-decorator0_2_2 @ Block.[]..While.Block([_])
-
[trace] plain-decorator0_2_1 @ Block.[]..While.Block([_])
-
[trace] live-before @ Block.[]..While.Block([_])
-
[trace] circular-decorator0_2_2 @ Block.[]..While.Block([_])
-
[trace] plain-decorator0_2_1 @ Block.[]..While.Block([_])
-
[trace] live-after @ Block.[]..While.Block([_])
-
[trace] map-decorator0_2_1 @ ?.[Assign]
-
[trace] circular-decorator0_2_2 @ Block.[]..While.Block.[].Assign("x","value")
-
[trace] plain-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x","value")
-
[trace] live-before @ Block.[]..While.Block.[].Assign("x","value")
-
[trace] circular-decorator0_2_2 @ Block.[]..While.Block.[].Assign("x","value")
-
[trace] is-dead @ []."value"
-
[trace] defines @ []."value"
-
[trace] circular-decorator0_2_2 @ []."value"
-
[trace] plain-decorator0_2_1 @ []."value"
-
[trace] live-after @ []."value"
-
[trace] succ @ []."value"
-
[trace] down-decorator0_2_1 @ []."value"
-
[trace] succ-enclosing @ []."value"
-
[trace] succ-enclosing @ []."value" (failed)
-
[trace] down-decorator0_2_1 @ ["value"]
-
[trace] succ-enclosing @ ["value"]
-
[trace] map-decorator0_2_1 @ ?.[]
-
[trace] circular-decorator0_2_2 @ Block.[]..While("x",Block)
-
[trace] plain-decorator0_2_1 @ Block.[]..While("x",Block)
-
[trace] live-before @ Block.[]..While("x",Block)
-
[trace] circular-decorator0_2_2 @ Block.[]..While("x",Block)
-
[trace] is-dead @ []."value"
-
[trace] defines @ []."value"
-
[trace] circular-decorator0_2_2 @ []."value"
-
[trace] plain-decorator0_2_1 @ []."value"
-
[trace] live-after @ []."value"
-
[trace] succ @ []."value"
-
[trace] down-decorator0_2_1 @ []."value"
-
[trace] succ-enclosing @ []."value"
-
[trace] succ-enclosing @ []."value" (failed)
-
[trace] down-decorator0_2_1 @ ["value"]
-
[trace] succ-enclosing @ ["value"]
-
[trace] map-decorator0_2_1 @ ?.[]
-
[trace] is-dead @ [].."value"
-
[trace] defines @ [].."value"
-
[trace] circular-decorator0_2_2 @ [].."value"
-
[trace] plain-decorator0_2_1 @ [].."value"
-
[trace] live-after @ [].."value"
-
[trace] succ @ [].."value"
-
[trace] down-decorator0_2_1 @ [].."value"
-
[trace] succ-enclosing @ [].."value"
-
[trace] succ-enclosing @ [].."value" (failed)
-
[trace] down-decorator0_2_1 @ [].["value"]
-
[trace] succ-enclosing @ [].["value"]
-
[trace] succ-enclosing @ [].."value" (failed)
-
[trace] down-decorator0_2_1 @ ["x","value"]
-
[trace] succ-enclosing @ ["x","value"]
-
[trace] map-decorator0_2_1 @ ?.[]
-
[trace] is-dead @ []."x"
-
[trace] defines @ []."x"
-
[trace] circular-decorator0_2_2 @ []."x"
-
[trace] plain-decorator0_2_1 @ []."x"
-
[trace] live-after @ []."x"
-
[trace] succ @ []."x"
-
[trace] down-decorator0_2_1 @ []."x"
-
[trace] succ-enclosing @ []."x"
-
[trace] map-decorator0_2_1 @ ?.["value"]
-
[trace] circular-decorator0_2_2 @ [].."value"
-
[trace] plain-decorator0_2_1 @ [].."value"
-
[trace] live-before @ [].."value"
-
[trace] uses @ [].."value"
-
[trace] circular-decorator0_2_2 @ [].."value"
-
[trace] plain-decorator0_2_1 @ [].."value"
-
[trace] live-after @ [].."value"
-
[trace] map-decorator0_2_1 @ ?.[]
-
[trace] plain-decorator0_2_1 @ Block.[]..While("x",Block)
-
[trace] is-dead @ Block.[].Assign("x","value")
-
[trace] defines @ Block.[].Assign("x","value")
-
[trace] circular-decorator0_2_2 @ Block.[].Assign("x","value")
-
[trace] plain-decorator0_2_1 @ Block.[].Assign("x","value")
-
[trace] live-after @ Block.[].Assign("x","value")
-
[trace] succ @ Block.[].Assign("x","value")
-
[trace] down-decorator0_2_1 @ Block.[].Assign("x","value")
-
[trace] succ-enclosing @ Block.[].Assign("x","value")
-
[trace] map-decorator0_2_1 @ ?.[While]
-
[trace] circular-decorator0_2_2 @ Block.[]..While("x",Block)
-
[trace] plain-decorator0_2_1 @ Block.[]..While("x",Block)
-
[trace] live-before @ Block.[]..While("x",Block)
-
[trace] circular-decorator0_2_2 @ Block.[]..While("x",Block)
-
[trace] is-dead @ [].."value"
-
[trace] defines @ [].."value"
-
[trace] circular-decorator0_2_2 @ [].."value"
-
[trace] plain-decorator0_2_1 @ [].."value"
-
[trace] live-after @ [].."value"
-
[trace] succ @ [].."value"
-
[trace] down-decorator0_2_1 @ [].."value"
-
[trace] succ-enclosing @ [].."value"
-
[trace] succ-enclosing @ [].."value" (failed)
-
[trace] down-decorator0_2_1 @ [].["value"]
-
[trace] succ-enclosing @ [].["value"]
-
[trace] succ-enclosing @ [].."value" (failed)
-
[trace] down-decorator0_2_1 @ ["x","value"]
-
[trace] succ-enclosing @ ["x","value"]
-
[trace] map-decorator0_2_1 @ ?.[]
-
[trace] is-dead @ []."x"
-
[trace] defines @ []."x"
-
[trace] circular-decorator0_2_2 @ []."x"
-
[trace] plain-decorator0_2_1 @ []."x"
-
[trace] live-after @ []."x"
-
[trace] succ @ []."x"
-
[trace] down-decorator0_2_1 @ []."x"
-
[trace] succ-enclosing @ []."x"
-
[trace] map-decorator0_2_1 @ ?.["value"]
-
[trace] circular-decorator0_2_2 @ [].."value"
-
[trace] plain-decorator0_2_1 @ [].."value"
-
[trace] live-before @ [].."value"
-
[trace] uses @ [].."value"
-
[trace] circular-decorator0_2_2 @ [].."value"
-
[trace] plain-decorator0_2_1 @ [].."value"
-
[trace] live-after @ [].."value"
-
[trace] map-decorator0_2_1 @ ?.[]
-
[trace] plain-decorator0_2_1 @ Block.[].Assign("x","value")
-
Block([Assign("x","value"),While("x",Block([Assign("x","value")])),Return("x")])
-
make[1]: Leaving directory `/tmp/nix-build-812xspj4f1nl2ynaz4wj1rz6dmrlw4v4-aster.drv-0/aster-0.1pre18214/tests'
-
make[1]: Entering directory `/tmp/nix-build-812xspj4f1nl2ynaz4wj1rz6dmrlw4v4-aster.drv-0/aster-0.1pre18214'
-
building all-local
-
/...-strategoxt-0.17pre17928-x2sni5sg/bin/xtc -r /tmp/nix-build-812xspj4f1nl2ynaz4wj1rz6dmrlw4v4-aster.drv-0/aster-0.1pre18214/BUILDTIME_XTC import /...-strategoxt-0.17pre17928-x2sni5sg/share/strategoxt/XTC
-
Tools registered in repository /tmp/nix-build-812xspj4f1nl2ynaz4wj1rz6dmrlw4v4-aster.drv-0/aster-0.1pre18214/BUILDTIME_XTC:
-
Data registered in repository /tmp/nix-build-812xspj4f1nl2ynaz4wj1rz6dmrlw4v4-aster.drv-0/aster-0.1pre18214/BUILDTIME_XTC:
-
make[1]: Leaving directory `/tmp/nix-build-812xspj4f1nl2ynaz4wj1rz6dmrlw4v4-aster.drv-0/aster-0.1pre18214'