check flags: building check-recursive Making check in syntax make[1]: Entering directory `/tmp/nix-build-qaixll9zkyxi6yngsfbmr6wzg5m64dbx-aster.drv-0/aster-0.1pre18359/syntax' building all-local Tools registered in repository /tmp/nix-build-qaixll9zkyxi6yngsfbmr6wzg5m64dbx-aster.drv-0/aster-0.1pre18359/BUILDTIME_XTC: Data registered in repository /tmp/nix-build-qaixll9zkyxi6yngsfbmr6wzg5m64dbx-aster.drv-0/aster-0.1pre18359/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-qaixll9zkyxi6yngsfbmr6wzg5m64dbx-aster.drv-0/aster-0.1pre18359/syntax' Making check in runtime make[1]: Entering directory `/tmp/nix-build-qaixll9zkyxi6yngsfbmr6wzg5m64dbx-aster.drv-0/aster-0.1pre18359/runtime' building all-local Tools registered in repository /tmp/nix-build-qaixll9zkyxi6yngsfbmr6wzg5m64dbx-aster.drv-0/aster-0.1pre18359/BUILDTIME_XTC: Data registered in repository /tmp/nix-build-qaixll9zkyxi6yngsfbmr6wzg5m64dbx-aster.drv-0/aster-0.1pre18359/BUILDTIME_XTC: aster-runtime.packed-rtree aster-runtime.str aster/lang/annotations.str aster/lang/attributes.str aster/lang/debug.str aster/lang/hashtables.str aster/lang/lists.str aster/lang/parents.str aster/lang/rewrites.str aster/attributes/collection.astr aster/attributes/common.astr aster/attributes/debug.astr aster/attributes/lang.astr aster/attributes/reflection.astr aster/attributes/tree-access.astr aster/decorators/assert.astr aster/decorators/circular.astr aster/decorators/collection.astr aster/decorators/common.astr aster/decorators/debug.astr aster/decorators/flow.astr aster/decorators/lang.astr aster/decorators/lookup.astr aster/decorators/rewriting.astr make[1]: Leaving directory `/tmp/nix-build-qaixll9zkyxi6yngsfbmr6wzg5m64dbx-aster.drv-0/aster-0.1pre18359/runtime' Making check in trans make[1]: Entering directory `/tmp/nix-build-qaixll9zkyxi6yngsfbmr6wzg5m64dbx-aster.drv-0/aster-0.1pre18359/trans' make[1]: Circular aster-no-check <- front/check.rtree dependency dropped. make[1]: Circular aster-no-check <- front/check.rtree dependency dropped. make[1]: Circular aster-no-check <- front/check.rtree dependency dropped. building all-local Tools registered in repository /tmp/nix-build-qaixll9zkyxi6yngsfbmr6wzg5m64dbx-aster.drv-0/aster-0.1pre18359/BUILDTIME_XTC: aster Data registered in repository /tmp/nix-build-qaixll9zkyxi6yngsfbmr6wzg5m64dbx-aster.drv-0/aster-0.1pre18359/BUILDTIME_XTC: aster.rtree aster.rtree io.rtree back/anonymous-rewrites.rtree back/assimilate.rtree back/attribute-builtins.rtree back/attribute-caching.rtree back/attribute-references.rtree back/attribute-tracing.rtree back/decorator-definitions.rtree back/decorator-references.rtree back/decorator-wrapping.rtree back/equation-definitions.rtree back/equation-merging.rtree back/equation-postprocess.rtree back/util.rtree front/analyze-foreign-ops.rtree front/analyze.rtree front/check.bootstrap.rtree front/check.rtree front/decorator-ordering.rtree front/desugar.rtree front/include-library.rtree lib/multi-options.rtree lib/xtc-multi-options.rtree front/check.rtree make[1]: Leaving directory `/tmp/nix-build-qaixll9zkyxi6yngsfbmr6wzg5m64dbx-aster.drv-0/aster-0.1pre18359/trans' Making check in tests make[1]: Entering directory `/tmp/nix-build-qaixll9zkyxi6yngsfbmr6wzg5m64dbx-aster.drv-0/aster-0.1pre18359/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. (1)) * OK : test 26 (Attribute definition vs. (2)) * OK : test 27 (Attribute definition vs. (3)) * OK : test 28 (Attribute definition vs. (4)) * OK : test 29 (Attribute reference vs. (1)) * OK : test 30 (Attribute reference vs. (2)) * OK : test 31 (Attribute as annotation list) * OK : test 32 (Attribute pattern definitions vs. (1)) * OK : test 33 (Attribute pattern definitions vs. (2)) * OK : test 34 (Attribute pattern definitions vs. (3)) * OK : test 35 (Attribute pattern definitions vs. (4)) * OK : test 36 (Attribute pattern definitions vs. (5)) * OK : test 37 (Attribute pattern definitions vs. (6)) * OK : test 38 (Attribute pattern definitions vs. (7)) * OK : test 39 (Attribute pattern definitions vs. (8)) * OK : test 40 (Attribute pattern definitions vs. (9)) * OK : test 41 (Attributes in pattern) * OK : test 42 ("Default" decorator) * OK : test 43 (Parameterized decorators) * OK : test 44 (Single-line pattern, child pattern, and attribute definition) * OK : test 45 (Anonymous rewrite rule) ----------------------------------------------------------------------- results testsuite Stratego-Attributes successes : 45 failures : 0 ----------------------------------------------------------------------- building test-attributes.str ../trans/aster -i test-attributes.astr -o test-attributes.str --verbose 2 [ strc | notice ] Parsing file test-attributes.astr [ strc | notice ] Using syntax Stratego-Attributes [ strc | notice ] Using parse table: /nix/store/w7a99m75jpprdkx06f458jax3lralw77-aster/share/aster/Stratego-Attributes.tbl [ aster | warning ] Pattern child equals pattern in attribute 'silly' "silly" [ aster | info ] compilation succeeded : [user/system] = [0.57s/0.05s] 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.49s/0.14s] [ strc | info ] Optimization succeeded -O 0 : [user/system] = [0.00s/0.00s] [ strc | info ] Back-end succeeded : [user/system] = [1.26s/0.10s] [ strc | info ] C compilation succeeded : [user/system] = [4.12s/0.53s] [ strc | info ] Compilation succeeded : [user/system] = [9.87s/0.77s] 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) attribute parameter used in pattern is ignored for id.defined patterns in attribute arguments id.attribute does not refer to specified child attribute on id child attribute result is an initialized term (1) attribute result is an initialized term (2) attribute result is an initialized term (3) attribute result is an initialized term (4) attribute result is an initialized term (4) attribute result is an initialized term (4) non-reference attribute id.signature id.attribute-name signature of remote attribute id.signature simply fails if there are strategy arguments (1) id.signature simply fails if there are strategy arguments (2) id.signature simply fails outside of signature context has-foreign-operations (1) has-foreign-operations (2) has-foreign-operations (3) has-foreign-operations (4) has-foreign-operations (5) has-foreign-operations (6) has-foreign-operations (7) has-foreign-operations (8) has-foreign-operations (9) has-foreign-operations (10) has-foreign-operations (11) has-foreign-operations (12) has-foreign-operations (13) has-foreign-operations (14) has-foreign-operations (15) equation-postprocess (1) equation-postprocess (2) equation-postprocess (3) ordered-union (1) ordered-union (2) ordered-union (3) ordered-union (4) ordered-union (5) ordered-union (6) ordered-union (7) ordered-union (8) ordered-union (9) successes: 83 failures: 0 building empty.str ../trans/aster -i empty.astr -o empty.str --trace --verbose 2 [ strc | notice ] Parsing file empty.astr [ strc | notice ] Using syntax Stratego-Attributes [ strc | notice ] Using parse table: /nix/store/w7a99m75jpprdkx06f458jax3lralw77-aster/share/aster/Stratego-Attributes.tbl [ aster | info ] compilation succeeded : [user/system] = [0.42s/0.06s] building find-minimum.str ../trans/aster -i find-minimum.astr -o find-minimum.str --trace --verbose 2 [ strc | notice ] Parsing file find-minimum.astr [ strc | notice ] Using syntax Stratego-Attributes [ strc | notice ] Using parse table: /nix/store/w7a99m75jpprdkx06f458jax3lralw77-aster/share/aster/Stratego-Attributes.tbl [ aster | info ] compilation succeeded : [user/system] = [0.46s/0.02s] building repmin.str ../trans/aster -i repmin.astr -o repmin.str --trace --verbose 2 [ strc | notice ] Parsing file repmin.astr [ strc | notice ] Using syntax Stratego-Attributes [ strc | notice ] Using parse table: /nix/store/w7a99m75jpprdkx06f458jax3lralw77-aster/share/aster/Stratego-Attributes.tbl [ aster | info ] compilation succeeded : [user/system] = [0.45s/0.05s] building repmin-no-copy-rules.str ../trans/aster -i repmin-no-copy-rules.astr -o repmin-no-copy-rules.str --trace --verbose 2 [ strc | notice ] Parsing file repmin-no-copy-rules.astr [ strc | notice ] Using syntax Stratego-Attributes [ strc | notice ] Using parse table: /nix/store/w7a99m75jpprdkx06f458jax3lralw77-aster/share/aster/Stratego-Attributes.tbl [ aster | info ] compilation succeeded : [user/system] = [0.46s/0.05s] building repmin-anonymous.str ../trans/aster -i repmin-anonymous.astr -o repmin-anonymous.str --trace --verbose 2 [ strc | notice ] Parsing file repmin-anonymous.astr [ strc | notice ] Using syntax Stratego-Attributes [ strc | notice ] Using parse table: /nix/store/w7a99m75jpprdkx06f458jax3lralw77-aster/share/aster/Stratego-Attributes.tbl [ aster | info ] compilation succeeded : [user/system] = [0.47s/0.04s] building repmin-hag.str ../trans/aster -i repmin-hag.astr -o repmin-hag.str --trace --verbose 2 [ strc | notice ] Parsing file repmin-hag.astr [ strc | notice ] Using syntax Stratego-Attributes [ strc | notice ] Using parse table: /nix/store/w7a99m75jpprdkx06f458jax3lralw77-aster/share/aster/Stratego-Attributes.tbl [ aster | info ] compilation succeeded : [user/system] = [0.45s/0.06s] building repmin-hag-decorated.str ../trans/aster -i repmin-hag-decorated.astr -o repmin-hag-decorated.str --trace --verbose 2 [ strc | notice ] Parsing file repmin-hag-decorated.astr [ strc | notice ] Using syntax Stratego-Attributes [ strc | notice ] Using parse table: /nix/store/w7a99m75jpprdkx06f458jax3lralw77-aster/share/aster/Stratego-Attributes.tbl [ aster | info ] compilation succeeded : [user/system] = [0.48s/0.03s] building binary-numbers.str ../trans/aster -i binary-numbers.astr -o binary-numbers.str --trace --verbose 2 [ strc | notice ] Parsing file binary-numbers.astr [ strc | notice ] Using syntax Stratego-Attributes [ strc | notice ] Using parse table: /nix/store/w7a99m75jpprdkx06f458jax3lralw77-aster/share/aster/Stratego-Attributes.tbl [ aster | info ] compilation succeeded : [user/system] = [0.47s/0.04s] building caching.str ../trans/aster -i caching.astr -o caching.str --trace --verbose 2 [ strc | notice ] Parsing file caching.astr [ strc | notice ] Using syntax Stratego-Attributes [ strc | notice ] Using parse table: /nix/store/w7a99m75jpprdkx06f458jax3lralw77-aster/share/aster/Stratego-Attributes.tbl [ aster | info ] compilation succeeded : [user/system] = [0.49s/0.05s] building cons-nil.str ../trans/aster -i cons-nil.astr -o cons-nil.str --trace --verbose 2 [ strc | notice ] Parsing file cons-nil.astr [ strc | notice ] Using syntax Stratego-Attributes [ strc | notice ] Using parse table: /nix/store/w7a99m75jpprdkx06f458jax3lralw77-aster/share/aster/Stratego-Attributes.tbl [ aster | info ] compilation succeeded : [user/system] = [0.44s/0.05s] building anonymous-rules.str ../trans/aster -i anonymous-rules.astr -o anonymous-rules.str --trace --verbose 2 [ strc | notice ] Parsing file anonymous-rules.astr [ strc | notice ] Using syntax Stratego-Attributes [ strc | notice ] Using parse table: /nix/store/w7a99m75jpprdkx06f458jax3lralw77-aster/share/aster/Stratego-Attributes.tbl [ aster | info ] compilation succeeded : [user/system] = [0.46s/0.04s] building decorators.str ../trans/aster -i decorators.astr -o decorators.str --trace --verbose 2 [ strc | notice ] Parsing file decorators.astr [ strc | notice ] Using syntax Stratego-Attributes [ strc | notice ] Using parse table: /nix/store/w7a99m75jpprdkx06f458jax3lralw77-aster/share/aster/Stratego-Attributes.tbl [ aster | info ] compilation succeeded : [user/system] = [0.47s/0.04s] building circular-basic.str ../trans/aster -i circular-basic.astr -o circular-basic.str --trace --verbose 2 [ strc | notice ] Parsing file circular-basic.astr [ strc | notice ] Using syntax Stratego-Attributes [ strc | notice ] Using parse table: /nix/store/w7a99m75jpprdkx06f458jax3lralw77-aster/share/aster/Stratego-Attributes.tbl [ aster | info ] compilation succeeded : [user/system] = [0.46s/0.05s] building circular-liveness.str ../trans/aster -i circular-liveness.astr -o circular-liveness.str --trace --verbose 2 [ strc | notice ] Parsing file circular-liveness.astr [ strc | notice ] Using syntax Stratego-Attributes [ strc | notice ] Using parse table: /nix/store/w7a99m75jpprdkx06f458jax3lralw77-aster/share/aster/Stratego-Attributes.tbl [ aster | info ] compilation succeeded : [user/system] = [0.51s/0.04s] building circular-liveness-rewrites.str ../trans/aster -i circular-liveness-rewrites.astr -o circular-liveness-rewrites.str --trace --verbose 2 [ strc | notice ] Parsing file circular-liveness-rewrites.astr [ strc | notice ] Using syntax Stratego-Attributes [ strc | notice ] Using parse table: /nix/store/w7a99m75jpprdkx06f458jax3lralw77-aster/share/aster/Stratego-Attributes.tbl [ aster | info ] compilation succeeded : [user/system] = [0.43s/0.07s] 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.27s/0.03s] [ 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.21s] [ strc | info ] Compilation succeeded : [user/system] = [1.57s/0.24s] building find-minimum strc -i find-minimum.str -m main-`basename find-minimum` -la stratego-lib -la strc -I ../syntax -I ../trans -I ../runtime --format-check 0 -O 0 -Xcc -O0 >/dev/null [ strc | info ] Compiling 'find-minimum.str' [ strc | info ] Front-end succeeded : [user/system] = [1.32s/0.06s] [ strc | info ] Optimization succeeded -O 0 : [user/system] = [0.00s/0.00s] [ strc | info ] Back-end succeeded : [user/system] = [0.16s/0.01s] [ strc | info ] C compilation succeeded : [user/system] = [0.73s/0.24s] [ strc | info ] Compilation succeeded : [user/system] = [2.21s/0.31s] 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.37s/0.02s] [ strc | info ] Optimization succeeded -O 0 : [user/system] = [0.00s/0.00s] [ strc | info ] Back-end succeeded : [user/system] = [0.17s/0.01s] [ strc | info ] C compilation succeeded : [user/system] = [0.81s/0.26s] [ strc | info ] Compilation succeeded : [user/system] = [2.35s/0.29s] building repmin-no-copy-rules strc -i repmin-no-copy-rules.str -m main-`basename repmin-no-copy-rules` -la stratego-lib -la strc -I ../syntax -I ../trans -I ../runtime --format-check 0 -O 0 -Xcc -O0 >/dev/null [ strc | info ] Compiling 'repmin-no-copy-rules.str' [ strc | info ] Front-end succeeded : [user/system] = [1.39s/0.02s] [ strc | info ] Optimization succeeded -O 0 : [user/system] = [0.00s/0.00s] [ strc | info ] Back-end succeeded : [user/system] = [0.20s/0.02s] [ strc | info ] C compilation succeeded : [user/system] = [0.87s/0.28s] [ strc | info ] Compilation succeeded : [user/system] = [2.46s/0.32s] 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.41s/0.06s] [ strc | info ] Optimization succeeded -O 0 : [user/system] = [0.00s/0.00s] [ strc | info ] Back-end succeeded : [user/system] = [0.17s/0.01s] [ strc | info ] C compilation succeeded : [user/system] = [0.78s/0.30s] [ strc | info ] Compilation succeeded : [user/system] = [2.36s/0.37s] 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.34s/0.05s] [ 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.82s/0.29s] [ strc | info ] Compilation succeeded : [user/system] = [2.34s/0.35s] 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.38s/0.04s] [ strc | info ] Optimization succeeded -O 0 : [user/system] = [0.00s/0.00s] [ strc | info ] Back-end succeeded : [user/system] = [0.22s/0.02s] [ strc | info ] C compilation succeeded : [user/system] = [0.96s/0.24s] [ strc | info ] Compilation succeeded : [user/system] = [2.56s/0.30s] 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.38s/0.04s] [ strc | info ] Optimization succeeded -O 0 : [user/system] = [0.00s/0.00s] [ strc | info ] Back-end succeeded : [user/system] = [0.19s/0.02s] [ strc | info ] C compilation succeeded : [user/system] = [0.86s/0.28s] [ strc | info ] Compilation succeeded : [user/system] = [2.43s/0.34s] 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.63s/0.03s] [ strc | info ] Optimization succeeded -O 0 : [user/system] = [0.00s/0.00s] [ strc | info ] Back-end succeeded : [user/system] = [0.27s/0.04s] [ strc | info ] C compilation succeeded : [user/system] = [1.22s/0.29s] [ strc | info ] Compilation succeeded : [user/system] = [3.12s/0.36s] 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.33s/0.05s] [ strc | info ] Optimization succeeded -O 0 : [user/system] = [0.00s/0.00s] [ strc | info ] Back-end succeeded : [user/system] = [0.16s/0.01s] [ strc | info ] C compilation succeeded : [user/system] = [0.74s/0.25s] [ strc | info ] Compilation succeeded : [user/system] = [2.23s/0.31s] 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.41s/0.04s] [ strc | info ] Optimization succeeded -O 0 : [user/system] = [0.00s/0.00s] [ strc | info ] Back-end succeeded : [user/system] = [0.13s/0.00s] [ strc | info ] C compilation succeeded : [user/system] = [0.65s/0.21s] [ strc | info ] Compilation succeeded : [user/system] = [2.19s/0.25s] building decorators strc -i decorators.str -m main-`basename decorators` -la stratego-lib -la strc -I ../syntax -I ../trans -I ../runtime --format-check 0 -O 0 -Xcc -O0 >/dev/null [ strc | info ] Compiling 'decorators.str' [ strc | info ] Front-end succeeded : [user/system] = [1.41s/0.01s] [ strc | info ] Optimization succeeded -O 0 : [user/system] = [0.00s/0.00s] [ strc | info ] Back-end succeeded : [user/system] = [0.21s/0.01s] [ strc | info ] C compilation succeeded : [user/system] = [0.92s/0.24s] [ strc | info ] Compilation succeeded : [user/system] = [2.54s/0.26s] 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.36s/0.04s] [ strc | info ] Optimization succeeded -O 0 : [user/system] = [0.00s/0.00s] [ strc | info ] Back-end succeeded : [user/system] = [0.22s/0.01s] [ strc | info ] C compilation succeeded : [user/system] = [0.94s/0.25s] [ strc | info ] Compilation succeeded : [user/system] = [2.52s/0.30s] 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.49s/0.04s] [ strc | info ] Optimization succeeded -O 0 : [user/system] = [0.00s/0.00s] [ strc | info ] Back-end succeeded : [user/system] = [0.32s/0.02s] [ strc | info ] C compilation succeeded : [user/system] = [1.30s/0.24s] [ strc | info ] Compilation succeeded : [user/system] = [3.11s/0.30s] building circular-liveness-rewrites strc -i circular-liveness-rewrites.str -m main-`basename circular-liveness-rewrites` -la stratego-lib -la strc -I ../syntax -I ../trans -I ../runtime --format-check 0 -O 0 -Xcc -O0 >/dev/null [ strc | info ] Compiling 'circular-liveness-rewrites.str' [ strc | info ] Front-end succeeded : [user/system] = [2.73s/0.07s] [ strc | info ] Optimization succeeded -O 0 : [user/system] = [0.00s/0.00s] [ strc | info ] Back-end succeeded : [user/system] = [0.49s/0.05s] [ strc | info ] C compilation succeeded : [user/system] = [1.56s/0.33s] [ strc | info ] Compilation succeeded : [user/system] = [4.78s/0.45s] building empty.run ==== empty ==== ["./empty","--verbose","2"] building find-minimum.run ==== find-minimum ==== [trace] up-decorator0_2_1 @ Fork(Fork,Leaf) [trace] min @ Fork(Fork,Leaf) [trace] up-decorator0_2_1 @ Fork.Fork(Leaf,Fork) [trace] min @ Fork.Fork(Leaf,Fork) [trace] up-decorator0_2_1 @ Fork.Fork.Leaf(70) [trace] min @ Fork.Fork.Leaf(70) [trace] up-decorator0_2_1 @ Fork.Fork.Fork(Leaf,Leaf) [trace] min @ Fork.Fork.Fork(Leaf,Leaf) [trace] up-decorator0_2_1 @ Fork.Fork.Fork.Leaf(212) [trace] min @ Fork.Fork.Fork.Leaf(212) [trace] up-decorator0_2_1 @ Fork.Fork.Fork.Leaf(83) [trace] min @ Fork.Fork.Fork.Leaf(83) [trace] up-decorator0_2_1 @ Fork.Leaf(42) [trace] min @ Fork.Leaf(42) 42 building repmin.run ==== repmin ==== Fork(Fork(Leaf(70),Fork(Leaf(212),Leaf(83))),Leaf(42)) [trace] down-decorator0_2_1 @ Fork.Fork.Leaf(70) [trace] global-min @ Fork.Fork.Leaf(70) [trace] global-min @ Fork.Fork.Leaf(70) (failed) [trace] down-decorator0_2_1 @ Fork.Fork(Leaf,Fork) [trace] global-min @ Fork.Fork(Leaf,Fork) [trace] global-min @ Fork.Fork.Leaf(70) (failed) [trace] down-decorator0_2_1 @ Fork(Fork,Leaf) [trace] global-min @ Fork(Fork,Leaf) [trace] up-decorator0_2_1 @ Fork(Fork,Leaf) [trace] min @ Fork(Fork,Leaf) [trace] up-decorator0_2_1 @ Fork.Fork(Leaf,Fork) [trace] min @ Fork.Fork(Leaf,Fork) [trace] up-decorator0_2_1 @ Fork.Fork.Leaf(70) [trace] min @ Fork.Fork.Leaf(70) [trace] up-decorator0_2_1 @ Fork.Fork.Fork(Leaf,Leaf) [trace] min @ Fork.Fork.Fork(Leaf,Leaf) [trace] up-decorator0_2_1 @ Fork.Fork.Fork.Leaf(212) [trace] min @ Fork.Fork.Fork.Leaf(212) [trace] up-decorator0_2_1 @ Fork.Fork.Fork.Leaf(83) [trace] min @ Fork.Fork.Fork.Leaf(83) [trace] up-decorator0_2_1 @ Fork.Leaf(42) [trace] min @ Fork.Leaf(42) [trace] down-decorator0_2_1 @ Fork.Fork.Fork.Leaf(212) [trace] global-min @ Fork.Fork.Fork.Leaf(212) [trace] global-min @ Fork.Fork.Fork.Leaf(212) (failed) [trace] down-decorator0_2_1 @ Fork.Fork.Fork(Leaf,Leaf) [trace] global-min @ Fork.Fork.Fork(Leaf,Leaf) [trace] global-min @ Fork.Fork.Fork.Leaf(212) (failed) [trace] down-decorator0_2_1 @ Fork.Fork.Fork.Leaf(83) [trace] global-min @ Fork.Fork.Fork.Leaf(83) [trace] global-min @ Fork.Fork.Fork.Leaf(83) (failed) [trace] down-decorator0_2_1 @ Fork.Leaf(42) [trace] global-min @ Fork.Leaf(42) [trace] global-min @ Fork.Leaf(42) (failed) Fork(Fork(Leaf(42),Fork(Leaf(42),Leaf(42))),Leaf(42)) building repmin-no-copy-rules.run ==== repmin-no-copy-rules ==== Tree(Fork(Fork(Leaf(70),Fork(Leaf(212),Leaf(83))),Leaf(42))) [trace] fail-fatal-decorator0_2_1 @ Tree(Fork) [trace] assert-input-decorator0_3_2 @ Tree(Fork) [trace] replace @ Tree(Fork) [trace] fail-fatal-decorator0_2_1 @ Tree.Fork(Fork,Leaf) [trace] assert-input-decorator0_3_2 @ Tree.Fork(Fork,Leaf) [trace] replace @ Tree.Fork(Fork,Leaf) [trace] fail-fatal-decorator0_2_1 @ Tree.Fork.Fork(Leaf,Fork) [trace] assert-input-decorator0_3_2 @ Tree.Fork.Fork(Leaf,Fork) [trace] replace @ Tree.Fork.Fork(Leaf,Fork) [trace] fail-fatal-decorator0_2_1 @ Tree.Fork.Fork.Leaf(70) [trace] assert-input-decorator0_3_2 @ Tree.Fork.Fork.Leaf(70) [trace] replace @ Tree.Fork.Fork.Leaf(70) [trace] fail-fatal-decorator0_2_1 @ Tree.Fork.Fork.Leaf(70) [trace] assert-input-decorator0_3_2 @ Tree.Fork.Fork.Leaf(70) [trace] global-min @ Tree.Fork.Fork.Leaf(70) [trace] fail-fatal-decorator0_2_1 @ Tree.Fork.Fork(Leaf,Fork) [trace] assert-input-decorator0_3_2 @ Tree.Fork.Fork(Leaf,Fork) [trace] global-min @ Tree.Fork.Fork(Leaf,Fork) [trace] fail-fatal-decorator0_2_1 @ Tree.Fork(Fork,Leaf) [trace] assert-input-decorator0_3_2 @ Tree.Fork(Fork,Leaf) [trace] global-min @ Tree.Fork(Fork,Leaf) [trace] fail-fatal-decorator0_2_1 @ Tree(Fork) [trace] assert-input-decorator0_3_2 @ Tree(Fork) [trace] min @ Tree(Fork) [trace] fail-fatal-decorator0_2_1 @ Tree.Fork(Fork,Leaf) [trace] assert-input-decorator0_3_2 @ Tree.Fork(Fork,Leaf) [trace] min @ Tree.Fork(Fork,Leaf) [trace] fail-fatal-decorator0_2_1 @ Tree.Fork.Fork(Leaf,Fork) [trace] assert-input-decorator0_3_2 @ Tree.Fork.Fork(Leaf,Fork) [trace] min @ Tree.Fork.Fork(Leaf,Fork) [trace] fail-fatal-decorator0_2_1 @ Tree.Fork.Fork.Leaf(70) [trace] assert-input-decorator0_3_2 @ Tree.Fork.Fork.Leaf(70) [trace] min @ Tree.Fork.Fork.Leaf(70) [trace] fail-fatal-decorator0_2_1 @ Tree.Fork.Fork.Fork(Leaf,Leaf) [trace] assert-input-decorator0_3_2 @ Tree.Fork.Fork.Fork(Leaf,Leaf) [trace] min @ Tree.Fork.Fork.Fork(Leaf,Leaf) [trace] fail-fatal-decorator0_2_1 @ Tree.Fork.Fork.Fork.Leaf(212) [trace] assert-input-decorator0_3_2 @ Tree.Fork.Fork.Fork.Leaf(212) [trace] min @ Tree.Fork.Fork.Fork.Leaf(212) [trace] fail-fatal-decorator0_2_1 @ Tree.Fork.Fork.Fork.Leaf(83) [trace] assert-input-decorator0_3_2 @ Tree.Fork.Fork.Fork.Leaf(83) [trace] min @ Tree.Fork.Fork.Fork.Leaf(83) [trace] fail-fatal-decorator0_2_1 @ Tree.Fork.Leaf(42) [trace] assert-input-decorator0_3_2 @ Tree.Fork.Leaf(42) [trace] min @ Tree.Fork.Leaf(42) [trace] fail-fatal-decorator0_2_1 @ Tree.Fork.Fork.Fork(Leaf,Leaf) [trace] assert-input-decorator0_3_2 @ Tree.Fork.Fork.Fork(Leaf,Leaf) [trace] replace @ Tree.Fork.Fork.Fork(Leaf,Leaf) [trace] fail-fatal-decorator0_2_1 @ Tree.Fork.Fork.Fork.Leaf(212) [trace] assert-input-decorator0_3_2 @ Tree.Fork.Fork.Fork.Leaf(212) [trace] replace @ Tree.Fork.Fork.Fork.Leaf(212) [trace] fail-fatal-decorator0_2_1 @ Tree.Fork.Fork.Fork.Leaf(212) [trace] assert-input-decorator0_3_2 @ Tree.Fork.Fork.Fork.Leaf(212) [trace] global-min @ Tree.Fork.Fork.Fork.Leaf(212) [trace] fail-fatal-decorator0_2_1 @ Tree.Fork.Fork.Fork(Leaf,Leaf) [trace] assert-input-decorator0_3_2 @ Tree.Fork.Fork.Fork(Leaf,Leaf) [trace] global-min @ Tree.Fork.Fork.Fork(Leaf,Leaf) [trace] fail-fatal-decorator0_2_1 @ Tree.Fork.Fork.Fork.Leaf(83) [trace] assert-input-decorator0_3_2 @ Tree.Fork.Fork.Fork.Leaf(83) [trace] replace @ Tree.Fork.Fork.Fork.Leaf(83) [trace] fail-fatal-decorator0_2_1 @ Tree.Fork.Fork.Fork.Leaf(83) [trace] assert-input-decorator0_3_2 @ Tree.Fork.Fork.Fork.Leaf(83) [trace] global-min @ Tree.Fork.Fork.Fork.Leaf(83) [trace] fail-fatal-decorator0_2_1 @ Tree.Fork.Leaf(42) [trace] assert-input-decorator0_3_2 @ Tree.Fork.Leaf(42) [trace] replace @ Tree.Fork.Leaf(42) [trace] fail-fatal-decorator0_2_1 @ Tree.Fork.Leaf(42) [trace] assert-input-decorator0_3_2 @ Tree.Fork.Leaf(42) [trace] global-min @ Tree.Fork.Leaf(42) Tree(Fork(Fork(Leaf(42),Fork(Leaf(42),Leaf(42))),Leaf(42))) building repmin-anonymous.run ==== repmin-anonymous ==== [trace] down-decorator0_2_1 @ Fork.Fork.Leaf(70) [trace] global-min @ Fork.Fork.Leaf(70) [trace] global-min @ Fork.Fork.Leaf(70) (failed) [trace] down-decorator0_2_1 @ Fork.Fork(Leaf,Fork) [trace] global-min @ Fork.Fork(Leaf,Fork) [trace] global-min @ Fork.Fork.Leaf(70) (failed) [trace] down-decorator0_2_1 @ Fork(Fork,Leaf) [trace] global-min @ Fork(Fork,Leaf) [trace] up-decorator0_2_1 @ Fork(Fork,Leaf) [trace] min @ Fork(Fork,Leaf) [trace] up-decorator0_2_1 @ Fork.Fork(Leaf,Fork) [trace] min @ Fork.Fork(Leaf,Fork) [trace] up-decorator0_2_1 @ Fork.Fork.Leaf(70) [trace] min @ Fork.Fork.Leaf(70) [trace] up-decorator0_2_1 @ Fork.Fork.Fork(Leaf,Leaf) [trace] min @ Fork.Fork.Fork(Leaf,Leaf) [trace] down-decorator0_2_1 @ Fork.Fork.Fork.Leaf(212) [trace] global-min @ Fork.Fork.Fork.Leaf(212) [trace] global-min @ Fork.Fork.Fork.Leaf(212) (failed) [trace] down-decorator0_2_1 @ Fork.Fork.Fork(Leaf,Leaf) [trace] global-min @ Fork.Fork.Fork(Leaf,Leaf) [trace] global-min @ Fork.Fork.Fork.Leaf(212) (failed) [trace] down-decorator0_2_1 @ Fork.Fork(Leaf,Fork) [trace] global-min @ Fork.Fork(Leaf,Fork) [trace] global-min @ Fork.Fork.Fork.Leaf(212) (failed) [trace] down-decorator0_2_1 @ Fork(Fork,Leaf) [trace] global-min @ Fork(Fork,Leaf) [trace] up-decorator0_2_1 @ Fork(Fork,Leaf) [trace] min @ Fork(Fork,Leaf) [trace] up-decorator0_2_1 @ Fork.Fork(Leaf,Fork) [trace] min @ Fork.Fork(Leaf,Fork) [trace] up-decorator0_2_1 @ Fork.Fork.Leaf(70) [trace] min @ Fork.Fork.Leaf(70) [trace] up-decorator0_2_1 @ Fork.Fork.Fork(Leaf,Leaf) [trace] min @ Fork.Fork.Fork(Leaf,Leaf) [trace] up-decorator0_2_1 @ Fork.Fork.Fork.Leaf(212) [trace] min @ Fork.Fork.Fork.Leaf(212) [trace] down-decorator0_2_1 @ Fork.Fork.Fork.Leaf(83) [trace] global-min @ Fork.Fork.Fork.Leaf(83) [trace] global-min @ Fork.Fork.Fork.Leaf(83) (failed) [trace] down-decorator0_2_1 @ Fork.Fork.Fork(Leaf,Leaf) [trace] global-min @ Fork.Fork.Fork(Leaf,Leaf) [trace] global-min @ Fork.Fork.Fork.Leaf(83) (failed) [trace] down-decorator0_2_1 @ Fork.Fork(Leaf,Fork) [trace] global-min @ Fork.Fork(Leaf,Fork) [trace] global-min @ Fork.Fork.Fork.Leaf(83) (failed) [trace] down-decorator0_2_1 @ Fork(Fork,Leaf) [trace] global-min @ Fork(Fork,Leaf) [trace] up-decorator0_2_1 @ Fork(Fork,Leaf) [trace] min @ Fork(Fork,Leaf) [trace] up-decorator0_2_1 @ Fork.Fork(Leaf,Fork) [trace] min @ Fork.Fork(Leaf,Fork) [trace] up-decorator0_2_1 @ Fork.Fork.Leaf(70) [trace] min @ Fork.Fork.Leaf(70) [trace] up-decorator0_2_1 @ Fork.Fork.Fork(Leaf,Leaf) [trace] min @ Fork.Fork.Fork(Leaf,Leaf) [trace] up-decorator0_2_1 @ Fork.Fork.Fork.Leaf(212) [trace] min @ Fork.Fork.Fork.Leaf(212) [trace] up-decorator0_2_1 @ Fork.Fork.Fork.Leaf(83) [trace] min @ Fork.Fork.Fork.Leaf(83) [trace] down-decorator0_2_1 @ Fork.Leaf(42) [trace] global-min @ Fork.Leaf(42) [trace] global-min @ Fork.Leaf(42) (failed) [trace] down-decorator0_2_1 @ Fork(Fork,Leaf) [trace] global-min @ Fork(Fork,Leaf) [trace] up-decorator0_2_1 @ Fork(Fork,Leaf) [trace] min @ Fork(Fork,Leaf) [trace] up-decorator0_2_1 @ Fork.Fork(Leaf,Fork) [trace] min @ Fork.Fork(Leaf,Fork) [trace] up-decorator0_2_1 @ Fork.Fork.Leaf(70) [trace] min @ Fork.Fork.Leaf(70) [trace] up-decorator0_2_1 @ Fork.Fork.Fork(Leaf,Leaf) [trace] min @ Fork.Fork.Fork(Leaf,Leaf) [trace] up-decorator0_2_1 @ Fork.Fork.Fork.Leaf(212) [trace] min @ Fork.Fork.Fork.Leaf(212) [trace] up-decorator0_2_1 @ Fork.Fork.Fork.Leaf(83) [trace] min @ Fork.Fork.Fork.Leaf(83) [trace] up-decorator0_2_1 @ Fork.Leaf(42) [trace] min @ Fork.Leaf(42) [trace] up-decorator0_2_1 @ Fork.Leaf(42) [trace] min @ Fork.Leaf(42) [rewr.] Fork.Fork.Fork.Leaf(83) -> Leaf(42) [trace] down-decorator0_2_1 @ Fork.Fork.Fork.Leaf(42) [trace] global-min @ Fork.Fork.Fork.Leaf(42) [trace] global-min @ Fork.Fork.Fork.Leaf(42) (failed) [trace] down-decorator0_2_1 @ Fork.Fork.Fork(Leaf,Leaf) [trace] global-min @ Fork.Fork.Fork(Leaf,Leaf) [trace] global-min @ Fork.Fork.Fork.Leaf(42) (failed) [trace] down-decorator0_2_1 @ Fork.Fork(Leaf,Fork) [trace] global-min @ Fork.Fork(Leaf,Fork) [trace] global-min @ Fork.Fork.Fork.Leaf(42) (failed) [trace] down-decorator0_2_1 @ Fork(Fork,Leaf) [trace] global-min @ Fork(Fork,Leaf) [trace] up-decorator0_2_1 @ Fork(Fork,Leaf) [trace] min @ Fork(Fork,Leaf) [trace] up-decorator0_2_1 @ Fork.Fork(Leaf,Fork) [trace] min @ Fork.Fork(Leaf,Fork) [trace] up-decorator0_2_1 @ Fork.Fork.Leaf(70) [trace] min @ Fork.Fork.Leaf(70) [trace] up-decorator0_2_1 @ Fork.Fork.Fork(Leaf,Leaf) [trace] min @ Fork.Fork.Fork(Leaf,Leaf) [trace] up-decorator0_2_1 @ Fork.Fork.Fork.Leaf(212) [trace] min @ Fork.Fork.Fork.Leaf(212) [trace] up-decorator0_2_1 @ Fork.Fork.Fork.Leaf(42) [trace] min @ Fork.Fork.Fork.Leaf(42) [trace] up-decorator0_2_1 @ Fork.Leaf(42) [trace] min @ Fork.Leaf(42) [trace] up-decorator0_2_1 @ Fork.Fork.Fork.Leaf(42) [trace] min @ Fork.Fork.Fork.Leaf(42) [trace] up-decorator0_2_1 @ Fork.Leaf(42) [trace] min @ Fork.Leaf(42) [rewr.] Fork.Fork.Fork.Leaf(212) -> Leaf(42) [trace] down-decorator0_2_1 @ Fork.Fork.Fork.Leaf(42) [trace] global-min @ Fork.Fork.Fork.Leaf(42) [trace] global-min @ Fork.Fork.Fork.Leaf(42) (failed) [trace] down-decorator0_2_1 @ Fork.Fork.Fork(Leaf,Leaf) [trace] global-min @ Fork.Fork.Fork(Leaf,Leaf) [trace] global-min @ Fork.Fork.Fork.Leaf(42) (failed) [trace] down-decorator0_2_1 @ Fork.Fork(Leaf,Fork) [trace] global-min @ Fork.Fork(Leaf,Fork) [trace] global-min @ Fork.Fork.Fork.Leaf(42) (failed) [trace] down-decorator0_2_1 @ Fork(Fork,Leaf) [trace] global-min @ Fork(Fork,Leaf) [trace] up-decorator0_2_1 @ Fork(Fork,Leaf) [trace] min @ Fork(Fork,Leaf) [trace] up-decorator0_2_1 @ Fork.Fork(Leaf,Fork) [trace] min @ Fork.Fork(Leaf,Fork) [trace] up-decorator0_2_1 @ Fork.Fork.Leaf(70) [trace] min @ Fork.Fork.Leaf(70) [trace] up-decorator0_2_1 @ Fork.Fork.Fork(Leaf,Leaf) [trace] min @ Fork.Fork.Fork(Leaf,Leaf) [trace] up-decorator0_2_1 @ Fork.Fork.Fork.Leaf(42) [trace] min @ Fork.Fork.Fork.Leaf(42) [trace] up-decorator0_2_1 @ Fork.Fork.Fork.Leaf(42) [trace] min @ Fork.Fork.Fork.Leaf(42) [trace] up-decorator0_2_1 @ Fork.Leaf(42) [trace] min @ Fork.Leaf(42) [trace] up-decorator0_2_1 @ Fork.Fork.Fork.Leaf(42) [trace] min @ Fork.Fork.Fork.Leaf(42) [trace] up-decorator0_2_1 @ Fork.Fork.Fork.Leaf(42) [trace] min @ Fork.Fork.Fork.Leaf(42) [trace] up-decorator0_2_1 @ Fork.Leaf(42) [trace] min @ Fork.Leaf(42) [rewr.] Fork.Fork.Leaf(70) -> Leaf(42) [trace] down-decorator0_2_1 @ Fork.Fork.Leaf(42) [trace] global-min @ Fork.Fork.Leaf(42) [trace] global-min @ Fork.Fork.Leaf(42) (failed) [trace] down-decorator0_2_1 @ Fork.Fork(Leaf,Fork) [trace] global-min @ Fork.Fork(Leaf,Fork) [trace] global-min @ Fork.Fork.Leaf(42) (failed) [trace] down-decorator0_2_1 @ Fork(Fork,Leaf) [trace] global-min @ Fork(Fork,Leaf) [trace] up-decorator0_2_1 @ Fork(Fork,Leaf) [trace] min @ Fork(Fork,Leaf) [trace] up-decorator0_2_1 @ Fork.Fork(Leaf,Fork) [trace] min @ Fork.Fork(Leaf,Fork) [trace] up-decorator0_2_1 @ Fork.Fork.Leaf(42) [trace] min @ Fork.Fork.Leaf(42) [trace] up-decorator0_2_1 @ Fork.Fork.Fork(Leaf,Leaf) [trace] min @ Fork.Fork.Fork(Leaf,Leaf) [trace] up-decorator0_2_1 @ Fork.Fork.Fork.Leaf(42) [trace] min @ Fork.Fork.Fork.Leaf(42) [trace] up-decorator0_2_1 @ Fork.Fork.Fork.Leaf(42) [trace] min @ Fork.Fork.Fork.Leaf(42) [trace] up-decorator0_2_1 @ Fork.Leaf(42) [trace] min @ Fork.Leaf(42) [trace] down-decorator0_2_1 @ Fork.Fork.Leaf(42) [trace] global-min @ Fork.Fork.Leaf(42) [trace] global-min @ Fork.Fork.Leaf(42) (failed) [trace] down-decorator0_2_1 @ Fork.Fork(Leaf,Fork) [trace] global-min @ Fork.Fork(Leaf,Fork) [trace] global-min @ Fork.Fork.Leaf(42) (failed) [trace] down-decorator0_2_1 @ Fork(Fork,Leaf) [trace] global-min @ Fork(Fork,Leaf) [trace] up-decorator0_2_1 @ Fork(Fork,Leaf) [trace] min @ Fork(Fork,Leaf) [trace] up-decorator0_2_1 @ Fork.Fork(Leaf,Fork) [trace] min @ Fork.Fork(Leaf,Fork) [trace] up-decorator0_2_1 @ Fork.Fork.Leaf(42) [trace] min @ Fork.Fork.Leaf(42) [trace] up-decorator0_2_1 @ Fork.Fork.Fork(Leaf,Leaf) [trace] min @ Fork.Fork.Fork(Leaf,Leaf) [trace] down-decorator0_2_1 @ Fork.Fork.Fork.Leaf(42) [trace] global-min @ Fork.Fork.Fork.Leaf(42) [trace] global-min @ Fork.Fork.Fork.Leaf(42) (failed) [trace] down-decorator0_2_1 @ Fork.Fork.Fork(Leaf,Leaf) [trace] global-min @ Fork.Fork.Fork(Leaf,Leaf) [trace] global-min @ Fork.Fork.Fork.Leaf(42) (failed) [trace] down-decorator0_2_1 @ Fork.Fork(Leaf,Fork) [trace] global-min @ Fork.Fork(Leaf,Fork) [trace] global-min @ Fork.Fork.Fork.Leaf(42) (failed) [trace] down-decorator0_2_1 @ Fork(Fork,Leaf) [trace] global-min @ Fork(Fork,Leaf) [trace] up-decorator0_2_1 @ Fork(Fork,Leaf) [trace] min @ Fork(Fork,Leaf) [trace] up-decorator0_2_1 @ Fork.Fork(Leaf,Fork) [trace] min @ Fork.Fork(Leaf,Fork) [trace] up-decorator0_2_1 @ Fork.Fork.Leaf(42) [trace] min @ Fork.Fork.Leaf(42) [trace] up-decorator0_2_1 @ Fork.Fork.Fork(Leaf,Leaf) [trace] min @ Fork.Fork.Fork(Leaf,Leaf) [trace] up-decorator0_2_1 @ Fork.Fork.Fork.Leaf(42) [trace] min @ Fork.Fork.Fork.Leaf(42) [trace] down-decorator0_2_1 @ Fork.Fork.Fork.Leaf(42) [trace] global-min @ Fork.Fork.Fork.Leaf(42) [trace] global-min @ Fork.Fork.Fork.Leaf(42) (failed) [trace] down-decorator0_2_1 @ Fork.Fork.Fork(Leaf,Leaf) [trace] global-min @ Fork.Fork.Fork(Leaf,Leaf) [trace] global-min @ Fork.Fork.Fork.Leaf(42) (failed) [trace] down-decorator0_2_1 @ Fork.Fork(Leaf,Fork) [trace] global-min @ Fork.Fork(Leaf,Fork) [trace] global-min @ Fork.Fork.Fork.Leaf(42) (failed) [trace] down-decorator0_2_1 @ Fork(Fork,Leaf) [trace] global-min @ Fork(Fork,Leaf) [trace] up-decorator0_2_1 @ Fork(Fork,Leaf) [trace] min @ Fork(Fork,Leaf) [trace] up-decorator0_2_1 @ Fork.Fork(Leaf,Fork) [trace] min @ Fork.Fork(Leaf,Fork) [trace] up-decorator0_2_1 @ Fork.Fork.Leaf(42) [trace] min @ Fork.Fork.Leaf(42) [trace] up-decorator0_2_1 @ Fork.Fork.Fork(Leaf,Leaf) [trace] min @ Fork.Fork.Fork(Leaf,Leaf) [trace] up-decorator0_2_1 @ Fork.Fork.Fork.Leaf(42) [trace] min @ Fork.Fork.Fork.Leaf(42) [trace] up-decorator0_2_1 @ Fork.Fork.Fork.Leaf(42) [trace] min @ Fork.Fork.Fork.Leaf(42) [trace] down-decorator0_2_1 @ Fork.Leaf(42) [trace] global-min @ Fork.Leaf(42) [trace] global-min @ Fork.Leaf(42) (failed) [trace] down-decorator0_2_1 @ Fork(Fork,Leaf) [trace] global-min @ Fork(Fork,Leaf) [trace] up-decorator0_2_1 @ Fork(Fork,Leaf) [trace] min @ Fork(Fork,Leaf) [trace] up-decorator0_2_1 @ Fork.Fork(Leaf,Fork) [trace] min @ Fork.Fork(Leaf,Fork) [trace] up-decorator0_2_1 @ Fork.Fork.Leaf(42) [trace] min @ Fork.Fork.Leaf(42) [trace] up-decorator0_2_1 @ Fork.Fork.Fork(Leaf,Leaf) [trace] min @ Fork.Fork.Fork(Leaf,Leaf) [trace] up-decorator0_2_1 @ Fork.Fork.Fork.Leaf(42) [trace] min @ Fork.Fork.Fork.Leaf(42) [trace] up-decorator0_2_1 @ Fork.Fork.Fork.Leaf(42) [trace] min @ Fork.Fork.Fork.Leaf(42) [trace] up-decorator0_2_1 @ Fork.Leaf(42) [trace] min @ Fork.Leaf(42) [trace] up-decorator0_2_1 @ Fork.Leaf(42) [trace] min @ Fork.Leaf(42) [trace] up-decorator0_2_1 @ Fork.Fork.Fork.Leaf(42) [trace] min @ Fork.Fork.Fork.Leaf(42) [trace] up-decorator0_2_1 @ Fork.Leaf(42) [trace] min @ Fork.Leaf(42) [trace] up-decorator0_2_1 @ Fork.Fork.Fork.Leaf(42) [trace] min @ Fork.Fork.Fork.Leaf(42) [trace] up-decorator0_2_1 @ Fork.Fork.Fork.Leaf(42) [trace] min @ Fork.Fork.Fork.Leaf(42) [trace] up-decorator0_2_1 @ Fork.Leaf(42) [trace] min @ Fork.Leaf(42) [trace] down-decorator0_2_1 @ Fork.Fork.Leaf(42) [trace] global-min @ Fork.Fork.Leaf(42) [trace] global-min @ Fork.Fork.Leaf(42) (failed) [trace] down-decorator0_2_1 @ Fork.Fork(Leaf,Fork) [trace] global-min @ Fork.Fork(Leaf,Fork) [trace] global-min @ Fork.Fork.Leaf(42) (failed) [trace] down-decorator0_2_1 @ Fork(Fork,Leaf) [trace] global-min @ Fork(Fork,Leaf) [trace] up-decorator0_2_1 @ Fork(Fork,Leaf) [trace] min @ Fork(Fork,Leaf) [trace] up-decorator0_2_1 @ Fork.Fork(Leaf,Fork) [trace] min @ Fork.Fork(Leaf,Fork) [trace] up-decorator0_2_1 @ Fork.Fork.Leaf(42) [trace] min @ Fork.Fork.Leaf(42) [trace] up-decorator0_2_1 @ Fork.Fork.Fork(Leaf,Leaf) [trace] min @ Fork.Fork.Fork(Leaf,Leaf) [trace] down-decorator0_2_1 @ Fork.Fork.Fork.Leaf(42) [trace] global-min @ Fork.Fork.Fork.Leaf(42) [trace] global-min @ Fork.Fork.Fork.Leaf(42) (failed) [trace] down-decorator0_2_1 @ Fork.Fork.Fork(Leaf,Leaf) [trace] global-min @ Fork.Fork.Fork(Leaf,Leaf) [trace] global-min @ Fork.Fork.Fork.Leaf(42) (failed) [trace] down-decorator0_2_1 @ Fork.Fork(Leaf,Fork) [trace] global-min @ Fork.Fork(Leaf,Fork) [trace] global-min @ Fork.Fork.Fork.Leaf(42) (failed) [trace] down-decorator0_2_1 @ Fork(Fork,Leaf) [trace] global-min @ Fork(Fork,Leaf) [trace] up-decorator0_2_1 @ Fork(Fork,Leaf) [trace] min @ Fork(Fork,Leaf) [trace] up-decorator0_2_1 @ Fork.Fork(Leaf,Fork) [trace] min @ Fork.Fork(Leaf,Fork) [trace] up-decorator0_2_1 @ Fork.Fork.Leaf(42) [trace] min @ Fork.Fork.Leaf(42) [trace] up-decorator0_2_1 @ Fork.Fork.Fork(Leaf,Leaf) [trace] min @ Fork.Fork.Fork(Leaf,Leaf) [trace] up-decorator0_2_1 @ Fork.Fork.Fork.Leaf(42) [trace] min @ Fork.Fork.Fork.Leaf(42) [trace] down-decorator0_2_1 @ Fork.Fork.Fork.Leaf(42) [trace] global-min @ Fork.Fork.Fork.Leaf(42) [trace] global-min @ Fork.Fork.Fork.Leaf(42) (failed) [trace] down-decorator0_2_1 @ Fork.Fork.Fork(Leaf,Leaf) [trace] global-min @ Fork.Fork.Fork(Leaf,Leaf) [trace] global-min @ Fork.Fork.Fork.Leaf(42) (failed) [trace] down-decorator0_2_1 @ Fork.Fork(Leaf,Fork) [trace] global-min @ Fork.Fork(Leaf,Fork) [trace] global-min @ Fork.Fork.Fork.Leaf(42) (failed) [trace] down-decorator0_2_1 @ Fork(Fork,Leaf) [trace] global-min @ Fork(Fork,Leaf) [trace] up-decorator0_2_1 @ Fork(Fork,Leaf) [trace] min @ Fork(Fork,Leaf) [trace] up-decorator0_2_1 @ Fork.Fork(Leaf,Fork) [trace] min @ Fork.Fork(Leaf,Fork) [trace] up-decorator0_2_1 @ Fork.Fork.Leaf(42) [trace] min @ Fork.Fork.Leaf(42) [trace] up-decorator0_2_1 @ Fork.Fork.Fork(Leaf,Leaf) [trace] min @ Fork.Fork.Fork(Leaf,Leaf) [trace] up-decorator0_2_1 @ Fork.Fork.Fork.Leaf(42) [trace] min @ Fork.Fork.Fork.Leaf(42) [trace] up-decorator0_2_1 @ Fork.Fork.Fork.Leaf(42) [trace] min @ Fork.Fork.Fork.Leaf(42) [trace] down-decorator0_2_1 @ Fork.Leaf(42) [trace] global-min @ Fork.Leaf(42) [trace] global-min @ Fork.Leaf(42) (failed) [trace] down-decorator0_2_1 @ Fork(Fork,Leaf) [trace] global-min @ Fork(Fork,Leaf) [trace] up-decorator0_2_1 @ Fork(Fork,Leaf) [trace] min @ Fork(Fork,Leaf) [trace] up-decorator0_2_1 @ Fork.Fork(Leaf,Fork) [trace] min @ Fork.Fork(Leaf,Fork) [trace] up-decorator0_2_1 @ Fork.Fork.Leaf(42) [trace] min @ Fork.Fork.Leaf(42) [trace] up-decorator0_2_1 @ Fork.Fork.Fork(Leaf,Leaf) [trace] min @ Fork.Fork.Fork(Leaf,Leaf) [trace] up-decorator0_2_1 @ Fork.Fork.Fork.Leaf(42) [trace] min @ Fork.Fork.Fork.Leaf(42) [trace] up-decorator0_2_1 @ Fork.Fork.Fork.Leaf(42) [trace] min @ Fork.Fork.Fork.Leaf(42) [trace] up-decorator0_2_1 @ Fork.Leaf(42) [trace] min @ Fork.Leaf(42) [trace] up-decorator0_2_1 @ Fork.Leaf(42) [trace] min @ Fork.Leaf(42) [trace] up-decorator0_2_1 @ Fork.Fork.Fork.Leaf(42) [trace] min @ Fork.Fork.Fork.Leaf(42) [trace] up-decorator0_2_1 @ Fork.Leaf(42) [trace] min @ Fork.Leaf(42) [trace] up-decorator0_2_1 @ Fork.Fork.Fork.Leaf(42) [trace] min @ Fork.Fork.Fork.Leaf(42) [trace] up-decorator0_2_1 @ Fork.Fork.Fork.Leaf(42) [trace] min @ Fork.Fork.Fork.Leaf(42) [trace] up-decorator0_2_1 @ Fork.Leaf(42) [trace] min @ Fork.Leaf(42) Fork(Fork(Leaf(42),Fork(Leaf(42),Leaf(42))),Leaf(42)) building repmin-hag.run ==== repmin-hag ==== [trace] rewrite @ Fork(Fork,Leaf) [trace] rewrite @ Fork.Fork(Leaf,Fork) [trace] rewrite @ Fork.Fork.Leaf(70) [trace] down-decorator0_2_1 @ Fork.Fork.Leaf(70) [trace] global-min @ Fork.Fork.Leaf(70) [trace] global-min @ Fork.Fork.Leaf(70) (failed) [trace] down-decorator0_2_1 @ Fork.Fork(Leaf,Fork) [trace] global-min @ Fork.Fork(Leaf,Fork) [trace] global-min @ Fork.Fork.Leaf(70) (failed) [trace] down-decorator0_2_1 @ Fork(Fork,Leaf) [trace] global-min @ Fork(Fork,Leaf) [trace] up-decorator0_2_1 @ Fork(Fork,Leaf) [trace] min @ Fork(Fork,Leaf) [trace] up-decorator0_2_1 @ Fork.Fork(Leaf,Fork) [trace] min @ Fork.Fork(Leaf,Fork) [trace] up-decorator0_2_1 @ Fork.Fork.Leaf(70) [trace] min @ Fork.Fork.Leaf(70) [trace] up-decorator0_2_1 @ Fork.Fork.Fork(Leaf,Leaf) [trace] min @ Fork.Fork.Fork(Leaf,Leaf) [trace] up-decorator0_2_1 @ Fork.Fork.Fork.Leaf(212) [trace] min @ Fork.Fork.Fork.Leaf(212) [trace] up-decorator0_2_1 @ Fork.Fork.Fork.Leaf(83) [trace] min @ Fork.Fork.Fork.Leaf(83) [trace] up-decorator0_2_1 @ Fork.Leaf(42) [trace] min @ Fork.Leaf(42) [trace] rewrite @ Fork.Fork.Fork(Leaf,Leaf) [trace] rewrite @ Fork.Fork.Fork.Leaf(212) [trace] down-decorator0_2_1 @ Fork.Fork.Fork.Leaf(212) [trace] global-min @ Fork.Fork.Fork.Leaf(212) [trace] global-min @ Fork.Fork.Fork.Leaf(212) (failed) [trace] down-decorator0_2_1 @ Fork.Fork.Fork(Leaf,Leaf) [trace] global-min @ Fork.Fork.Fork(Leaf,Leaf) [trace] global-min @ Fork.Fork.Fork.Leaf(212) (failed) [trace] rewrite @ Fork.Fork.Fork.Leaf(83) [trace] down-decorator0_2_1 @ Fork.Fork.Fork.Leaf(83) [trace] global-min @ Fork.Fork.Fork.Leaf(83) [trace] global-min @ Fork.Fork.Fork.Leaf(83) (failed) [trace] rewrite @ Fork.Leaf(42) [trace] down-decorator0_2_1 @ Fork.Leaf(42) [trace] global-min @ Fork.Leaf(42) [trace] global-min @ Fork.Leaf(42) (failed) Fork(Fork(Leaf(42),Fork(Leaf(42),Leaf(42))),Leaf(42)) building repmin-hag-decorated.run ==== repmin-hag-decorated ==== [trace] rewrite-td-decorator0_2_1 @ Fork(Fork,Leaf) [trace] rewrite-td @ Fork(Fork,Leaf) [trace] rewrite-td @ Fork(Fork,Leaf) (failed) [trace] all_1_0 @ Fork(Fork,Leaf) [trace] rewrite-td-decorator0_2_1 @ Fork.Fork(Leaf,Fork) [trace] rewrite-td @ Fork.Fork(Leaf,Fork) [trace] rewrite-td @ Fork(Fork,Leaf) (failed) [trace] all_1_0 @ Fork.Fork(Leaf,Fork) [trace] rewrite-td-decorator0_2_1 @ Fork.Fork.Leaf(70) [trace] rewrite-td @ Fork.Fork.Leaf(70) [trace] down-decorator0_2_1 @ Fork.Fork.Leaf(70) [trace] global-min @ Fork.Fork.Leaf(70) [trace] global-min @ Fork.Fork.Leaf(70) (failed) [trace] down-decorator0_2_1 @ Fork.Fork(Leaf,Fork) [trace] global-min @ Fork.Fork(Leaf,Fork) [trace] global-min @ Fork.Fork.Leaf(70) (failed) [trace] down-decorator0_2_1 @ Fork(Fork,Leaf) [trace] global-min @ Fork(Fork,Leaf) [trace] up-decorator0_2_1 @ Fork(Fork,Leaf) [trace] min @ Fork(Fork,Leaf) [trace] up-decorator0_2_1 @ Fork.Fork(Leaf,Fork) [trace] min @ Fork.Fork(Leaf,Fork) [trace] up-decorator0_2_1 @ Fork.Fork.Leaf(70) [trace] min @ Fork.Fork.Leaf(70) [trace] up-decorator0_2_1 @ Fork.Fork.Fork(Leaf,Leaf) [trace] min @ Fork.Fork.Fork(Leaf,Leaf) [trace] up-decorator0_2_1 @ Fork.Fork.Fork.Leaf(212) [trace] min @ Fork.Fork.Fork.Leaf(212) [trace] up-decorator0_2_1 @ Fork.Fork.Fork.Leaf(83) [trace] min @ Fork.Fork.Fork.Leaf(83) [trace] up-decorator0_2_1 @ Fork.Leaf(42) [trace] min @ Fork.Leaf(42) [trace] all_1_0 @ Fork.Leaf(42) [trace] rewrite-td-decorator0_2_1 @ Fork.Leaf.42 [trace] rewrite-td @ Fork.Leaf.42 [trace] rewrite-td @ Fork(Fork,Leaf) (failed) [trace] all_1_0 @ Fork.Leaf.42 [trace] rewrite-td-decorator0_2_1 @ Fork.Fork.Fork(Leaf,Leaf) [trace] rewrite-td @ Fork.Fork.Fork(Leaf,Leaf) [trace] rewrite-td @ Fork(Fork,Leaf) (failed) [trace] all_1_0 @ Fork.Fork.Fork(Leaf,Leaf) [trace] rewrite-td-decorator0_2_1 @ Fork.Fork.Fork.Leaf(212) [trace] rewrite-td @ Fork.Fork.Fork.Leaf(212) [trace] down-decorator0_2_1 @ Fork.Fork.Fork.Leaf(212) [trace] global-min @ Fork.Fork.Fork.Leaf(212) [trace] global-min @ Fork.Fork.Fork.Leaf(212) (failed) [trace] down-decorator0_2_1 @ Fork.Fork.Fork(Leaf,Leaf) [trace] global-min @ Fork.Fork.Fork(Leaf,Leaf) [trace] global-min @ Fork.Fork.Fork.Leaf(212) (failed) [trace] all_1_0 @ Fork.Leaf(42) [trace] rewrite-td-decorator0_2_1 @ Fork.Fork.Fork.Leaf(83) [trace] rewrite-td @ Fork.Fork.Fork.Leaf(83) [trace] down-decorator0_2_1 @ Fork.Fork.Fork.Leaf(83) [trace] global-min @ Fork.Fork.Fork.Leaf(83) [trace] global-min @ Fork.Fork.Fork.Leaf(83) (failed) [trace] all_1_0 @ Fork.Leaf(42) [trace] rewrite-td-decorator0_2_1 @ Fork.Leaf(42) [trace] rewrite-td @ Fork.Leaf(42) [trace] down-decorator0_2_1 @ Fork.Leaf(42) [trace] global-min @ Fork.Leaf(42) [trace] global-min @ Fork.Leaf(42) (failed) [trace] all_1_0 @ Fork.Leaf(42) [trace] rewrite-bu-decorator0_2_1 @ Fork(Fork,Leaf) [trace] all-inline_1_0 @ Fork(Fork,Leaf) [trace] rewrite-bu-decorator0_2_1 @ Fork.Fork(Leaf,Fork) [trace] all-inline_1_0 @ Fork.Fork(Leaf,Fork) [trace] rewrite-bu-decorator0_2_1 @ Fork.Fork.Leaf(70) [trace] all-inline_1_0 @ Fork.Fork.Leaf(70) [trace] rewrite-bu-decorator0_2_1 @ Fork.Fork.Leaf.70 [trace] all-inline_1_0 @ Fork.Fork.Leaf.70 [trace] rewrite-bu @ Fork.Fork.Leaf.70 [trace] rewrite-bu @ Fork(Fork,Leaf) (failed) [trace] rewrite-bu @ Fork.Fork.Leaf(70) [trace] rewrite-bu-decorator0_2_1 @ Fork.Fork.Fork(Leaf,Leaf) [trace] all-inline_1_0 @ Fork.Fork.Fork(Leaf,Leaf) [trace] rewrite-bu-decorator0_2_1 @ Fork.Fork.Fork.Leaf(212) [trace] all-inline_1_0 @ Fork.Fork.Fork.Leaf(212) [trace] rewrite-bu-decorator0_2_1 @ Fork.Fork.Fork.Leaf.212 [trace] all-inline_1_0 @ Fork.Fork.Fork.Leaf.212 [trace] rewrite-bu @ Fork.Fork.Fork.Leaf.212 [trace] rewrite-bu @ Fork(Fork,Leaf) (failed) [trace] rewrite-bu @ Fork.Fork.Fork.Leaf(212) [trace] rewrite-bu-decorator0_2_1 @ Fork.Fork.Fork.Leaf(83) [trace] all-inline_1_0 @ Fork.Fork.Fork.Leaf(83) [trace] rewrite-bu-decorator0_2_1 @ Fork.Fork.Fork.Leaf.83 [trace] all-inline_1_0 @ Fork.Fork.Fork.Leaf.83 [trace] rewrite-bu @ Fork.Fork.Fork.Leaf.83 [trace] rewrite-bu @ Fork(Fork,Leaf) (failed) [trace] rewrite-bu @ Fork.Fork.Fork.Leaf(83) [trace] rewrite-bu @ Fork(Leaf,Leaf) [trace] rewrite-bu @ Fork(Fork,Leaf) (failed) [trace] rewrite-bu @ Fork(Leaf,Fork) [trace] rewrite-bu @ Fork(Fork,Leaf) (failed) [trace] rewrite-bu-decorator0_2_1 @ Fork.Leaf(42) [trace] all-inline_1_0 @ Fork.Leaf(42) [trace] rewrite-bu-decorator0_2_1 @ Fork.Leaf.42 [trace] all-inline_1_0 @ Fork.Leaf.42 [trace] rewrite-bu @ Fork.Leaf.42 [trace] rewrite-bu @ Fork(Fork,Leaf) (failed) [trace] rewrite-bu @ Fork.Leaf(42) [trace] rewrite-bu @ Fork(Fork,Leaf) [trace] rewrite-bu @ Fork(Fork,Leaf) (failed) (Fork(Fork(Leaf(42),Fork(Leaf(42),Leaf(42))),Leaf(42)),Fork(Fork(Leaf(42),Fork(Leaf(42),Leaf(42))),Leaf(42))) building binary-numbers.run ==== binary-numbers ==== [trace] up-decorator0_2_1 @ Number(List,List) [trace] value @ Number(List,List) [trace] up-decorator0_2_1 @ Number.List(List,1) [trace] value @ Number.List(List,1) [trace] up-decorator0_2_1 @ Number.List.List(List,0) [trace] value @ Number.List.List(List,0) [trace] up-decorator0_2_1 @ Number.List.List.List(1) [trace] value @ Number.List.List.List(1) [trace] value @ Number.List.List.List(1) (failed) [trace] up-decorator0_2_1 @ Number.List.List.List.1 [trace] value @ Number.List.List.List.1 [trace] down-decorator0_2_1 @ Number.List.List.List.1 [trace] scale @ Number.List.List.List.1 [trace] scale @ Number.List.List.List.1 (failed) [trace] down-decorator0_2_1 @ Number.List.List.List(1) [trace] scale @ Number.List.List.List(1) [trace] down-decorator0_2_1 @ Number.List.List(List,0) [trace] scale @ Number.List.List(List,0) [trace] down-decorator0_2_1 @ Number.List(List,1) [trace] scale @ Number.List(List,1) [trace] up-decorator0_2_1 @ Number.List.List.0 [trace] value @ Number.List.List.0 [trace] up-decorator0_2_1 @ Number.List.1 [trace] value @ Number.List.1 [trace] down-decorator0_2_1 @ Number.List.1 [trace] scale @ Number.List.1 [trace] scale @ Number.List.1 (failed) [trace] up-decorator0_2_1 @ Number.List(List,1) [trace] value @ Number.List(List,1) [trace] up-decorator0_2_1 @ Number.List.List(0) [trace] value @ Number.List.List(0) [trace] value @ Number.List.List(0) (failed) [trace] up-decorator0_2_1 @ Number.List.List.0 [trace] value @ Number.List.List.0 [trace] up-decorator0_2_1 @ Number.List.1 [trace] value @ Number.List.1 [trace] down-decorator0_2_1 @ Number.List.1 [trace] scale @ Number.List.1 [trace] scale @ Number.List.1 (failed) [trace] down-decorator0_2_1 @ Number.List(List,1) [trace] scale @ Number.List(List,1) [trace] up-decorator0_2_1 @ Number.List(List,1) [trace] length @ Number.List(List,1) [trace] up-decorator0_2_1 @ Number.List.List(0) [trace] length @ Number.List.List(0) building caching.run ==== caching ==== [trace] get-cached-1 @ "root" 1("a_0"{"@2"},"a_0"{"@2"}) [trace] noop-decorator0_2_1 @ "root" [trace] get-cached-2 @ "root" 2("b_0"{"@3"},"b_0"{"@3"}) [trace] get-uncached-3 @ "root" [trace] get-uncached-3 @ "root" 3("c_0","d_0") [trace] uncached-decorator0_2_1 @ "root" [trace] get-uncached-4 @ "root" [trace] uncached-decorator0_2_1 @ "root" [trace] get-uncached-4 @ "root" 4("e_0"{"@4"},"f_0"{"@5"}) [trace] down-decorator0_2_1 @ "root" [trace] get-uncached-5 @ "root" [trace] down-decorator0_2_1 @ "root" [trace] get-uncached-5 @ "root" 5("g_0"{"@6"},"h_0"{"@7"}) [trace] down-decorator0_2_1 @ "root" [trace] uncached-decorator0_2_1 @ "root" [trace] get-uncached-6 @ "root" [trace] down-decorator0_2_1 @ "root" [trace] uncached-decorator0_2_1 @ "root" [trace] get-uncached-6 @ "root" 6("i_0"{"@8"},"j_0"{"@9"}) [trace] down-decorator0_2_1 @ "root" [trace] get-cached-7 @ "root" 7("k_0"{"@10"},"k_0"{"@10"}) [trace] uncached-decorator0_2_1 @ "root" [trace] down-decorator0_2_1 @ "root" [trace] get-cached-8 @ "root" [trace] uncached-decorator0_2_1 @ "root" 8("l_0"{"@11"},"l_0"{"@11"}) [trace] check-uncached-decorator0_2_1 @ ("l_0","l_0") [trace] noop-decorator0_2_1 @ ("l_0","l_0") [trace] no-premature-caching @ ("l_0","l_0") building cons-nil.run ==== cons-nil ==== [1,2,3,4,5,6,7] [trace] up-decorator0_2_1 @ [1,2,3,..] [trace] depth @ [1,2,3,..] [trace] up-decorator0_2_1 @ [].[2,3,4,..] [trace] depth @ [].[2,3,4,..] [trace] up-decorator0_2_1 @ []..[3,4,5,..] [trace] depth @ []..[3,4,5,..] [trace] up-decorator0_2_1 @ []..[4,5,6,_] [trace] depth @ []..[4,5,6,_] [trace] up-decorator0_2_1 @ []..[5,6,7] [trace] depth @ []..[5,6,7] [trace] up-decorator0_2_1 @ []..[6,7] [trace] depth @ []..[6,7] [trace] up-decorator0_2_1 @ []..[7] [trace] depth @ []..[7] [trace] up-decorator0_2_1 @ []..[] [trace] depth @ []..[] building anonymous-rules.run ==== anonymous-rules ==== [rewr.] Fac.Fac(3) -> Mul(3,Fac) [rewr.] Fac.Mul.Fac(2) -> Mul(2,Fac) [rewr.] Fac.Mul.Mul.Fac(1) -> Mul(1,Fac) [rewr.] Fac.Mul.Mul.Mul.Fac(0) -> 1 [rewr.] Fac.Mul.Mul.Mul(1,1) -> 1 [rewr.] Fac.Mul.Mul(2,1) -> 2 [rewr.] Fac.Mul(3,2) -> 6 [rewr.] Fac(6) -> Mul(6,Fac) [rewr.] Mul.Fac(5) -> Mul(5,Fac) [rewr.] Mul.Mul.Fac(4) -> Mul(4,Fac) [rewr.] Mul.Mul.Mul.Fac(3) -> Mul(3,Fac) [rewr.] Mul.Mul.Mul.Mul.Fac(2) -> Mul(2,Fac) [rewr.] Mul.Mul.Mul.Mul.Mul.Fac(1) -> Mul(1,Fac) [rewr.] Mul.Mul.Mul.Mul.Mul.Mul.Fac(0) -> 1 [rewr.] Mul.Mul.Mul.Mul.Mul.Mul(1,1) -> 1 [rewr.] Mul.Mul.Mul.Mul.Mul(2,1) -> 2 [rewr.] Mul.Mul.Mul.Mul(3,2) -> 6 [rewr.] Mul.Mul.Mul(4,6) -> 24 [rewr.] Mul.Mul(5,24) -> 120 [rewr.] Mul(6,120) -> 720 720 building decorators.run ==== decorators ==== [trace] down-decorator0_2_1 @ [1,2,3,_] [trace] at-root-decorator0_2_1 @ [1,2,3,_] [trace] collect-all-decorator0_2_1 @ [1,2,3,_] [trace] collect-lt_0_1 @ [1,2,3,_] [trace] collect-lt_0_1 @ [].1 [trace] collect-lt_0_1 @ []..2 [trace] collect-lt_0_1 @ []..3 [trace] collect-lt_0_1 @ []..[4,5,1,..] [trace] collect-lt_0_1 @ []..4 [trace] collect-lt_0_1 @ []..5 [trace] collect-lt_0_1 @ []..1 [trace] collect-lt_0_1 @ []..2 [trace] collect-lt_0_1 @ []..6 [trace] _collect-all-decorator0_2_1 @ [1,2,3,_] [trace] _collect-lt_0_1 @ [1,2,3,_] [trace] _collect-all-decorator0_2_1 @ [].1 [trace] _collect-lt_0_1 @ [].1 [trace] _collect-all-decorator0_2_1 @ [].[2,3,[..]] [trace] _collect-lt_0_1 @ [].[2,3,[..]] [trace] _collect-all-decorator0_2_1 @ []..2 [trace] _collect-lt_0_1 @ []..2 [trace] _collect-all-decorator0_2_1 @ []..[3,[..]] [trace] _collect-lt_0_1 @ []..[3,[..]] [trace] _collect-all-decorator0_2_1 @ []..3 [trace] _collect-lt_0_1 @ []..3 [trace] _collect-all-decorator0_2_1 @ []..[[..]] [trace] _collect-lt_0_1 @ []..[[..]] [trace] _collect-all-decorator0_2_1 @ []..[4,5,1,..] [trace] _collect-lt_0_1 @ []..[4,5,1,..] [trace] _collect-all-decorator0_2_1 @ []..4 [trace] _collect-lt_0_1 @ []..4 [trace] _collect-all-decorator0_2_1 @ []..[5,1,2,_] [trace] _collect-lt_0_1 @ []..[5,1,2,_] [trace] _collect-all-decorator0_2_1 @ []..5 [trace] _collect-lt_0_1 @ []..5 [trace] _collect-all-decorator0_2_1 @ []..[1,2,6] [trace] _collect-lt_0_1 @ []..[1,2,6] [trace] _collect-all-decorator0_2_1 @ []..1 [trace] _collect-lt_0_1 @ []..1 [trace] _collect-all-decorator0_2_1 @ []..[2,6] [trace] _collect-lt_0_1 @ []..[2,6] [trace] _collect-all-decorator0_2_1 @ []..2 [trace] _collect-lt_0_1 @ []..2 [trace] _collect-all-decorator0_2_1 @ []..[6] [trace] _collect-lt_0_1 @ []..[6] [trace] _collect-all-decorator0_2_1 @ []..6 [trace] _collect-lt_0_1 @ []..6 [trace] _collect-all-decorator0_2_1 @ []..[] [trace] _collect-lt_0_1 @ []..[] [trace] _collect-all-decorator0_2_1 @ []..[] [trace] _collect-lt_0_1 @ []..[] ([1,2,3,4,1,2],[1,2,3,4,1,2]) building circular-basic.run ==== circular-basic ==== [trace] circular-decorator0_2_2 @ 1 [trace] plain-decorator0_2_1 @ 1 [trace] avg-others @ 1 [trace] circular-decorator0_2_2 @ 5 [trace] plain-decorator0_2_1 @ 5 [trace] avg-others @ 5 [trace] circular-decorator0_2_2 @ 1 [trace] circular-decorator0_2_2 @ 7 [trace] plain-decorator0_2_1 @ 7 [trace] avg-others @ 7 [trace] circular-decorator0_2_2 @ 1 [trace] circular-decorator0_2_2 @ 5 C=3.000000000000000e+00 B=2.000000000000000e+00 [trace] circular-decorator0_2_2 @ 7 [trace] plain-decorator0_2_1 @ 7 [trace] avg-others @ 7 [trace] circular-decorator0_2_2 @ 1 [trace] circular-decorator0_2_2 @ 5 [trace] plain-decorator0_2_1 @ 5 [trace] avg-others @ 5 [trace] circular-decorator0_2_2 @ 1 [trace] circular-decorator0_2_2 @ 7 B=2.000000000000000e+00 C=1.500000000000000e+00 A=1.700000000000000e+00 [trace] plain-decorator0_2_1 @ 1 [trace] circular-decorator0_2_2 @ 5 [trace] plain-decorator0_2_1 @ 5 [trace] avg-others @ 5 [trace] circular-decorator0_2_2 @ 1 [trace] circular-decorator0_2_2 @ 7 [trace] plain-decorator0_2_1 @ 7 [trace] avg-others @ 7 [trace] circular-decorator0_2_2 @ 1 [trace] circular-decorator0_2_2 @ 5 C=1.800000000000000e+00 B=1.700000000000000e+00 [trace] plain-decorator0_2_1 @ 5 [trace] circular-decorator0_2_2 @ 7 [trace] plain-decorator0_2_1 @ 7 [trace] avg-others @ 7 [trace] circular-decorator0_2_2 @ 1 [trace] circular-decorator0_2_2 @ 5 C=1.700000000000000e+00 [trace] plain-decorator0_2_1 @ 7 (1.700000000000000e+00,1.700000000000000e+00,1.700000000000000e+00) building circular-liveness.run ==== circular-liveness ==== [trace] circular-decorator0_2_2 @ Block([..]) [trace] plain-decorator0_2_1 @ Block([..]) [trace] live-before @ Block([..]) [trace] uses @ Block([..]) [trace] circular-decorator0_2_2 @ Block([..]) [trace] plain-decorator0_2_1 @ Block([..]) [trace] live-after @ Block([..]) [trace] succ @ Block([..]) [trace] map-decorator0_2_1 @ ?.[Assign] [trace] circular-decorator0_2_2 @ Block.[].Assign("bogus1","value") [trace] plain-decorator0_2_1 @ Block.[].Assign("bogus1","value") [trace] live-before @ Block.[].Assign("bogus1","value") [trace] uses @ Block.[].Assign("bogus1","value") [trace] circular-decorator0_2_2 @ Block.[].Assign("bogus1","value") [trace] plain-decorator0_2_1 @ Block.[].Assign("bogus1","value") [trace] live-after @ Block.[].Assign("bogus1","value") [trace] succ @ Block.[].Assign("bogus1","value") [trace] down-decorator0_2_1 @ Block.[].Assign("bogus1","value") [trace] succ-enclosing @ Block.[].Assign("bogus1","value") [trace] map-decorator0_2_1 @ ?.[Assign] [trace] circular-decorator0_2_2 @ Block.[]..Assign("bogus2","bogus1") [trace] plain-decorator0_2_1 @ Block.[]..Assign("bogus2","bogus1") [trace] live-before @ Block.[]..Assign("bogus2","bogus1") [trace] uses @ Block.[]..Assign("bogus2","bogus1") [trace] circular-decorator0_2_2 @ Block.[]..Assign("bogus2","bogus1") [trace] plain-decorator0_2_1 @ Block.[]..Assign("bogus2","bogus1") [trace] live-after @ Block.[]..Assign("bogus2","bogus1") [trace] succ @ Block.[]..Assign("bogus2","bogus1") [trace] down-decorator0_2_1 @ Block.[]..Assign("bogus2","bogus1") [trace] succ-enclosing @ Block.[]..Assign("bogus2","bogus1") [trace] map-decorator0_2_1 @ ?.[Assign] [trace] circular-decorator0_2_2 @ Block.[]..Assign("x","value") [trace] plain-decorator0_2_1 @ Block.[]..Assign("x","value") [trace] live-before @ Block.[]..Assign("x","value") [trace] uses @ Block.[]..Assign("x","value") [trace] circular-decorator0_2_2 @ Block.[]..Assign("x","value") [trace] plain-decorator0_2_1 @ Block.[]..Assign("x","value") [trace] live-after @ Block.[]..Assign("x","value") [trace] succ @ Block.[]..Assign("x","value") [trace] down-decorator0_2_1 @ Block.[]..Assign("x","value") [trace] succ-enclosing @ Block.[]..Assign("x","value") [trace] map-decorator0_2_1 @ ?.[While] [trace] circular-decorator0_2_2 @ Block.[]..While("x",Block) [trace] plain-decorator0_2_1 @ Block.[]..While("x",Block) [trace] live-before @ Block.[]..While("x",Block) [trace] uses @ Block.[]..While("x",Block) [trace] circular-decorator0_2_2 @ Block.[]..While("x",Block) [trace] plain-decorator0_2_1 @ Block.[]..While("x",Block) [trace] live-after @ Block.[]..While("x",Block) [trace] succ @ Block.[]..While("x",Block) [trace] down-decorator0_2_1 @ Block.[]..While.Block([..]) [trace] succ-enclosing @ Block.[]..While.Block([..]) [trace] map-decorator0_2_1 @ ?.[Block,While] [trace] circular-decorator0_2_2 @ Block.[]..While.Block([..]) [trace] plain-decorator0_2_1 @ Block.[]..While.Block([..]) [trace] live-before @ Block.[]..While.Block([..]) [trace] uses @ Block.[]..While.Block([..]) [trace] circular-decorator0_2_2 @ Block.[]..While.Block([..]) [trace] plain-decorator0_2_1 @ Block.[]..While.Block([..]) [trace] live-after @ Block.[]..While.Block([..]) [trace] succ @ Block.[]..While.Block([..]) [trace] map-decorator0_2_1 @ ?.[Assign] [trace] circular-decorator0_2_2 @ Block.[]..While.Block.[].Assign("x","bogus3") [trace] plain-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x","bogus3") [trace] live-before @ Block.[]..While.Block.[].Assign("x","bogus3") [trace] uses @ Block.[]..While.Block.[].Assign("x","bogus3") [trace] circular-decorator0_2_2 @ Block.[]..While.Block.[].Assign("x","bogus3") [trace] plain-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x","bogus3") [trace] live-after @ Block.[]..While.Block.[].Assign("x","bogus3") [trace] succ @ Block.[]..While.Block.[].Assign("x","bogus3") [trace] down-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x","bogus3") [trace] succ-enclosing @ Block.[]..While.Block.[].Assign("x","bogus3") [trace] map-decorator0_2_1 @ ?.[Assign] [trace] circular-decorator0_2_2 @ Block.[]..While.Block.[]..Assign("x","value") [trace] plain-decorator0_2_1 @ Block.[]..While.Block.[]..Assign("x","value") [trace] live-before @ Block.[]..While.Block.[]..Assign("x","value") [trace] uses @ Block.[]..While.Block.[]..Assign("x","value") [trace] circular-decorator0_2_2 @ Block.[]..While.Block.[]..Assign("x","value") [trace] plain-decorator0_2_1 @ Block.[]..While.Block.[]..Assign("x","value") [trace] live-after @ Block.[]..While.Block.[]..Assign("x","value") [trace] succ @ Block.[]..While.Block.[]..Assign("x","value") [trace] down-decorator0_2_1 @ Block.[]..While.Block.[]..Assign("x","value") [trace] succ-enclosing @ Block.[]..While.Block.[]..Assign("x","value") [trace] succ-enclosing @ Block.[]..While.Block.[]..Assign("x","value") (failed) [trace] down-decorator0_2_1 @ Block.[]..While.Block.[].[Assign] [trace] succ-enclosing @ Block.[]..While.Block.[].[Assign] [trace] succ-enclosing @ Block.[]..While.Block.[]..Assign("x","value") (failed) [trace] down-decorator0_2_1 @ Block.[]..While.Block.[Assign,Assign] [trace] succ-enclosing @ Block.[]..While.Block.[Assign,Assign] [trace] succ-enclosing @ Block.[]..While.Block.[]..Assign("x","value") (failed) [trace] map-decorator0_2_1 @ ?.[While] [trace] circular-decorator0_2_2 @ Block.[]..While("x",Block) [trace] defines @ Block.[]..While.Block.[]..Assign("x","value") [trace] defines @ Block.[]..While.Block.[].Assign("x","bogus3") [trace] defines @ Block.[]..While.Block([..]) [trace] circular-decorator0_2_2 @ Block.[]..While("x",Block) [trace] defines @ Block.[]..While("x",Block) [trace] defines @ Block.[]..Assign("x","value") [trace] defines @ Block.[]..Assign("bogus2","bogus1") [trace] defines @ Block.[].Assign("bogus1","value") [trace] defines @ Block([..]) [trace] plain-decorator0_2_1 @ Block([..]) [trace] circular-decorator0_2_2 @ Block.[].Assign("bogus1","value") [trace] plain-decorator0_2_1 @ Block.[].Assign("bogus1","value") [trace] live-before @ Block.[].Assign("bogus1","value") [trace] circular-decorator0_2_2 @ Block.[].Assign("bogus1","value") [trace] plain-decorator0_2_1 @ Block.[].Assign("bogus1","value") [trace] live-after @ Block.[].Assign("bogus1","value") [trace] map-decorator0_2_1 @ ?.[Assign] [trace] circular-decorator0_2_2 @ Block.[]..Assign("bogus2","bogus1") [trace] plain-decorator0_2_1 @ Block.[]..Assign("bogus2","bogus1") [trace] live-before @ Block.[]..Assign("bogus2","bogus1") [trace] circular-decorator0_2_2 @ Block.[]..Assign("bogus2","bogus1") [trace] plain-decorator0_2_1 @ Block.[]..Assign("bogus2","bogus1") [trace] live-after @ Block.[]..Assign("bogus2","bogus1") [trace] map-decorator0_2_1 @ ?.[Assign] [trace] circular-decorator0_2_2 @ Block.[]..Assign("x","value") [trace] plain-decorator0_2_1 @ Block.[]..Assign("x","value") [trace] live-before @ Block.[]..Assign("x","value") [trace] circular-decorator0_2_2 @ Block.[]..Assign("x","value") [trace] plain-decorator0_2_1 @ Block.[]..Assign("x","value") [trace] live-after @ Block.[]..Assign("x","value") [trace] map-decorator0_2_1 @ ?.[While] [trace] circular-decorator0_2_2 @ Block.[]..While("x",Block) [trace] plain-decorator0_2_1 @ Block.[]..While("x",Block) [trace] live-before @ Block.[]..While("x",Block) [trace] circular-decorator0_2_2 @ Block.[]..While("x",Block) [trace] plain-decorator0_2_1 @ Block.[]..While("x",Block) [trace] live-after @ Block.[]..While("x",Block) [trace] map-decorator0_2_1 @ ?.[Block,While] [trace] circular-decorator0_2_2 @ Block.[]..While.Block([..]) [trace] plain-decorator0_2_1 @ Block.[]..While.Block([..]) [trace] live-before @ Block.[]..While.Block([..]) [trace] circular-decorator0_2_2 @ Block.[]..While.Block([..]) [trace] plain-decorator0_2_1 @ Block.[]..While.Block([..]) [trace] live-after @ Block.[]..While.Block([..]) [trace] map-decorator0_2_1 @ ?.[Assign] [trace] circular-decorator0_2_2 @ Block.[]..While.Block.[].Assign("x","bogus3") [trace] plain-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x","bogus3") [trace] live-before @ Block.[]..While.Block.[].Assign("x","bogus3") [trace] circular-decorator0_2_2 @ Block.[]..While.Block.[].Assign("x","bogus3") [trace] plain-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x","bogus3") [trace] live-after @ Block.[]..While.Block.[].Assign("x","bogus3") [trace] map-decorator0_2_1 @ ?.[Assign] [trace] circular-decorator0_2_2 @ Block.[]..While.Block.[]..Assign("x","value") [trace] plain-decorator0_2_1 @ Block.[]..While.Block.[]..Assign("x","value") [trace] live-before @ Block.[]..While.Block.[]..Assign("x","value") [trace] circular-decorator0_2_2 @ Block.[]..While.Block.[]..Assign("x","value") [trace] plain-decorator0_2_1 @ Block.[]..While.Block.[]..Assign("x","value") [trace] live-after @ Block.[]..While.Block.[]..Assign("x","value") [trace] map-decorator0_2_1 @ ?.[While] [trace] circular-decorator0_2_2 @ Block.[]..While("x",Block) [trace] circular-decorator0_2_2 @ Block.[]..While("x",Block) [trace] plain-decorator0_2_1 @ Block.[].Assign("bogus1","value") [trace] circular-decorator0_2_2 @ Block.[]..Assign("bogus2","bogus1") [trace] plain-decorator0_2_1 @ Block.[]..Assign("bogus2","bogus1") [trace] live-before @ Block.[]..Assign("bogus2","bogus1") [trace] circular-decorator0_2_2 @ Block.[]..Assign("bogus2","bogus1") [trace] plain-decorator0_2_1 @ Block.[]..Assign("bogus2","bogus1") [trace] live-after @ Block.[]..Assign("bogus2","bogus1") [trace] map-decorator0_2_1 @ ?.[Assign] [trace] circular-decorator0_2_2 @ Block.[]..Assign("x","value") [trace] plain-decorator0_2_1 @ Block.[]..Assign("x","value") [trace] live-before @ Block.[]..Assign("x","value") [trace] circular-decorator0_2_2 @ Block.[]..Assign("x","value") [trace] plain-decorator0_2_1 @ Block.[]..Assign("x","value") [trace] live-after @ Block.[]..Assign("x","value") [trace] map-decorator0_2_1 @ ?.[While] [trace] circular-decorator0_2_2 @ Block.[]..While("x",Block) [trace] plain-decorator0_2_1 @ Block.[]..While("x",Block) [trace] live-before @ Block.[]..While("x",Block) [trace] circular-decorator0_2_2 @ Block.[]..While("x",Block) [trace] plain-decorator0_2_1 @ Block.[]..While("x",Block) [trace] live-after @ Block.[]..While("x",Block) [trace] map-decorator0_2_1 @ ?.[Block,While] [trace] circular-decorator0_2_2 @ Block.[]..While.Block([..]) [trace] plain-decorator0_2_1 @ Block.[]..While.Block([..]) [trace] live-before @ Block.[]..While.Block([..]) [trace] circular-decorator0_2_2 @ Block.[]..While.Block([..]) [trace] plain-decorator0_2_1 @ Block.[]..While.Block([..]) [trace] live-after @ Block.[]..While.Block([..]) [trace] map-decorator0_2_1 @ ?.[Assign] [trace] circular-decorator0_2_2 @ Block.[]..While.Block.[].Assign("x","bogus3") [trace] plain-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x","bogus3") [trace] live-before @ Block.[]..While.Block.[].Assign("x","bogus3") [trace] circular-decorator0_2_2 @ Block.[]..While.Block.[].Assign("x","bogus3") [trace] plain-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x","bogus3") [trace] live-after @ Block.[]..While.Block.[].Assign("x","bogus3") [trace] map-decorator0_2_1 @ ?.[Assign] [trace] circular-decorator0_2_2 @ Block.[]..While.Block.[]..Assign("x","value") [trace] plain-decorator0_2_1 @ Block.[]..While.Block.[]..Assign("x","value") [trace] live-before @ Block.[]..While.Block.[]..Assign("x","value") [trace] circular-decorator0_2_2 @ Block.[]..While.Block.[]..Assign("x","value") [trace] plain-decorator0_2_1 @ Block.[]..While.Block.[]..Assign("x","value") [trace] live-after @ Block.[]..While.Block.[]..Assign("x","value") [trace] map-decorator0_2_1 @ ?.[While] [trace] circular-decorator0_2_2 @ Block.[]..While("x",Block) [trace] circular-decorator0_2_2 @ Block.[]..While("x",Block) [trace] circular-decorator0_2_2 @ Block.[]..Assign("x","value") [trace] circular-decorator0_2_2 @ Block.[]..While("x",Block) [trace] circular-decorator0_2_2 @ Block.[]..While.Block([..]) [trace] circular-decorator0_2_2 @ Block.[]..While.Block.[].Assign("x","bogus3") [trace] circular-decorator0_2_2 @ Block.[]..While.Block.[]..Assign("x","value") [trace] circular-decorator0_2_2 @ Block.[]..Return("x") [trace] plain-decorator0_2_1 @ Block.[]..Return("x") [trace] live-before @ Block.[]..Return("x") [trace] uses @ Block.[]..Return("x") [trace] circular-decorator0_2_2 @ Block.[]..Return("x") [trace] plain-decorator0_2_1 @ Block.[]..Return("x") [trace] live-after @ Block.[]..Return("x") [trace] succ @ Block.[]..Return("x") [trace] map-decorator0_2_1 @ ?.[] [trace] defines @ Block.[]..Return("x") [trace] plain-decorator0_2_1 @ Block.[]..Return("x") live-before: Block([Assign("bogus1","value"){"bogus3","value"},Assign("bogus2","bogus1"){"bogus1","bogus3","value"},Assign("x","value"){"bogus3","value"},While("x",Block([Assign("x","bogus3"){"bogus3","value"},Assign("x","value"){"bogus3","value"}]){"bogus3","value"}){"x","bogus3","value"},Return("x"){"x"}]){"bogus3","value"} live-before matches [trace] circular-decorator0_2_2 @ Block([..]) [trace] plain-decorator0_2_1 @ Block([..]) [trace] live-after @ Block([..]) [trace] map-decorator0_2_1 @ ?.[Assign] [trace] circular-decorator0_2_2 @ Block.[].Assign("bogus1","value") [trace] circular-decorator0_2_2 @ Block.[].Assign("bogus1","value") [trace] plain-decorator0_2_1 @ Block.[].Assign("bogus1","value") [trace] live-after @ Block.[].Assign("bogus1","value") [trace] map-decorator0_2_1 @ ?.[Assign] [trace] circular-decorator0_2_2 @ Block.[]..Assign("bogus2","bogus1") [trace] circular-decorator0_2_2 @ Block.[]..Assign("bogus2","bogus1") [trace] circular-decorator0_2_2 @ Block.[]..Assign("x","value") [trace] circular-decorator0_2_2 @ Block.[]..While("x",Block) [trace] circular-decorator0_2_2 @ Block.[]..While.Block([..]) [trace] circular-decorator0_2_2 @ Block.[]..While.Block.[].Assign("x","bogus3") [trace] circular-decorator0_2_2 @ Block.[]..While.Block.[]..Assign("x","value") [trace] circular-decorator0_2_2 @ Block.[]..Return("x") [trace] plain-decorator0_2_1 @ Block.[]..Return("x") [trace] live-after @ Block.[]..Return("x") [trace] map-decorator0_2_1 @ ?.[] live-after: Block([Assign("bogus1","value"){"bogus1","bogus3","value"},Assign("bogus2","bogus1"){"bogus3","value"},Assign("x","value"){"x","bogus3","value"},While("x",Block([Assign("x","bogus3"){"bogus3","value"},Assign("x","value"){"x","bogus3","value"}]){"bogus3","value"}){"x","bogus3","value"},Return("x")]){"bogus3","value"} live-after matches building circular-liveness-rewrites.run ==== circular-liveness-rewrites ==== [trace] is-dead @ Block.[]..While.Block.[]..Assign("x","value") [trace] defines @ Block.[]..While.Block.[]..Assign("x","value") [trace] circular-decorator0_2_2 @ Block.[]..While.Block.[]..Assign("x","value") [trace] plain-decorator0_2_1 @ Block.[]..While.Block.[]..Assign("x","value") [trace] live-after @ Block.[]..While.Block.[]..Assign("x","value") [trace] succ @ Block.[]..While.Block.[]..Assign("x","value") [trace] down-decorator0_2_1 @ Block.[]..While.Block.[]..Assign("x","value") [trace] succ-enclosing @ Block.[]..While.Block.[]..Assign("x","value") [trace] succ-enclosing @ Block.[]..While.Block.[]..Assign("x","value") (failed) [trace] down-decorator0_2_1 @ Block.[]..While.Block.[].[Assign] [trace] succ-enclosing @ Block.[]..While.Block.[].[Assign] [trace] succ-enclosing @ Block.[]..While.Block.[]..Assign("x","value") (failed) [trace] down-decorator0_2_1 @ Block.[]..While.Block.[Assign,Assign] [trace] succ-enclosing @ Block.[]..While.Block.[Assign,Assign] [trace] succ-enclosing @ Block.[]..While.Block.[]..Assign("x","value") (failed) [trace] down-decorator0_2_1 @ Block.[]..While.Block([..]) [trace] succ-enclosing @ Block.[]..While.Block([..]) [trace] map-decorator0_2_1 @ ?.[While] [trace] circular-decorator0_2_2 @ Block.[]..While("x",Block) [trace] plain-decorator0_2_1 @ Block.[]..While("x",Block) [trace] live-before @ Block.[]..While("x",Block) [trace] uses @ Block.[]..While("x",Block) [trace] circular-decorator0_2_2 @ Block.[]..While("x",Block) [trace] plain-decorator0_2_1 @ Block.[]..While("x",Block) [trace] live-after @ Block.[]..While("x",Block) [trace] succ @ Block.[]..While("x",Block) [trace] map-decorator0_2_1 @ ?.[Block,While] [trace] circular-decorator0_2_2 @ Block.[]..While.Block([..]) [trace] plain-decorator0_2_1 @ Block.[]..While.Block([..]) [trace] live-before @ Block.[]..While.Block([..]) [trace] uses @ Block.[]..While.Block([..]) [trace] circular-decorator0_2_2 @ Block.[]..While.Block([..]) [trace] plain-decorator0_2_1 @ Block.[]..While.Block([..]) [trace] live-after @ Block.[]..While.Block([..]) [trace] succ @ Block.[]..While.Block([..]) [trace] map-decorator0_2_1 @ ?.[Assign] [trace] circular-decorator0_2_2 @ Block.[]..While.Block.[].Assign("x","bogus3") [trace] plain-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x","bogus3") [trace] live-before @ Block.[]..While.Block.[].Assign("x","bogus3") [trace] uses @ Block.[]..While.Block.[].Assign("x","bogus3") [trace] circular-decorator0_2_2 @ Block.[]..While.Block.[].Assign("x","bogus3") [trace] plain-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x","bogus3") [trace] live-after @ Block.[]..While.Block.[].Assign("x","bogus3") [trace] succ @ Block.[]..While.Block.[].Assign("x","bogus3") [trace] down-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x","bogus3") [trace] succ-enclosing @ Block.[]..While.Block.[].Assign("x","bogus3") [trace] map-decorator0_2_1 @ ?.[Assign] [trace] circular-decorator0_2_2 @ Block.[]..While.Block.[]..Assign("x","value") [trace] plain-decorator0_2_1 @ Block.[]..While.Block.[]..Assign("x","value") [trace] live-before @ Block.[]..While.Block.[]..Assign("x","value") [trace] uses @ Block.[]..While.Block.[]..Assign("x","value") [trace] circular-decorator0_2_2 @ Block.[]..While.Block.[]..Assign("x","value") [trace] is-dead @ []."value" [trace] defines @ []."value" [trace] circular-decorator0_2_2 @ []."value" [trace] plain-decorator0_2_1 @ []."value" [trace] live-after @ []."value" [trace] succ @ []."value" [trace] down-decorator0_2_1 @ []."value" [trace] succ-enclosing @ []."value" [trace] succ-enclosing @ []."value" (failed) [trace] down-decorator0_2_1 @ ["value"] [trace] succ-enclosing @ ["value"] [trace] map-decorator0_2_1 @ ?.[] [trace] is-dead @ []."value" [trace] defines @ []."value" [trace] circular-decorator0_2_2 @ []."value" [trace] plain-decorator0_2_1 @ []."value" [trace] live-after @ []."value" [trace] succ @ []."value" [trace] down-decorator0_2_1 @ []."value" [trace] succ-enclosing @ []."value" [trace] succ-enclosing @ []."value" (failed) [trace] down-decorator0_2_1 @ ["value"] [trace] succ-enclosing @ ["value"] [trace] map-decorator0_2_1 @ ?.[] [trace] defines @ Block.[]..While.Block.[].Assign("x","bogus3") [trace] is-dead @ [].."value" [trace] defines @ [].."value" [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-after @ [].."value" [trace] succ @ [].."value" [trace] down-decorator0_2_1 @ [].."value" [trace] succ-enclosing @ [].."value" [trace] succ-enclosing @ [].."value" (failed) [trace] down-decorator0_2_1 @ [].["value"] [trace] succ-enclosing @ [].["value"] [trace] succ-enclosing @ [].."value" (failed) [trace] down-decorator0_2_1 @ ["bogus3","value"] [trace] succ-enclosing @ ["bogus3","value"] [trace] map-decorator0_2_1 @ ?.[] [trace] is-dead @ []."bogus3" [trace] defines @ []."bogus3" [trace] circular-decorator0_2_2 @ []."bogus3" [trace] plain-decorator0_2_1 @ []."bogus3" [trace] live-after @ []."bogus3" [trace] succ @ []."bogus3" [trace] down-decorator0_2_1 @ []."bogus3" [trace] succ-enclosing @ []."bogus3" [trace] map-decorator0_2_1 @ ?.["value"] [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-before @ [].."value" [trace] uses @ [].."value" [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-after @ [].."value" [trace] map-decorator0_2_1 @ ?.[] [trace] is-dead @ [].."value" [trace] defines @ [].."value" [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-after @ [].."value" [trace] succ @ [].."value" [trace] down-decorator0_2_1 @ [].."value" [trace] succ-enclosing @ [].."value" [trace] succ-enclosing @ [].."value" (failed) [trace] down-decorator0_2_1 @ [].["value"] [trace] succ-enclosing @ [].["value"] [trace] succ-enclosing @ [].."value" (failed) [trace] down-decorator0_2_1 @ ["bogus3","value"] [trace] succ-enclosing @ ["bogus3","value"] [trace] map-decorator0_2_1 @ ?.[] [trace] is-dead @ []."bogus3" [trace] defines @ []."bogus3" [trace] circular-decorator0_2_2 @ []."bogus3" [trace] plain-decorator0_2_1 @ []."bogus3" [trace] live-after @ []."bogus3" [trace] succ @ []."bogus3" [trace] down-decorator0_2_1 @ []."bogus3" [trace] succ-enclosing @ []."bogus3" [trace] map-decorator0_2_1 @ ?.["value"] [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-before @ [].."value" [trace] uses @ [].."value" [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-after @ [].."value" [trace] map-decorator0_2_1 @ ?.[] [trace] defines @ Block.[]..While.Block([..]) [trace] circular-decorator0_2_2 @ Block.[]..While("x",Block) [trace] is-dead @ [].."value" [trace] defines @ [].."value" [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-after @ [].."value" [trace] succ @ [].."value" [trace] down-decorator0_2_1 @ [].."value" [trace] succ-enclosing @ [].."value" [trace] succ-enclosing @ [].."value" (failed) [trace] down-decorator0_2_1 @ [].["value"] [trace] succ-enclosing @ [].["value"] [trace] succ-enclosing @ [].."value" (failed) [trace] down-decorator0_2_1 @ ["bogus3","value"] [trace] succ-enclosing @ ["bogus3","value"] [trace] map-decorator0_2_1 @ ?.[] [trace] is-dead @ []."bogus3" [trace] defines @ []."bogus3" [trace] circular-decorator0_2_2 @ []."bogus3" [trace] plain-decorator0_2_1 @ []."bogus3" [trace] live-after @ []."bogus3" [trace] succ @ []."bogus3" [trace] down-decorator0_2_1 @ []."bogus3" [trace] succ-enclosing @ []."bogus3" [trace] map-decorator0_2_1 @ ?.["value"] [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-before @ [].."value" [trace] uses @ [].."value" [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-after @ [].."value" [trace] map-decorator0_2_1 @ ?.[] [trace] defines @ Block.[]..While("x",Block) [trace] is-dead @ [].."value" [trace] defines @ [].."value" [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-after @ [].."value" [trace] succ @ [].."value" [trace] down-decorator0_2_1 @ [].."value" [trace] succ-enclosing @ [].."value" [trace] succ-enclosing @ [].."value" (failed) [trace] down-decorator0_2_1 @ []..["value"] [trace] succ-enclosing @ []..["value"] [trace] succ-enclosing @ [].."value" (failed) [trace] down-decorator0_2_1 @ [].["bogus3","value"] [trace] succ-enclosing @ [].["bogus3","value"] [trace] succ-enclosing @ [].."value" (failed) [trace] down-decorator0_2_1 @ ["x","bogus3","value"] [trace] succ-enclosing @ ["x","bogus3","value"] [trace] map-decorator0_2_1 @ ?.[] [trace] is-dead @ [].."bogus3" [trace] defines @ [].."bogus3" [trace] circular-decorator0_2_2 @ [].."bogus3" [trace] plain-decorator0_2_1 @ [].."bogus3" [trace] live-after @ [].."bogus3" [trace] succ @ [].."bogus3" [trace] down-decorator0_2_1 @ [].."bogus3" [trace] succ-enclosing @ [].."bogus3" [trace] map-decorator0_2_1 @ ?.["value"] [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-before @ [].."value" [trace] uses @ [].."value" [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-after @ [].."value" [trace] map-decorator0_2_1 @ ?.[] [trace] is-dead @ []."x" [trace] defines @ []."x" [trace] circular-decorator0_2_2 @ []."x" [trace] plain-decorator0_2_1 @ []."x" [trace] live-after @ []."x" [trace] succ @ []."x" [trace] down-decorator0_2_1 @ []."x" [trace] succ-enclosing @ []."x" [trace] map-decorator0_2_1 @ ?.["bogus3"] [trace] circular-decorator0_2_2 @ [].."bogus3" [trace] plain-decorator0_2_1 @ [].."bogus3" [trace] live-before @ [].."bogus3" [trace] uses @ [].."bogus3" [trace] circular-decorator0_2_2 @ [].."bogus3" [trace] plain-decorator0_2_1 @ [].."bogus3" [trace] live-after @ [].."bogus3" [trace] map-decorator0_2_1 @ ?.["value"] [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-before @ [].."value" [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-after @ [].."value" [trace] map-decorator0_2_1 @ ?.[] [trace] is-dead @ [].."value" [trace] defines @ [].."value" [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-after @ [].."value" [trace] succ @ [].."value" [trace] down-decorator0_2_1 @ [].."value" [trace] succ-enclosing @ [].."value" [trace] succ-enclosing @ [].."value" (failed) [trace] down-decorator0_2_1 @ []..["value"] [trace] succ-enclosing @ []..["value"] [trace] succ-enclosing @ [].."value" (failed) [trace] down-decorator0_2_1 @ [].["bogus3","value"] [trace] succ-enclosing @ [].["bogus3","value"] [trace] succ-enclosing @ [].."value" (failed) [trace] down-decorator0_2_1 @ ["x","bogus3","value"] [trace] succ-enclosing @ ["x","bogus3","value"] [trace] map-decorator0_2_1 @ ?.[] [trace] is-dead @ [].."bogus3" [trace] defines @ [].."bogus3" [trace] circular-decorator0_2_2 @ [].."bogus3" [trace] plain-decorator0_2_1 @ [].."bogus3" [trace] live-after @ [].."bogus3" [trace] succ @ [].."bogus3" [trace] down-decorator0_2_1 @ [].."bogus3" [trace] succ-enclosing @ [].."bogus3" [trace] map-decorator0_2_1 @ ?.["value"] [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-before @ [].."value" [trace] uses @ [].."value" [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-after @ [].."value" [trace] map-decorator0_2_1 @ ?.[] [trace] is-dead @ []."x" [trace] defines @ []."x" [trace] circular-decorator0_2_2 @ []."x" [trace] plain-decorator0_2_1 @ []."x" [trace] live-after @ []."x" [trace] succ @ []."x" [trace] down-decorator0_2_1 @ []."x" [trace] succ-enclosing @ []."x" [trace] map-decorator0_2_1 @ ?.["bogus3"] [trace] circular-decorator0_2_2 @ [].."bogus3" [trace] plain-decorator0_2_1 @ [].."bogus3" [trace] live-before @ [].."bogus3" [trace] uses @ [].."bogus3" [trace] circular-decorator0_2_2 @ [].."bogus3" [trace] plain-decorator0_2_1 @ [].."bogus3" [trace] live-after @ [].."bogus3" [trace] map-decorator0_2_1 @ ?.["value"] [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-before @ [].."value" [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-after @ [].."value" [trace] map-decorator0_2_1 @ ?.[] [trace] plain-decorator0_2_1 @ Block.[]..While.Block.[]..Assign("x","value") [trace] is-dead @ [].."value" [trace] defines @ [].."value" [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-after @ [].."value" [trace] succ @ [].."value" [trace] down-decorator0_2_1 @ [].."value" [trace] succ-enclosing @ [].."value" [trace] succ-enclosing @ [].."value" (failed) [trace] down-decorator0_2_1 @ []..["value"] [trace] succ-enclosing @ []..["value"] [trace] succ-enclosing @ [].."value" (failed) [trace] down-decorator0_2_1 @ [].["bogus3","value"] [trace] succ-enclosing @ [].["bogus3","value"] [trace] succ-enclosing @ [].."value" (failed) [trace] down-decorator0_2_1 @ ["x","bogus3","value"] [trace] succ-enclosing @ ["x","bogus3","value"] [trace] map-decorator0_2_1 @ ?.[] [trace] is-dead @ [].."bogus3" [trace] defines @ [].."bogus3" [trace] circular-decorator0_2_2 @ [].."bogus3" [trace] plain-decorator0_2_1 @ [].."bogus3" [trace] live-after @ [].."bogus3" [trace] succ @ [].."bogus3" [trace] down-decorator0_2_1 @ [].."bogus3" [trace] succ-enclosing @ [].."bogus3" [trace] map-decorator0_2_1 @ ?.["value"] [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-before @ [].."value" [trace] uses @ [].."value" [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-after @ [].."value" [trace] map-decorator0_2_1 @ ?.[] [trace] is-dead @ []."x" [trace] defines @ []."x" [trace] circular-decorator0_2_2 @ []."x" [trace] plain-decorator0_2_1 @ []."x" [trace] live-after @ []."x" [trace] succ @ []."x" [trace] down-decorator0_2_1 @ []."x" [trace] succ-enclosing @ []."x" [trace] map-decorator0_2_1 @ ?.["bogus3"] [trace] circular-decorator0_2_2 @ [].."bogus3" [trace] plain-decorator0_2_1 @ [].."bogus3" [trace] live-before @ [].."bogus3" [trace] uses @ [].."bogus3" [trace] circular-decorator0_2_2 @ [].."bogus3" [trace] plain-decorator0_2_1 @ [].."bogus3" [trace] live-after @ [].."bogus3" [trace] map-decorator0_2_1 @ ?.["value"] [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-before @ [].."value" [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-after @ [].."value" [trace] map-decorator0_2_1 @ ?.[] [trace] is-dead @ Block.[]..While.Block.[].Assign("x","bogus3") [trace] circular-decorator0_2_2 @ Block.[]..While.Block.[].Assign("x","bogus3") [trace] plain-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x","bogus3") [trace] live-after @ Block.[]..While.Block.[].Assign("x","bogus3") [trace] map-decorator0_2_1 @ ?.[Assign] [trace] circular-decorator0_2_2 @ Block.[]..While.Block.[]..Assign("x","value") [trace] plain-decorator0_2_1 @ Block.[]..While.Block.[]..Assign("x","value") [trace] live-before @ Block.[]..While.Block.[]..Assign("x","value") [trace] circular-decorator0_2_2 @ Block.[]..While.Block.[]..Assign("x","value") [trace] is-dead @ [].."value" [trace] defines @ [].."value" [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-after @ [].."value" [trace] succ @ [].."value" [trace] down-decorator0_2_1 @ [].."value" [trace] succ-enclosing @ [].."value" [trace] succ-enclosing @ [].."value" (failed) [trace] down-decorator0_2_1 @ [].["value"] [trace] succ-enclosing @ [].["value"] [trace] succ-enclosing @ [].."value" (failed) [trace] down-decorator0_2_1 @ ["bogus3","value"] [trace] succ-enclosing @ ["bogus3","value"] [trace] map-decorator0_2_1 @ ?.[] [trace] is-dead @ []."bogus3" [trace] defines @ []."bogus3" [trace] circular-decorator0_2_2 @ []."bogus3" [trace] plain-decorator0_2_1 @ []."bogus3" [trace] live-after @ []."bogus3" [trace] succ @ []."bogus3" [trace] down-decorator0_2_1 @ []."bogus3" [trace] succ-enclosing @ []."bogus3" [trace] map-decorator0_2_1 @ ?.["value"] [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-before @ [].."value" [trace] uses @ [].."value" [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-after @ [].."value" [trace] map-decorator0_2_1 @ ?.[] [trace] plain-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x","bogus3") [trace] is-dead @ [].."value" [trace] defines @ [].."value" [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-after @ [].."value" [trace] succ @ [].."value" [trace] down-decorator0_2_1 @ [].."value" [trace] succ-enclosing @ [].."value" [trace] succ-enclosing @ [].."value" (failed) [trace] down-decorator0_2_1 @ [].["value"] [trace] succ-enclosing @ [].["value"] [trace] succ-enclosing @ [].."value" (failed) [trace] down-decorator0_2_1 @ ["bogus3","value"] [trace] succ-enclosing @ ["bogus3","value"] [trace] map-decorator0_2_1 @ ?.[] [trace] is-dead @ []."bogus3" [trace] defines @ []."bogus3" [trace] circular-decorator0_2_2 @ []."bogus3" [trace] plain-decorator0_2_1 @ []."bogus3" [trace] live-after @ []."bogus3" [trace] succ @ []."bogus3" [trace] down-decorator0_2_1 @ []."bogus3" [trace] succ-enclosing @ []."bogus3" [trace] map-decorator0_2_1 @ ?.["value"] [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-before @ [].."value" [trace] uses @ [].."value" [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-after @ [].."value" [trace] map-decorator0_2_1 @ ?.[] [rewr.] Block.[]..While.Block.[Assign,Assign] -> [Assign] [trace] is-dead @ Block.[]..While.Block.[].Assign("x","value") [trace] defines @ Block.[]..While.Block.[].Assign("x","value") [trace] circular-decorator0_2_2 @ Block.[]..While.Block.[].Assign("x","value") [trace] plain-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x","value") [trace] live-after @ Block.[]..While.Block.[].Assign("x","value") [trace] succ @ Block.[]..While.Block.[].Assign("x","value") [trace] down-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x","value") [trace] succ-enclosing @ Block.[]..While.Block.[].Assign("x","value") [trace] succ-enclosing @ Block.[]..While.Block.[].Assign("x","value") (failed) [trace] down-decorator0_2_1 @ Block.[]..While.Block.[Assign] [trace] succ-enclosing @ Block.[]..While.Block.[Assign] [trace] succ-enclosing @ Block.[]..While.Block.[].Assign("x","value") (failed) [trace] down-decorator0_2_1 @ Block.[]..While.Block([_]) [trace] succ-enclosing @ Block.[]..While.Block([_]) [trace] map-decorator0_2_1 @ ?.[While] [trace] circular-decorator0_2_2 @ Block.[]..While("x",Block) [trace] plain-decorator0_2_1 @ Block.[]..While("x",Block) [trace] live-before @ Block.[]..While("x",Block) [trace] uses @ Block.[]..While("x",Block) [trace] circular-decorator0_2_2 @ Block.[]..While("x",Block) [trace] plain-decorator0_2_1 @ Block.[]..While("x",Block) [trace] live-after @ Block.[]..While("x",Block) [trace] succ @ Block.[]..While("x",Block) [trace] map-decorator0_2_1 @ ?.[Block,While] [trace] circular-decorator0_2_2 @ Block.[]..While.Block([_]) [trace] plain-decorator0_2_1 @ Block.[]..While.Block([_]) [trace] live-before @ Block.[]..While.Block([_]) [trace] uses @ Block.[]..While.Block([_]) [trace] circular-decorator0_2_2 @ Block.[]..While.Block([_]) [trace] plain-decorator0_2_1 @ Block.[]..While.Block([_]) [trace] live-after @ Block.[]..While.Block([_]) [trace] succ @ Block.[]..While.Block([_]) [trace] map-decorator0_2_1 @ ?.[Assign] [trace] circular-decorator0_2_2 @ Block.[]..While.Block.[].Assign("x","value") [trace] plain-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x","value") [trace] live-before @ Block.[]..While.Block.[].Assign("x","value") [trace] uses @ Block.[]..While.Block.[].Assign("x","value") [trace] circular-decorator0_2_2 @ Block.[]..While.Block.[].Assign("x","value") [trace] is-dead @ []."value" [trace] defines @ []."value" [trace] circular-decorator0_2_2 @ []."value" [trace] plain-decorator0_2_1 @ []."value" [trace] live-after @ []."value" [trace] succ @ []."value" [trace] down-decorator0_2_1 @ []."value" [trace] succ-enclosing @ []."value" [trace] succ-enclosing @ []."value" (failed) [trace] down-decorator0_2_1 @ ["value"] [trace] succ-enclosing @ ["value"] [trace] map-decorator0_2_1 @ ?.[] [trace] is-dead @ []."value" [trace] defines @ []."value" [trace] circular-decorator0_2_2 @ []."value" [trace] plain-decorator0_2_1 @ []."value" [trace] live-after @ []."value" [trace] succ @ []."value" [trace] down-decorator0_2_1 @ []."value" [trace] succ-enclosing @ []."value" [trace] succ-enclosing @ []."value" (failed) [trace] down-decorator0_2_1 @ ["value"] [trace] succ-enclosing @ ["value"] [trace] map-decorator0_2_1 @ ?.[] [trace] defines @ Block.[]..While.Block([_]) [trace] circular-decorator0_2_2 @ Block.[]..While("x",Block) [trace] is-dead @ []."value" [trace] defines @ []."value" [trace] circular-decorator0_2_2 @ []."value" [trace] plain-decorator0_2_1 @ []."value" [trace] live-after @ []."value" [trace] succ @ []."value" [trace] down-decorator0_2_1 @ []."value" [trace] succ-enclosing @ []."value" [trace] succ-enclosing @ []."value" (failed) [trace] down-decorator0_2_1 @ ["value"] [trace] succ-enclosing @ ["value"] [trace] map-decorator0_2_1 @ ?.[] [trace] defines @ Block.[]..While("x",Block) [trace] is-dead @ [].."value" [trace] defines @ [].."value" [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-after @ [].."value" [trace] succ @ [].."value" [trace] down-decorator0_2_1 @ [].."value" [trace] succ-enclosing @ [].."value" [trace] succ-enclosing @ [].."value" (failed) [trace] down-decorator0_2_1 @ [].["value"] [trace] succ-enclosing @ [].["value"] [trace] succ-enclosing @ [].."value" (failed) [trace] down-decorator0_2_1 @ ["x","value"] [trace] succ-enclosing @ ["x","value"] [trace] map-decorator0_2_1 @ ?.[] [trace] is-dead @ []."x" [trace] defines @ []."x" [trace] circular-decorator0_2_2 @ []."x" [trace] plain-decorator0_2_1 @ []."x" [trace] live-after @ []."x" [trace] succ @ []."x" [trace] down-decorator0_2_1 @ []."x" [trace] succ-enclosing @ []."x" [trace] map-decorator0_2_1 @ ?.["value"] [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-before @ [].."value" [trace] uses @ [].."value" [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-after @ [].."value" [trace] map-decorator0_2_1 @ ?.[] [trace] is-dead @ [].."value" [trace] defines @ [].."value" [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-after @ [].."value" [trace] succ @ [].."value" [trace] down-decorator0_2_1 @ [].."value" [trace] succ-enclosing @ [].."value" [trace] succ-enclosing @ [].."value" (failed) [trace] down-decorator0_2_1 @ [].["value"] [trace] succ-enclosing @ [].["value"] [trace] succ-enclosing @ [].."value" (failed) [trace] down-decorator0_2_1 @ ["x","value"] [trace] succ-enclosing @ ["x","value"] [trace] map-decorator0_2_1 @ ?.[] [trace] is-dead @ []."x" [trace] defines @ []."x" [trace] circular-decorator0_2_2 @ []."x" [trace] plain-decorator0_2_1 @ []."x" [trace] live-after @ []."x" [trace] succ @ []."x" [trace] down-decorator0_2_1 @ []."x" [trace] succ-enclosing @ []."x" [trace] map-decorator0_2_1 @ ?.["value"] [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-before @ [].."value" [trace] uses @ [].."value" [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-after @ [].."value" [trace] map-decorator0_2_1 @ ?.[] [trace] plain-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x","value") [trace] is-dead @ [].."value" [trace] defines @ [].."value" [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-after @ [].."value" [trace] succ @ [].."value" [trace] down-decorator0_2_1 @ [].."value" [trace] succ-enclosing @ [].."value" [trace] succ-enclosing @ [].."value" (failed) [trace] down-decorator0_2_1 @ [].["value"] [trace] succ-enclosing @ [].["value"] [trace] succ-enclosing @ [].."value" (failed) [trace] down-decorator0_2_1 @ ["x","value"] [trace] succ-enclosing @ ["x","value"] [trace] map-decorator0_2_1 @ ?.[] [trace] is-dead @ []."x" [trace] defines @ []."x" [trace] circular-decorator0_2_2 @ []."x" [trace] plain-decorator0_2_1 @ []."x" [trace] live-after @ []."x" [trace] succ @ []."x" [trace] down-decorator0_2_1 @ []."x" [trace] succ-enclosing @ []."x" [trace] map-decorator0_2_1 @ ?.["value"] [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-before @ [].."value" [trace] uses @ [].."value" [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-after @ [].."value" [trace] map-decorator0_2_1 @ ?.[] [trace] is-dead @ Block.[]..Return("x") [trace] defines @ Block.[]..Return("x") [trace] circular-decorator0_2_2 @ Block.[]..Return("x") [trace] plain-decorator0_2_1 @ Block.[]..Return("x") [trace] live-after @ Block.[]..Return("x") [trace] succ @ Block.[]..Return("x") [trace] map-decorator0_2_1 @ ?.[] [trace] is-dead @ Block.[]..While("x",Block) [trace] circular-decorator0_2_2 @ Block.[]..While("x",Block) [trace] plain-decorator0_2_1 @ Block.[]..While("x",Block) [trace] live-after @ Block.[]..While("x",Block) [trace] map-decorator0_2_1 @ ?.[Block,While] [trace] circular-decorator0_2_2 @ Block.[]..While.Block([_]) [trace] plain-decorator0_2_1 @ Block.[]..While.Block([_]) [trace] live-before @ Block.[]..While.Block([_]) [trace] circular-decorator0_2_2 @ Block.[]..While.Block([_]) [trace] plain-decorator0_2_1 @ Block.[]..While.Block([_]) [trace] live-after @ Block.[]..While.Block([_]) [trace] map-decorator0_2_1 @ ?.[Assign] [trace] circular-decorator0_2_2 @ Block.[]..While.Block.[].Assign("x","value") [trace] plain-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x","value") [trace] live-before @ Block.[]..While.Block.[].Assign("x","value") [trace] circular-decorator0_2_2 @ Block.[]..While.Block.[].Assign("x","value") [trace] is-dead @ []."value" [trace] defines @ []."value" [trace] circular-decorator0_2_2 @ []."value" [trace] plain-decorator0_2_1 @ []."value" [trace] live-after @ []."value" [trace] succ @ []."value" [trace] down-decorator0_2_1 @ []."value" [trace] succ-enclosing @ []."value" [trace] succ-enclosing @ []."value" (failed) [trace] down-decorator0_2_1 @ ["value"] [trace] succ-enclosing @ ["value"] [trace] map-decorator0_2_1 @ ?.[] [trace] circular-decorator0_2_2 @ Block.[]..While("x",Block) [trace] plain-decorator0_2_1 @ Block.[]..While("x",Block) [trace] live-before @ Block.[]..While("x",Block) [trace] circular-decorator0_2_2 @ Block.[]..While("x",Block) [trace] is-dead @ [].."value" [trace] defines @ [].."value" [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-after @ [].."value" [trace] succ @ [].."value" [trace] down-decorator0_2_1 @ [].."value" [trace] succ-enclosing @ [].."value" [trace] succ-enclosing @ [].."value" (failed) [trace] down-decorator0_2_1 @ [].["value"] [trace] succ-enclosing @ [].["value"] [trace] succ-enclosing @ [].."value" (failed) [trace] down-decorator0_2_1 @ ["x","value"] [trace] succ-enclosing @ ["x","value"] [trace] map-decorator0_2_1 @ ?.[] [trace] is-dead @ []."x" [trace] defines @ []."x" [trace] circular-decorator0_2_2 @ []."x" [trace] plain-decorator0_2_1 @ []."x" [trace] live-after @ []."x" [trace] succ @ []."x" [trace] down-decorator0_2_1 @ []."x" [trace] succ-enclosing @ []."x" [trace] map-decorator0_2_1 @ ?.["value"] [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-before @ [].."value" [trace] uses @ [].."value" [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-after @ [].."value" [trace] map-decorator0_2_1 @ ?.[] [trace] is-dead @ [].."value" [trace] defines @ [].."value" [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-after @ [].."value" [trace] succ @ [].."value" [trace] down-decorator0_2_1 @ [].."value" [trace] succ-enclosing @ [].."value" [trace] succ-enclosing @ [].."value" (failed) [trace] down-decorator0_2_1 @ [].["value"] [trace] succ-enclosing @ [].["value"] [trace] succ-enclosing @ [].."value" (failed) [trace] down-decorator0_2_1 @ ["x","value"] [trace] succ-enclosing @ ["x","value"] [trace] map-decorator0_2_1 @ ?.[] [trace] is-dead @ []."x" [trace] defines @ []."x" [trace] circular-decorator0_2_2 @ []."x" [trace] plain-decorator0_2_1 @ []."x" [trace] live-after @ []."x" [trace] succ @ []."x" [trace] down-decorator0_2_1 @ []."x" [trace] succ-enclosing @ []."x" [trace] map-decorator0_2_1 @ ?.["value"] [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-before @ [].."value" [trace] uses @ [].."value" [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-after @ [].."value" [trace] map-decorator0_2_1 @ ?.[] [trace] plain-decorator0_2_1 @ Block.[]..While("x",Block) [trace] is-dead @ [].."value" [trace] defines @ [].."value" [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-after @ [].."value" [trace] succ @ [].."value" [trace] down-decorator0_2_1 @ [].."value" [trace] succ-enclosing @ [].."value" [trace] succ-enclosing @ [].."value" (failed) [trace] down-decorator0_2_1 @ [].["value"] [trace] succ-enclosing @ [].["value"] [trace] succ-enclosing @ [].."value" (failed) [trace] down-decorator0_2_1 @ ["x","value"] [trace] succ-enclosing @ ["x","value"] [trace] map-decorator0_2_1 @ ?.[] [trace] is-dead @ []."x" [trace] defines @ []."x" [trace] circular-decorator0_2_2 @ []."x" [trace] plain-decorator0_2_1 @ []."x" [trace] live-after @ []."x" [trace] succ @ []."x" [trace] down-decorator0_2_1 @ []."x" [trace] succ-enclosing @ []."x" [trace] map-decorator0_2_1 @ ?.["value"] [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-before @ [].."value" [trace] uses @ [].."value" [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-after @ [].."value" [trace] map-decorator0_2_1 @ ?.[] [trace] is-dead @ Block.[]..Assign("x","value") [trace] defines @ Block.[]..Assign("x","value") [trace] circular-decorator0_2_2 @ Block.[]..Assign("x","value") [trace] plain-decorator0_2_1 @ Block.[]..Assign("x","value") [trace] live-after @ Block.[]..Assign("x","value") [trace] succ @ Block.[]..Assign("x","value") [trace] down-decorator0_2_1 @ Block.[]..Assign("x","value") [trace] succ-enclosing @ Block.[]..Assign("x","value") [trace] map-decorator0_2_1 @ ?.[While] [trace] circular-decorator0_2_2 @ Block.[]..While("x",Block) [trace] plain-decorator0_2_1 @ Block.[]..While("x",Block) [trace] live-before @ Block.[]..While("x",Block) [trace] circular-decorator0_2_2 @ Block.[]..While("x",Block) [trace] is-dead @ [].."value" [trace] defines @ [].."value" [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-after @ [].."value" [trace] succ @ [].."value" [trace] down-decorator0_2_1 @ [].."value" [trace] succ-enclosing @ [].."value" [trace] succ-enclosing @ [].."value" (failed) [trace] down-decorator0_2_1 @ [].["value"] [trace] succ-enclosing @ [].["value"] [trace] succ-enclosing @ [].."value" (failed) [trace] down-decorator0_2_1 @ ["x","value"] [trace] succ-enclosing @ ["x","value"] [trace] map-decorator0_2_1 @ ?.[] [trace] is-dead @ []."x" [trace] defines @ []."x" [trace] circular-decorator0_2_2 @ []."x" [trace] plain-decorator0_2_1 @ []."x" [trace] live-after @ []."x" [trace] succ @ []."x" [trace] down-decorator0_2_1 @ []."x" [trace] succ-enclosing @ []."x" [trace] map-decorator0_2_1 @ ?.["value"] [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-before @ [].."value" [trace] uses @ [].."value" [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-after @ [].."value" [trace] map-decorator0_2_1 @ ?.[] [trace] plain-decorator0_2_1 @ Block.[]..Assign("x","value") [trace] is-dead @ [].."value" [trace] defines @ [].."value" [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-after @ [].."value" [trace] succ @ [].."value" [trace] down-decorator0_2_1 @ [].."value" [trace] succ-enclosing @ [].."value" [trace] succ-enclosing @ [].."value" (failed) [trace] down-decorator0_2_1 @ [].["value"] [trace] succ-enclosing @ [].["value"] [trace] succ-enclosing @ [].."value" (failed) [trace] down-decorator0_2_1 @ ["x","value"] [trace] succ-enclosing @ ["x","value"] [trace] map-decorator0_2_1 @ ?.[] [trace] is-dead @ []."x" [trace] defines @ []."x" [trace] circular-decorator0_2_2 @ []."x" [trace] plain-decorator0_2_1 @ []."x" [trace] live-after @ []."x" [trace] succ @ []."x" [trace] down-decorator0_2_1 @ []."x" [trace] succ-enclosing @ []."x" [trace] map-decorator0_2_1 @ ?.["value"] [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-before @ [].."value" [trace] uses @ [].."value" [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-after @ [].."value" [trace] map-decorator0_2_1 @ ?.[] [trace] is-dead @ Block.[]..Assign("bogus2","bogus1") [trace] defines @ Block.[]..Assign("bogus2","bogus1") [trace] circular-decorator0_2_2 @ Block.[]..Assign("bogus2","bogus1") [trace] plain-decorator0_2_1 @ Block.[]..Assign("bogus2","bogus1") [trace] live-after @ Block.[]..Assign("bogus2","bogus1") [trace] succ @ Block.[]..Assign("bogus2","bogus1") [trace] down-decorator0_2_1 @ Block.[]..Assign("bogus2","bogus1") [trace] succ-enclosing @ Block.[]..Assign("bogus2","bogus1") [trace] map-decorator0_2_1 @ ?.[Assign] [trace] circular-decorator0_2_2 @ Block.[]..Assign("x","value") [trace] plain-decorator0_2_1 @ Block.[]..Assign("x","value") [trace] live-before @ Block.[]..Assign("x","value") [trace] uses @ Block.[]..Assign("x","value") [trace] circular-decorator0_2_2 @ Block.[]..Assign("x","value") [trace] is-dead @ []."value" [trace] defines @ []."value" [trace] circular-decorator0_2_2 @ []."value" [trace] plain-decorator0_2_1 @ []."value" [trace] live-after @ []."value" [trace] succ @ []."value" [trace] down-decorator0_2_1 @ []."value" [trace] succ-enclosing @ []."value" [trace] succ-enclosing @ []."value" (failed) [trace] down-decorator0_2_1 @ ["value"] [trace] succ-enclosing @ ["value"] [trace] map-decorator0_2_1 @ ?.[] [trace] plain-decorator0_2_1 @ Block.[]..Assign("bogus2","bogus1") [trace] is-dead @ []."value" [trace] defines @ []."value" [trace] circular-decorator0_2_2 @ []."value" [trace] plain-decorator0_2_1 @ []."value" [trace] live-after @ []."value" [trace] succ @ []."value" [trace] down-decorator0_2_1 @ []."value" [trace] succ-enclosing @ []."value" [trace] succ-enclosing @ []."value" (failed) [trace] down-decorator0_2_1 @ ["value"] [trace] succ-enclosing @ ["value"] [trace] map-decorator0_2_1 @ ?.[] [rewr.] Block.[].[Assign,Assign,While,_] -> [Assign,While,Return] [trace] is-dead @ Block.[]..Assign("x","value") [trace] defines @ Block.[]..Assign("x","value") [trace] circular-decorator0_2_2 @ Block.[]..Assign("x","value") [trace] plain-decorator0_2_1 @ Block.[]..Assign("x","value") [trace] live-after @ Block.[]..Assign("x","value") [trace] succ @ Block.[]..Assign("x","value") [trace] down-decorator0_2_1 @ Block.[]..Assign("x","value") [trace] succ-enclosing @ Block.[]..Assign("x","value") [trace] map-decorator0_2_1 @ ?.[While] [trace] circular-decorator0_2_2 @ Block.[]..While("x",Block) [trace] plain-decorator0_2_1 @ Block.[]..While("x",Block) [trace] live-before @ Block.[]..While("x",Block) [trace] uses @ Block.[]..While("x",Block) [trace] circular-decorator0_2_2 @ Block.[]..While("x",Block) [trace] plain-decorator0_2_1 @ Block.[]..While("x",Block) [trace] live-after @ Block.[]..While("x",Block) [trace] succ @ Block.[]..While("x",Block) [trace] down-decorator0_2_1 @ Block.[]..While.Block([_]) [trace] succ-enclosing @ Block.[]..While.Block([_]) [trace] map-decorator0_2_1 @ ?.[Block,While] [trace] circular-decorator0_2_2 @ Block.[]..While.Block([_]) [trace] plain-decorator0_2_1 @ Block.[]..While.Block([_]) [trace] live-before @ Block.[]..While.Block([_]) [trace] uses @ Block.[]..While.Block([_]) [trace] circular-decorator0_2_2 @ Block.[]..While.Block([_]) [trace] plain-decorator0_2_1 @ Block.[]..While.Block([_]) [trace] live-after @ Block.[]..While.Block([_]) [trace] succ @ Block.[]..While.Block([_]) [trace] map-decorator0_2_1 @ ?.[Assign] [trace] circular-decorator0_2_2 @ Block.[]..While.Block.[].Assign("x","value") [trace] plain-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x","value") [trace] live-before @ Block.[]..While.Block.[].Assign("x","value") [trace] uses @ Block.[]..While.Block.[].Assign("x","value") [trace] circular-decorator0_2_2 @ Block.[]..While.Block.[].Assign("x","value") [trace] plain-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x","value") [trace] live-after @ Block.[]..While.Block.[].Assign("x","value") [trace] succ @ Block.[]..While.Block.[].Assign("x","value") [trace] down-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x","value") [trace] succ-enclosing @ Block.[]..While.Block.[].Assign("x","value") [trace] succ-enclosing @ Block.[]..While.Block.[].Assign("x","value") (failed) [trace] down-decorator0_2_1 @ Block.[]..While.Block.[Assign] [trace] succ-enclosing @ Block.[]..While.Block.[Assign] [trace] succ-enclosing @ Block.[]..While.Block.[].Assign("x","value") (failed) [trace] map-decorator0_2_1 @ ?.[While] [trace] circular-decorator0_2_2 @ Block.[]..While("x",Block) [trace] defines @ Block.[]..While.Block.[].Assign("x","value") [trace] is-dead @ []."value" [trace] defines @ []."value" [trace] circular-decorator0_2_2 @ []."value" [trace] plain-decorator0_2_1 @ []."value" [trace] live-after @ []."value" [trace] succ @ []."value" [trace] down-decorator0_2_1 @ []."value" [trace] succ-enclosing @ []."value" [trace] succ-enclosing @ []."value" (failed) [trace] down-decorator0_2_1 @ ["value"] [trace] succ-enclosing @ ["value"] [trace] map-decorator0_2_1 @ ?.[] [trace] is-dead @ []."value" [trace] defines @ []."value" [trace] circular-decorator0_2_2 @ []."value" [trace] plain-decorator0_2_1 @ []."value" [trace] live-after @ []."value" [trace] succ @ []."value" [trace] down-decorator0_2_1 @ []."value" [trace] succ-enclosing @ []."value" [trace] succ-enclosing @ []."value" (failed) [trace] down-decorator0_2_1 @ ["value"] [trace] succ-enclosing @ ["value"] [trace] map-decorator0_2_1 @ ?.[] [trace] defines @ Block.[]..While.Block([_]) [trace] circular-decorator0_2_2 @ Block.[]..While("x",Block) [trace] is-dead @ []."value" [trace] defines @ []."value" [trace] circular-decorator0_2_2 @ []."value" [trace] plain-decorator0_2_1 @ []."value" [trace] live-after @ []."value" [trace] succ @ []."value" [trace] down-decorator0_2_1 @ []."value" [trace] succ-enclosing @ []."value" [trace] succ-enclosing @ []."value" (failed) [trace] down-decorator0_2_1 @ ["value"] [trace] succ-enclosing @ ["value"] [trace] map-decorator0_2_1 @ ?.[] [trace] defines @ Block.[]..While("x",Block) [trace] is-dead @ [].."value" [trace] defines @ [].."value" [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-after @ [].."value" [trace] succ @ [].."value" [trace] down-decorator0_2_1 @ [].."value" [trace] succ-enclosing @ [].."value" [trace] succ-enclosing @ [].."value" (failed) [trace] down-decorator0_2_1 @ [].["value"] [trace] succ-enclosing @ [].["value"] [trace] succ-enclosing @ [].."value" (failed) [trace] down-decorator0_2_1 @ ["x","value"] [trace] succ-enclosing @ ["x","value"] [trace] map-decorator0_2_1 @ ?.[] [trace] is-dead @ []."x" [trace] defines @ []."x" [trace] circular-decorator0_2_2 @ []."x" [trace] plain-decorator0_2_1 @ []."x" [trace] live-after @ []."x" [trace] succ @ []."x" [trace] down-decorator0_2_1 @ []."x" [trace] succ-enclosing @ []."x" [trace] map-decorator0_2_1 @ ?.["value"] [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-before @ [].."value" [trace] uses @ [].."value" [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-after @ [].."value" [trace] map-decorator0_2_1 @ ?.[] [trace] is-dead @ [].."value" [trace] defines @ [].."value" [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-after @ [].."value" [trace] succ @ [].."value" [trace] down-decorator0_2_1 @ [].."value" [trace] succ-enclosing @ [].."value" [trace] succ-enclosing @ [].."value" (failed) [trace] down-decorator0_2_1 @ [].["value"] [trace] succ-enclosing @ [].["value"] [trace] succ-enclosing @ [].."value" (failed) [trace] down-decorator0_2_1 @ ["x","value"] [trace] succ-enclosing @ ["x","value"] [trace] map-decorator0_2_1 @ ?.[] [trace] is-dead @ []."x" [trace] defines @ []."x" [trace] circular-decorator0_2_2 @ []."x" [trace] plain-decorator0_2_1 @ []."x" [trace] live-after @ []."x" [trace] succ @ []."x" [trace] down-decorator0_2_1 @ []."x" [trace] succ-enclosing @ []."x" [trace] map-decorator0_2_1 @ ?.["value"] [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-before @ [].."value" [trace] uses @ [].."value" [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-after @ [].."value" [trace] map-decorator0_2_1 @ ?.[] [trace] plain-decorator0_2_1 @ Block.[]..Assign("x","value") [trace] is-dead @ [].."value" [trace] defines @ [].."value" [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-after @ [].."value" [trace] succ @ [].."value" [trace] down-decorator0_2_1 @ [].."value" [trace] succ-enclosing @ [].."value" [trace] succ-enclosing @ [].."value" (failed) [trace] down-decorator0_2_1 @ [].["value"] [trace] succ-enclosing @ [].["value"] [trace] succ-enclosing @ [].."value" (failed) [trace] down-decorator0_2_1 @ ["x","value"] [trace] succ-enclosing @ ["x","value"] [trace] map-decorator0_2_1 @ ?.[] [trace] is-dead @ []."x" [trace] defines @ []."x" [trace] circular-decorator0_2_2 @ []."x" [trace] plain-decorator0_2_1 @ []."x" [trace] live-after @ []."x" [trace] succ @ []."x" [trace] down-decorator0_2_1 @ []."x" [trace] succ-enclosing @ []."x" [trace] map-decorator0_2_1 @ ?.["value"] [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-before @ [].."value" [trace] uses @ [].."value" [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-after @ [].."value" [trace] map-decorator0_2_1 @ ?.[] [trace] is-dead @ Block.[].Assign("bogus1","value") [trace] defines @ Block.[].Assign("bogus1","value") [trace] circular-decorator0_2_2 @ Block.[].Assign("bogus1","value") [trace] plain-decorator0_2_1 @ Block.[].Assign("bogus1","value") [trace] live-after @ Block.[].Assign("bogus1","value") [trace] succ @ Block.[].Assign("bogus1","value") [trace] down-decorator0_2_1 @ Block.[].Assign("bogus1","value") [trace] succ-enclosing @ Block.[].Assign("bogus1","value") [trace] map-decorator0_2_1 @ ?.[Assign] [trace] circular-decorator0_2_2 @ Block.[]..Assign("bogus2","bogus1") [trace] plain-decorator0_2_1 @ Block.[]..Assign("bogus2","bogus1") [trace] live-before @ Block.[]..Assign("bogus2","bogus1") [trace] uses @ Block.[]..Assign("bogus2","bogus1") [trace] circular-decorator0_2_2 @ Block.[]..Assign("bogus2","bogus1") [trace] is-dead @ [].."value" [trace] defines @ [].."value" [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-after @ [].."value" [trace] succ @ [].."value" [trace] down-decorator0_2_1 @ [].."value" [trace] succ-enclosing @ [].."value" [trace] succ-enclosing @ [].."value" (failed) [trace] down-decorator0_2_1 @ [].["value"] [trace] succ-enclosing @ [].["value"] [trace] succ-enclosing @ [].."value" (failed) [trace] down-decorator0_2_1 @ ["bogus1","value"] [trace] succ-enclosing @ ["bogus1","value"] [trace] map-decorator0_2_1 @ ?.[] [trace] is-dead @ []."bogus1" [trace] defines @ []."bogus1" [trace] circular-decorator0_2_2 @ []."bogus1" [trace] plain-decorator0_2_1 @ []."bogus1" [trace] live-after @ []."bogus1" [trace] succ @ []."bogus1" [trace] down-decorator0_2_1 @ []."bogus1" [trace] succ-enclosing @ []."bogus1" [trace] map-decorator0_2_1 @ ?.["value"] [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-before @ [].."value" [trace] uses @ [].."value" [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-after @ [].."value" [trace] map-decorator0_2_1 @ ?.[] [trace] is-dead @ [].."value" [trace] defines @ [].."value" [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-after @ [].."value" [trace] succ @ [].."value" [trace] down-decorator0_2_1 @ [].."value" [trace] succ-enclosing @ [].."value" [trace] succ-enclosing @ [].."value" (failed) [trace] down-decorator0_2_1 @ [].["value"] [trace] succ-enclosing @ [].["value"] [trace] succ-enclosing @ [].."value" (failed) [trace] down-decorator0_2_1 @ ["bogus1","value"] [trace] succ-enclosing @ ["bogus1","value"] [trace] map-decorator0_2_1 @ ?.[] [trace] is-dead @ []."bogus1" [trace] defines @ []."bogus1" [trace] circular-decorator0_2_2 @ []."bogus1" [trace] plain-decorator0_2_1 @ []."bogus1" [trace] live-after @ []."bogus1" [trace] succ @ []."bogus1" [trace] down-decorator0_2_1 @ []."bogus1" [trace] succ-enclosing @ []."bogus1" [trace] map-decorator0_2_1 @ ?.["value"] [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-before @ [].."value" [trace] uses @ [].."value" [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-after @ [].."value" [trace] map-decorator0_2_1 @ ?.[] [trace] plain-decorator0_2_1 @ Block.[].Assign("bogus1","value") [trace] is-dead @ [].."value" [trace] defines @ [].."value" [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-after @ [].."value" [trace] succ @ [].."value" [trace] down-decorator0_2_1 @ [].."value" [trace] succ-enclosing @ [].."value" [trace] succ-enclosing @ [].."value" (failed) [trace] down-decorator0_2_1 @ [].["value"] [trace] succ-enclosing @ [].["value"] [trace] succ-enclosing @ [].."value" (failed) [trace] down-decorator0_2_1 @ ["bogus1","value"] [trace] succ-enclosing @ ["bogus1","value"] [trace] map-decorator0_2_1 @ ?.[] [trace] is-dead @ []."bogus1" [trace] defines @ []."bogus1" [trace] circular-decorator0_2_2 @ []."bogus1" [trace] plain-decorator0_2_1 @ []."bogus1" [trace] live-after @ []."bogus1" [trace] succ @ []."bogus1" [trace] down-decorator0_2_1 @ []."bogus1" [trace] succ-enclosing @ []."bogus1" [trace] map-decorator0_2_1 @ ?.["value"] [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-before @ [].."value" [trace] uses @ [].."value" [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-after @ [].."value" [trace] map-decorator0_2_1 @ ?.[] [trace] is-dead @ Block.[]..While.Block.[].Assign("x","value") [trace] defines @ Block.[]..While.Block.[].Assign("x","value") [trace] circular-decorator0_2_2 @ Block.[]..While.Block.[].Assign("x","value") [trace] plain-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x","value") [trace] live-after @ Block.[]..While.Block.[].Assign("x","value") [trace] succ @ Block.[]..While.Block.[].Assign("x","value") [trace] down-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x","value") [trace] succ-enclosing @ Block.[]..While.Block.[].Assign("x","value") [trace] succ-enclosing @ Block.[]..While.Block.[].Assign("x","value") (failed) [trace] down-decorator0_2_1 @ Block.[]..While.Block.[Assign] [trace] succ-enclosing @ Block.[]..While.Block.[Assign] [trace] succ-enclosing @ Block.[]..While.Block.[].Assign("x","value") (failed) [trace] down-decorator0_2_1 @ Block.[]..While.Block([_]) [trace] succ-enclosing @ Block.[]..While.Block([_]) [trace] map-decorator0_2_1 @ ?.[While] [trace] circular-decorator0_2_2 @ Block.[]..While("x",Block) [trace] plain-decorator0_2_1 @ Block.[]..While("x",Block) [trace] live-before @ Block.[]..While("x",Block) [trace] uses @ Block.[]..While("x",Block) [trace] circular-decorator0_2_2 @ Block.[]..While("x",Block) [trace] plain-decorator0_2_1 @ Block.[]..While("x",Block) [trace] live-after @ Block.[]..While("x",Block) [trace] succ @ Block.[]..While("x",Block) [trace] map-decorator0_2_1 @ ?.[Block,While] [trace] circular-decorator0_2_2 @ Block.[]..While.Block([_]) [trace] plain-decorator0_2_1 @ Block.[]..While.Block([_]) [trace] live-before @ Block.[]..While.Block([_]) [trace] uses @ Block.[]..While.Block([_]) [trace] circular-decorator0_2_2 @ Block.[]..While.Block([_]) [trace] plain-decorator0_2_1 @ Block.[]..While.Block([_]) [trace] live-after @ Block.[]..While.Block([_]) [trace] succ @ Block.[]..While.Block([_]) [trace] map-decorator0_2_1 @ ?.[Assign] [trace] circular-decorator0_2_2 @ Block.[]..While.Block.[].Assign("x","value") [trace] plain-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x","value") [trace] live-before @ Block.[]..While.Block.[].Assign("x","value") [trace] uses @ Block.[]..While.Block.[].Assign("x","value") [trace] circular-decorator0_2_2 @ Block.[]..While.Block.[].Assign("x","value") [trace] is-dead @ []."value" [trace] defines @ []."value" [trace] circular-decorator0_2_2 @ []."value" [trace] plain-decorator0_2_1 @ []."value" [trace] live-after @ []."value" [trace] succ @ []."value" [trace] down-decorator0_2_1 @ []."value" [trace] succ-enclosing @ []."value" [trace] succ-enclosing @ []."value" (failed) [trace] down-decorator0_2_1 @ ["value"] [trace] succ-enclosing @ ["value"] [trace] map-decorator0_2_1 @ ?.[] [trace] is-dead @ []."value" [trace] defines @ []."value" [trace] circular-decorator0_2_2 @ []."value" [trace] plain-decorator0_2_1 @ []."value" [trace] live-after @ []."value" [trace] succ @ []."value" [trace] down-decorator0_2_1 @ []."value" [trace] succ-enclosing @ []."value" [trace] succ-enclosing @ []."value" (failed) [trace] down-decorator0_2_1 @ ["value"] [trace] succ-enclosing @ ["value"] [trace] map-decorator0_2_1 @ ?.[] [trace] defines @ Block.[]..While.Block([_]) [trace] circular-decorator0_2_2 @ Block.[]..While("x",Block) [trace] is-dead @ []."value" [trace] defines @ []."value" [trace] circular-decorator0_2_2 @ []."value" [trace] plain-decorator0_2_1 @ []."value" [trace] live-after @ []."value" [trace] succ @ []."value" [trace] down-decorator0_2_1 @ []."value" [trace] succ-enclosing @ []."value" [trace] succ-enclosing @ []."value" (failed) [trace] down-decorator0_2_1 @ ["value"] [trace] succ-enclosing @ ["value"] [trace] map-decorator0_2_1 @ ?.[] [trace] defines @ Block.[]..While("x",Block) [trace] is-dead @ [].."value" [trace] defines @ [].."value" [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-after @ [].."value" [trace] succ @ [].."value" [trace] down-decorator0_2_1 @ [].."value" [trace] succ-enclosing @ [].."value" [trace] succ-enclosing @ [].."value" (failed) [trace] down-decorator0_2_1 @ [].["value"] [trace] succ-enclosing @ [].["value"] [trace] succ-enclosing @ [].."value" (failed) [trace] down-decorator0_2_1 @ ["x","value"] [trace] succ-enclosing @ ["x","value"] [trace] map-decorator0_2_1 @ ?.[] [trace] is-dead @ []."x" [trace] defines @ []."x" [trace] circular-decorator0_2_2 @ []."x" [trace] plain-decorator0_2_1 @ []."x" [trace] live-after @ []."x" [trace] succ @ []."x" [trace] down-decorator0_2_1 @ []."x" [trace] succ-enclosing @ []."x" [trace] map-decorator0_2_1 @ ?.["value"] [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-before @ [].."value" [trace] uses @ [].."value" [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-after @ [].."value" [trace] map-decorator0_2_1 @ ?.[] [trace] is-dead @ [].."value" [trace] defines @ [].."value" [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-after @ [].."value" [trace] succ @ [].."value" [trace] down-decorator0_2_1 @ [].."value" [trace] succ-enclosing @ [].."value" [trace] succ-enclosing @ [].."value" (failed) [trace] down-decorator0_2_1 @ [].["value"] [trace] succ-enclosing @ [].["value"] [trace] succ-enclosing @ [].."value" (failed) [trace] down-decorator0_2_1 @ ["x","value"] [trace] succ-enclosing @ ["x","value"] [trace] map-decorator0_2_1 @ ?.[] [trace] is-dead @ []."x" [trace] defines @ []."x" [trace] circular-decorator0_2_2 @ []."x" [trace] plain-decorator0_2_1 @ []."x" [trace] live-after @ []."x" [trace] succ @ []."x" [trace] down-decorator0_2_1 @ []."x" [trace] succ-enclosing @ []."x" [trace] map-decorator0_2_1 @ ?.["value"] [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-before @ [].."value" [trace] uses @ [].."value" [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-after @ [].."value" [trace] map-decorator0_2_1 @ ?.[] [trace] plain-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x","value") [trace] is-dead @ [].."value" [trace] defines @ [].."value" [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-after @ [].."value" [trace] succ @ [].."value" [trace] down-decorator0_2_1 @ [].."value" [trace] succ-enclosing @ [].."value" [trace] succ-enclosing @ [].."value" (failed) [trace] down-decorator0_2_1 @ [].["value"] [trace] succ-enclosing @ [].["value"] [trace] succ-enclosing @ [].."value" (failed) [trace] down-decorator0_2_1 @ ["x","value"] [trace] succ-enclosing @ ["x","value"] [trace] map-decorator0_2_1 @ ?.[] [trace] is-dead @ []."x" [trace] defines @ []."x" [trace] circular-decorator0_2_2 @ []."x" [trace] plain-decorator0_2_1 @ []."x" [trace] live-after @ []."x" [trace] succ @ []."x" [trace] down-decorator0_2_1 @ []."x" [trace] succ-enclosing @ []."x" [trace] map-decorator0_2_1 @ ?.["value"] [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-before @ [].."value" [trace] uses @ [].."value" [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-after @ [].."value" [trace] map-decorator0_2_1 @ ?.[] [trace] is-dead @ Block.[]..Return("x") [trace] defines @ Block.[]..Return("x") [trace] circular-decorator0_2_2 @ Block.[]..Return("x") [trace] plain-decorator0_2_1 @ Block.[]..Return("x") [trace] live-after @ Block.[]..Return("x") [trace] succ @ Block.[]..Return("x") [trace] map-decorator0_2_1 @ ?.[] [trace] is-dead @ Block.[]..While("x",Block) [trace] circular-decorator0_2_2 @ Block.[]..While("x",Block) [trace] plain-decorator0_2_1 @ Block.[]..While("x",Block) [trace] live-after @ Block.[]..While("x",Block) [trace] map-decorator0_2_1 @ ?.[Block,While] [trace] circular-decorator0_2_2 @ Block.[]..While.Block([_]) [trace] plain-decorator0_2_1 @ Block.[]..While.Block([_]) [trace] live-before @ Block.[]..While.Block([_]) [trace] circular-decorator0_2_2 @ Block.[]..While.Block([_]) [trace] plain-decorator0_2_1 @ Block.[]..While.Block([_]) [trace] live-after @ Block.[]..While.Block([_]) [trace] map-decorator0_2_1 @ ?.[Assign] [trace] circular-decorator0_2_2 @ Block.[]..While.Block.[].Assign("x","value") [trace] plain-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x","value") [trace] live-before @ Block.[]..While.Block.[].Assign("x","value") [trace] circular-decorator0_2_2 @ Block.[]..While.Block.[].Assign("x","value") [trace] is-dead @ []."value" [trace] defines @ []."value" [trace] circular-decorator0_2_2 @ []."value" [trace] plain-decorator0_2_1 @ []."value" [trace] live-after @ []."value" [trace] succ @ []."value" [trace] down-decorator0_2_1 @ []."value" [trace] succ-enclosing @ []."value" [trace] succ-enclosing @ []."value" (failed) [trace] down-decorator0_2_1 @ ["value"] [trace] succ-enclosing @ ["value"] [trace] map-decorator0_2_1 @ ?.[] [trace] circular-decorator0_2_2 @ Block.[]..While("x",Block) [trace] plain-decorator0_2_1 @ Block.[]..While("x",Block) [trace] live-before @ Block.[]..While("x",Block) [trace] circular-decorator0_2_2 @ Block.[]..While("x",Block) [trace] is-dead @ [].."value" [trace] defines @ [].."value" [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-after @ [].."value" [trace] succ @ [].."value" [trace] down-decorator0_2_1 @ [].."value" [trace] succ-enclosing @ [].."value" [trace] succ-enclosing @ [].."value" (failed) [trace] down-decorator0_2_1 @ [].["value"] [trace] succ-enclosing @ [].["value"] [trace] succ-enclosing @ [].."value" (failed) [trace] down-decorator0_2_1 @ ["x","value"] [trace] succ-enclosing @ ["x","value"] [trace] map-decorator0_2_1 @ ?.[] [trace] is-dead @ []."x" [trace] defines @ []."x" [trace] circular-decorator0_2_2 @ []."x" [trace] plain-decorator0_2_1 @ []."x" [trace] live-after @ []."x" [trace] succ @ []."x" [trace] down-decorator0_2_1 @ []."x" [trace] succ-enclosing @ []."x" [trace] map-decorator0_2_1 @ ?.["value"] [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-before @ [].."value" [trace] uses @ [].."value" [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-after @ [].."value" [trace] map-decorator0_2_1 @ ?.[] [trace] is-dead @ [].."value" [trace] defines @ [].."value" [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-after @ [].."value" [trace] succ @ [].."value" [trace] down-decorator0_2_1 @ [].."value" [trace] succ-enclosing @ [].."value" [trace] succ-enclosing @ [].."value" (failed) [trace] down-decorator0_2_1 @ [].["value"] [trace] succ-enclosing @ [].["value"] [trace] succ-enclosing @ [].."value" (failed) [trace] down-decorator0_2_1 @ ["x","value"] [trace] succ-enclosing @ ["x","value"] [trace] map-decorator0_2_1 @ ?.[] [trace] is-dead @ []."x" [trace] defines @ []."x" [trace] circular-decorator0_2_2 @ []."x" [trace] plain-decorator0_2_1 @ []."x" [trace] live-after @ []."x" [trace] succ @ []."x" [trace] down-decorator0_2_1 @ []."x" [trace] succ-enclosing @ []."x" [trace] map-decorator0_2_1 @ ?.["value"] [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-before @ [].."value" [trace] uses @ [].."value" [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-after @ [].."value" [trace] map-decorator0_2_1 @ ?.[] [trace] plain-decorator0_2_1 @ Block.[]..While("x",Block) [trace] is-dead @ [].."value" [trace] defines @ [].."value" [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-after @ [].."value" [trace] succ @ [].."value" [trace] down-decorator0_2_1 @ [].."value" [trace] succ-enclosing @ [].."value" [trace] succ-enclosing @ [].."value" (failed) [trace] down-decorator0_2_1 @ [].["value"] [trace] succ-enclosing @ [].["value"] [trace] succ-enclosing @ [].."value" (failed) [trace] down-decorator0_2_1 @ ["x","value"] [trace] succ-enclosing @ ["x","value"] [trace] map-decorator0_2_1 @ ?.[] [trace] is-dead @ []."x" [trace] defines @ []."x" [trace] circular-decorator0_2_2 @ []."x" [trace] plain-decorator0_2_1 @ []."x" [trace] live-after @ []."x" [trace] succ @ []."x" [trace] down-decorator0_2_1 @ []."x" [trace] succ-enclosing @ []."x" [trace] map-decorator0_2_1 @ ?.["value"] [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-before @ [].."value" [trace] uses @ [].."value" [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-after @ [].."value" [trace] map-decorator0_2_1 @ ?.[] [trace] is-dead @ Block.[]..Assign("x","value") [trace] defines @ Block.[]..Assign("x","value") [trace] circular-decorator0_2_2 @ Block.[]..Assign("x","value") [trace] plain-decorator0_2_1 @ Block.[]..Assign("x","value") [trace] live-after @ Block.[]..Assign("x","value") [trace] succ @ Block.[]..Assign("x","value") [trace] down-decorator0_2_1 @ Block.[]..Assign("x","value") [trace] succ-enclosing @ Block.[]..Assign("x","value") [trace] map-decorator0_2_1 @ ?.[While] [trace] circular-decorator0_2_2 @ Block.[]..While("x",Block) [trace] plain-decorator0_2_1 @ Block.[]..While("x",Block) [trace] live-before @ Block.[]..While("x",Block) [trace] circular-decorator0_2_2 @ Block.[]..While("x",Block) [trace] is-dead @ [].."value" [trace] defines @ [].."value" [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-after @ [].."value" [trace] succ @ [].."value" [trace] down-decorator0_2_1 @ [].."value" [trace] succ-enclosing @ [].."value" [trace] succ-enclosing @ [].."value" (failed) [trace] down-decorator0_2_1 @ [].["value"] [trace] succ-enclosing @ [].["value"] [trace] succ-enclosing @ [].."value" (failed) [trace] down-decorator0_2_1 @ ["x","value"] [trace] succ-enclosing @ ["x","value"] [trace] map-decorator0_2_1 @ ?.[] [trace] is-dead @ []."x" [trace] defines @ []."x" [trace] circular-decorator0_2_2 @ []."x" [trace] plain-decorator0_2_1 @ []."x" [trace] live-after @ []."x" [trace] succ @ []."x" [trace] down-decorator0_2_1 @ []."x" [trace] succ-enclosing @ []."x" [trace] map-decorator0_2_1 @ ?.["value"] [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-before @ [].."value" [trace] uses @ [].."value" [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-after @ [].."value" [trace] map-decorator0_2_1 @ ?.[] [trace] plain-decorator0_2_1 @ Block.[]..Assign("x","value") [trace] is-dead @ [].."value" [trace] defines @ [].."value" [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-after @ [].."value" [trace] succ @ [].."value" [trace] down-decorator0_2_1 @ [].."value" [trace] succ-enclosing @ [].."value" [trace] succ-enclosing @ [].."value" (failed) [trace] down-decorator0_2_1 @ [].["value"] [trace] succ-enclosing @ [].["value"] [trace] succ-enclosing @ [].."value" (failed) [trace] down-decorator0_2_1 @ ["x","value"] [trace] succ-enclosing @ ["x","value"] [trace] map-decorator0_2_1 @ ?.[] [trace] is-dead @ []."x" [trace] defines @ []."x" [trace] circular-decorator0_2_2 @ []."x" [trace] plain-decorator0_2_1 @ []."x" [trace] live-after @ []."x" [trace] succ @ []."x" [trace] down-decorator0_2_1 @ []."x" [trace] succ-enclosing @ []."x" [trace] map-decorator0_2_1 @ ?.["value"] [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-before @ [].."value" [trace] uses @ [].."value" [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-after @ [].."value" [trace] map-decorator0_2_1 @ ?.[] [trace] is-dead @ Block.[].Assign("bogus1","value") [trace] defines @ Block.[].Assign("bogus1","value") [trace] circular-decorator0_2_2 @ Block.[].Assign("bogus1","value") [trace] plain-decorator0_2_1 @ Block.[].Assign("bogus1","value") [trace] live-after @ Block.[].Assign("bogus1","value") [trace] succ @ Block.[].Assign("bogus1","value") [trace] down-decorator0_2_1 @ Block.[].Assign("bogus1","value") [trace] succ-enclosing @ Block.[].Assign("bogus1","value") [trace] map-decorator0_2_1 @ ?.[Assign] [trace] circular-decorator0_2_2 @ Block.[]..Assign("x","value") [trace] plain-decorator0_2_1 @ Block.[]..Assign("x","value") [trace] live-before @ Block.[]..Assign("x","value") [trace] uses @ Block.[]..Assign("x","value") [trace] circular-decorator0_2_2 @ Block.[]..Assign("x","value") [trace] is-dead @ []."value" [trace] defines @ []."value" [trace] circular-decorator0_2_2 @ []."value" [trace] plain-decorator0_2_1 @ []."value" [trace] live-after @ []."value" [trace] succ @ []."value" [trace] down-decorator0_2_1 @ []."value" [trace] succ-enclosing @ []."value" [trace] succ-enclosing @ []."value" (failed) [trace] down-decorator0_2_1 @ ["value"] [trace] succ-enclosing @ ["value"] [trace] map-decorator0_2_1 @ ?.[] [trace] plain-decorator0_2_1 @ Block.[].Assign("bogus1","value") [trace] is-dead @ []."value" [trace] defines @ []."value" [trace] circular-decorator0_2_2 @ []."value" [trace] plain-decorator0_2_1 @ []."value" [trace] live-after @ []."value" [trace] succ @ []."value" [trace] down-decorator0_2_1 @ []."value" [trace] succ-enclosing @ []."value" [trace] succ-enclosing @ []."value" (failed) [trace] down-decorator0_2_1 @ ["value"] [trace] succ-enclosing @ ["value"] [trace] map-decorator0_2_1 @ ?.[] [rewr.] Block.[Assign,Assign,While,_] -> [Assign,While,Return] [trace] is-dead @ Block.[].Assign("x","value") [trace] defines @ Block.[].Assign("x","value") [trace] circular-decorator0_2_2 @ Block.[].Assign("x","value") [trace] plain-decorator0_2_1 @ Block.[].Assign("x","value") [trace] live-after @ Block.[].Assign("x","value") [trace] succ @ Block.[].Assign("x","value") [trace] down-decorator0_2_1 @ Block.[].Assign("x","value") [trace] succ-enclosing @ Block.[].Assign("x","value") [trace] map-decorator0_2_1 @ ?.[While] [trace] circular-decorator0_2_2 @ Block.[]..While("x",Block) [trace] plain-decorator0_2_1 @ Block.[]..While("x",Block) [trace] live-before @ Block.[]..While("x",Block) [trace] uses @ Block.[]..While("x",Block) [trace] circular-decorator0_2_2 @ Block.[]..While("x",Block) [trace] plain-decorator0_2_1 @ Block.[]..While("x",Block) [trace] live-after @ Block.[]..While("x",Block) [trace] succ @ Block.[]..While("x",Block) [trace] down-decorator0_2_1 @ Block.[]..While.Block([_]) [trace] succ-enclosing @ Block.[]..While.Block([_]) [trace] map-decorator0_2_1 @ ?.[Block,While] [trace] circular-decorator0_2_2 @ Block.[]..While.Block([_]) [trace] plain-decorator0_2_1 @ Block.[]..While.Block([_]) [trace] live-before @ Block.[]..While.Block([_]) [trace] uses @ Block.[]..While.Block([_]) [trace] circular-decorator0_2_2 @ Block.[]..While.Block([_]) [trace] plain-decorator0_2_1 @ Block.[]..While.Block([_]) [trace] live-after @ Block.[]..While.Block([_]) [trace] succ @ Block.[]..While.Block([_]) [trace] map-decorator0_2_1 @ ?.[Assign] [trace] circular-decorator0_2_2 @ Block.[]..While.Block.[].Assign("x","value") [trace] plain-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x","value") [trace] live-before @ Block.[]..While.Block.[].Assign("x","value") [trace] uses @ Block.[]..While.Block.[].Assign("x","value") [trace] circular-decorator0_2_2 @ Block.[]..While.Block.[].Assign("x","value") [trace] plain-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x","value") [trace] live-after @ Block.[]..While.Block.[].Assign("x","value") [trace] succ @ Block.[]..While.Block.[].Assign("x","value") [trace] down-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x","value") [trace] succ-enclosing @ Block.[]..While.Block.[].Assign("x","value") [trace] succ-enclosing @ Block.[]..While.Block.[].Assign("x","value") (failed) [trace] down-decorator0_2_1 @ Block.[]..While.Block.[Assign] [trace] succ-enclosing @ Block.[]..While.Block.[Assign] [trace] succ-enclosing @ Block.[]..While.Block.[].Assign("x","value") (failed) [trace] map-decorator0_2_1 @ ?.[While] [trace] circular-decorator0_2_2 @ Block.[]..While("x",Block) [trace] defines @ Block.[]..While.Block.[].Assign("x","value") [trace] is-dead @ []."value" [trace] defines @ []."value" [trace] circular-decorator0_2_2 @ []."value" [trace] plain-decorator0_2_1 @ []."value" [trace] live-after @ []."value" [trace] succ @ []."value" [trace] down-decorator0_2_1 @ []."value" [trace] succ-enclosing @ []."value" [trace] succ-enclosing @ []."value" (failed) [trace] down-decorator0_2_1 @ ["value"] [trace] succ-enclosing @ ["value"] [trace] map-decorator0_2_1 @ ?.[] [trace] is-dead @ []."value" [trace] defines @ []."value" [trace] circular-decorator0_2_2 @ []."value" [trace] plain-decorator0_2_1 @ []."value" [trace] live-after @ []."value" [trace] succ @ []."value" [trace] down-decorator0_2_1 @ []."value" [trace] succ-enclosing @ []."value" [trace] succ-enclosing @ []."value" (failed) [trace] down-decorator0_2_1 @ ["value"] [trace] succ-enclosing @ ["value"] [trace] map-decorator0_2_1 @ ?.[] [trace] defines @ Block.[]..While.Block([_]) [trace] circular-decorator0_2_2 @ Block.[]..While("x",Block) [trace] is-dead @ []."value" [trace] defines @ []."value" [trace] circular-decorator0_2_2 @ []."value" [trace] plain-decorator0_2_1 @ []."value" [trace] live-after @ []."value" [trace] succ @ []."value" [trace] down-decorator0_2_1 @ []."value" [trace] succ-enclosing @ []."value" [trace] succ-enclosing @ []."value" (failed) [trace] down-decorator0_2_1 @ ["value"] [trace] succ-enclosing @ ["value"] [trace] map-decorator0_2_1 @ ?.[] [trace] defines @ Block.[]..While("x",Block) [trace] is-dead @ [].."value" [trace] defines @ [].."value" [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-after @ [].."value" [trace] succ @ [].."value" [trace] down-decorator0_2_1 @ [].."value" [trace] succ-enclosing @ [].."value" [trace] succ-enclosing @ [].."value" (failed) [trace] down-decorator0_2_1 @ [].["value"] [trace] succ-enclosing @ [].["value"] [trace] succ-enclosing @ [].."value" (failed) [trace] down-decorator0_2_1 @ ["x","value"] [trace] succ-enclosing @ ["x","value"] [trace] map-decorator0_2_1 @ ?.[] [trace] is-dead @ []."x" [trace] defines @ []."x" [trace] circular-decorator0_2_2 @ []."x" [trace] plain-decorator0_2_1 @ []."x" [trace] live-after @ []."x" [trace] succ @ []."x" [trace] down-decorator0_2_1 @ []."x" [trace] succ-enclosing @ []."x" [trace] map-decorator0_2_1 @ ?.["value"] [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-before @ [].."value" [trace] uses @ [].."value" [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-after @ [].."value" [trace] map-decorator0_2_1 @ ?.[] [trace] is-dead @ [].."value" [trace] defines @ [].."value" [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-after @ [].."value" [trace] succ @ [].."value" [trace] down-decorator0_2_1 @ [].."value" [trace] succ-enclosing @ [].."value" [trace] succ-enclosing @ [].."value" (failed) [trace] down-decorator0_2_1 @ [].["value"] [trace] succ-enclosing @ [].["value"] [trace] succ-enclosing @ [].."value" (failed) [trace] down-decorator0_2_1 @ ["x","value"] [trace] succ-enclosing @ ["x","value"] [trace] map-decorator0_2_1 @ ?.[] [trace] is-dead @ []."x" [trace] defines @ []."x" [trace] circular-decorator0_2_2 @ []."x" [trace] plain-decorator0_2_1 @ []."x" [trace] live-after @ []."x" [trace] succ @ []."x" [trace] down-decorator0_2_1 @ []."x" [trace] succ-enclosing @ []."x" [trace] map-decorator0_2_1 @ ?.["value"] [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-before @ [].."value" [trace] uses @ [].."value" [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-after @ [].."value" [trace] map-decorator0_2_1 @ ?.[] [trace] plain-decorator0_2_1 @ Block.[].Assign("x","value") [trace] is-dead @ [].."value" [trace] defines @ [].."value" [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-after @ [].."value" [trace] succ @ [].."value" [trace] down-decorator0_2_1 @ [].."value" [trace] succ-enclosing @ [].."value" [trace] succ-enclosing @ [].."value" (failed) [trace] down-decorator0_2_1 @ [].["value"] [trace] succ-enclosing @ [].["value"] [trace] succ-enclosing @ [].."value" (failed) [trace] down-decorator0_2_1 @ ["x","value"] [trace] succ-enclosing @ ["x","value"] [trace] map-decorator0_2_1 @ ?.[] [trace] is-dead @ []."x" [trace] defines @ []."x" [trace] circular-decorator0_2_2 @ []."x" [trace] plain-decorator0_2_1 @ []."x" [trace] live-after @ []."x" [trace] succ @ []."x" [trace] down-decorator0_2_1 @ []."x" [trace] succ-enclosing @ []."x" [trace] map-decorator0_2_1 @ ?.["value"] [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-before @ [].."value" [trace] uses @ [].."value" [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-after @ [].."value" [trace] map-decorator0_2_1 @ ?.[] [trace] is-dead @ Block.[]..While.Block.[].Assign("x","value") [trace] defines @ Block.[]..While.Block.[].Assign("x","value") [trace] circular-decorator0_2_2 @ Block.[]..While.Block.[].Assign("x","value") [trace] plain-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x","value") [trace] live-after @ Block.[]..While.Block.[].Assign("x","value") [trace] succ @ Block.[]..While.Block.[].Assign("x","value") [trace] down-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x","value") [trace] succ-enclosing @ Block.[]..While.Block.[].Assign("x","value") [trace] succ-enclosing @ Block.[]..While.Block.[].Assign("x","value") (failed) [trace] down-decorator0_2_1 @ Block.[]..While.Block.[Assign] [trace] succ-enclosing @ Block.[]..While.Block.[Assign] [trace] succ-enclosing @ Block.[]..While.Block.[].Assign("x","value") (failed) [trace] down-decorator0_2_1 @ Block.[]..While.Block([_]) [trace] succ-enclosing @ Block.[]..While.Block([_]) [trace] map-decorator0_2_1 @ ?.[While] [trace] circular-decorator0_2_2 @ Block.[]..While("x",Block) [trace] plain-decorator0_2_1 @ Block.[]..While("x",Block) [trace] live-before @ Block.[]..While("x",Block) [trace] uses @ Block.[]..While("x",Block) [trace] circular-decorator0_2_2 @ Block.[]..While("x",Block) [trace] plain-decorator0_2_1 @ Block.[]..While("x",Block) [trace] live-after @ Block.[]..While("x",Block) [trace] succ @ Block.[]..While("x",Block) [trace] map-decorator0_2_1 @ ?.[Block,While] [trace] circular-decorator0_2_2 @ Block.[]..While.Block([_]) [trace] plain-decorator0_2_1 @ Block.[]..While.Block([_]) [trace] live-before @ Block.[]..While.Block([_]) [trace] uses @ Block.[]..While.Block([_]) [trace] circular-decorator0_2_2 @ Block.[]..While.Block([_]) [trace] plain-decorator0_2_1 @ Block.[]..While.Block([_]) [trace] live-after @ Block.[]..While.Block([_]) [trace] succ @ Block.[]..While.Block([_]) [trace] map-decorator0_2_1 @ ?.[Assign] [trace] circular-decorator0_2_2 @ Block.[]..While.Block.[].Assign("x","value") [trace] plain-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x","value") [trace] live-before @ Block.[]..While.Block.[].Assign("x","value") [trace] uses @ Block.[]..While.Block.[].Assign("x","value") [trace] circular-decorator0_2_2 @ Block.[]..While.Block.[].Assign("x","value") [trace] is-dead @ []."value" [trace] defines @ []."value" [trace] circular-decorator0_2_2 @ []."value" [trace] plain-decorator0_2_1 @ []."value" [trace] live-after @ []."value" [trace] succ @ []."value" [trace] down-decorator0_2_1 @ []."value" [trace] succ-enclosing @ []."value" [trace] succ-enclosing @ []."value" (failed) [trace] down-decorator0_2_1 @ ["value"] [trace] succ-enclosing @ ["value"] [trace] map-decorator0_2_1 @ ?.[] [trace] is-dead @ []."value" [trace] defines @ []."value" [trace] circular-decorator0_2_2 @ []."value" [trace] plain-decorator0_2_1 @ []."value" [trace] live-after @ []."value" [trace] succ @ []."value" [trace] down-decorator0_2_1 @ []."value" [trace] succ-enclosing @ []."value" [trace] succ-enclosing @ []."value" (failed) [trace] down-decorator0_2_1 @ ["value"] [trace] succ-enclosing @ ["value"] [trace] map-decorator0_2_1 @ ?.[] [trace] defines @ Block.[]..While.Block([_]) [trace] circular-decorator0_2_2 @ Block.[]..While("x",Block) [trace] is-dead @ []."value" [trace] defines @ []."value" [trace] circular-decorator0_2_2 @ []."value" [trace] plain-decorator0_2_1 @ []."value" [trace] live-after @ []."value" [trace] succ @ []."value" [trace] down-decorator0_2_1 @ []."value" [trace] succ-enclosing @ []."value" [trace] succ-enclosing @ []."value" (failed) [trace] down-decorator0_2_1 @ ["value"] [trace] succ-enclosing @ ["value"] [trace] map-decorator0_2_1 @ ?.[] [trace] defines @ Block.[]..While("x",Block) [trace] is-dead @ [].."value" [trace] defines @ [].."value" [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-after @ [].."value" [trace] succ @ [].."value" [trace] down-decorator0_2_1 @ [].."value" [trace] succ-enclosing @ [].."value" [trace] succ-enclosing @ [].."value" (failed) [trace] down-decorator0_2_1 @ [].["value"] [trace] succ-enclosing @ [].["value"] [trace] succ-enclosing @ [].."value" (failed) [trace] down-decorator0_2_1 @ ["x","value"] [trace] succ-enclosing @ ["x","value"] [trace] map-decorator0_2_1 @ ?.[] [trace] is-dead @ []."x" [trace] defines @ []."x" [trace] circular-decorator0_2_2 @ []."x" [trace] plain-decorator0_2_1 @ []."x" [trace] live-after @ []."x" [trace] succ @ []."x" [trace] down-decorator0_2_1 @ []."x" [trace] succ-enclosing @ []."x" [trace] map-decorator0_2_1 @ ?.["value"] [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-before @ [].."value" [trace] uses @ [].."value" [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-after @ [].."value" [trace] map-decorator0_2_1 @ ?.[] [trace] is-dead @ [].."value" [trace] defines @ [].."value" [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-after @ [].."value" [trace] succ @ [].."value" [trace] down-decorator0_2_1 @ [].."value" [trace] succ-enclosing @ [].."value" [trace] succ-enclosing @ [].."value" (failed) [trace] down-decorator0_2_1 @ [].["value"] [trace] succ-enclosing @ [].["value"] [trace] succ-enclosing @ [].."value" (failed) [trace] down-decorator0_2_1 @ ["x","value"] [trace] succ-enclosing @ ["x","value"] [trace] map-decorator0_2_1 @ ?.[] [trace] is-dead @ []."x" [trace] defines @ []."x" [trace] circular-decorator0_2_2 @ []."x" [trace] plain-decorator0_2_1 @ []."x" [trace] live-after @ []."x" [trace] succ @ []."x" [trace] down-decorator0_2_1 @ []."x" [trace] succ-enclosing @ []."x" [trace] map-decorator0_2_1 @ ?.["value"] [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-before @ [].."value" [trace] uses @ [].."value" [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-after @ [].."value" [trace] map-decorator0_2_1 @ ?.[] [trace] plain-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x","value") [trace] is-dead @ [].."value" [trace] defines @ [].."value" [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-after @ [].."value" [trace] succ @ [].."value" [trace] down-decorator0_2_1 @ [].."value" [trace] succ-enclosing @ [].."value" [trace] succ-enclosing @ [].."value" (failed) [trace] down-decorator0_2_1 @ [].["value"] [trace] succ-enclosing @ [].["value"] [trace] succ-enclosing @ [].."value" (failed) [trace] down-decorator0_2_1 @ ["x","value"] [trace] succ-enclosing @ ["x","value"] [trace] map-decorator0_2_1 @ ?.[] [trace] is-dead @ []."x" [trace] defines @ []."x" [trace] circular-decorator0_2_2 @ []."x" [trace] plain-decorator0_2_1 @ []."x" [trace] live-after @ []."x" [trace] succ @ []."x" [trace] down-decorator0_2_1 @ []."x" [trace] succ-enclosing @ []."x" [trace] map-decorator0_2_1 @ ?.["value"] [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-before @ [].."value" [trace] uses @ [].."value" [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-after @ [].."value" [trace] map-decorator0_2_1 @ ?.[] [trace] is-dead @ Block.[]..Return("x") [trace] defines @ Block.[]..Return("x") [trace] circular-decorator0_2_2 @ Block.[]..Return("x") [trace] plain-decorator0_2_1 @ Block.[]..Return("x") [trace] live-after @ Block.[]..Return("x") [trace] succ @ Block.[]..Return("x") [trace] map-decorator0_2_1 @ ?.[] [trace] is-dead @ Block.[]..While("x",Block) [trace] circular-decorator0_2_2 @ Block.[]..While("x",Block) [trace] plain-decorator0_2_1 @ Block.[]..While("x",Block) [trace] live-after @ Block.[]..While("x",Block) [trace] map-decorator0_2_1 @ ?.[Block,While] [trace] circular-decorator0_2_2 @ Block.[]..While.Block([_]) [trace] plain-decorator0_2_1 @ Block.[]..While.Block([_]) [trace] live-before @ Block.[]..While.Block([_]) [trace] circular-decorator0_2_2 @ Block.[]..While.Block([_]) [trace] plain-decorator0_2_1 @ Block.[]..While.Block([_]) [trace] live-after @ Block.[]..While.Block([_]) [trace] map-decorator0_2_1 @ ?.[Assign] [trace] circular-decorator0_2_2 @ Block.[]..While.Block.[].Assign("x","value") [trace] plain-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x","value") [trace] live-before @ Block.[]..While.Block.[].Assign("x","value") [trace] circular-decorator0_2_2 @ Block.[]..While.Block.[].Assign("x","value") [trace] is-dead @ []."value" [trace] defines @ []."value" [trace] circular-decorator0_2_2 @ []."value" [trace] plain-decorator0_2_1 @ []."value" [trace] live-after @ []."value" [trace] succ @ []."value" [trace] down-decorator0_2_1 @ []."value" [trace] succ-enclosing @ []."value" [trace] succ-enclosing @ []."value" (failed) [trace] down-decorator0_2_1 @ ["value"] [trace] succ-enclosing @ ["value"] [trace] map-decorator0_2_1 @ ?.[] [trace] circular-decorator0_2_2 @ Block.[]..While("x",Block) [trace] plain-decorator0_2_1 @ Block.[]..While("x",Block) [trace] live-before @ Block.[]..While("x",Block) [trace] circular-decorator0_2_2 @ Block.[]..While("x",Block) [trace] is-dead @ [].."value" [trace] defines @ [].."value" [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-after @ [].."value" [trace] succ @ [].."value" [trace] down-decorator0_2_1 @ [].."value" [trace] succ-enclosing @ [].."value" [trace] succ-enclosing @ [].."value" (failed) [trace] down-decorator0_2_1 @ [].["value"] [trace] succ-enclosing @ [].["value"] [trace] succ-enclosing @ [].."value" (failed) [trace] down-decorator0_2_1 @ ["x","value"] [trace] succ-enclosing @ ["x","value"] [trace] map-decorator0_2_1 @ ?.[] [trace] is-dead @ []."x" [trace] defines @ []."x" [trace] circular-decorator0_2_2 @ []."x" [trace] plain-decorator0_2_1 @ []."x" [trace] live-after @ []."x" [trace] succ @ []."x" [trace] down-decorator0_2_1 @ []."x" [trace] succ-enclosing @ []."x" [trace] map-decorator0_2_1 @ ?.["value"] [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-before @ [].."value" [trace] uses @ [].."value" [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-after @ [].."value" [trace] map-decorator0_2_1 @ ?.[] [trace] is-dead @ [].."value" [trace] defines @ [].."value" [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-after @ [].."value" [trace] succ @ [].."value" [trace] down-decorator0_2_1 @ [].."value" [trace] succ-enclosing @ [].."value" [trace] succ-enclosing @ [].."value" (failed) [trace] down-decorator0_2_1 @ [].["value"] [trace] succ-enclosing @ [].["value"] [trace] succ-enclosing @ [].."value" (failed) [trace] down-decorator0_2_1 @ ["x","value"] [trace] succ-enclosing @ ["x","value"] [trace] map-decorator0_2_1 @ ?.[] [trace] is-dead @ []."x" [trace] defines @ []."x" [trace] circular-decorator0_2_2 @ []."x" [trace] plain-decorator0_2_1 @ []."x" [trace] live-after @ []."x" [trace] succ @ []."x" [trace] down-decorator0_2_1 @ []."x" [trace] succ-enclosing @ []."x" [trace] map-decorator0_2_1 @ ?.["value"] [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-before @ [].."value" [trace] uses @ [].."value" [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-after @ [].."value" [trace] map-decorator0_2_1 @ ?.[] [trace] plain-decorator0_2_1 @ Block.[]..While("x",Block) [trace] is-dead @ [].."value" [trace] defines @ [].."value" [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-after @ [].."value" [trace] succ @ [].."value" [trace] down-decorator0_2_1 @ [].."value" [trace] succ-enclosing @ [].."value" [trace] succ-enclosing @ [].."value" (failed) [trace] down-decorator0_2_1 @ [].["value"] [trace] succ-enclosing @ [].["value"] [trace] succ-enclosing @ [].."value" (failed) [trace] down-decorator0_2_1 @ ["x","value"] [trace] succ-enclosing @ ["x","value"] [trace] map-decorator0_2_1 @ ?.[] [trace] is-dead @ []."x" [trace] defines @ []."x" [trace] circular-decorator0_2_2 @ []."x" [trace] plain-decorator0_2_1 @ []."x" [trace] live-after @ []."x" [trace] succ @ []."x" [trace] down-decorator0_2_1 @ []."x" [trace] succ-enclosing @ []."x" [trace] map-decorator0_2_1 @ ?.["value"] [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-before @ [].."value" [trace] uses @ [].."value" [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-after @ [].."value" [trace] map-decorator0_2_1 @ ?.[] [trace] is-dead @ Block.[].Assign("x","value") [trace] defines @ Block.[].Assign("x","value") [trace] circular-decorator0_2_2 @ Block.[].Assign("x","value") [trace] plain-decorator0_2_1 @ Block.[].Assign("x","value") [trace] live-after @ Block.[].Assign("x","value") [trace] succ @ Block.[].Assign("x","value") [trace] down-decorator0_2_1 @ Block.[].Assign("x","value") [trace] succ-enclosing @ Block.[].Assign("x","value") [trace] map-decorator0_2_1 @ ?.[While] [trace] circular-decorator0_2_2 @ Block.[]..While("x",Block) [trace] plain-decorator0_2_1 @ Block.[]..While("x",Block) [trace] live-before @ Block.[]..While("x",Block) [trace] circular-decorator0_2_2 @ Block.[]..While("x",Block) [trace] is-dead @ [].."value" [trace] defines @ [].."value" [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-after @ [].."value" [trace] succ @ [].."value" [trace] down-decorator0_2_1 @ [].."value" [trace] succ-enclosing @ [].."value" [trace] succ-enclosing @ [].."value" (failed) [trace] down-decorator0_2_1 @ [].["value"] [trace] succ-enclosing @ [].["value"] [trace] succ-enclosing @ [].."value" (failed) [trace] down-decorator0_2_1 @ ["x","value"] [trace] succ-enclosing @ ["x","value"] [trace] map-decorator0_2_1 @ ?.[] [trace] is-dead @ []."x" [trace] defines @ []."x" [trace] circular-decorator0_2_2 @ []."x" [trace] plain-decorator0_2_1 @ []."x" [trace] live-after @ []."x" [trace] succ @ []."x" [trace] down-decorator0_2_1 @ []."x" [trace] succ-enclosing @ []."x" [trace] map-decorator0_2_1 @ ?.["value"] [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-before @ [].."value" [trace] uses @ [].."value" [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-after @ [].."value" [trace] map-decorator0_2_1 @ ?.[] [trace] plain-decorator0_2_1 @ Block.[].Assign("x","value") [trace] is-dead @ [].."value" [trace] defines @ [].."value" [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-after @ [].."value" [trace] succ @ [].."value" [trace] down-decorator0_2_1 @ [].."value" [trace] succ-enclosing @ [].."value" [trace] succ-enclosing @ [].."value" (failed) [trace] down-decorator0_2_1 @ [].["value"] [trace] succ-enclosing @ [].["value"] [trace] succ-enclosing @ [].."value" (failed) [trace] down-decorator0_2_1 @ ["x","value"] [trace] succ-enclosing @ ["x","value"] [trace] map-decorator0_2_1 @ ?.[] [trace] is-dead @ []."x" [trace] defines @ []."x" [trace] circular-decorator0_2_2 @ []."x" [trace] plain-decorator0_2_1 @ []."x" [trace] live-after @ []."x" [trace] succ @ []."x" [trace] down-decorator0_2_1 @ []."x" [trace] succ-enclosing @ []."x" [trace] map-decorator0_2_1 @ ?.["value"] [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-before @ [].."value" [trace] uses @ [].."value" [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-after @ [].."value" [trace] map-decorator0_2_1 @ ?.[] [trace] is-dead @ Block.[]..While.Block.[].Assign("x","value") [trace] defines @ Block.[]..While.Block.[].Assign("x","value") [trace] circular-decorator0_2_2 @ Block.[]..While.Block.[].Assign("x","value") [trace] plain-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x","value") [trace] live-after @ Block.[]..While.Block.[].Assign("x","value") [trace] succ @ Block.[]..While.Block.[].Assign("x","value") [trace] down-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x","value") [trace] succ-enclosing @ Block.[]..While.Block.[].Assign("x","value") [trace] succ-enclosing @ Block.[]..While.Block.[].Assign("x","value") (failed) [trace] down-decorator0_2_1 @ Block.[]..While.Block.[Assign] [trace] succ-enclosing @ Block.[]..While.Block.[Assign] [trace] succ-enclosing @ Block.[]..While.Block.[].Assign("x","value") (failed) [trace] down-decorator0_2_1 @ Block.[]..While.Block([_]) [trace] succ-enclosing @ Block.[]..While.Block([_]) [trace] map-decorator0_2_1 @ ?.[While] [trace] circular-decorator0_2_2 @ Block.[]..While("x",Block) [trace] plain-decorator0_2_1 @ Block.[]..While("x",Block) [trace] live-before @ Block.[]..While("x",Block) [trace] uses @ Block.[]..While("x",Block) [trace] circular-decorator0_2_2 @ Block.[]..While("x",Block) [trace] plain-decorator0_2_1 @ Block.[]..While("x",Block) [trace] live-after @ Block.[]..While("x",Block) [trace] succ @ Block.[]..While("x",Block) [trace] map-decorator0_2_1 @ ?.[Block,While] [trace] circular-decorator0_2_2 @ Block.[]..While.Block([_]) [trace] plain-decorator0_2_1 @ Block.[]..While.Block([_]) [trace] live-before @ Block.[]..While.Block([_]) [trace] uses @ Block.[]..While.Block([_]) [trace] circular-decorator0_2_2 @ Block.[]..While.Block([_]) [trace] plain-decorator0_2_1 @ Block.[]..While.Block([_]) [trace] live-after @ Block.[]..While.Block([_]) [trace] succ @ Block.[]..While.Block([_]) [trace] map-decorator0_2_1 @ ?.[Assign] [trace] circular-decorator0_2_2 @ Block.[]..While.Block.[].Assign("x","value") [trace] plain-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x","value") [trace] live-before @ Block.[]..While.Block.[].Assign("x","value") [trace] uses @ Block.[]..While.Block.[].Assign("x","value") [trace] circular-decorator0_2_2 @ Block.[]..While.Block.[].Assign("x","value") [trace] is-dead @ []."value" [trace] defines @ []."value" [trace] circular-decorator0_2_2 @ []."value" [trace] plain-decorator0_2_1 @ []."value" [trace] live-after @ []."value" [trace] succ @ []."value" [trace] down-decorator0_2_1 @ []."value" [trace] succ-enclosing @ []."value" [trace] succ-enclosing @ []."value" (failed) [trace] down-decorator0_2_1 @ ["value"] [trace] succ-enclosing @ ["value"] [trace] map-decorator0_2_1 @ ?.[] [trace] is-dead @ []."value" [trace] defines @ []."value" [trace] circular-decorator0_2_2 @ []."value" [trace] plain-decorator0_2_1 @ []."value" [trace] live-after @ []."value" [trace] succ @ []."value" [trace] down-decorator0_2_1 @ []."value" [trace] succ-enclosing @ []."value" [trace] succ-enclosing @ []."value" (failed) [trace] down-decorator0_2_1 @ ["value"] [trace] succ-enclosing @ ["value"] [trace] map-decorator0_2_1 @ ?.[] [trace] defines @ Block.[]..While.Block([_]) [trace] circular-decorator0_2_2 @ Block.[]..While("x",Block) [trace] is-dead @ []."value" [trace] defines @ []."value" [trace] circular-decorator0_2_2 @ []."value" [trace] plain-decorator0_2_1 @ []."value" [trace] live-after @ []."value" [trace] succ @ []."value" [trace] down-decorator0_2_1 @ []."value" [trace] succ-enclosing @ []."value" [trace] succ-enclosing @ []."value" (failed) [trace] down-decorator0_2_1 @ ["value"] [trace] succ-enclosing @ ["value"] [trace] map-decorator0_2_1 @ ?.[] [trace] defines @ Block.[]..While("x",Block) [trace] is-dead @ [].."value" [trace] defines @ [].."value" [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-after @ [].."value" [trace] succ @ [].."value" [trace] down-decorator0_2_1 @ [].."value" [trace] succ-enclosing @ [].."value" [trace] succ-enclosing @ [].."value" (failed) [trace] down-decorator0_2_1 @ [].["value"] [trace] succ-enclosing @ [].["value"] [trace] succ-enclosing @ [].."value" (failed) [trace] down-decorator0_2_1 @ ["x","value"] [trace] succ-enclosing @ ["x","value"] [trace] map-decorator0_2_1 @ ?.[] [trace] is-dead @ []."x" [trace] defines @ []."x" [trace] circular-decorator0_2_2 @ []."x" [trace] plain-decorator0_2_1 @ []."x" [trace] live-after @ []."x" [trace] succ @ []."x" [trace] down-decorator0_2_1 @ []."x" [trace] succ-enclosing @ []."x" [trace] map-decorator0_2_1 @ ?.["value"] [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-before @ [].."value" [trace] uses @ [].."value" [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-after @ [].."value" [trace] map-decorator0_2_1 @ ?.[] [trace] is-dead @ [].."value" [trace] defines @ [].."value" [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-after @ [].."value" [trace] succ @ [].."value" [trace] down-decorator0_2_1 @ [].."value" [trace] succ-enclosing @ [].."value" [trace] succ-enclosing @ [].."value" (failed) [trace] down-decorator0_2_1 @ [].["value"] [trace] succ-enclosing @ [].["value"] [trace] succ-enclosing @ [].."value" (failed) [trace] down-decorator0_2_1 @ ["x","value"] [trace] succ-enclosing @ ["x","value"] [trace] map-decorator0_2_1 @ ?.[] [trace] is-dead @ []."x" [trace] defines @ []."x" [trace] circular-decorator0_2_2 @ []."x" [trace] plain-decorator0_2_1 @ []."x" [trace] live-after @ []."x" [trace] succ @ []."x" [trace] down-decorator0_2_1 @ []."x" [trace] succ-enclosing @ []."x" [trace] map-decorator0_2_1 @ ?.["value"] [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-before @ [].."value" [trace] uses @ [].."value" [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-after @ [].."value" [trace] map-decorator0_2_1 @ ?.[] [trace] plain-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x","value") [trace] is-dead @ [].."value" [trace] defines @ [].."value" [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-after @ [].."value" [trace] succ @ [].."value" [trace] down-decorator0_2_1 @ [].."value" [trace] succ-enclosing @ [].."value" [trace] succ-enclosing @ [].."value" (failed) [trace] down-decorator0_2_1 @ [].["value"] [trace] succ-enclosing @ [].["value"] [trace] succ-enclosing @ [].."value" (failed) [trace] down-decorator0_2_1 @ ["x","value"] [trace] succ-enclosing @ ["x","value"] [trace] map-decorator0_2_1 @ ?.[] [trace] is-dead @ []."x" [trace] defines @ []."x" [trace] circular-decorator0_2_2 @ []."x" [trace] plain-decorator0_2_1 @ []."x" [trace] live-after @ []."x" [trace] succ @ []."x" [trace] down-decorator0_2_1 @ []."x" [trace] succ-enclosing @ []."x" [trace] map-decorator0_2_1 @ ?.["value"] [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-before @ [].."value" [trace] uses @ [].."value" [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-after @ [].."value" [trace] map-decorator0_2_1 @ ?.[] [trace] is-dead @ Block.[]..Return("x") [trace] defines @ Block.[]..Return("x") [trace] circular-decorator0_2_2 @ Block.[]..Return("x") [trace] plain-decorator0_2_1 @ Block.[]..Return("x") [trace] live-after @ Block.[]..Return("x") [trace] succ @ Block.[]..Return("x") [trace] map-decorator0_2_1 @ ?.[] [trace] is-dead @ Block.[]..While("x",Block) [trace] circular-decorator0_2_2 @ Block.[]..While("x",Block) [trace] plain-decorator0_2_1 @ Block.[]..While("x",Block) [trace] live-after @ Block.[]..While("x",Block) [trace] map-decorator0_2_1 @ ?.[Block,While] [trace] circular-decorator0_2_2 @ Block.[]..While.Block([_]) [trace] plain-decorator0_2_1 @ Block.[]..While.Block([_]) [trace] live-before @ Block.[]..While.Block([_]) [trace] circular-decorator0_2_2 @ Block.[]..While.Block([_]) [trace] plain-decorator0_2_1 @ Block.[]..While.Block([_]) [trace] live-after @ Block.[]..While.Block([_]) [trace] map-decorator0_2_1 @ ?.[Assign] [trace] circular-decorator0_2_2 @ Block.[]..While.Block.[].Assign("x","value") [trace] plain-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x","value") [trace] live-before @ Block.[]..While.Block.[].Assign("x","value") [trace] circular-decorator0_2_2 @ Block.[]..While.Block.[].Assign("x","value") [trace] is-dead @ []."value" [trace] defines @ []."value" [trace] circular-decorator0_2_2 @ []."value" [trace] plain-decorator0_2_1 @ []."value" [trace] live-after @ []."value" [trace] succ @ []."value" [trace] down-decorator0_2_1 @ []."value" [trace] succ-enclosing @ []."value" [trace] succ-enclosing @ []."value" (failed) [trace] down-decorator0_2_1 @ ["value"] [trace] succ-enclosing @ ["value"] [trace] map-decorator0_2_1 @ ?.[] [trace] circular-decorator0_2_2 @ Block.[]..While("x",Block) [trace] plain-decorator0_2_1 @ Block.[]..While("x",Block) [trace] live-before @ Block.[]..While("x",Block) [trace] circular-decorator0_2_2 @ Block.[]..While("x",Block) [trace] is-dead @ [].."value" [trace] defines @ [].."value" [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-after @ [].."value" [trace] succ @ [].."value" [trace] down-decorator0_2_1 @ [].."value" [trace] succ-enclosing @ [].."value" [trace] succ-enclosing @ [].."value" (failed) [trace] down-decorator0_2_1 @ [].["value"] [trace] succ-enclosing @ [].["value"] [trace] succ-enclosing @ [].."value" (failed) [trace] down-decorator0_2_1 @ ["x","value"] [trace] succ-enclosing @ ["x","value"] [trace] map-decorator0_2_1 @ ?.[] [trace] is-dead @ []."x" [trace] defines @ []."x" [trace] circular-decorator0_2_2 @ []."x" [trace] plain-decorator0_2_1 @ []."x" [trace] live-after @ []."x" [trace] succ @ []."x" [trace] down-decorator0_2_1 @ []."x" [trace] succ-enclosing @ []."x" [trace] map-decorator0_2_1 @ ?.["value"] [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-before @ [].."value" [trace] uses @ [].."value" [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-after @ [].."value" [trace] map-decorator0_2_1 @ ?.[] [trace] is-dead @ [].."value" [trace] defines @ [].."value" [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-after @ [].."value" [trace] succ @ [].."value" [trace] down-decorator0_2_1 @ [].."value" [trace] succ-enclosing @ [].."value" [trace] succ-enclosing @ [].."value" (failed) [trace] down-decorator0_2_1 @ [].["value"] [trace] succ-enclosing @ [].["value"] [trace] succ-enclosing @ [].."value" (failed) [trace] down-decorator0_2_1 @ ["x","value"] [trace] succ-enclosing @ ["x","value"] [trace] map-decorator0_2_1 @ ?.[] [trace] is-dead @ []."x" [trace] defines @ []."x" [trace] circular-decorator0_2_2 @ []."x" [trace] plain-decorator0_2_1 @ []."x" [trace] live-after @ []."x" [trace] succ @ []."x" [trace] down-decorator0_2_1 @ []."x" [trace] succ-enclosing @ []."x" [trace] map-decorator0_2_1 @ ?.["value"] [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-before @ [].."value" [trace] uses @ [].."value" [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-after @ [].."value" [trace] map-decorator0_2_1 @ ?.[] [trace] plain-decorator0_2_1 @ Block.[]..While("x",Block) [trace] is-dead @ [].."value" [trace] defines @ [].."value" [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-after @ [].."value" [trace] succ @ [].."value" [trace] down-decorator0_2_1 @ [].."value" [trace] succ-enclosing @ [].."value" [trace] succ-enclosing @ [].."value" (failed) [trace] down-decorator0_2_1 @ [].["value"] [trace] succ-enclosing @ [].["value"] [trace] succ-enclosing @ [].."value" (failed) [trace] down-decorator0_2_1 @ ["x","value"] [trace] succ-enclosing @ ["x","value"] [trace] map-decorator0_2_1 @ ?.[] [trace] is-dead @ []."x" [trace] defines @ []."x" [trace] circular-decorator0_2_2 @ []."x" [trace] plain-decorator0_2_1 @ []."x" [trace] live-after @ []."x" [trace] succ @ []."x" [trace] down-decorator0_2_1 @ []."x" [trace] succ-enclosing @ []."x" [trace] map-decorator0_2_1 @ ?.["value"] [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-before @ [].."value" [trace] uses @ [].."value" [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-after @ [].."value" [trace] map-decorator0_2_1 @ ?.[] [trace] is-dead @ Block.[].Assign("x","value") [trace] defines @ Block.[].Assign("x","value") [trace] circular-decorator0_2_2 @ Block.[].Assign("x","value") [trace] plain-decorator0_2_1 @ Block.[].Assign("x","value") [trace] live-after @ Block.[].Assign("x","value") [trace] succ @ Block.[].Assign("x","value") [trace] down-decorator0_2_1 @ Block.[].Assign("x","value") [trace] succ-enclosing @ Block.[].Assign("x","value") [trace] map-decorator0_2_1 @ ?.[While] [trace] circular-decorator0_2_2 @ Block.[]..While("x",Block) [trace] plain-decorator0_2_1 @ Block.[]..While("x",Block) [trace] live-before @ Block.[]..While("x",Block) [trace] circular-decorator0_2_2 @ Block.[]..While("x",Block) [trace] is-dead @ [].."value" [trace] defines @ [].."value" [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-after @ [].."value" [trace] succ @ [].."value" [trace] down-decorator0_2_1 @ [].."value" [trace] succ-enclosing @ [].."value" [trace] succ-enclosing @ [].."value" (failed) [trace] down-decorator0_2_1 @ [].["value"] [trace] succ-enclosing @ [].["value"] [trace] succ-enclosing @ [].."value" (failed) [trace] down-decorator0_2_1 @ ["x","value"] [trace] succ-enclosing @ ["x","value"] [trace] map-decorator0_2_1 @ ?.[] [trace] is-dead @ []."x" [trace] defines @ []."x" [trace] circular-decorator0_2_2 @ []."x" [trace] plain-decorator0_2_1 @ []."x" [trace] live-after @ []."x" [trace] succ @ []."x" [trace] down-decorator0_2_1 @ []."x" [trace] succ-enclosing @ []."x" [trace] map-decorator0_2_1 @ ?.["value"] [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-before @ [].."value" [trace] uses @ [].."value" [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-after @ [].."value" [trace] map-decorator0_2_1 @ ?.[] [trace] plain-decorator0_2_1 @ Block.[].Assign("x","value") [trace] is-dead @ [].."value" [trace] defines @ [].."value" [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-after @ [].."value" [trace] succ @ [].."value" [trace] down-decorator0_2_1 @ [].."value" [trace] succ-enclosing @ [].."value" [trace] succ-enclosing @ [].."value" (failed) [trace] down-decorator0_2_1 @ [].["value"] [trace] succ-enclosing @ [].["value"] [trace] succ-enclosing @ [].."value" (failed) [trace] down-decorator0_2_1 @ ["x","value"] [trace] succ-enclosing @ ["x","value"] [trace] map-decorator0_2_1 @ ?.[] [trace] is-dead @ []."x" [trace] defines @ []."x" [trace] circular-decorator0_2_2 @ []."x" [trace] plain-decorator0_2_1 @ []."x" [trace] live-after @ []."x" [trace] succ @ []."x" [trace] down-decorator0_2_1 @ []."x" [trace] succ-enclosing @ []."x" [trace] map-decorator0_2_1 @ ?.["value"] [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-before @ [].."value" [trace] uses @ [].."value" [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-after @ [].."value" [trace] map-decorator0_2_1 @ ?.[] Block([Assign("x","value"),While("x",Block([Assign("x","value")])),Return("x")]) make[1]: Leaving directory `/tmp/nix-build-qaixll9zkyxi6yngsfbmr6wzg5m64dbx-aster.drv-0/aster-0.1pre18359/tests' make[1]: Entering directory `/tmp/nix-build-qaixll9zkyxi6yngsfbmr6wzg5m64dbx-aster.drv-0/aster-0.1pre18359' building all-local /nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/bin/xtc -r /tmp/nix-build-qaixll9zkyxi6yngsfbmr6wzg5m64dbx-aster.drv-0/aster-0.1pre18359/BUILDTIME_XTC import /nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/share/strategoxt/XTC Tools registered in repository /tmp/nix-build-qaixll9zkyxi6yngsfbmr6wzg5m64dbx-aster.drv-0/aster-0.1pre18359/BUILDTIME_XTC: Data registered in repository /tmp/nix-build-qaixll9zkyxi6yngsfbmr6wzg5m64dbx-aster.drv-0/aster-0.1pre18359/BUILDTIME_XTC: make[1]: Leaving directory `/tmp/nix-build-qaixll9zkyxi6yngsfbmr6wzg5m64dbx-aster.drv-0/aster-0.1pre18359'