check flags: building check-recursive Making check in syntax make[1]: Entering directory `/tmp/nix-build-2fg69vgjk358mv8fy7h93j8wwy8zlrg7-aster.drv-0/aster-0.1pre18385/syntax' building all-local Tools registered in repository /tmp/nix-build-2fg69vgjk358mv8fy7h93j8wwy8zlrg7-aster.drv-0/aster-0.1pre18385/BUILDTIME_XTC: Data registered in repository /tmp/nix-build-2fg69vgjk358mv8fy7h93j8wwy8zlrg7-aster.drv-0/aster-0.1pre18385/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-2fg69vgjk358mv8fy7h93j8wwy8zlrg7-aster.drv-0/aster-0.1pre18385/syntax' Making check in runtime make[1]: Entering directory `/tmp/nix-build-2fg69vgjk358mv8fy7h93j8wwy8zlrg7-aster.drv-0/aster-0.1pre18385/runtime' building all-local Tools registered in repository /tmp/nix-build-2fg69vgjk358mv8fy7h93j8wwy8zlrg7-aster.drv-0/aster-0.1pre18385/BUILDTIME_XTC: Data registered in repository /tmp/nix-build-2fg69vgjk358mv8fy7h93j8wwy8zlrg7-aster.drv-0/aster-0.1pre18385/BUILDTIME_XTC: aster-runtime.packed-rtree aster-runtime.str aster/lang/annotations.str aster/lang/attributes.str aster/lang/debug.str aster/lang/hashtables.str aster/lang/lists.str aster/lang/parents.str aster/lang/rewrites.str aster/attributes/collection.astr aster/attributes/common.astr aster/attributes/debug.astr aster/attributes/lang.astr aster/attributes/reflection.astr aster/attributes/tree-access.astr aster/decorators/assert.astr aster/decorators/caching.astr aster/decorators/circular.astr aster/decorators/collection.astr aster/decorators/common.astr aster/decorators/debug.astr aster/decorators/flow.astr aster/decorators/lang.astr aster/decorators/lookup.astr aster/decorators/rewriting.astr make[1]: Leaving directory `/tmp/nix-build-2fg69vgjk358mv8fy7h93j8wwy8zlrg7-aster.drv-0/aster-0.1pre18385/runtime' Making check in trans make[1]: Entering directory `/tmp/nix-build-2fg69vgjk358mv8fy7h93j8wwy8zlrg7-aster.drv-0/aster-0.1pre18385/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-2fg69vgjk358mv8fy7h93j8wwy8zlrg7-aster.drv-0/aster-0.1pre18385/BUILDTIME_XTC: aster Data registered in repository /tmp/nix-build-2fg69vgjk358mv8fy7h93j8wwy8zlrg7-aster.drv-0/aster-0.1pre18385/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-2fg69vgjk358mv8fy7h93j8wwy8zlrg7-aster.drv-0/aster-0.1pre18385/trans' Making check in tests make[1]: Entering directory `/tmp/nix-build-2fg69vgjk358mv8fy7h93j8wwy8zlrg7-aster.drv-0/aster-0.1pre18385/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 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/hy4zpdjxh38igif7ap6hnqlvssnwspah-aster/share/aster/Stratego-Attributes.tbl [ aster | info ] compilation succeeded : [user/system] = [0.49s/0.06s] 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/hy4zpdjxh38igif7ap6hnqlvssnwspah-aster/share/aster/Stratego-Attributes.tbl [ aster | info ] compilation succeeded : [user/system] = [0.54s/0.03s] 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/hy4zpdjxh38igif7ap6hnqlvssnwspah-aster/share/aster/Stratego-Attributes.tbl [ aster | info ] compilation succeeded : [user/system] = [0.59s/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/hy4zpdjxh38igif7ap6hnqlvssnwspah-aster/share/aster/Stratego-Attributes.tbl [ aster | info ] compilation succeeded : [user/system] = [0.50s/0.05s] 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/hy4zpdjxh38igif7ap6hnqlvssnwspah-aster/share/aster/Stratego-Attributes.tbl [ aster | info ] compilation succeeded : [user/system] = [0.51s/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/hy4zpdjxh38igif7ap6hnqlvssnwspah-aster/share/aster/Stratego-Attributes.tbl [ aster | info ] compilation succeeded : [user/system] = [0.56s/0.05s] building circular-propconst.str ../trans/aster -i circular-propconst.astr -o circular-propconst.str --trace --verbose 2 [ strc | notice ] Parsing file circular-propconst.astr [ strc | notice ] Using syntax Stratego-Attributes [ strc | notice ] Using parse table: /nix/store/hy4zpdjxh38igif7ap6hnqlvssnwspah-aster/share/aster/Stratego-Attributes.tbl [ aster | info ] compilation succeeded : [user/system] = [0.57s/0.06s] 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/hy4zpdjxh38igif7ap6hnqlvssnwspah-aster/share/aster/Stratego-Attributes.tbl [ aster | info ] compilation succeeded : [user/system] = [0.49s/0.04s] building contributes-to.str ../trans/aster -i contributes-to.astr -o contributes-to.str --trace --verbose 2 [ strc | notice ] Parsing file contributes-to.astr [ strc | notice ] Using syntax Stratego-Attributes [ strc | notice ] Using parse table: /nix/store/hy4zpdjxh38igif7ap6hnqlvssnwspah-aster/share/aster/Stratego-Attributes.tbl [ aster | info ] compilation succeeded : [user/system] = [0.51s/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/hy4zpdjxh38igif7ap6hnqlvssnwspah-aster/share/aster/Stratego-Attributes.tbl [ aster | info ] compilation succeeded : [user/system] = [0.51s/0.05s] 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/hy4zpdjxh38igif7ap6hnqlvssnwspah-aster/share/aster/Stratego-Attributes.tbl [ aster | info ] compilation succeeded : [user/system] = [0.47s/0.04s] 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/hy4zpdjxh38igif7ap6hnqlvssnwspah-aster/share/aster/Stratego-Attributes.tbl [ aster | info ] compilation succeeded : [user/system] = [0.49s/0.04s] building lookup-unordered.str ../trans/aster -i lookup-unordered.astr -o lookup-unordered.str --trace --verbose 2 [ strc | notice ] Parsing file lookup-unordered.astr [ strc | notice ] Using syntax Stratego-Attributes [ strc | notice ] Using parse table: /nix/store/hy4zpdjxh38igif7ap6hnqlvssnwspah-aster/share/aster/Stratego-Attributes.tbl [ aster | info ] compilation succeeded : [user/system] = [0.53s/0.03s] building nested-decorator.str ../trans/aster -i nested-decorator.astr -o nested-decorator.str --trace --verbose 2 [ strc | notice ] Parsing file nested-decorator.astr [ strc | notice ] Using syntax Stratego-Attributes [ strc | notice ] Using parse table: /nix/store/hy4zpdjxh38igif7ap6hnqlvssnwspah-aster/share/aster/Stratego-Attributes.tbl [ aster | info ] compilation succeeded : [user/system] = [0.50s/0.04s] building repmin-anonymous.str ../trans/aster -i repmin-anonymous.astr -o repmin-anonymous.str --trace --verbose 2 [ strc | notice ] Parsing file repmin-anonymous.astr [ strc | notice ] Using syntax Stratego-Attributes [ strc | notice ] Using parse table: /nix/store/hy4zpdjxh38igif7ap6hnqlvssnwspah-aster/share/aster/Stratego-Attributes.tbl [ aster | info ] compilation succeeded : [user/system] = [0.51s/0.05s] building repmin-hag-decorated.str ../trans/aster -i repmin-hag-decorated.astr -o repmin-hag-decorated.str --trace --verbose 2 [ strc | notice ] Parsing file repmin-hag-decorated.astr [ strc | notice ] Using syntax Stratego-Attributes [ strc | notice ] Using parse table: /nix/store/hy4zpdjxh38igif7ap6hnqlvssnwspah-aster/share/aster/Stratego-Attributes.tbl [ aster | info ] compilation succeeded : [user/system] = [0.49s/0.06s] building repmin-hag.str ../trans/aster -i repmin-hag.astr -o repmin-hag.str --trace --verbose 2 [ strc | notice ] Parsing file repmin-hag.astr [ strc | notice ] Using syntax Stratego-Attributes [ strc | notice ] Using parse table: /nix/store/hy4zpdjxh38igif7ap6hnqlvssnwspah-aster/share/aster/Stratego-Attributes.tbl [ aster | info ] compilation succeeded : [user/system] = [0.49s/0.06s] 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/hy4zpdjxh38igif7ap6hnqlvssnwspah-aster/share/aster/Stratego-Attributes.tbl [ aster | info ] compilation succeeded : [user/system] = [0.53s/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/hy4zpdjxh38igif7ap6hnqlvssnwspah-aster/share/aster/Stratego-Attributes.tbl [ aster | info ] compilation succeeded : [user/system] = [0.50s/0.04s] building test-aster-internals.str ../trans/aster -i test-aster-internals.astr -o test-aster-internals.str --trace --verbose 2 [ strc | notice ] Parsing file test-aster-internals.astr [ strc | notice ] Using syntax Stratego-Attributes-in-Stratego [ strc | notice ] Using parse table: /nix/store/hy4zpdjxh38igif7ap6hnqlvssnwspah-aster/share/aster/Stratego-Attributes-in-Stratego.tbl [ aster | info ] compilation succeeded : [user/system] = [0.64s/0.06s] building test-attributes.str ../trans/aster -i test-attributes.astr -o test-attributes.str --verbose 2 [ strc | notice ] Parsing file test-attributes.astr [ strc | notice ] Using syntax Stratego-Attributes [ strc | notice ] Using parse table: /nix/store/hy4zpdjxh38igif7ap6hnqlvssnwspah-aster/share/aster/Stratego-Attributes.tbl [ aster | warning ] Pattern child equals pattern in attribute 'silly' "silly" [ aster | info ] compilation succeeded : [user/system] = [0.62s/0.06s] 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.56s/0.04s] [ 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.63s/0.25s] [ strc | info ] Compilation succeeded : [user/system] = [2.35s/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.60s/0.03s] [ strc | info ] Optimization succeeded -O 0 : [user/system] = [0.00s/0.00s] [ strc | info ] Back-end succeeded : [user/system] = [0.16s/0.01s] [ strc | info ] C compilation succeeded : [user/system] = [0.94s/0.22s] [ strc | info ] Compilation succeeded : [user/system] = [2.70s/0.26s] 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.88s/0.05s] [ strc | info ] Optimization succeeded -O 0 : [user/system] = [0.00s/0.00s] [ strc | info ] Back-end succeeded : [user/system] = [0.48s/0.03s] [ strc | info ] C compilation succeeded : [user/system] = [1.58s/0.34s] [ strc | info ] Compilation succeeded : [user/system] = [3.94s/0.42s] 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.51s/0.04s] [ strc | info ] Optimization succeeded -O 0 : [user/system] = [0.00s/0.00s] [ strc | info ] Back-end succeeded : [user/system] = [0.23s/0.02s] [ strc | info ] C compilation succeeded : [user/system] = [0.95s/0.23s] [ strc | info ] Compilation succeeded : [user/system] = [2.69s/0.29s] building circular-liveness-rewrites strc -i circular-liveness-rewrites.str -m main-`basename circular-liveness-rewrites` -la stratego-lib -la strc -I ../syntax -I ../trans -I ../runtime --format-check 0 -O 0 -Xcc -O0 >/dev/null [ strc | info ] Compiling 'circular-liveness-rewrites.str' [ strc | info ] Front-end succeeded : [user/system] = [3.02s/0.05s] [ strc | info ] Optimization succeeded -O 0 : [user/system] = [0.00s/0.00s] [ strc | info ] Back-end succeeded : [user/system] = [0.46s/0.02s] [ strc | info ] C compilation succeeded : [user/system] = [1.61s/0.28s] [ strc | info ] Compilation succeeded : [user/system] = [5.09s/0.35s] building circular-liveness strc -i circular-liveness.str -m main-`basename circular-liveness` -la stratego-lib -la strc -I ../syntax -I ../trans -I ../runtime --format-check 0 -O 0 -Xcc -O0 >/dev/null [ strc | info ] Compiling 'circular-liveness.str' [ strc | info ] Front-end succeeded : [user/system] = [1.68s/0.02s] [ strc | info ] Optimization succeeded -O 0 : [user/system] = [0.00s/0.00s] [ strc | info ] Back-end succeeded : [user/system] = [0.28s/0.02s] [ strc | info ] C compilation succeeded : [user/system] = [1.33s/0.25s] [ strc | info ] Compilation succeeded : [user/system] = [3.29s/0.29s] building circular-propconst strc -i circular-propconst.str -m main-`basename circular-propconst` -la stratego-lib -la strc -I ../syntax -I ../trans -I ../runtime --format-check 0 -O 0 -Xcc -O0 >/dev/null [ strc | info ] Compiling 'circular-propconst.str' [ strc | info ] Front-end succeeded : [user/system] = [1.73s/0.04s] [ strc | info ] Optimization succeeded -O 0 : [user/system] = [0.00s/0.00s] [ strc | info ] Back-end succeeded : [user/system] = [0.40s/0.04s] [ strc | info ] C compilation succeeded : [user/system] = [1.54s/0.29s] [ strc | info ] Compilation succeeded : [user/system] = [3.67s/0.37s] 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.48s/0.04s] [ strc | info ] Optimization succeeded -O 0 : [user/system] = [0.00s/0.00s] [ strc | info ] Back-end succeeded : [user/system] = [0.17s/0.02s] [ strc | info ] C compilation succeeded : [user/system] = [0.78s/0.22s] [ strc | info ] Compilation succeeded : [user/system] = [2.43s/0.28s] building contributes-to strc -i contributes-to.str -m main-`basename contributes-to` -la stratego-lib -la strc -I ../syntax -I ../trans -I ../runtime --format-check 0 -O 0 -Xcc -O0 >/dev/null [ strc | info ] Compiling 'contributes-to.str' [ strc | info ] Front-end succeeded : [user/system] = [1.52s/0.03s] [ strc | info ] Optimization succeeded -O 0 : [user/system] = [0.00s/0.00s] [ strc | info ] Back-end succeeded : [user/system] = [0.25s/0.01s] [ strc | info ] C compilation succeeded : [user/system] = [0.98s/0.26s] [ strc | info ] Compilation succeeded : [user/system] = [2.75s/0.30s] 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.58s/0.06s] [ strc | info ] Optimization succeeded -O 0 : [user/system] = [0.00s/0.00s] [ strc | info ] Back-end succeeded : [user/system] = [0.18s/0.00s] [ strc | info ] C compilation succeeded : [user/system] = [0.96s/0.23s] [ strc | info ] Compilation succeeded : [user/system] = [2.72s/0.29s] building empty strc -i empty.str -m main-`basename empty` -la stratego-lib -la strc -I ../syntax -I ../trans -I ../runtime --format-check 0 -O 0 -Xcc -O0 >/dev/null [ strc | info ] Compiling 'empty.str' [ strc | info ] Front-end succeeded : [user/system] = [1.42s/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.19s] [ strc | info ] Compilation succeeded : [user/system] = [1.72s/0.22s] building find-minimum strc -i find-minimum.str -m main-`basename find-minimum` -la stratego-lib -la strc -I ../syntax -I ../trans -I ../runtime --format-check 0 -O 0 -Xcc -O0 >/dev/null [ strc | info ] Compiling 'find-minimum.str' [ strc | info ] Front-end succeeded : [user/system] = [1.48s/0.03s] [ strc | info ] Optimization succeeded -O 0 : [user/system] = [0.00s/0.00s] [ strc | info ] Back-end succeeded : [user/system] = [0.16s/0.02s] [ strc | info ] C compilation succeeded : [user/system] = [0.72s/0.25s] [ strc | info ] Compilation succeeded : [user/system] = [2.36s/0.30s] building lookup-unordered strc -i lookup-unordered.str -m main-`basename lookup-unordered` -la stratego-lib -la strc -I ../syntax -I ../trans -I ../runtime --format-check 0 -O 0 -Xcc -O0 >/dev/null [ strc | info ] Compiling 'lookup-unordered.str' [ strc | info ] Front-end succeeded : [user/system] = [1.65s/0.04s] [ strc | info ] Optimization succeeded -O 0 : [user/system] = [0.00s/0.00s] [ strc | info ] Back-end succeeded : [user/system] = [0.32s/0.03s] [ strc | info ] C compilation succeeded : [user/system] = [1.32s/0.31s] [ strc | info ] Compilation succeeded : [user/system] = [3.29s/0.38s] building nested-decorator strc -i nested-decorator.str -m main-`basename nested-decorator` -la stratego-lib -la strc -I ../syntax -I ../trans -I ../runtime --format-check 0 -O 0 -Xcc -O0 >/dev/null [ strc | info ] Compiling 'nested-decorator.str' [ strc | info ] Front-end succeeded : [user/system] = [1.51s/0.03s] [ strc | info ] Optimization succeeded -O 0 : [user/system] = [0.00s/0.00s] [ strc | info ] Back-end succeeded : [user/system] = [0.19s/0.00s] [ strc | info ] C compilation succeeded : [user/system] = [0.82s/0.25s] [ strc | info ] Compilation succeeded : [user/system] = [2.52s/0.28s] building repmin-anonymous strc -i repmin-anonymous.str -m main-`basename repmin-anonymous` -la stratego-lib -la strc -I ../syntax -I ../trans -I ../runtime --format-check 0 -O 0 -Xcc -O0 >/dev/null [ strc | info ] Compiling 'repmin-anonymous.str' [ strc | info ] Front-end succeeded : [user/system] = [1.64s/0.05s] [ strc | info ] Optimization succeeded -O 0 : [user/system] = [0.00s/0.00s] [ strc | info ] Back-end succeeded : [user/system] = [0.15s/0.00s] [ strc | info ] C compilation succeeded : [user/system] = [0.83s/0.23s] [ strc | info ] Compilation succeeded : [user/system] = [2.62s/0.28s] 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.57s/0.05s] [ strc | info ] Optimization succeeded -O 0 : [user/system] = [0.00s/0.00s] [ strc | info ] Back-end succeeded : [user/system] = [0.18s/0.02s] [ strc | info ] C compilation succeeded : [user/system] = [1.01s/0.24s] [ strc | info ] Compilation succeeded : [user/system] = [2.77s/0.31s] building repmin-hag strc -i repmin-hag.str -m main-`basename repmin-hag` -la stratego-lib -la strc -I ../syntax -I ../trans -I ../runtime --format-check 0 -O 0 -Xcc -O0 >/dev/null [ strc | info ] Compiling 'repmin-hag.str' [ strc | info ] Front-end succeeded : [user/system] = [1.51s/0.04s] [ strc | info ] Optimization succeeded -O 0 : [user/system] = [0.00s/0.00s] [ strc | info ] Back-end succeeded : [user/system] = [0.20s/0.01s] [ strc | info ] C compilation succeeded : [user/system] = [0.84s/0.27s] [ strc | info ] Compilation succeeded : [user/system] = [2.55s/0.32s] building repmin-no-copy-rules strc -i repmin-no-copy-rules.str -m main-`basename repmin-no-copy-rules` -la stratego-lib -la strc -I ../syntax -I ../trans -I ../runtime --format-check 0 -O 0 -Xcc -O0 >/dev/null [ strc | info ] Compiling 'repmin-no-copy-rules.str' [ strc | info ] Front-end succeeded : [user/system] = [1.58s/0.06s] [ strc | info ] Optimization succeeded -O 0 : [user/system] = [0.00s/0.00s] [ strc | info ] Back-end succeeded : [user/system] = [0.17s/0.00s] [ strc | info ] C compilation succeeded : [user/system] = [0.93s/0.27s] [ strc | info ] Compilation succeeded : [user/system] = [2.68s/0.33s] building repmin strc -i repmin.str -m main-`basename repmin` -la stratego-lib -la strc -I ../syntax -I ../trans -I ../runtime --format-check 0 -O 0 -Xcc -O0 >/dev/null [ strc | info ] Compiling 'repmin.str' [ strc | info ] Front-end succeeded : [user/system] = [1.50s/0.04s] [ strc | info ] Optimization succeeded -O 0 : [user/system] = [0.00s/0.00s] [ strc | info ] Back-end succeeded : [user/system] = [0.20s/0.00s] [ strc | info ] C compilation succeeded : [user/system] = [0.81s/0.28s] [ strc | info ] Compilation succeeded : [user/system] = [2.51s/0.32s] building test-aster-internals strc -i test-aster-internals.str -m main-`basename test-aster-internals` -la stratego-lib -la strc -I ../syntax -I ../trans -I ../runtime --format-check 0 -O 0 -Xcc -O0 >/dev/null [ strc | info ] Compiling 'test-aster-internals.str' [ strc | info ] Front-end succeeded : [user/system] = [4.96s/0.12s] [ strc | info ] Optimization succeeded -O 0 : [user/system] = [0.00s/0.00s] [ strc | info ] Back-end succeeded : [user/system] = [0.51s/0.02s] [ strc | info ] C compilation succeeded : [user/system] = [1.69s/0.33s] [ strc | info ] Compilation succeeded : [user/system] = [7.16s/0.47s] building test-attributes strc -i test-attributes.str -m main-`basename test-attributes` -la stratego-lib -la strc -I ../syntax -I ../trans -I ../runtime --format-check 0 -O 0 -Xcc -O0 >/dev/null [ strc | info ] Compiling 'test-attributes.str' [ strc | info ] Front-end succeeded : [user/system] = [1.90s/0.02s] [ strc | info ] Optimization succeeded -O 0 : [user/system] = [0.00s/0.00s] [ strc | info ] Back-end succeeded : [user/system] = [0.80s/0.08s] [ strc | info ] C compilation succeeded : [user/system] = [2.39s/0.27s] [ strc | info ] Compilation succeeded : [user/system] = [5.09s/0.37s] building anonymous-rules.run ==== anonymous-rules ==== [rewr.] Fac.Fac(3) -> Mul(3,Fac) [rewr.] Fac.Mul.Fac(2) -> Mul(2,Fac) [rewr.] Fac.Mul.Mul.Fac(1) -> Mul(1,Fac) [rewr.] Fac.Mul.Mul.Mul.Fac(0) -> 1 [rewr.] Fac.Mul.Mul.Mul(1,1) -> 1 [rewr.] Fac.Mul.Mul(2,1) -> 2 [rewr.] Fac.Mul(3,2) -> 6 [rewr.] Fac(6) -> Mul(6,Fac) [rewr.] Mul.Fac(5) -> Mul(5,Fac) [rewr.] Mul.Mul.Fac(4) -> Mul(4,Fac) [rewr.] Mul.Mul.Mul.Fac(3) -> Mul(3,Fac) [rewr.] Mul.Mul.Mul.Mul.Fac(2) -> Mul(2,Fac) [rewr.] Mul.Mul.Mul.Mul.Mul.Fac(1) -> Mul(1,Fac) [rewr.] Mul.Mul.Mul.Mul.Mul.Mul.Fac(0) -> 1 [rewr.] Mul.Mul.Mul.Mul.Mul.Mul(1,1) -> 1 [rewr.] Mul.Mul.Mul.Mul.Mul(2,1) -> 2 [rewr.] Mul.Mul.Mul.Mul(3,2) -> 6 [rewr.] Mul.Mul.Mul(4,6) -> 24 [rewr.] Mul.Mul(5,24) -> 120 [rewr.] Mul(6,120) -> 720 720 building binary-numbers.run ==== binary-numbers ==== [trace] up-decorator0_2_1 @ Number(List,List) [trace] value @ Number(List,List) [trace] up-decorator0_2_1 @ Number.List(List,1) [trace] value @ Number.List(List,1) [trace] up-decorator0_2_1 @ Number.List.List(List,0) [trace] value @ Number.List.List(List,0) [trace] up-decorator0_2_1 @ Number.List.List.List(1) [trace] value @ Number.List.List.List(1) [trace] value @ Number.List.List.List(1) (failed) [trace] up-decorator0_2_1 @ Number.List.List.List.1 [trace] value @ Number.List.List.List.1 [trace] down-decorator0_2_1 @ Number.List.List.List.1 [trace] scale @ Number.List.List.List.1 [trace] scale @ Number.List.List.List.1 (failed) [trace] down-decorator0_2_1 @ Number.List.List.List(1) [trace] scale @ Number.List.List.List(1) [trace] down-decorator0_2_1 @ Number.List.List(List,0) [trace] scale @ Number.List.List(List,0) [trace] down-decorator0_2_1 @ Number.List(List,1) [trace] scale @ Number.List(List,1) [trace] up-decorator0_2_1 @ Number.List.List.0 [trace] value @ Number.List.List.0 [trace] up-decorator0_2_1 @ Number.List.1 [trace] value @ Number.List.1 [trace] down-decorator0_2_1 @ Number.List.1 [trace] scale @ Number.List.1 [trace] scale @ Number.List.1 (failed) [trace] up-decorator0_2_1 @ Number.List(List,1) [trace] value @ Number.List(List,1) [trace] up-decorator0_2_1 @ Number.List.List(0) [trace] value @ Number.List.List(0) [trace] value @ Number.List.List(0) (failed) [trace] up-decorator0_2_1 @ Number.List.List.0 [trace] value @ Number.List.List.0 [trace] up-decorator0_2_1 @ Number.List.1 [trace] value @ Number.List.1 [trace] down-decorator0_2_1 @ Number.List.1 [trace] scale @ Number.List.1 [trace] scale @ Number.List.1 (failed) [trace] down-decorator0_2_1 @ Number.List(List,1) [trace] scale @ Number.List(List,1) [trace] up-decorator0_2_1 @ Number.List(List,1) [trace] length @ Number.List(List,1) [trace] up-decorator0_2_1 @ Number.List.List(0) [trace] length @ Number.List.List(0) building caching.run ==== caching ==== [trace] get-cached-1 @ "root" 1("a_0"{"@2"},"a_0"{"@2"}) [trace] noop-decorator0_2_1 @ "root" [trace] get-cached-2 @ "root" 2("b_0"{"@3"},"b_0"{"@3"}) [trace] get-uncached-3 @ "root" [trace] get-uncached-3 @ "root" 3("c_0","d_0") [trace] uncached-decorator0_2_1 @ "root" [trace] get-uncached-4 @ "root" [trace] uncached-decorator0_2_1 @ "root" [trace] get-uncached-4 @ "root" 4("e_0"{"@4"},"f_0"{"@5"}) [trace] down-decorator0_2_1 @ "root" [trace] get-uncached-5 @ "root" [trace] down-decorator0_2_1 @ "root" [trace] get-uncached-5 @ "root" 5("g_0"{"@6"},"h_0"{"@7"}) [trace] down-decorator0_2_1 @ "root" [trace] uncached-decorator0_2_1 @ "root" [trace] get-uncached-6 @ "root" [trace] down-decorator0_2_1 @ "root" [trace] uncached-decorator0_2_1 @ "root" [trace] get-uncached-6 @ "root" 6("i_0"{"@8"},"j_0"{"@9"}) [trace] down-decorator0_2_1 @ "root" [trace] get-cached-7 @ "root" 7("k_0"{"@10"},"k_0"{"@10"}) [trace] uncached-decorator0_2_1 @ "root" [trace] down-decorator0_2_1 @ "root" [trace] get-cached-8 @ "root" [trace] uncached-decorator0_2_1 @ "root" 8("l_0"{"@11"},"l_0"{"@11"}) [trace] get-cached-9_0_1 @ "root" 9(("m_0"{"@12"},1{"@13"}),("m_0"{"@12"},1{"@13"})) [trace] cached-decorator0_2_1 @ "root" [trace] cached-decorator0_2_2 @ "root" [trace] get-cached-10 @ "root" [trace] cached-decorator0_2_1 @ "root" [trace] cached-decorator0_2_2 @ "root" 10("n_0"{"@14"},"n_0"{"@14"}) [trace] signature-decorator0_2_1 @ "root" [trace] cached-decorator0_2_2 @ "root" [trace] get-cached-11 @ "root" [trace] signature-decorator0_2_1 @ "root" [trace] cached-decorator0_2_2 @ "root" 11("o_0"{"@15"},"o_0"{"@15"}) [trace] cached-decorator0_2_2 @ "root" [trace] get-cached-12 @ "root" [trace] cached-decorator0_2_2 @ "root" 12("p_0"{"@16"},"p_0"{"@16"}) [trace] check-uncached-decorator0_2_1 @ "root" [trace] noop-decorator0_2_1 @ "root" [trace] no-premature-caching @ "root" building circular-basic.run ==== circular-basic ==== [trace] circular-decorator0_2_2 @ 1 [trace] plain-decorator0_2_1 @ 1 [trace] avg-others @ 1 [trace] circular-decorator0_2_2 @ 5 [trace] plain-decorator0_2_1 @ 5 [trace] avg-others @ 5 [trace] circular-decorator0_2_2 @ 1 [trace] circular-decorator0_2_2 @ 7 [trace] plain-decorator0_2_1 @ 7 [trace] avg-others @ 7 [trace] circular-decorator0_2_2 @ 1 [trace] circular-decorator0_2_2 @ 5 C=3.000000000000000e+00 B=2.000000000000000e+00 [trace] circular-decorator0_2_2 @ 7 [trace] plain-decorator0_2_1 @ 7 [trace] avg-others @ 7 [trace] circular-decorator0_2_2 @ 1 [trace] circular-decorator0_2_2 @ 5 [trace] plain-decorator0_2_1 @ 5 [trace] avg-others @ 5 [trace] circular-decorator0_2_2 @ 1 [trace] circular-decorator0_2_2 @ 7 B=2.000000000000000e+00 C=1.500000000000000e+00 A=1.700000000000000e+00 [trace] plain-decorator0_2_1 @ 1 [trace] circular-decorator0_2_2 @ 5 [trace] plain-decorator0_2_1 @ 5 [trace] avg-others @ 5 [trace] circular-decorator0_2_2 @ 1 [trace] circular-decorator0_2_2 @ 7 [trace] plain-decorator0_2_1 @ 7 [trace] avg-others @ 7 [trace] circular-decorator0_2_2 @ 1 [trace] circular-decorator0_2_2 @ 5 C=1.800000000000000e+00 B=1.700000000000000e+00 [trace] plain-decorator0_2_1 @ 5 [trace] circular-decorator0_2_2 @ 7 [trace] plain-decorator0_2_1 @ 7 [trace] avg-others @ 7 [trace] circular-decorator0_2_2 @ 1 [trace] circular-decorator0_2_2 @ 5 C=1.700000000000000e+00 [trace] plain-decorator0_2_1 @ 7 (1.700000000000000e+00,1.700000000000000e+00,1.700000000000000e+00) building circular-liveness-rewrites.run ==== circular-liveness-rewrites ==== [trace] is-dead @ Block.[]..While.Block.[]..Assign("x","value") [trace] defines @ Block.[]..While.Block.[]..Assign("x","value") [trace] circular-decorator0_2_2 @ Block.[]..While.Block.[]..Assign("x","value") [trace] plain-decorator0_2_1 @ Block.[]..While.Block.[]..Assign("x","value") [trace] live-after @ Block.[]..While.Block.[]..Assign("x","value") [trace] succ @ Block.[]..While.Block.[]..Assign("x","value") [trace] down-decorator0_2_1 @ Block.[]..While.Block.[]..Assign("x","value") [trace] succ-enclosing @ Block.[]..While.Block.[]..Assign("x","value") [trace] succ-enclosing @ Block.[]..While.Block.[]..Assign("x","value") (failed) [trace] down-decorator0_2_1 @ Block.[]..While.Block.[].[Assign] [trace] succ-enclosing @ Block.[]..While.Block.[].[Assign] [trace] succ-enclosing @ Block.[]..While.Block.[]..Assign("x","value") (failed) [trace] down-decorator0_2_1 @ Block.[]..While.Block.[Assign,Assign] [trace] succ-enclosing @ Block.[]..While.Block.[Assign,Assign] [trace] succ-enclosing @ Block.[]..While.Block.[]..Assign("x","value") (failed) [trace] down-decorator0_2_1 @ Block.[]..While.Block([..]) [trace] succ-enclosing @ Block.[]..While.Block([..]) [trace] map-decorator0_2_1 @ ?.[While] [trace] circular-decorator0_2_2 @ Block.[]..While("x",Block) [trace] plain-decorator0_2_1 @ Block.[]..While("x",Block) [trace] live-before @ Block.[]..While("x",Block) [trace] uses @ Block.[]..While("x",Block) [trace] circular-decorator0_2_2 @ Block.[]..While("x",Block) [trace] plain-decorator0_2_1 @ Block.[]..While("x",Block) [trace] live-after @ Block.[]..While("x",Block) [trace] succ @ Block.[]..While("x",Block) [trace] map-decorator0_2_1 @ ?.[Block,While] [trace] circular-decorator0_2_2 @ Block.[]..While.Block([..]) [trace] plain-decorator0_2_1 @ Block.[]..While.Block([..]) [trace] live-before @ Block.[]..While.Block([..]) [trace] uses @ Block.[]..While.Block([..]) [trace] circular-decorator0_2_2 @ Block.[]..While.Block([..]) [trace] plain-decorator0_2_1 @ Block.[]..While.Block([..]) [trace] live-after @ Block.[]..While.Block([..]) [trace] succ @ Block.[]..While.Block([..]) [trace] map-decorator0_2_1 @ ?.[Assign] [trace] circular-decorator0_2_2 @ Block.[]..While.Block.[].Assign("x","bogus3") [trace] plain-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x","bogus3") [trace] live-before @ Block.[]..While.Block.[].Assign("x","bogus3") [trace] uses @ Block.[]..While.Block.[].Assign("x","bogus3") [trace] circular-decorator0_2_2 @ Block.[]..While.Block.[].Assign("x","bogus3") [trace] plain-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x","bogus3") [trace] live-after @ Block.[]..While.Block.[].Assign("x","bogus3") [trace] succ @ Block.[]..While.Block.[].Assign("x","bogus3") [trace] down-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x","bogus3") [trace] succ-enclosing @ Block.[]..While.Block.[].Assign("x","bogus3") [trace] map-decorator0_2_1 @ ?.[Assign] [trace] circular-decorator0_2_2 @ Block.[]..While.Block.[]..Assign("x","value") [trace] plain-decorator0_2_1 @ Block.[]..While.Block.[]..Assign("x","value") [trace] live-before @ Block.[]..While.Block.[]..Assign("x","value") [trace] uses @ Block.[]..While.Block.[]..Assign("x","value") [trace] circular-decorator0_2_2 @ Block.[]..While.Block.[]..Assign("x","value") [trace] is-dead @ []."value" [trace] defines @ []."value" [trace] circular-decorator0_2_2 @ []."value" [trace] plain-decorator0_2_1 @ []."value" [trace] live-after @ []."value" [trace] succ @ []."value" [trace] down-decorator0_2_1 @ []."value" [trace] succ-enclosing @ []."value" [trace] succ-enclosing @ []."value" (failed) [trace] down-decorator0_2_1 @ ["value"] [trace] succ-enclosing @ ["value"] [trace] map-decorator0_2_1 @ ?.[] [trace] defines @ Block.[]..While.Block.[].Assign("x","bogus3") [trace] is-dead @ [].."value" [trace] defines @ [].."value" [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-after @ [].."value" [trace] succ @ [].."value" [trace] down-decorator0_2_1 @ [].."value" [trace] succ-enclosing @ [].."value" [trace] succ-enclosing @ [].."value" (failed) [trace] down-decorator0_2_1 @ [].["value"] [trace] succ-enclosing @ [].["value"] [trace] succ-enclosing @ [].."value" (failed) [trace] down-decorator0_2_1 @ ["bogus3","value"] [trace] succ-enclosing @ ["bogus3","value"] [trace] map-decorator0_2_1 @ ?.[] [trace] is-dead @ []."bogus3" [trace] defines @ []."bogus3" [trace] circular-decorator0_2_2 @ []."bogus3" [trace] plain-decorator0_2_1 @ []."bogus3" [trace] live-after @ []."bogus3" [trace] succ @ []."bogus3" [trace] down-decorator0_2_1 @ []."bogus3" [trace] succ-enclosing @ []."bogus3" [trace] map-decorator0_2_1 @ ?.["value"] [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-before @ [].."value" [trace] uses @ [].."value" [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-after @ [].."value" [trace] map-decorator0_2_1 @ ?.[] [trace] defines @ Block.[]..While.Block([..]) [trace] circular-decorator0_2_2 @ Block.[]..While("x",Block) [trace] is-dead @ [].."value" [trace] defines @ [].."value" [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-after @ [].."value" [trace] succ @ [].."value" [trace] down-decorator0_2_1 @ [].."value" [trace] succ-enclosing @ [].."value" [trace] succ-enclosing @ [].."value" (failed) [trace] down-decorator0_2_1 @ [].["value"] [trace] succ-enclosing @ [].["value"] [trace] succ-enclosing @ [].."value" (failed) [trace] down-decorator0_2_1 @ ["bogus3","value"] [trace] succ-enclosing @ ["bogus3","value"] [trace] map-decorator0_2_1 @ ?.[] [trace] is-dead @ []."bogus3" [trace] defines @ []."bogus3" [trace] circular-decorator0_2_2 @ []."bogus3" [trace] plain-decorator0_2_1 @ []."bogus3" [trace] live-after @ []."bogus3" [trace] succ @ []."bogus3" [trace] down-decorator0_2_1 @ []."bogus3" [trace] succ-enclosing @ []."bogus3" [trace] map-decorator0_2_1 @ ?.["value"] [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-before @ [].."value" [trace] uses @ [].."value" [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-after @ [].."value" [trace] map-decorator0_2_1 @ ?.[] [trace] defines @ Block.[]..While("x",Block) [trace] is-dead @ [].."value" [trace] defines @ [].."value" [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-after @ [].."value" [trace] succ @ [].."value" [trace] down-decorator0_2_1 @ [].."value" [trace] succ-enclosing @ [].."value" [trace] succ-enclosing @ [].."value" (failed) [trace] down-decorator0_2_1 @ []..["value"] [trace] succ-enclosing @ []..["value"] [trace] succ-enclosing @ [].."value" (failed) [trace] down-decorator0_2_1 @ [].["bogus3","value"] [trace] succ-enclosing @ [].["bogus3","value"] [trace] succ-enclosing @ [].."value" (failed) [trace] down-decorator0_2_1 @ ["x","bogus3","value"] [trace] succ-enclosing @ ["x","bogus3","value"] [trace] map-decorator0_2_1 @ ?.[] [trace] is-dead @ [].."bogus3" [trace] defines @ [].."bogus3" [trace] circular-decorator0_2_2 @ [].."bogus3" [trace] plain-decorator0_2_1 @ [].."bogus3" [trace] live-after @ [].."bogus3" [trace] succ @ [].."bogus3" [trace] down-decorator0_2_1 @ [].."bogus3" [trace] succ-enclosing @ [].."bogus3" [trace] map-decorator0_2_1 @ ?.["value"] [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-before @ [].."value" [trace] uses @ [].."value" [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-after @ [].."value" [trace] map-decorator0_2_1 @ ?.[] [trace] is-dead @ []."x" [trace] defines @ []."x" [trace] circular-decorator0_2_2 @ []."x" [trace] plain-decorator0_2_1 @ []."x" [trace] live-after @ []."x" [trace] succ @ []."x" [trace] down-decorator0_2_1 @ []."x" [trace] succ-enclosing @ []."x" [trace] map-decorator0_2_1 @ ?.["bogus3"] [trace] circular-decorator0_2_2 @ [].."bogus3" [trace] plain-decorator0_2_1 @ [].."bogus3" [trace] live-before @ [].."bogus3" [trace] uses @ [].."bogus3" [trace] circular-decorator0_2_2 @ [].."bogus3" [trace] plain-decorator0_2_1 @ [].."bogus3" [trace] live-after @ [].."bogus3" [trace] map-decorator0_2_1 @ ?.["value"] [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-before @ [].."value" [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-after @ [].."value" [trace] map-decorator0_2_1 @ ?.[] [trace] plain-decorator0_2_1 @ Block.[]..While.Block.[]..Assign("x","value") [trace] is-dead @ Block.[]..While.Block.[].Assign("x","bogus3") [trace] circular-decorator0_2_2 @ Block.[]..While.Block.[].Assign("x","bogus3") [trace] plain-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x","bogus3") [trace] live-after @ Block.[]..While.Block.[].Assign("x","bogus3") [trace] map-decorator0_2_1 @ ?.[Assign] [trace] circular-decorator0_2_2 @ Block.[]..While.Block.[]..Assign("x","value") [trace] plain-decorator0_2_1 @ Block.[]..While.Block.[]..Assign("x","value") [trace] live-before @ Block.[]..While.Block.[]..Assign("x","value") [trace] circular-decorator0_2_2 @ Block.[]..While.Block.[]..Assign("x","value") [trace] is-dead @ [].."value" [trace] defines @ [].."value" [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-after @ [].."value" [trace] succ @ [].."value" [trace] down-decorator0_2_1 @ [].."value" [trace] succ-enclosing @ [].."value" [trace] succ-enclosing @ [].."value" (failed) [trace] down-decorator0_2_1 @ [].["value"] [trace] succ-enclosing @ [].["value"] [trace] succ-enclosing @ [].."value" (failed) [trace] down-decorator0_2_1 @ ["bogus3","value"] [trace] succ-enclosing @ ["bogus3","value"] [trace] map-decorator0_2_1 @ ?.[] [trace] is-dead @ []."bogus3" [trace] defines @ []."bogus3" [trace] circular-decorator0_2_2 @ []."bogus3" [trace] plain-decorator0_2_1 @ []."bogus3" [trace] live-after @ []."bogus3" [trace] succ @ []."bogus3" [trace] down-decorator0_2_1 @ []."bogus3" [trace] succ-enclosing @ []."bogus3" [trace] map-decorator0_2_1 @ ?.["value"] [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-before @ [].."value" [trace] uses @ [].."value" [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-after @ [].."value" [trace] map-decorator0_2_1 @ ?.[] [trace] plain-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x","bogus3") [rewr.] Block.[]..While.Block.[Assign,Assign] -> [Assign] [trace] is-dead @ Block.[]..While.Block.[].Assign("x","value") [trace] defines @ Block.[]..While.Block.[].Assign("x","value") [trace] circular-decorator0_2_2 @ Block.[]..While.Block.[].Assign("x","value") [trace] plain-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x","value") [trace] live-after @ Block.[]..While.Block.[].Assign("x","value") [trace] succ @ Block.[]..While.Block.[].Assign("x","value") [trace] down-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x","value") [trace] succ-enclosing @ Block.[]..While.Block.[].Assign("x","value") [trace] succ-enclosing @ Block.[]..While.Block.[].Assign("x","value") (failed) [trace] down-decorator0_2_1 @ Block.[]..While.Block.[Assign] [trace] succ-enclosing @ Block.[]..While.Block.[Assign] [trace] succ-enclosing @ Block.[]..While.Block.[].Assign("x","value") (failed) [trace] down-decorator0_2_1 @ Block.[]..While.Block([_]) [trace] succ-enclosing @ Block.[]..While.Block([_]) [trace] map-decorator0_2_1 @ ?.[While] [trace] circular-decorator0_2_2 @ Block.[]..While("x",Block) [trace] plain-decorator0_2_1 @ Block.[]..While("x",Block) [trace] live-before @ Block.[]..While("x",Block) [trace] uses @ Block.[]..While("x",Block) [trace] circular-decorator0_2_2 @ Block.[]..While("x",Block) [trace] plain-decorator0_2_1 @ Block.[]..While("x",Block) [trace] live-after @ Block.[]..While("x",Block) [trace] succ @ Block.[]..While("x",Block) [trace] map-decorator0_2_1 @ ?.[Block,While] [trace] circular-decorator0_2_2 @ Block.[]..While.Block([_]) [trace] plain-decorator0_2_1 @ Block.[]..While.Block([_]) [trace] live-before @ Block.[]..While.Block([_]) [trace] uses @ Block.[]..While.Block([_]) [trace] circular-decorator0_2_2 @ Block.[]..While.Block([_]) [trace] plain-decorator0_2_1 @ Block.[]..While.Block([_]) [trace] live-after @ Block.[]..While.Block([_]) [trace] succ @ Block.[]..While.Block([_]) [trace] map-decorator0_2_1 @ ?.[Assign] [trace] circular-decorator0_2_2 @ Block.[]..While.Block.[].Assign("x","value") [trace] plain-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x","value") [trace] live-before @ Block.[]..While.Block.[].Assign("x","value") [trace] uses @ Block.[]..While.Block.[].Assign("x","value") [trace] circular-decorator0_2_2 @ Block.[]..While.Block.[].Assign("x","value") [trace] is-dead @ []."value" [trace] defines @ []."value" [trace] circular-decorator0_2_2 @ []."value" [trace] plain-decorator0_2_1 @ []."value" [trace] live-after @ []."value" [trace] succ @ []."value" [trace] down-decorator0_2_1 @ []."value" [trace] succ-enclosing @ []."value" [trace] succ-enclosing @ []."value" (failed) [trace] down-decorator0_2_1 @ ["value"] [trace] succ-enclosing @ ["value"] [trace] map-decorator0_2_1 @ ?.[] [trace] defines @ Block.[]..While.Block([_]) [trace] circular-decorator0_2_2 @ Block.[]..While("x",Block) [trace] is-dead @ []."value" [trace] defines @ []."value" [trace] circular-decorator0_2_2 @ []."value" [trace] plain-decorator0_2_1 @ []."value" [trace] live-after @ []."value" [trace] succ @ []."value" [trace] down-decorator0_2_1 @ []."value" [trace] succ-enclosing @ []."value" [trace] succ-enclosing @ []."value" (failed) [trace] down-decorator0_2_1 @ ["value"] [trace] succ-enclosing @ ["value"] [trace] map-decorator0_2_1 @ ?.[] [trace] defines @ Block.[]..While("x",Block) [trace] is-dead @ [].."value" [trace] defines @ [].."value" [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-after @ [].."value" [trace] succ @ [].."value" [trace] down-decorator0_2_1 @ [].."value" [trace] succ-enclosing @ [].."value" [trace] succ-enclosing @ [].."value" (failed) [trace] down-decorator0_2_1 @ [].["value"] [trace] succ-enclosing @ [].["value"] [trace] succ-enclosing @ [].."value" (failed) [trace] down-decorator0_2_1 @ ["x","value"] [trace] succ-enclosing @ ["x","value"] [trace] map-decorator0_2_1 @ ?.[] [trace] is-dead @ []."x" [trace] defines @ []."x" [trace] circular-decorator0_2_2 @ []."x" [trace] plain-decorator0_2_1 @ []."x" [trace] live-after @ []."x" [trace] succ @ []."x" [trace] down-decorator0_2_1 @ []."x" [trace] succ-enclosing @ []."x" [trace] map-decorator0_2_1 @ ?.["value"] [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-before @ [].."value" [trace] uses @ [].."value" [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-after @ [].."value" [trace] map-decorator0_2_1 @ ?.[] [trace] plain-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x","value") [trace] is-dead @ Block.[]..Return("x") [trace] defines @ Block.[]..Return("x") [trace] circular-decorator0_2_2 @ Block.[]..Return("x") [trace] plain-decorator0_2_1 @ Block.[]..Return("x") [trace] live-after @ Block.[]..Return("x") [trace] succ @ Block.[]..Return("x") [trace] map-decorator0_2_1 @ ?.[] [trace] is-dead @ Block.[]..While("x",Block) [trace] circular-decorator0_2_2 @ Block.[]..While("x",Block) [trace] plain-decorator0_2_1 @ Block.[]..While("x",Block) [trace] live-after @ Block.[]..While("x",Block) [trace] map-decorator0_2_1 @ ?.[Block,While] [trace] circular-decorator0_2_2 @ Block.[]..While.Block([_]) [trace] plain-decorator0_2_1 @ Block.[]..While.Block([_]) [trace] live-before @ Block.[]..While.Block([_]) [trace] circular-decorator0_2_2 @ Block.[]..While.Block([_]) [trace] plain-decorator0_2_1 @ Block.[]..While.Block([_]) [trace] live-after @ Block.[]..While.Block([_]) [trace] map-decorator0_2_1 @ ?.[Assign] [trace] circular-decorator0_2_2 @ Block.[]..While.Block.[].Assign("x","value") [trace] plain-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x","value") [trace] live-before @ Block.[]..While.Block.[].Assign("x","value") [trace] circular-decorator0_2_2 @ Block.[]..While.Block.[].Assign("x","value") [trace] is-dead @ []."value" [trace] defines @ []."value" [trace] circular-decorator0_2_2 @ []."value" [trace] plain-decorator0_2_1 @ []."value" [trace] live-after @ []."value" [trace] succ @ []."value" [trace] down-decorator0_2_1 @ []."value" [trace] succ-enclosing @ []."value" [trace] succ-enclosing @ []."value" (failed) [trace] down-decorator0_2_1 @ ["value"] [trace] succ-enclosing @ ["value"] [trace] map-decorator0_2_1 @ ?.[] [trace] circular-decorator0_2_2 @ Block.[]..While("x",Block) [trace] plain-decorator0_2_1 @ Block.[]..While("x",Block) [trace] live-before @ Block.[]..While("x",Block) [trace] circular-decorator0_2_2 @ Block.[]..While("x",Block) [trace] is-dead @ []."value" [trace] defines @ []."value" [trace] circular-decorator0_2_2 @ []."value" [trace] plain-decorator0_2_1 @ []."value" [trace] live-after @ []."value" [trace] succ @ []."value" [trace] down-decorator0_2_1 @ []."value" [trace] succ-enclosing @ []."value" [trace] succ-enclosing @ []."value" (failed) [trace] down-decorator0_2_1 @ ["value"] [trace] succ-enclosing @ ["value"] [trace] map-decorator0_2_1 @ ?.[] [trace] is-dead @ [].."value" [trace] defines @ [].."value" [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-after @ [].."value" [trace] succ @ [].."value" [trace] down-decorator0_2_1 @ [].."value" [trace] succ-enclosing @ [].."value" [trace] succ-enclosing @ [].."value" (failed) [trace] down-decorator0_2_1 @ [].["value"] [trace] succ-enclosing @ [].["value"] [trace] succ-enclosing @ [].."value" (failed) [trace] down-decorator0_2_1 @ ["x","value"] [trace] succ-enclosing @ ["x","value"] [trace] map-decorator0_2_1 @ ?.[] [trace] is-dead @ []."x" [trace] defines @ []."x" [trace] circular-decorator0_2_2 @ []."x" [trace] plain-decorator0_2_1 @ []."x" [trace] live-after @ []."x" [trace] succ @ []."x" [trace] down-decorator0_2_1 @ []."x" [trace] succ-enclosing @ []."x" [trace] map-decorator0_2_1 @ ?.["value"] [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-before @ [].."value" [trace] uses @ [].."value" [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-after @ [].."value" [trace] map-decorator0_2_1 @ ?.[] [trace] plain-decorator0_2_1 @ Block.[]..While("x",Block) [trace] is-dead @ Block.[]..Assign("x","value") [trace] defines @ Block.[]..Assign("x","value") [trace] circular-decorator0_2_2 @ Block.[]..Assign("x","value") [trace] plain-decorator0_2_1 @ Block.[]..Assign("x","value") [trace] live-after @ Block.[]..Assign("x","value") [trace] succ @ Block.[]..Assign("x","value") [trace] down-decorator0_2_1 @ Block.[]..Assign("x","value") [trace] succ-enclosing @ Block.[]..Assign("x","value") [trace] map-decorator0_2_1 @ ?.[While] [trace] circular-decorator0_2_2 @ Block.[]..While("x",Block) [trace] plain-decorator0_2_1 @ Block.[]..While("x",Block) [trace] live-before @ Block.[]..While("x",Block) [trace] circular-decorator0_2_2 @ Block.[]..While("x",Block) [trace] is-dead @ [].."value" [trace] defines @ [].."value" [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-after @ [].."value" [trace] succ @ [].."value" [trace] down-decorator0_2_1 @ [].."value" [trace] succ-enclosing @ [].."value" [trace] succ-enclosing @ [].."value" (failed) [trace] down-decorator0_2_1 @ [].["value"] [trace] succ-enclosing @ [].["value"] [trace] succ-enclosing @ [].."value" (failed) [trace] down-decorator0_2_1 @ ["x","value"] [trace] succ-enclosing @ ["x","value"] [trace] map-decorator0_2_1 @ ?.[] [trace] is-dead @ []."x" [trace] defines @ []."x" [trace] circular-decorator0_2_2 @ []."x" [trace] plain-decorator0_2_1 @ []."x" [trace] live-after @ []."x" [trace] succ @ []."x" [trace] down-decorator0_2_1 @ []."x" [trace] succ-enclosing @ []."x" [trace] map-decorator0_2_1 @ ?.["value"] [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-before @ [].."value" [trace] uses @ [].."value" [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-after @ [].."value" [trace] map-decorator0_2_1 @ ?.[] [trace] plain-decorator0_2_1 @ Block.[]..Assign("x","value") [trace] is-dead @ Block.[]..Assign("bogus2","bogus1") [trace] defines @ Block.[]..Assign("bogus2","bogus1") [trace] circular-decorator0_2_2 @ Block.[]..Assign("bogus2","bogus1") [trace] plain-decorator0_2_1 @ Block.[]..Assign("bogus2","bogus1") [trace] live-after @ Block.[]..Assign("bogus2","bogus1") [trace] succ @ Block.[]..Assign("bogus2","bogus1") [trace] down-decorator0_2_1 @ Block.[]..Assign("bogus2","bogus1") [trace] succ-enclosing @ Block.[]..Assign("bogus2","bogus1") [trace] map-decorator0_2_1 @ ?.[Assign] [trace] circular-decorator0_2_2 @ Block.[]..Assign("x","value") [trace] plain-decorator0_2_1 @ Block.[]..Assign("x","value") [trace] live-before @ Block.[]..Assign("x","value") [trace] uses @ Block.[]..Assign("x","value") [trace] circular-decorator0_2_2 @ Block.[]..Assign("x","value") [trace] is-dead @ []."value" [trace] defines @ []."value" [trace] circular-decorator0_2_2 @ []."value" [trace] plain-decorator0_2_1 @ []."value" [trace] live-after @ []."value" [trace] succ @ []."value" [trace] down-decorator0_2_1 @ []."value" [trace] succ-enclosing @ []."value" [trace] succ-enclosing @ []."value" (failed) [trace] down-decorator0_2_1 @ ["value"] [trace] succ-enclosing @ ["value"] [trace] map-decorator0_2_1 @ ?.[] [trace] plain-decorator0_2_1 @ Block.[]..Assign("bogus2","bogus1") [rewr.] Block.[].[Assign,Assign,While,_] -> [Assign,While,Return] [trace] is-dead @ Block.[]..Assign("x","value") [trace] defines @ Block.[]..Assign("x","value") [trace] circular-decorator0_2_2 @ Block.[]..Assign("x","value") [trace] plain-decorator0_2_1 @ Block.[]..Assign("x","value") [trace] live-after @ Block.[]..Assign("x","value") [trace] succ @ Block.[]..Assign("x","value") [trace] down-decorator0_2_1 @ Block.[]..Assign("x","value") [trace] succ-enclosing @ Block.[]..Assign("x","value") [trace] map-decorator0_2_1 @ ?.[While] [trace] circular-decorator0_2_2 @ Block.[]..While("x",Block) [trace] plain-decorator0_2_1 @ Block.[]..While("x",Block) [trace] live-before @ Block.[]..While("x",Block) [trace] uses @ Block.[]..While("x",Block) [trace] circular-decorator0_2_2 @ Block.[]..While("x",Block) [trace] plain-decorator0_2_1 @ Block.[]..While("x",Block) [trace] live-after @ Block.[]..While("x",Block) [trace] succ @ Block.[]..While("x",Block) [trace] down-decorator0_2_1 @ Block.[]..While.Block([_]) [trace] succ-enclosing @ Block.[]..While.Block([_]) [trace] map-decorator0_2_1 @ ?.[Block,While] [trace] circular-decorator0_2_2 @ Block.[]..While.Block([_]) [trace] plain-decorator0_2_1 @ Block.[]..While.Block([_]) [trace] live-before @ Block.[]..While.Block([_]) [trace] uses @ Block.[]..While.Block([_]) [trace] circular-decorator0_2_2 @ Block.[]..While.Block([_]) [trace] plain-decorator0_2_1 @ Block.[]..While.Block([_]) [trace] live-after @ Block.[]..While.Block([_]) [trace] succ @ Block.[]..While.Block([_]) [trace] map-decorator0_2_1 @ ?.[Assign] [trace] circular-decorator0_2_2 @ Block.[]..While.Block.[].Assign("x","value") [trace] plain-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x","value") [trace] live-before @ Block.[]..While.Block.[].Assign("x","value") [trace] uses @ Block.[]..While.Block.[].Assign("x","value") [trace] circular-decorator0_2_2 @ Block.[]..While.Block.[].Assign("x","value") [trace] plain-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x","value") [trace] live-after @ Block.[]..While.Block.[].Assign("x","value") [trace] succ @ Block.[]..While.Block.[].Assign("x","value") [trace] down-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x","value") [trace] succ-enclosing @ Block.[]..While.Block.[].Assign("x","value") [trace] succ-enclosing @ Block.[]..While.Block.[].Assign("x","value") (failed) [trace] down-decorator0_2_1 @ Block.[]..While.Block.[Assign] [trace] succ-enclosing @ Block.[]..While.Block.[Assign] [trace] succ-enclosing @ Block.[]..While.Block.[].Assign("x","value") (failed) [trace] map-decorator0_2_1 @ ?.[While] [trace] circular-decorator0_2_2 @ Block.[]..While("x",Block) [trace] defines @ Block.[]..While.Block.[].Assign("x","value") [trace] is-dead @ []."value" [trace] defines @ []."value" [trace] circular-decorator0_2_2 @ []."value" [trace] plain-decorator0_2_1 @ []."value" [trace] live-after @ []."value" [trace] succ @ []."value" [trace] down-decorator0_2_1 @ []."value" [trace] succ-enclosing @ []."value" [trace] succ-enclosing @ []."value" (failed) [trace] down-decorator0_2_1 @ ["value"] [trace] succ-enclosing @ ["value"] [trace] map-decorator0_2_1 @ ?.[] [trace] defines @ Block.[]..While.Block([_]) [trace] circular-decorator0_2_2 @ Block.[]..While("x",Block) [trace] is-dead @ []."value" [trace] defines @ []."value" [trace] circular-decorator0_2_2 @ []."value" [trace] plain-decorator0_2_1 @ []."value" [trace] live-after @ []."value" [trace] succ @ []."value" [trace] down-decorator0_2_1 @ []."value" [trace] succ-enclosing @ []."value" [trace] succ-enclosing @ []."value" (failed) [trace] down-decorator0_2_1 @ ["value"] [trace] succ-enclosing @ ["value"] [trace] map-decorator0_2_1 @ ?.[] [trace] defines @ Block.[]..While("x",Block) [trace] is-dead @ [].."value" [trace] defines @ [].."value" [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-after @ [].."value" [trace] succ @ [].."value" [trace] down-decorator0_2_1 @ [].."value" [trace] succ-enclosing @ [].."value" [trace] succ-enclosing @ [].."value" (failed) [trace] down-decorator0_2_1 @ [].["value"] [trace] succ-enclosing @ [].["value"] [trace] succ-enclosing @ [].."value" (failed) [trace] down-decorator0_2_1 @ ["x","value"] [trace] succ-enclosing @ ["x","value"] [trace] map-decorator0_2_1 @ ?.[] [trace] is-dead @ []."x" [trace] defines @ []."x" [trace] circular-decorator0_2_2 @ []."x" [trace] plain-decorator0_2_1 @ []."x" [trace] live-after @ []."x" [trace] succ @ []."x" [trace] down-decorator0_2_1 @ []."x" [trace] succ-enclosing @ []."x" [trace] map-decorator0_2_1 @ ?.["value"] [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-before @ [].."value" [trace] uses @ [].."value" [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-after @ [].."value" [trace] map-decorator0_2_1 @ ?.[] [trace] plain-decorator0_2_1 @ Block.[]..Assign("x","value") [trace] is-dead @ Block.[].Assign("bogus1","value") [trace] defines @ Block.[].Assign("bogus1","value") [trace] circular-decorator0_2_2 @ Block.[].Assign("bogus1","value") [trace] plain-decorator0_2_1 @ Block.[].Assign("bogus1","value") [trace] live-after @ Block.[].Assign("bogus1","value") [trace] succ @ Block.[].Assign("bogus1","value") [trace] down-decorator0_2_1 @ Block.[].Assign("bogus1","value") [trace] succ-enclosing @ Block.[].Assign("bogus1","value") [trace] map-decorator0_2_1 @ ?.[Assign] [trace] circular-decorator0_2_2 @ Block.[]..Assign("bogus2","bogus1") [trace] plain-decorator0_2_1 @ Block.[]..Assign("bogus2","bogus1") [trace] live-before @ Block.[]..Assign("bogus2","bogus1") [trace] uses @ Block.[]..Assign("bogus2","bogus1") [trace] circular-decorator0_2_2 @ Block.[]..Assign("bogus2","bogus1") [trace] is-dead @ [].."value" [trace] defines @ [].."value" [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-after @ [].."value" [trace] succ @ [].."value" [trace] down-decorator0_2_1 @ [].."value" [trace] succ-enclosing @ [].."value" [trace] succ-enclosing @ [].."value" (failed) [trace] down-decorator0_2_1 @ [].["value"] [trace] succ-enclosing @ [].["value"] [trace] succ-enclosing @ [].."value" (failed) [trace] down-decorator0_2_1 @ ["bogus1","value"] [trace] succ-enclosing @ ["bogus1","value"] [trace] map-decorator0_2_1 @ ?.[] [trace] is-dead @ []."bogus1" [trace] defines @ []."bogus1" [trace] circular-decorator0_2_2 @ []."bogus1" [trace] plain-decorator0_2_1 @ []."bogus1" [trace] live-after @ []."bogus1" [trace] succ @ []."bogus1" [trace] down-decorator0_2_1 @ []."bogus1" [trace] succ-enclosing @ []."bogus1" [trace] map-decorator0_2_1 @ ?.["value"] [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-before @ [].."value" [trace] uses @ [].."value" [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-after @ [].."value" [trace] map-decorator0_2_1 @ ?.[] [trace] plain-decorator0_2_1 @ Block.[].Assign("bogus1","value") [trace] is-dead @ Block.[]..While.Block.[].Assign("x","value") [trace] defines @ Block.[]..While.Block.[].Assign("x","value") [trace] circular-decorator0_2_2 @ Block.[]..While.Block.[].Assign("x","value") [trace] plain-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x","value") [trace] live-after @ Block.[]..While.Block.[].Assign("x","value") [trace] succ @ Block.[]..While.Block.[].Assign("x","value") [trace] down-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x","value") [trace] succ-enclosing @ Block.[]..While.Block.[].Assign("x","value") [trace] succ-enclosing @ Block.[]..While.Block.[].Assign("x","value") (failed) [trace] down-decorator0_2_1 @ Block.[]..While.Block.[Assign] [trace] succ-enclosing @ Block.[]..While.Block.[Assign] [trace] succ-enclosing @ Block.[]..While.Block.[].Assign("x","value") (failed) [trace] down-decorator0_2_1 @ Block.[]..While.Block([_]) [trace] succ-enclosing @ Block.[]..While.Block([_]) [trace] map-decorator0_2_1 @ ?.[While] [trace] circular-decorator0_2_2 @ Block.[]..While("x",Block) [trace] plain-decorator0_2_1 @ Block.[]..While("x",Block) [trace] live-before @ Block.[]..While("x",Block) [trace] uses @ Block.[]..While("x",Block) [trace] circular-decorator0_2_2 @ Block.[]..While("x",Block) [trace] plain-decorator0_2_1 @ Block.[]..While("x",Block) [trace] live-after @ Block.[]..While("x",Block) [trace] succ @ Block.[]..While("x",Block) [trace] map-decorator0_2_1 @ ?.[Block,While] [trace] circular-decorator0_2_2 @ Block.[]..While.Block([_]) [trace] plain-decorator0_2_1 @ Block.[]..While.Block([_]) [trace] live-before @ Block.[]..While.Block([_]) [trace] uses @ Block.[]..While.Block([_]) [trace] circular-decorator0_2_2 @ Block.[]..While.Block([_]) [trace] plain-decorator0_2_1 @ Block.[]..While.Block([_]) [trace] live-after @ Block.[]..While.Block([_]) [trace] succ @ Block.[]..While.Block([_]) [trace] map-decorator0_2_1 @ ?.[Assign] [trace] circular-decorator0_2_2 @ Block.[]..While.Block.[].Assign("x","value") [trace] plain-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x","value") [trace] live-before @ Block.[]..While.Block.[].Assign("x","value") [trace] uses @ Block.[]..While.Block.[].Assign("x","value") [trace] circular-decorator0_2_2 @ Block.[]..While.Block.[].Assign("x","value") [trace] is-dead @ []."value" [trace] defines @ []."value" [trace] circular-decorator0_2_2 @ []."value" [trace] plain-decorator0_2_1 @ []."value" [trace] live-after @ []."value" [trace] succ @ []."value" [trace] down-decorator0_2_1 @ []."value" [trace] succ-enclosing @ []."value" [trace] succ-enclosing @ []."value" (failed) [trace] down-decorator0_2_1 @ ["value"] [trace] succ-enclosing @ ["value"] [trace] map-decorator0_2_1 @ ?.[] [trace] defines @ Block.[]..While.Block([_]) [trace] circular-decorator0_2_2 @ Block.[]..While("x",Block) [trace] is-dead @ []."value" [trace] defines @ []."value" [trace] circular-decorator0_2_2 @ []."value" [trace] plain-decorator0_2_1 @ []."value" [trace] live-after @ []."value" [trace] succ @ []."value" [trace] down-decorator0_2_1 @ []."value" [trace] succ-enclosing @ []."value" [trace] succ-enclosing @ []."value" (failed) [trace] down-decorator0_2_1 @ ["value"] [trace] succ-enclosing @ ["value"] [trace] map-decorator0_2_1 @ ?.[] [trace] defines @ Block.[]..While("x",Block) [trace] is-dead @ [].."value" [trace] defines @ [].."value" [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-after @ [].."value" [trace] succ @ [].."value" [trace] down-decorator0_2_1 @ [].."value" [trace] succ-enclosing @ [].."value" [trace] succ-enclosing @ [].."value" (failed) [trace] down-decorator0_2_1 @ [].["value"] [trace] succ-enclosing @ [].["value"] [trace] succ-enclosing @ [].."value" (failed) [trace] down-decorator0_2_1 @ ["x","value"] [trace] succ-enclosing @ ["x","value"] [trace] map-decorator0_2_1 @ ?.[] [trace] is-dead @ []."x" [trace] defines @ []."x" [trace] circular-decorator0_2_2 @ []."x" [trace] plain-decorator0_2_1 @ []."x" [trace] live-after @ []."x" [trace] succ @ []."x" [trace] down-decorator0_2_1 @ []."x" [trace] succ-enclosing @ []."x" [trace] map-decorator0_2_1 @ ?.["value"] [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-before @ [].."value" [trace] uses @ [].."value" [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-after @ [].."value" [trace] map-decorator0_2_1 @ ?.[] [trace] plain-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x","value") [trace] is-dead @ Block.[]..Return("x") [trace] defines @ Block.[]..Return("x") [trace] circular-decorator0_2_2 @ Block.[]..Return("x") [trace] plain-decorator0_2_1 @ Block.[]..Return("x") [trace] live-after @ Block.[]..Return("x") [trace] succ @ Block.[]..Return("x") [trace] map-decorator0_2_1 @ ?.[] [trace] is-dead @ Block.[]..While("x",Block) [trace] circular-decorator0_2_2 @ Block.[]..While("x",Block) [trace] plain-decorator0_2_1 @ Block.[]..While("x",Block) [trace] live-after @ Block.[]..While("x",Block) [trace] map-decorator0_2_1 @ ?.[Block,While] [trace] circular-decorator0_2_2 @ Block.[]..While.Block([_]) [trace] plain-decorator0_2_1 @ Block.[]..While.Block([_]) [trace] live-before @ Block.[]..While.Block([_]) [trace] circular-decorator0_2_2 @ Block.[]..While.Block([_]) [trace] plain-decorator0_2_1 @ Block.[]..While.Block([_]) [trace] live-after @ Block.[]..While.Block([_]) [trace] map-decorator0_2_1 @ ?.[Assign] [trace] circular-decorator0_2_2 @ Block.[]..While.Block.[].Assign("x","value") [trace] plain-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x","value") [trace] live-before @ Block.[]..While.Block.[].Assign("x","value") [trace] circular-decorator0_2_2 @ Block.[]..While.Block.[].Assign("x","value") [trace] is-dead @ []."value" [trace] defines @ []."value" [trace] circular-decorator0_2_2 @ []."value" [trace] plain-decorator0_2_1 @ []."value" [trace] live-after @ []."value" [trace] succ @ []."value" [trace] down-decorator0_2_1 @ []."value" [trace] succ-enclosing @ []."value" [trace] succ-enclosing @ []."value" (failed) [trace] down-decorator0_2_1 @ ["value"] [trace] succ-enclosing @ ["value"] [trace] map-decorator0_2_1 @ ?.[] [trace] circular-decorator0_2_2 @ Block.[]..While("x",Block) [trace] plain-decorator0_2_1 @ Block.[]..While("x",Block) [trace] live-before @ Block.[]..While("x",Block) [trace] circular-decorator0_2_2 @ Block.[]..While("x",Block) [trace] is-dead @ []."value" [trace] defines @ []."value" [trace] circular-decorator0_2_2 @ []."value" [trace] plain-decorator0_2_1 @ []."value" [trace] live-after @ []."value" [trace] succ @ []."value" [trace] down-decorator0_2_1 @ []."value" [trace] succ-enclosing @ []."value" [trace] succ-enclosing @ []."value" (failed) [trace] down-decorator0_2_1 @ ["value"] [trace] succ-enclosing @ ["value"] [trace] map-decorator0_2_1 @ ?.[] [trace] is-dead @ [].."value" [trace] defines @ [].."value" [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-after @ [].."value" [trace] succ @ [].."value" [trace] down-decorator0_2_1 @ [].."value" [trace] succ-enclosing @ [].."value" [trace] succ-enclosing @ [].."value" (failed) [trace] down-decorator0_2_1 @ [].["value"] [trace] succ-enclosing @ [].["value"] [trace] succ-enclosing @ [].."value" (failed) [trace] down-decorator0_2_1 @ ["x","value"] [trace] succ-enclosing @ ["x","value"] [trace] map-decorator0_2_1 @ ?.[] [trace] is-dead @ []."x" [trace] defines @ []."x" [trace] circular-decorator0_2_2 @ []."x" [trace] plain-decorator0_2_1 @ []."x" [trace] live-after @ []."x" [trace] succ @ []."x" [trace] down-decorator0_2_1 @ []."x" [trace] succ-enclosing @ []."x" [trace] map-decorator0_2_1 @ ?.["value"] [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-before @ [].."value" [trace] uses @ [].."value" [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-after @ [].."value" [trace] map-decorator0_2_1 @ ?.[] [trace] plain-decorator0_2_1 @ Block.[]..While("x",Block) [trace] is-dead @ Block.[]..Assign("x","value") [trace] defines @ Block.[]..Assign("x","value") [trace] circular-decorator0_2_2 @ Block.[]..Assign("x","value") [trace] plain-decorator0_2_1 @ Block.[]..Assign("x","value") [trace] live-after @ Block.[]..Assign("x","value") [trace] succ @ Block.[]..Assign("x","value") [trace] down-decorator0_2_1 @ Block.[]..Assign("x","value") [trace] succ-enclosing @ Block.[]..Assign("x","value") [trace] map-decorator0_2_1 @ ?.[While] [trace] circular-decorator0_2_2 @ Block.[]..While("x",Block) [trace] plain-decorator0_2_1 @ Block.[]..While("x",Block) [trace] live-before @ Block.[]..While("x",Block) [trace] circular-decorator0_2_2 @ Block.[]..While("x",Block) [trace] is-dead @ [].."value" [trace] defines @ [].."value" [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-after @ [].."value" [trace] succ @ [].."value" [trace] down-decorator0_2_1 @ [].."value" [trace] succ-enclosing @ [].."value" [trace] succ-enclosing @ [].."value" (failed) [trace] down-decorator0_2_1 @ [].["value"] [trace] succ-enclosing @ [].["value"] [trace] succ-enclosing @ [].."value" (failed) [trace] down-decorator0_2_1 @ ["x","value"] [trace] succ-enclosing @ ["x","value"] [trace] map-decorator0_2_1 @ ?.[] [trace] is-dead @ []."x" [trace] defines @ []."x" [trace] circular-decorator0_2_2 @ []."x" [trace] plain-decorator0_2_1 @ []."x" [trace] live-after @ []."x" [trace] succ @ []."x" [trace] down-decorator0_2_1 @ []."x" [trace] succ-enclosing @ []."x" [trace] map-decorator0_2_1 @ ?.["value"] [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-before @ [].."value" [trace] uses @ [].."value" [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-after @ [].."value" [trace] map-decorator0_2_1 @ ?.[] [trace] plain-decorator0_2_1 @ Block.[]..Assign("x","value") [trace] is-dead @ Block.[].Assign("bogus1","value") [trace] defines @ Block.[].Assign("bogus1","value") [trace] circular-decorator0_2_2 @ Block.[].Assign("bogus1","value") [trace] plain-decorator0_2_1 @ Block.[].Assign("bogus1","value") [trace] live-after @ Block.[].Assign("bogus1","value") [trace] succ @ Block.[].Assign("bogus1","value") [trace] down-decorator0_2_1 @ Block.[].Assign("bogus1","value") [trace] succ-enclosing @ Block.[].Assign("bogus1","value") [trace] map-decorator0_2_1 @ ?.[Assign] [trace] circular-decorator0_2_2 @ Block.[]..Assign("x","value") [trace] plain-decorator0_2_1 @ Block.[]..Assign("x","value") [trace] live-before @ Block.[]..Assign("x","value") [trace] uses @ Block.[]..Assign("x","value") [trace] circular-decorator0_2_2 @ Block.[]..Assign("x","value") [trace] is-dead @ []."value" [trace] defines @ []."value" [trace] circular-decorator0_2_2 @ []."value" [trace] plain-decorator0_2_1 @ []."value" [trace] live-after @ []."value" [trace] succ @ []."value" [trace] down-decorator0_2_1 @ []."value" [trace] succ-enclosing @ []."value" [trace] succ-enclosing @ []."value" (failed) [trace] down-decorator0_2_1 @ ["value"] [trace] succ-enclosing @ ["value"] [trace] map-decorator0_2_1 @ ?.[] [trace] plain-decorator0_2_1 @ Block.[].Assign("bogus1","value") [rewr.] Block.[Assign,Assign,While,_] -> [Assign,While,Return] [trace] is-dead @ Block.[].Assign("x","value") [trace] defines @ Block.[].Assign("x","value") [trace] circular-decorator0_2_2 @ Block.[].Assign("x","value") [trace] plain-decorator0_2_1 @ Block.[].Assign("x","value") [trace] live-after @ Block.[].Assign("x","value") [trace] succ @ Block.[].Assign("x","value") [trace] down-decorator0_2_1 @ Block.[].Assign("x","value") [trace] succ-enclosing @ Block.[].Assign("x","value") [trace] map-decorator0_2_1 @ ?.[While] [trace] circular-decorator0_2_2 @ Block.[]..While("x",Block) [trace] plain-decorator0_2_1 @ Block.[]..While("x",Block) [trace] live-before @ Block.[]..While("x",Block) [trace] uses @ Block.[]..While("x",Block) [trace] circular-decorator0_2_2 @ Block.[]..While("x",Block) [trace] plain-decorator0_2_1 @ Block.[]..While("x",Block) [trace] live-after @ Block.[]..While("x",Block) [trace] succ @ Block.[]..While("x",Block) [trace] down-decorator0_2_1 @ Block.[]..While.Block([_]) [trace] succ-enclosing @ Block.[]..While.Block([_]) [trace] map-decorator0_2_1 @ ?.[Block,While] [trace] circular-decorator0_2_2 @ Block.[]..While.Block([_]) [trace] plain-decorator0_2_1 @ Block.[]..While.Block([_]) [trace] live-before @ Block.[]..While.Block([_]) [trace] uses @ Block.[]..While.Block([_]) [trace] circular-decorator0_2_2 @ Block.[]..While.Block([_]) [trace] plain-decorator0_2_1 @ Block.[]..While.Block([_]) [trace] live-after @ Block.[]..While.Block([_]) [trace] succ @ Block.[]..While.Block([_]) [trace] map-decorator0_2_1 @ ?.[Assign] [trace] circular-decorator0_2_2 @ Block.[]..While.Block.[].Assign("x","value") [trace] plain-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x","value") [trace] live-before @ Block.[]..While.Block.[].Assign("x","value") [trace] uses @ Block.[]..While.Block.[].Assign("x","value") [trace] circular-decorator0_2_2 @ Block.[]..While.Block.[].Assign("x","value") [trace] plain-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x","value") [trace] live-after @ Block.[]..While.Block.[].Assign("x","value") [trace] succ @ Block.[]..While.Block.[].Assign("x","value") [trace] down-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x","value") [trace] succ-enclosing @ Block.[]..While.Block.[].Assign("x","value") [trace] succ-enclosing @ Block.[]..While.Block.[].Assign("x","value") (failed) [trace] down-decorator0_2_1 @ Block.[]..While.Block.[Assign] [trace] succ-enclosing @ Block.[]..While.Block.[Assign] [trace] succ-enclosing @ Block.[]..While.Block.[].Assign("x","value") (failed) [trace] map-decorator0_2_1 @ ?.[While] [trace] circular-decorator0_2_2 @ Block.[]..While("x",Block) [trace] defines @ Block.[]..While.Block.[].Assign("x","value") [trace] is-dead @ []."value" [trace] defines @ []."value" [trace] circular-decorator0_2_2 @ []."value" [trace] plain-decorator0_2_1 @ []."value" [trace] live-after @ []."value" [trace] succ @ []."value" [trace] down-decorator0_2_1 @ []."value" [trace] succ-enclosing @ []."value" [trace] succ-enclosing @ []."value" (failed) [trace] down-decorator0_2_1 @ ["value"] [trace] succ-enclosing @ ["value"] [trace] map-decorator0_2_1 @ ?.[] [trace] defines @ Block.[]..While.Block([_]) [trace] circular-decorator0_2_2 @ Block.[]..While("x",Block) [trace] is-dead @ []."value" [trace] defines @ []."value" [trace] circular-decorator0_2_2 @ []."value" [trace] plain-decorator0_2_1 @ []."value" [trace] live-after @ []."value" [trace] succ @ []."value" [trace] down-decorator0_2_1 @ []."value" [trace] succ-enclosing @ []."value" [trace] succ-enclosing @ []."value" (failed) [trace] down-decorator0_2_1 @ ["value"] [trace] succ-enclosing @ ["value"] [trace] map-decorator0_2_1 @ ?.[] [trace] defines @ Block.[]..While("x",Block) [trace] is-dead @ [].."value" [trace] defines @ [].."value" [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-after @ [].."value" [trace] succ @ [].."value" [trace] down-decorator0_2_1 @ [].."value" [trace] succ-enclosing @ [].."value" [trace] succ-enclosing @ [].."value" (failed) [trace] down-decorator0_2_1 @ [].["value"] [trace] succ-enclosing @ [].["value"] [trace] succ-enclosing @ [].."value" (failed) [trace] down-decorator0_2_1 @ ["x","value"] [trace] succ-enclosing @ ["x","value"] [trace] map-decorator0_2_1 @ ?.[] [trace] is-dead @ []."x" [trace] defines @ []."x" [trace] circular-decorator0_2_2 @ []."x" [trace] plain-decorator0_2_1 @ []."x" [trace] live-after @ []."x" [trace] succ @ []."x" [trace] down-decorator0_2_1 @ []."x" [trace] succ-enclosing @ []."x" [trace] map-decorator0_2_1 @ ?.["value"] [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-before @ [].."value" [trace] uses @ [].."value" [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-after @ [].."value" [trace] map-decorator0_2_1 @ ?.[] [trace] plain-decorator0_2_1 @ Block.[].Assign("x","value") [trace] is-dead @ Block.[]..While.Block.[].Assign("x","value") [trace] defines @ Block.[]..While.Block.[].Assign("x","value") [trace] circular-decorator0_2_2 @ Block.[]..While.Block.[].Assign("x","value") [trace] plain-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x","value") [trace] live-after @ Block.[]..While.Block.[].Assign("x","value") [trace] succ @ Block.[]..While.Block.[].Assign("x","value") [trace] down-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x","value") [trace] succ-enclosing @ Block.[]..While.Block.[].Assign("x","value") [trace] succ-enclosing @ Block.[]..While.Block.[].Assign("x","value") (failed) [trace] down-decorator0_2_1 @ Block.[]..While.Block.[Assign] [trace] succ-enclosing @ Block.[]..While.Block.[Assign] [trace] succ-enclosing @ Block.[]..While.Block.[].Assign("x","value") (failed) [trace] down-decorator0_2_1 @ Block.[]..While.Block([_]) [trace] succ-enclosing @ Block.[]..While.Block([_]) [trace] map-decorator0_2_1 @ ?.[While] [trace] circular-decorator0_2_2 @ Block.[]..While("x",Block) [trace] plain-decorator0_2_1 @ Block.[]..While("x",Block) [trace] live-before @ Block.[]..While("x",Block) [trace] uses @ Block.[]..While("x",Block) [trace] circular-decorator0_2_2 @ Block.[]..While("x",Block) [trace] plain-decorator0_2_1 @ Block.[]..While("x",Block) [trace] live-after @ Block.[]..While("x",Block) [trace] succ @ Block.[]..While("x",Block) [trace] map-decorator0_2_1 @ ?.[Block,While] [trace] circular-decorator0_2_2 @ Block.[]..While.Block([_]) [trace] plain-decorator0_2_1 @ Block.[]..While.Block([_]) [trace] live-before @ Block.[]..While.Block([_]) [trace] uses @ Block.[]..While.Block([_]) [trace] circular-decorator0_2_2 @ Block.[]..While.Block([_]) [trace] plain-decorator0_2_1 @ Block.[]..While.Block([_]) [trace] live-after @ Block.[]..While.Block([_]) [trace] succ @ Block.[]..While.Block([_]) [trace] map-decorator0_2_1 @ ?.[Assign] [trace] circular-decorator0_2_2 @ Block.[]..While.Block.[].Assign("x","value") [trace] plain-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x","value") [trace] live-before @ Block.[]..While.Block.[].Assign("x","value") [trace] uses @ Block.[]..While.Block.[].Assign("x","value") [trace] circular-decorator0_2_2 @ Block.[]..While.Block.[].Assign("x","value") [trace] is-dead @ []."value" [trace] defines @ []."value" [trace] circular-decorator0_2_2 @ []."value" [trace] plain-decorator0_2_1 @ []."value" [trace] live-after @ []."value" [trace] succ @ []."value" [trace] down-decorator0_2_1 @ []."value" [trace] succ-enclosing @ []."value" [trace] succ-enclosing @ []."value" (failed) [trace] down-decorator0_2_1 @ ["value"] [trace] succ-enclosing @ ["value"] [trace] map-decorator0_2_1 @ ?.[] [trace] defines @ Block.[]..While.Block([_]) [trace] circular-decorator0_2_2 @ Block.[]..While("x",Block) [trace] is-dead @ []."value" [trace] defines @ []."value" [trace] circular-decorator0_2_2 @ []."value" [trace] plain-decorator0_2_1 @ []."value" [trace] live-after @ []."value" [trace] succ @ []."value" [trace] down-decorator0_2_1 @ []."value" [trace] succ-enclosing @ []."value" [trace] succ-enclosing @ []."value" (failed) [trace] down-decorator0_2_1 @ ["value"] [trace] succ-enclosing @ ["value"] [trace] map-decorator0_2_1 @ ?.[] [trace] defines @ Block.[]..While("x",Block) [trace] is-dead @ [].."value" [trace] defines @ [].."value" [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-after @ [].."value" [trace] succ @ [].."value" [trace] down-decorator0_2_1 @ [].."value" [trace] succ-enclosing @ [].."value" [trace] succ-enclosing @ [].."value" (failed) [trace] down-decorator0_2_1 @ [].["value"] [trace] succ-enclosing @ [].["value"] [trace] succ-enclosing @ [].."value" (failed) [trace] down-decorator0_2_1 @ ["x","value"] [trace] succ-enclosing @ ["x","value"] [trace] map-decorator0_2_1 @ ?.[] [trace] is-dead @ []."x" [trace] defines @ []."x" [trace] circular-decorator0_2_2 @ []."x" [trace] plain-decorator0_2_1 @ []."x" [trace] live-after @ []."x" [trace] succ @ []."x" [trace] down-decorator0_2_1 @ []."x" [trace] succ-enclosing @ []."x" [trace] map-decorator0_2_1 @ ?.["value"] [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-before @ [].."value" [trace] uses @ [].."value" [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-after @ [].."value" [trace] map-decorator0_2_1 @ ?.[] [trace] plain-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x","value") [trace] is-dead @ Block.[]..Return("x") [trace] defines @ Block.[]..Return("x") [trace] circular-decorator0_2_2 @ Block.[]..Return("x") [trace] plain-decorator0_2_1 @ Block.[]..Return("x") [trace] live-after @ Block.[]..Return("x") [trace] succ @ Block.[]..Return("x") [trace] map-decorator0_2_1 @ ?.[] [trace] is-dead @ Block.[]..While("x",Block) [trace] circular-decorator0_2_2 @ Block.[]..While("x",Block) [trace] plain-decorator0_2_1 @ Block.[]..While("x",Block) [trace] live-after @ Block.[]..While("x",Block) [trace] map-decorator0_2_1 @ ?.[Block,While] [trace] circular-decorator0_2_2 @ Block.[]..While.Block([_]) [trace] plain-decorator0_2_1 @ Block.[]..While.Block([_]) [trace] live-before @ Block.[]..While.Block([_]) [trace] circular-decorator0_2_2 @ Block.[]..While.Block([_]) [trace] plain-decorator0_2_1 @ Block.[]..While.Block([_]) [trace] live-after @ Block.[]..While.Block([_]) [trace] map-decorator0_2_1 @ ?.[Assign] [trace] circular-decorator0_2_2 @ Block.[]..While.Block.[].Assign("x","value") [trace] plain-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x","value") [trace] live-before @ Block.[]..While.Block.[].Assign("x","value") [trace] circular-decorator0_2_2 @ Block.[]..While.Block.[].Assign("x","value") [trace] is-dead @ []."value" [trace] defines @ []."value" [trace] circular-decorator0_2_2 @ []."value" [trace] plain-decorator0_2_1 @ []."value" [trace] live-after @ []."value" [trace] succ @ []."value" [trace] down-decorator0_2_1 @ []."value" [trace] succ-enclosing @ []."value" [trace] succ-enclosing @ []."value" (failed) [trace] down-decorator0_2_1 @ ["value"] [trace] succ-enclosing @ ["value"] [trace] map-decorator0_2_1 @ ?.[] [trace] circular-decorator0_2_2 @ Block.[]..While("x",Block) [trace] plain-decorator0_2_1 @ Block.[]..While("x",Block) [trace] live-before @ Block.[]..While("x",Block) [trace] circular-decorator0_2_2 @ Block.[]..While("x",Block) [trace] is-dead @ []."value" [trace] defines @ []."value" [trace] circular-decorator0_2_2 @ []."value" [trace] plain-decorator0_2_1 @ []."value" [trace] live-after @ []."value" [trace] succ @ []."value" [trace] down-decorator0_2_1 @ []."value" [trace] succ-enclosing @ []."value" [trace] succ-enclosing @ []."value" (failed) [trace] down-decorator0_2_1 @ ["value"] [trace] succ-enclosing @ ["value"] [trace] map-decorator0_2_1 @ ?.[] [trace] is-dead @ [].."value" [trace] defines @ [].."value" [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-after @ [].."value" [trace] succ @ [].."value" [trace] down-decorator0_2_1 @ [].."value" [trace] succ-enclosing @ [].."value" [trace] succ-enclosing @ [].."value" (failed) [trace] down-decorator0_2_1 @ [].["value"] [trace] succ-enclosing @ [].["value"] [trace] succ-enclosing @ [].."value" (failed) [trace] down-decorator0_2_1 @ ["x","value"] [trace] succ-enclosing @ ["x","value"] [trace] map-decorator0_2_1 @ ?.[] [trace] is-dead @ []."x" [trace] defines @ []."x" [trace] circular-decorator0_2_2 @ []."x" [trace] plain-decorator0_2_1 @ []."x" [trace] live-after @ []."x" [trace] succ @ []."x" [trace] down-decorator0_2_1 @ []."x" [trace] succ-enclosing @ []."x" [trace] map-decorator0_2_1 @ ?.["value"] [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-before @ [].."value" [trace] uses @ [].."value" [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-after @ [].."value" [trace] map-decorator0_2_1 @ ?.[] [trace] plain-decorator0_2_1 @ Block.[]..While("x",Block) [trace] is-dead @ Block.[].Assign("x","value") [trace] defines @ Block.[].Assign("x","value") [trace] circular-decorator0_2_2 @ Block.[].Assign("x","value") [trace] plain-decorator0_2_1 @ Block.[].Assign("x","value") [trace] live-after @ Block.[].Assign("x","value") [trace] succ @ Block.[].Assign("x","value") [trace] down-decorator0_2_1 @ Block.[].Assign("x","value") [trace] succ-enclosing @ Block.[].Assign("x","value") [trace] map-decorator0_2_1 @ ?.[While] [trace] circular-decorator0_2_2 @ Block.[]..While("x",Block) [trace] plain-decorator0_2_1 @ Block.[]..While("x",Block) [trace] live-before @ Block.[]..While("x",Block) [trace] circular-decorator0_2_2 @ Block.[]..While("x",Block) [trace] is-dead @ [].."value" [trace] defines @ [].."value" [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-after @ [].."value" [trace] succ @ [].."value" [trace] down-decorator0_2_1 @ [].."value" [trace] succ-enclosing @ [].."value" [trace] succ-enclosing @ [].."value" (failed) [trace] down-decorator0_2_1 @ [].["value"] [trace] succ-enclosing @ [].["value"] [trace] succ-enclosing @ [].."value" (failed) [trace] down-decorator0_2_1 @ ["x","value"] [trace] succ-enclosing @ ["x","value"] [trace] map-decorator0_2_1 @ ?.[] [trace] is-dead @ []."x" [trace] defines @ []."x" [trace] circular-decorator0_2_2 @ []."x" [trace] plain-decorator0_2_1 @ []."x" [trace] live-after @ []."x" [trace] succ @ []."x" [trace] down-decorator0_2_1 @ []."x" [trace] succ-enclosing @ []."x" [trace] map-decorator0_2_1 @ ?.["value"] [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-before @ [].."value" [trace] uses @ [].."value" [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-after @ [].."value" [trace] map-decorator0_2_1 @ ?.[] [trace] plain-decorator0_2_1 @ Block.[].Assign("x","value") [trace] is-dead @ Block.[]..While.Block.[].Assign("x","value") [trace] defines @ Block.[]..While.Block.[].Assign("x","value") [trace] circular-decorator0_2_2 @ Block.[]..While.Block.[].Assign("x","value") [trace] plain-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x","value") [trace] live-after @ Block.[]..While.Block.[].Assign("x","value") [trace] succ @ Block.[]..While.Block.[].Assign("x","value") [trace] down-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x","value") [trace] succ-enclosing @ Block.[]..While.Block.[].Assign("x","value") [trace] succ-enclosing @ Block.[]..While.Block.[].Assign("x","value") (failed) [trace] down-decorator0_2_1 @ Block.[]..While.Block.[Assign] [trace] succ-enclosing @ Block.[]..While.Block.[Assign] [trace] succ-enclosing @ Block.[]..While.Block.[].Assign("x","value") (failed) [trace] down-decorator0_2_1 @ Block.[]..While.Block([_]) [trace] succ-enclosing @ Block.[]..While.Block([_]) [trace] map-decorator0_2_1 @ ?.[While] [trace] circular-decorator0_2_2 @ Block.[]..While("x",Block) [trace] plain-decorator0_2_1 @ Block.[]..While("x",Block) [trace] live-before @ Block.[]..While("x",Block) [trace] uses @ Block.[]..While("x",Block) [trace] circular-decorator0_2_2 @ Block.[]..While("x",Block) [trace] plain-decorator0_2_1 @ Block.[]..While("x",Block) [trace] live-after @ Block.[]..While("x",Block) [trace] succ @ Block.[]..While("x",Block) [trace] map-decorator0_2_1 @ ?.[Block,While] [trace] circular-decorator0_2_2 @ Block.[]..While.Block([_]) [trace] plain-decorator0_2_1 @ Block.[]..While.Block([_]) [trace] live-before @ Block.[]..While.Block([_]) [trace] uses @ Block.[]..While.Block([_]) [trace] circular-decorator0_2_2 @ Block.[]..While.Block([_]) [trace] plain-decorator0_2_1 @ Block.[]..While.Block([_]) [trace] live-after @ Block.[]..While.Block([_]) [trace] succ @ Block.[]..While.Block([_]) [trace] map-decorator0_2_1 @ ?.[Assign] [trace] circular-decorator0_2_2 @ Block.[]..While.Block.[].Assign("x","value") [trace] plain-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x","value") [trace] live-before @ Block.[]..While.Block.[].Assign("x","value") [trace] uses @ Block.[]..While.Block.[].Assign("x","value") [trace] circular-decorator0_2_2 @ Block.[]..While.Block.[].Assign("x","value") [trace] is-dead @ []."value" [trace] defines @ []."value" [trace] circular-decorator0_2_2 @ []."value" [trace] plain-decorator0_2_1 @ []."value" [trace] live-after @ []."value" [trace] succ @ []."value" [trace] down-decorator0_2_1 @ []."value" [trace] succ-enclosing @ []."value" [trace] succ-enclosing @ []."value" (failed) [trace] down-decorator0_2_1 @ ["value"] [trace] succ-enclosing @ ["value"] [trace] map-decorator0_2_1 @ ?.[] [trace] defines @ Block.[]..While.Block([_]) [trace] circular-decorator0_2_2 @ Block.[]..While("x",Block) [trace] is-dead @ []."value" [trace] defines @ []."value" [trace] circular-decorator0_2_2 @ []."value" [trace] plain-decorator0_2_1 @ []."value" [trace] live-after @ []."value" [trace] succ @ []."value" [trace] down-decorator0_2_1 @ []."value" [trace] succ-enclosing @ []."value" [trace] succ-enclosing @ []."value" (failed) [trace] down-decorator0_2_1 @ ["value"] [trace] succ-enclosing @ ["value"] [trace] map-decorator0_2_1 @ ?.[] [trace] defines @ Block.[]..While("x",Block) [trace] is-dead @ [].."value" [trace] defines @ [].."value" [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-after @ [].."value" [trace] succ @ [].."value" [trace] down-decorator0_2_1 @ [].."value" [trace] succ-enclosing @ [].."value" [trace] succ-enclosing @ [].."value" (failed) [trace] down-decorator0_2_1 @ [].["value"] [trace] succ-enclosing @ [].["value"] [trace] succ-enclosing @ [].."value" (failed) [trace] down-decorator0_2_1 @ ["x","value"] [trace] succ-enclosing @ ["x","value"] [trace] map-decorator0_2_1 @ ?.[] [trace] is-dead @ []."x" [trace] defines @ []."x" [trace] circular-decorator0_2_2 @ []."x" [trace] plain-decorator0_2_1 @ []."x" [trace] live-after @ []."x" [trace] succ @ []."x" [trace] down-decorator0_2_1 @ []."x" [trace] succ-enclosing @ []."x" [trace] map-decorator0_2_1 @ ?.["value"] [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-before @ [].."value" [trace] uses @ [].."value" [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-after @ [].."value" [trace] map-decorator0_2_1 @ ?.[] [trace] plain-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x","value") [trace] is-dead @ Block.[]..Return("x") [trace] defines @ Block.[]..Return("x") [trace] circular-decorator0_2_2 @ Block.[]..Return("x") [trace] plain-decorator0_2_1 @ Block.[]..Return("x") [trace] live-after @ Block.[]..Return("x") [trace] succ @ Block.[]..Return("x") [trace] map-decorator0_2_1 @ ?.[] [trace] is-dead @ Block.[]..While("x",Block) [trace] circular-decorator0_2_2 @ Block.[]..While("x",Block) [trace] plain-decorator0_2_1 @ Block.[]..While("x",Block) [trace] live-after @ Block.[]..While("x",Block) [trace] map-decorator0_2_1 @ ?.[Block,While] [trace] circular-decorator0_2_2 @ Block.[]..While.Block([_]) [trace] plain-decorator0_2_1 @ Block.[]..While.Block([_]) [trace] live-before @ Block.[]..While.Block([_]) [trace] circular-decorator0_2_2 @ Block.[]..While.Block([_]) [trace] plain-decorator0_2_1 @ Block.[]..While.Block([_]) [trace] live-after @ Block.[]..While.Block([_]) [trace] map-decorator0_2_1 @ ?.[Assign] [trace] circular-decorator0_2_2 @ Block.[]..While.Block.[].Assign("x","value") [trace] plain-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x","value") [trace] live-before @ Block.[]..While.Block.[].Assign("x","value") [trace] circular-decorator0_2_2 @ Block.[]..While.Block.[].Assign("x","value") [trace] is-dead @ []."value" [trace] defines @ []."value" [trace] circular-decorator0_2_2 @ []."value" [trace] plain-decorator0_2_1 @ []."value" [trace] live-after @ []."value" [trace] succ @ []."value" [trace] down-decorator0_2_1 @ []."value" [trace] succ-enclosing @ []."value" [trace] succ-enclosing @ []."value" (failed) [trace] down-decorator0_2_1 @ ["value"] [trace] succ-enclosing @ ["value"] [trace] map-decorator0_2_1 @ ?.[] [trace] circular-decorator0_2_2 @ Block.[]..While("x",Block) [trace] plain-decorator0_2_1 @ Block.[]..While("x",Block) [trace] live-before @ Block.[]..While("x",Block) [trace] circular-decorator0_2_2 @ Block.[]..While("x",Block) [trace] is-dead @ []."value" [trace] defines @ []."value" [trace] circular-decorator0_2_2 @ []."value" [trace] plain-decorator0_2_1 @ []."value" [trace] live-after @ []."value" [trace] succ @ []."value" [trace] down-decorator0_2_1 @ []."value" [trace] succ-enclosing @ []."value" [trace] succ-enclosing @ []."value" (failed) [trace] down-decorator0_2_1 @ ["value"] [trace] succ-enclosing @ ["value"] [trace] map-decorator0_2_1 @ ?.[] [trace] is-dead @ [].."value" [trace] defines @ [].."value" [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-after @ [].."value" [trace] succ @ [].."value" [trace] down-decorator0_2_1 @ [].."value" [trace] succ-enclosing @ [].."value" [trace] succ-enclosing @ [].."value" (failed) [trace] down-decorator0_2_1 @ [].["value"] [trace] succ-enclosing @ [].["value"] [trace] succ-enclosing @ [].."value" (failed) [trace] down-decorator0_2_1 @ ["x","value"] [trace] succ-enclosing @ ["x","value"] [trace] map-decorator0_2_1 @ ?.[] [trace] is-dead @ []."x" [trace] defines @ []."x" [trace] circular-decorator0_2_2 @ []."x" [trace] plain-decorator0_2_1 @ []."x" [trace] live-after @ []."x" [trace] succ @ []."x" [trace] down-decorator0_2_1 @ []."x" [trace] succ-enclosing @ []."x" [trace] map-decorator0_2_1 @ ?.["value"] [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-before @ [].."value" [trace] uses @ [].."value" [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-after @ [].."value" [trace] map-decorator0_2_1 @ ?.[] [trace] plain-decorator0_2_1 @ Block.[]..While("x",Block) [trace] is-dead @ Block.[].Assign("x","value") [trace] defines @ Block.[].Assign("x","value") [trace] circular-decorator0_2_2 @ Block.[].Assign("x","value") [trace] plain-decorator0_2_1 @ Block.[].Assign("x","value") [trace] live-after @ Block.[].Assign("x","value") [trace] succ @ Block.[].Assign("x","value") [trace] down-decorator0_2_1 @ Block.[].Assign("x","value") [trace] succ-enclosing @ Block.[].Assign("x","value") [trace] map-decorator0_2_1 @ ?.[While] [trace] circular-decorator0_2_2 @ Block.[]..While("x",Block) [trace] plain-decorator0_2_1 @ Block.[]..While("x",Block) [trace] live-before @ Block.[]..While("x",Block) [trace] circular-decorator0_2_2 @ Block.[]..While("x",Block) [trace] is-dead @ [].."value" [trace] defines @ [].."value" [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-after @ [].."value" [trace] succ @ [].."value" [trace] down-decorator0_2_1 @ [].."value" [trace] succ-enclosing @ [].."value" [trace] succ-enclosing @ [].."value" (failed) [trace] down-decorator0_2_1 @ [].["value"] [trace] succ-enclosing @ [].["value"] [trace] succ-enclosing @ [].."value" (failed) [trace] down-decorator0_2_1 @ ["x","value"] [trace] succ-enclosing @ ["x","value"] [trace] map-decorator0_2_1 @ ?.[] [trace] is-dead @ []."x" [trace] defines @ []."x" [trace] circular-decorator0_2_2 @ []."x" [trace] plain-decorator0_2_1 @ []."x" [trace] live-after @ []."x" [trace] succ @ []."x" [trace] down-decorator0_2_1 @ []."x" [trace] succ-enclosing @ []."x" [trace] map-decorator0_2_1 @ ?.["value"] [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-before @ [].."value" [trace] uses @ [].."value" [trace] circular-decorator0_2_2 @ [].."value" [trace] plain-decorator0_2_1 @ [].."value" [trace] live-after @ [].."value" [trace] map-decorator0_2_1 @ ?.[] [trace] plain-decorator0_2_1 @ Block.[].Assign("x","value") Block([Assign("x","value"),While("x",Block([Assign("x","value")])),Return("x")]) building circular-liveness.run ==== circular-liveness ==== [trace] circular-decorator0_2_2 @ Block([..]) [trace] plain-decorator0_2_1 @ Block([..]) [trace] live-before @ Block([..]) [trace] uses @ Block([..]) [trace] circular-decorator0_2_2 @ Block([..]) [trace] plain-decorator0_2_1 @ Block([..]) [trace] live-after @ Block([..]) [trace] succ @ Block([..]) [trace] map-decorator0_2_1 @ ?.[Assign] [trace] circular-decorator0_2_2 @ Block.[].Assign("bogus1","value") [trace] plain-decorator0_2_1 @ Block.[].Assign("bogus1","value") [trace] live-before @ Block.[].Assign("bogus1","value") [trace] uses @ Block.[].Assign("bogus1","value") [trace] circular-decorator0_2_2 @ Block.[].Assign("bogus1","value") [trace] plain-decorator0_2_1 @ Block.[].Assign("bogus1","value") [trace] live-after @ Block.[].Assign("bogus1","value") [trace] succ @ Block.[].Assign("bogus1","value") [trace] down-decorator0_2_1 @ Block.[].Assign("bogus1","value") [trace] succ-enclosing @ Block.[].Assign("bogus1","value") [trace] map-decorator0_2_1 @ ?.[Assign] [trace] circular-decorator0_2_2 @ Block.[]..Assign("bogus2","bogus1") [trace] plain-decorator0_2_1 @ Block.[]..Assign("bogus2","bogus1") [trace] live-before @ Block.[]..Assign("bogus2","bogus1") [trace] uses @ Block.[]..Assign("bogus2","bogus1") [trace] circular-decorator0_2_2 @ Block.[]..Assign("bogus2","bogus1") [trace] plain-decorator0_2_1 @ Block.[]..Assign("bogus2","bogus1") [trace] live-after @ Block.[]..Assign("bogus2","bogus1") [trace] succ @ Block.[]..Assign("bogus2","bogus1") [trace] down-decorator0_2_1 @ Block.[]..Assign("bogus2","bogus1") [trace] succ-enclosing @ Block.[]..Assign("bogus2","bogus1") [trace] map-decorator0_2_1 @ ?.[Assign] [trace] circular-decorator0_2_2 @ Block.[]..Assign("x","value") [trace] plain-decorator0_2_1 @ Block.[]..Assign("x","value") [trace] live-before @ Block.[]..Assign("x","value") [trace] uses @ Block.[]..Assign("x","value") [trace] circular-decorator0_2_2 @ Block.[]..Assign("x","value") [trace] plain-decorator0_2_1 @ Block.[]..Assign("x","value") [trace] live-after @ Block.[]..Assign("x","value") [trace] succ @ Block.[]..Assign("x","value") [trace] down-decorator0_2_1 @ Block.[]..Assign("x","value") [trace] succ-enclosing @ Block.[]..Assign("x","value") [trace] map-decorator0_2_1 @ ?.[While] [trace] circular-decorator0_2_2 @ Block.[]..While("x",Block) [trace] plain-decorator0_2_1 @ Block.[]..While("x",Block) [trace] live-before @ Block.[]..While("x",Block) [trace] uses @ Block.[]..While("x",Block) [trace] circular-decorator0_2_2 @ Block.[]..While("x",Block) [trace] plain-decorator0_2_1 @ Block.[]..While("x",Block) [trace] live-after @ Block.[]..While("x",Block) [trace] succ @ Block.[]..While("x",Block) [trace] down-decorator0_2_1 @ Block.[]..While.Block([..]) [trace] succ-enclosing @ Block.[]..While.Block([..]) [trace] map-decorator0_2_1 @ ?.[Block,While] [trace] circular-decorator0_2_2 @ Block.[]..While.Block([..]) [trace] plain-decorator0_2_1 @ Block.[]..While.Block([..]) [trace] live-before @ Block.[]..While.Block([..]) [trace] uses @ Block.[]..While.Block([..]) [trace] circular-decorator0_2_2 @ Block.[]..While.Block([..]) [trace] plain-decorator0_2_1 @ Block.[]..While.Block([..]) [trace] live-after @ Block.[]..While.Block([..]) [trace] succ @ Block.[]..While.Block([..]) [trace] map-decorator0_2_1 @ ?.[Assign] [trace] circular-decorator0_2_2 @ Block.[]..While.Block.[].Assign("x","bogus3") [trace] plain-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x","bogus3") [trace] live-before @ Block.[]..While.Block.[].Assign("x","bogus3") [trace] uses @ Block.[]..While.Block.[].Assign("x","bogus3") [trace] circular-decorator0_2_2 @ Block.[]..While.Block.[].Assign("x","bogus3") [trace] plain-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x","bogus3") [trace] live-after @ Block.[]..While.Block.[].Assign("x","bogus3") [trace] succ @ Block.[]..While.Block.[].Assign("x","bogus3") [trace] down-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x","bogus3") [trace] succ-enclosing @ Block.[]..While.Block.[].Assign("x","bogus3") [trace] map-decorator0_2_1 @ ?.[Assign] [trace] circular-decorator0_2_2 @ Block.[]..While.Block.[]..Assign("x","value") [trace] plain-decorator0_2_1 @ Block.[]..While.Block.[]..Assign("x","value") [trace] live-before @ Block.[]..While.Block.[]..Assign("x","value") [trace] uses @ Block.[]..While.Block.[]..Assign("x","value") [trace] circular-decorator0_2_2 @ Block.[]..While.Block.[]..Assign("x","value") [trace] plain-decorator0_2_1 @ Block.[]..While.Block.[]..Assign("x","value") [trace] live-after @ Block.[]..While.Block.[]..Assign("x","value") [trace] succ @ Block.[]..While.Block.[]..Assign("x","value") [trace] down-decorator0_2_1 @ Block.[]..While.Block.[]..Assign("x","value") [trace] succ-enclosing @ Block.[]..While.Block.[]..Assign("x","value") [trace] succ-enclosing @ Block.[]..While.Block.[]..Assign("x","value") (failed) [trace] down-decorator0_2_1 @ Block.[]..While.Block.[].[Assign] [trace] succ-enclosing @ Block.[]..While.Block.[].[Assign] [trace] succ-enclosing @ Block.[]..While.Block.[]..Assign("x","value") (failed) [trace] down-decorator0_2_1 @ Block.[]..While.Block.[Assign,Assign] [trace] succ-enclosing @ Block.[]..While.Block.[Assign,Assign] [trace] succ-enclosing @ Block.[]..While.Block.[]..Assign("x","value") (failed) [trace] map-decorator0_2_1 @ ?.[While] [trace] circular-decorator0_2_2 @ Block.[]..While("x",Block) [trace] defines @ Block.[]..While.Block.[]..Assign("x","value") [trace] defines @ Block.[]..While.Block.[].Assign("x","bogus3") [trace] defines @ Block.[]..While.Block([..]) [trace] circular-decorator0_2_2 @ Block.[]..While("x",Block) [trace] defines @ Block.[]..While("x",Block) [trace] defines @ Block.[]..Assign("x","value") [trace] defines @ Block.[]..Assign("bogus2","bogus1") [trace] defines @ Block.[].Assign("bogus1","value") [trace] defines @ Block([..]) [trace] plain-decorator0_2_1 @ Block([..]) [trace] circular-decorator0_2_2 @ Block.[].Assign("bogus1","value") [trace] plain-decorator0_2_1 @ Block.[].Assign("bogus1","value") [trace] live-before @ Block.[].Assign("bogus1","value") [trace] circular-decorator0_2_2 @ Block.[].Assign("bogus1","value") [trace] plain-decorator0_2_1 @ Block.[].Assign("bogus1","value") [trace] live-after @ Block.[].Assign("bogus1","value") [trace] map-decorator0_2_1 @ ?.[Assign] [trace] circular-decorator0_2_2 @ Block.[]..Assign("bogus2","bogus1") [trace] plain-decorator0_2_1 @ Block.[]..Assign("bogus2","bogus1") [trace] live-before @ Block.[]..Assign("bogus2","bogus1") [trace] circular-decorator0_2_2 @ Block.[]..Assign("bogus2","bogus1") [trace] plain-decorator0_2_1 @ Block.[]..Assign("bogus2","bogus1") [trace] live-after @ Block.[]..Assign("bogus2","bogus1") [trace] map-decorator0_2_1 @ ?.[Assign] [trace] circular-decorator0_2_2 @ Block.[]..Assign("x","value") [trace] plain-decorator0_2_1 @ Block.[]..Assign("x","value") [trace] live-before @ Block.[]..Assign("x","value") [trace] circular-decorator0_2_2 @ Block.[]..Assign("x","value") [trace] plain-decorator0_2_1 @ Block.[]..Assign("x","value") [trace] live-after @ Block.[]..Assign("x","value") [trace] map-decorator0_2_1 @ ?.[While] [trace] circular-decorator0_2_2 @ Block.[]..While("x",Block) [trace] plain-decorator0_2_1 @ Block.[]..While("x",Block) [trace] live-before @ Block.[]..While("x",Block) [trace] circular-decorator0_2_2 @ Block.[]..While("x",Block) [trace] plain-decorator0_2_1 @ Block.[]..While("x",Block) [trace] live-after @ Block.[]..While("x",Block) [trace] map-decorator0_2_1 @ ?.[Block,While] [trace] circular-decorator0_2_2 @ Block.[]..While.Block([..]) [trace] plain-decorator0_2_1 @ Block.[]..While.Block([..]) [trace] live-before @ Block.[]..While.Block([..]) [trace] circular-decorator0_2_2 @ Block.[]..While.Block([..]) [trace] plain-decorator0_2_1 @ Block.[]..While.Block([..]) [trace] live-after @ Block.[]..While.Block([..]) [trace] map-decorator0_2_1 @ ?.[Assign] [trace] circular-decorator0_2_2 @ Block.[]..While.Block.[].Assign("x","bogus3") [trace] plain-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x","bogus3") [trace] live-before @ Block.[]..While.Block.[].Assign("x","bogus3") [trace] circular-decorator0_2_2 @ Block.[]..While.Block.[].Assign("x","bogus3") [trace] plain-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x","bogus3") [trace] live-after @ Block.[]..While.Block.[].Assign("x","bogus3") [trace] map-decorator0_2_1 @ ?.[Assign] [trace] circular-decorator0_2_2 @ Block.[]..While.Block.[]..Assign("x","value") [trace] plain-decorator0_2_1 @ Block.[]..While.Block.[]..Assign("x","value") [trace] live-before @ Block.[]..While.Block.[]..Assign("x","value") [trace] circular-decorator0_2_2 @ Block.[]..While.Block.[]..Assign("x","value") [trace] plain-decorator0_2_1 @ Block.[]..While.Block.[]..Assign("x","value") [trace] live-after @ Block.[]..While.Block.[]..Assign("x","value") [trace] map-decorator0_2_1 @ ?.[While] [trace] circular-decorator0_2_2 @ Block.[]..While("x",Block) [trace] circular-decorator0_2_2 @ Block.[]..While("x",Block) [trace] plain-decorator0_2_1 @ Block.[].Assign("bogus1","value") [trace] circular-decorator0_2_2 @ Block.[]..Assign("bogus2","bogus1") [trace] plain-decorator0_2_1 @ Block.[]..Assign("bogus2","bogus1") [trace] live-before @ Block.[]..Assign("bogus2","bogus1") [trace] circular-decorator0_2_2 @ Block.[]..Assign("bogus2","bogus1") [trace] plain-decorator0_2_1 @ Block.[]..Assign("bogus2","bogus1") [trace] live-after @ Block.[]..Assign("bogus2","bogus1") [trace] map-decorator0_2_1 @ ?.[Assign] [trace] circular-decorator0_2_2 @ Block.[]..Assign("x","value") [trace] plain-decorator0_2_1 @ Block.[]..Assign("x","value") [trace] live-before @ Block.[]..Assign("x","value") [trace] circular-decorator0_2_2 @ Block.[]..Assign("x","value") [trace] plain-decorator0_2_1 @ Block.[]..Assign("x","value") [trace] live-after @ Block.[]..Assign("x","value") [trace] map-decorator0_2_1 @ ?.[While] [trace] circular-decorator0_2_2 @ Block.[]..While("x",Block) [trace] plain-decorator0_2_1 @ Block.[]..While("x",Block) [trace] live-before @ Block.[]..While("x",Block) [trace] circular-decorator0_2_2 @ Block.[]..While("x",Block) [trace] plain-decorator0_2_1 @ Block.[]..While("x",Block) [trace] live-after @ Block.[]..While("x",Block) [trace] map-decorator0_2_1 @ ?.[Block,While] [trace] circular-decorator0_2_2 @ Block.[]..While.Block([..]) [trace] plain-decorator0_2_1 @ Block.[]..While.Block([..]) [trace] live-before @ Block.[]..While.Block([..]) [trace] circular-decorator0_2_2 @ Block.[]..While.Block([..]) [trace] plain-decorator0_2_1 @ Block.[]..While.Block([..]) [trace] live-after @ Block.[]..While.Block([..]) [trace] map-decorator0_2_1 @ ?.[Assign] [trace] circular-decorator0_2_2 @ Block.[]..While.Block.[].Assign("x","bogus3") [trace] plain-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x","bogus3") [trace] live-before @ Block.[]..While.Block.[].Assign("x","bogus3") [trace] circular-decorator0_2_2 @ Block.[]..While.Block.[].Assign("x","bogus3") [trace] plain-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x","bogus3") [trace] live-after @ Block.[]..While.Block.[].Assign("x","bogus3") [trace] map-decorator0_2_1 @ ?.[Assign] [trace] circular-decorator0_2_2 @ Block.[]..While.Block.[]..Assign("x","value") [trace] plain-decorator0_2_1 @ Block.[]..While.Block.[]..Assign("x","value") [trace] live-before @ Block.[]..While.Block.[]..Assign("x","value") [trace] circular-decorator0_2_2 @ Block.[]..While.Block.[]..Assign("x","value") [trace] plain-decorator0_2_1 @ Block.[]..While.Block.[]..Assign("x","value") [trace] live-after @ Block.[]..While.Block.[]..Assign("x","value") [trace] map-decorator0_2_1 @ ?.[While] [trace] circular-decorator0_2_2 @ Block.[]..While("x",Block) [trace] circular-decorator0_2_2 @ Block.[]..While("x",Block) [trace] circular-decorator0_2_2 @ Block.[]..Assign("x","value") [trace] circular-decorator0_2_2 @ Block.[]..While("x",Block) [trace] circular-decorator0_2_2 @ Block.[]..While.Block([..]) [trace] circular-decorator0_2_2 @ Block.[]..While.Block.[].Assign("x","bogus3") [trace] circular-decorator0_2_2 @ Block.[]..While.Block.[]..Assign("x","value") [trace] circular-decorator0_2_2 @ Block.[]..Return("x") [trace] plain-decorator0_2_1 @ Block.[]..Return("x") [trace] live-before @ Block.[]..Return("x") [trace] uses @ Block.[]..Return("x") [trace] circular-decorator0_2_2 @ Block.[]..Return("x") [trace] plain-decorator0_2_1 @ Block.[]..Return("x") [trace] live-after @ Block.[]..Return("x") [trace] succ @ Block.[]..Return("x") [trace] map-decorator0_2_1 @ ?.[] [trace] defines @ Block.[]..Return("x") [trace] plain-decorator0_2_1 @ Block.[]..Return("x") live-before: Block([Assign("bogus1","value"){"bogus3","value"},Assign("bogus2","bogus1"){"bogus1","bogus3","value"},Assign("x","value"){"bogus3","value"},While("x",Block([Assign("x","bogus3"){"bogus3","value"},Assign("x","value"){"bogus3","value"}]){"bogus3","value"}){"x","bogus3","value"},Return("x"){"x"}]){"bogus3","value"} live-before matches [trace] circular-decorator0_2_2 @ Block([..]) [trace] plain-decorator0_2_1 @ Block([..]) [trace] live-after @ Block([..]) [trace] map-decorator0_2_1 @ ?.[Assign] [trace] circular-decorator0_2_2 @ Block.[].Assign("bogus1","value") [trace] circular-decorator0_2_2 @ Block.[].Assign("bogus1","value") [trace] plain-decorator0_2_1 @ Block.[].Assign("bogus1","value") [trace] live-after @ Block.[].Assign("bogus1","value") [trace] map-decorator0_2_1 @ ?.[Assign] [trace] circular-decorator0_2_2 @ Block.[]..Assign("bogus2","bogus1") [trace] circular-decorator0_2_2 @ Block.[]..Assign("bogus2","bogus1") [trace] circular-decorator0_2_2 @ Block.[]..Assign("x","value") [trace] circular-decorator0_2_2 @ Block.[]..While("x",Block) [trace] circular-decorator0_2_2 @ Block.[]..While.Block([..]) [trace] circular-decorator0_2_2 @ Block.[]..While.Block.[].Assign("x","bogus3") [trace] circular-decorator0_2_2 @ Block.[]..While.Block.[]..Assign("x","value") [trace] circular-decorator0_2_2 @ Block.[]..Return("x") [trace] plain-decorator0_2_1 @ Block.[]..Return("x") [trace] live-after @ Block.[]..Return("x") [trace] map-decorator0_2_1 @ ?.[] live-after: Block([Assign("bogus1","value"){"bogus1","bogus3","value"},Assign("bogus2","bogus1"){"bogus3","value"},Assign("x","value"){"x","bogus3","value"},While("x",Block([Assign("x","bogus3"){"bogus3","value"},Assign("x","value"){"x","bogus3","value"}]){"bogus3","value"}){"x","bogus3","value"},Return("x")]){"bogus3","value"} live-after matches building circular-propconst.run ==== circular-propconst ==== [trace] down-decorator0_2_1 @ Block([..]) [trace] apply-to-stm-decorator0_2_1 @ Block([..]) [trace] circular-decorator0_2_2 @ Block([..]) [trace] plain-decorator0_2_1 @ Block([..]) [trace] constant-after @ Block([..]) [trace] down-decorator0_2_1 @ Block([..]) [trace] apply-to-stm-decorator0_2_1 @ Block([..]) [trace] circular-decorator0_2_2 @ Block([..]) [trace] plain-decorator0_2_1 @ Block([..]) [trace] constant-before @ Block([..]) [trace] contributes-to-decorator0_3_1 @ Block([..]) [trace] contributes-to-decorator0_4_1 @ Block([..]) [trace] down-decorator0_2_1 @ Block([..]) [trace] root @ Block([..]) [trace] apply-to-stm-decorator0_2_1 @ Block([..]) [trace] succ @ Block([..]) [trace] apply-to-stm-decorator0_2_1 @ Block.[Assign,Assign,Assign,..] [trace] apply-to-stm-decorator0_2_1 @ Block.[].Assign("x",Int) [trace] succ @ Block.[].Assign("x",Int) [trace] down-decorator0_2_1 @ Block.[].Assign("x",Int) [trace] succ-enclosing @ Block.[].Assign("x",Int) [trace] apply-to-stm-decorator0_2_1 @ Block.[].Assign."x" [trace] apply-to-stm-decorator0_2_1 @ Block.[].Assign.Int(1) [trace] apply-to-stm-decorator0_2_1 @ Block.[].Assign.Int.1 [trace] apply-to-stm-decorator0_2_1 @ Block.[].[Assign,Assign,While,_] [trace] apply-to-stm-decorator0_2_1 @ Block.[]..Assign("y",Int) [trace] succ @ Block.[]..Assign("y",Int) [trace] down-decorator0_2_1 @ Block.[]..Assign("y",Int) [trace] succ-enclosing @ Block.[]..Assign("y",Int) [trace] apply-to-stm-decorator0_2_1 @ Block.[]..Assign."y" [trace] apply-to-stm-decorator0_2_1 @ Block.[]..Assign.Int(2) [trace] apply-to-stm-decorator0_2_1 @ Block.[]..Assign.Int.2 [trace] apply-to-stm-decorator0_2_1 @ Block.[]..[Assign,While,Return] [trace] apply-to-stm-decorator0_2_1 @ Block.[]..Assign("x",Int) [trace] succ @ Block.[]..Assign("x",Int) [trace] down-decorator0_2_1 @ Block.[]..Assign("x",Int) [trace] succ-enclosing @ Block.[]..Assign("x",Int) [trace] apply-to-stm-decorator0_2_1 @ Block.[]..Assign."x" [trace] apply-to-stm-decorator0_2_1 @ Block.[]..Assign.Int(3) [trace] apply-to-stm-decorator0_2_1 @ Block.[]..Assign.Int.3 [trace] apply-to-stm-decorator0_2_1 @ Block.[]..[While,Return] [trace] apply-to-stm-decorator0_2_1 @ Block.[]..While("cond",Block) [trace] succ @ Block.[]..While("cond",Block) [trace] down-decorator0_2_1 @ Block.[]..While.Block([..]) [trace] succ-enclosing @ Block.[]..While.Block([..]) [trace] apply-to-stm-decorator0_2_1 @ Block.[]..While."cond" [trace] apply-to-stm-decorator0_2_1 @ Block.[]..While.Block([..]) [trace] succ @ Block.[]..While.Block([..]) [trace] apply-to-stm-decorator0_2_1 @ Block.[]..While.Block.[Assign,Assign] [trace] apply-to-stm-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x",Var) [trace] succ @ Block.[]..While.Block.[].Assign("x",Var) [trace] down-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x",Var) [trace] succ-enclosing @ Block.[]..While.Block.[].Assign("x",Var) [trace] apply-to-stm-decorator0_2_1 @ Block.[]..While.Block.[].Assign."x" [trace] apply-to-stm-decorator0_2_1 @ Block.[]..While.Block.[].Assign.Var("y") [trace] apply-to-stm-decorator0_2_1 @ Block.[]..While.Block.[].Assign.Var."y" [trace] apply-to-stm-decorator0_2_1 @ Block.[]..While.Block.[].[Assign] [trace] apply-to-stm-decorator0_2_1 @ Block.[]..While.Block.[]..Assign("x",Var) [trace] succ @ Block.[]..While.Block.[]..Assign("x",Var) [trace] down-decorator0_2_1 @ Block.[]..While.Block.[]..Assign("x",Var) [trace] succ-enclosing @ Block.[]..While.Block.[]..Assign("x",Var) [trace] succ-enclosing @ Block.[]..While.Block.[]..Assign("x",Var) (failed) [trace] down-decorator0_2_1 @ Block.[]..While.Block.[].[Assign] [trace] succ-enclosing @ Block.[]..While.Block.[].[Assign] [trace] succ-enclosing @ Block.[]..While.Block.[]..Assign("x",Var) (failed) [trace] down-decorator0_2_1 @ Block.[]..While.Block.[Assign,Assign] [trace] succ-enclosing @ Block.[]..While.Block.[Assign,Assign] [trace] succ-enclosing @ Block.[]..While.Block.[]..Assign("x",Var) (failed) [trace] apply-to-stm-decorator0_2_1 @ Block.[]..While.Block.[]..Assign."x" [trace] apply-to-stm-decorator0_2_1 @ Block.[]..While.Block.[]..Assign.Var("x") [trace] apply-to-stm-decorator0_2_1 @ Block.[]..While.Block.[]..Assign.Var."x" [trace] apply-to-stm-decorator0_2_1 @ Block.[]..While.Block.[]..[] [trace] apply-to-stm-decorator0_2_1 @ Block.[]..[Return] [trace] apply-to-stm-decorator0_2_1 @ Block.[]..Return("x") [trace] succ @ Block.[]..Return("x") [trace] apply-to-stm-decorator0_2_1 @ Block.[]..Return."x" [trace] apply-to-stm-decorator0_2_1 @ Block.[]..[] [trace] constant-genset @ Block([..]) [trace] constant-genset @ Block([..]) (failed) [trace] constant-killset @ Block([..]) [trace] constant-killset @ Block([..]) (failed) [trace] down-decorator0_2_1 @ Block.[Assign,Assign,Assign,..] [trace] apply-to-stm-decorator0_2_1 @ Block.[Assign,Assign,Assign,..] [trace] down-decorator0_2_1 @ Block([..]) [trace] apply-to-stm-decorator0_2_1 @ Block([..]) [trace] circular-decorator0_2_2 @ Block([..]) [trace] down-decorator0_2_1 @ Block.[].Assign("x",Int) [trace] apply-to-stm-decorator0_2_1 @ Block.[].Assign("x",Int) [trace] circular-decorator0_2_2 @ Block.[].Assign("x",Int) [trace] plain-decorator0_2_1 @ Block.[].Assign("x",Int) [trace] constant-after @ Block.[].Assign("x",Int) [trace] down-decorator0_2_1 @ Block.[].Assign("x",Int) [trace] apply-to-stm-decorator0_2_1 @ Block.[].Assign("x",Int) [trace] circular-decorator0_2_2 @ Block.[].Assign("x",Int) [trace] plain-decorator0_2_1 @ Block.[].Assign("x",Int) [trace] constant-before @ Block.[].Assign("x",Int) [trace] contributes-to-decorator0_3_1 @ Block.[].Assign("x",Int) [trace] contributes-to-decorator0_4_1 @ Block.[].Assign("x",Int) [trace] pred @ Block([..]) [trace] pred @ Block([..]) [trace] down-decorator0_2_1 @ Block([..]) [trace] apply-to-stm-decorator0_2_1 @ Block([..]) [trace] circular-decorator0_2_2 @ Block([..]) [trace] constant-genset @ Block.[].Assign("x",Int) [trace] constant-value @ Block.[].Assign.Int(1) [trace] table-union @ ?.([_],[]) [trace] constant-killset @ Block.[].Assign("x",Int) [trace] constant-killset @ Block.[].Assign("x",Int) (failed) [trace] plain-decorator0_2_1 @ Block.[].Assign("x",Int) [trace] down-decorator0_2_1 @ Block.[].Assign."x" [trace] apply-to-stm-decorator0_2_1 @ Block.[].Assign."x" [trace] down-decorator0_2_1 @ Block.[].Assign("x",Int) [trace] apply-to-stm-decorator0_2_1 @ Block.[].Assign("x",Int) [trace] circular-decorator0_2_2 @ Block.[].Assign("x",Int) [trace] down-decorator0_2_1 @ Block.[].Assign.Int(1) [trace] apply-to-stm-decorator0_2_1 @ Block.[].Assign.Int(1) [trace] down-decorator0_2_1 @ Block.[].Assign("x",Int) [trace] apply-to-stm-decorator0_2_1 @ Block.[].Assign("x",Int) [trace] circular-decorator0_2_2 @ Block.[].Assign("x",Int) [trace] down-decorator0_2_1 @ Block.[].Assign.Int.1 [trace] apply-to-stm-decorator0_2_1 @ Block.[].Assign.Int.1 [trace] down-decorator0_2_1 @ Block.[].Assign.Int(1) [trace] apply-to-stm-decorator0_2_1 @ Block.[].Assign.Int(1) [trace] down-decorator0_2_1 @ Block.[].Assign("x",Int) [trace] apply-to-stm-decorator0_2_1 @ Block.[].Assign("x",Int) [trace] circular-decorator0_2_2 @ Block.[].Assign("x",Int) [trace] down-decorator0_2_1 @ Block.[]..Assign("y",Int) [trace] apply-to-stm-decorator0_2_1 @ Block.[]..Assign("y",Int) [trace] circular-decorator0_2_2 @ Block.[]..Assign("y",Int) [trace] plain-decorator0_2_1 @ Block.[]..Assign("y",Int) [trace] constant-after @ Block.[]..Assign("y",Int) [trace] down-decorator0_2_1 @ Block.[]..Assign("y",Int) [trace] apply-to-stm-decorator0_2_1 @ Block.[]..Assign("y",Int) [trace] circular-decorator0_2_2 @ Block.[]..Assign("y",Int) [trace] plain-decorator0_2_1 @ Block.[]..Assign("y",Int) [trace] constant-before @ Block.[]..Assign("y",Int) [trace] contributes-to-decorator0_3_1 @ Block.[]..Assign("y",Int) [trace] contributes-to-decorator0_4_1 @ Block.[]..Assign("y",Int) [trace] pred @ Block.[].Assign("x",Int) [trace] pred @ Block.[].Assign("x",Int) [trace] down-decorator0_2_1 @ Block.[].Assign("x",Int) [trace] apply-to-stm-decorator0_2_1 @ Block.[].Assign("x",Int) [trace] circular-decorator0_2_2 @ Block.[].Assign("x",Int) [trace] constant-genset @ Block.[]..Assign("y",Int) [trace] constant-value @ Block.[]..Assign.Int(2) [trace] table-union @ ?.([_],[_]) [trace] constant-killset @ Block.[]..Assign("y",Int) [trace] constant-killset @ Block.[]..Assign("y",Int) (failed) [trace] plain-decorator0_2_1 @ Block.[]..Assign("y",Int) [trace] down-decorator0_2_1 @ Block.[]..Assign."y" [trace] apply-to-stm-decorator0_2_1 @ Block.[]..Assign."y" [trace] down-decorator0_2_1 @ Block.[]..Assign("y",Int) [trace] apply-to-stm-decorator0_2_1 @ Block.[]..Assign("y",Int) [trace] circular-decorator0_2_2 @ Block.[]..Assign("y",Int) [trace] down-decorator0_2_1 @ Block.[]..Assign.Int(2) [trace] apply-to-stm-decorator0_2_1 @ Block.[]..Assign.Int(2) [trace] down-decorator0_2_1 @ Block.[]..Assign("y",Int) [trace] apply-to-stm-decorator0_2_1 @ Block.[]..Assign("y",Int) [trace] circular-decorator0_2_2 @ Block.[]..Assign("y",Int) [trace] down-decorator0_2_1 @ Block.[]..Assign.Int.2 [trace] apply-to-stm-decorator0_2_1 @ Block.[]..Assign.Int.2 [trace] down-decorator0_2_1 @ Block.[]..Assign.Int(2) [trace] apply-to-stm-decorator0_2_1 @ Block.[]..Assign.Int(2) [trace] down-decorator0_2_1 @ Block.[]..Assign("y",Int) [trace] apply-to-stm-decorator0_2_1 @ Block.[]..Assign("y",Int) [trace] circular-decorator0_2_2 @ Block.[]..Assign("y",Int) [trace] down-decorator0_2_1 @ Block.[]..Assign("x",Int) [trace] apply-to-stm-decorator0_2_1 @ Block.[]..Assign("x",Int) [trace] circular-decorator0_2_2 @ Block.[]..Assign("x",Int) [trace] plain-decorator0_2_1 @ Block.[]..Assign("x",Int) [trace] constant-after @ Block.[]..Assign("x",Int) [trace] down-decorator0_2_1 @ Block.[]..Assign("x",Int) [trace] apply-to-stm-decorator0_2_1 @ Block.[]..Assign("x",Int) [trace] circular-decorator0_2_2 @ Block.[]..Assign("x",Int) [trace] plain-decorator0_2_1 @ Block.[]..Assign("x",Int) [trace] constant-before @ Block.[]..Assign("x",Int) [trace] contributes-to-decorator0_3_1 @ Block.[]..Assign("x",Int) [trace] contributes-to-decorator0_4_1 @ Block.[]..Assign("x",Int) [trace] pred @ Block.[]..Assign("y",Int) [trace] pred @ Block.[]..Assign("y",Int) [trace] down-decorator0_2_1 @ Block.[]..Assign("y",Int) [trace] apply-to-stm-decorator0_2_1 @ Block.[]..Assign("y",Int) [trace] circular-decorator0_2_2 @ Block.[]..Assign("y",Int) [trace] constant-genset @ Block.[]..Assign("x",Int) [trace] constant-value @ Block.[]..Assign.Int(3) [trace] table-union @ ?.([_],[..]) [trace] constant-killset @ Block.[]..Assign("x",Int) [trace] constant-killset @ Block.[]..Assign("x",Int) (failed) [trace] plain-decorator0_2_1 @ Block.[]..Assign("x",Int) [trace] down-decorator0_2_1 @ Block.[]..Assign."x" [trace] apply-to-stm-decorator0_2_1 @ Block.[]..Assign."x" [trace] down-decorator0_2_1 @ Block.[]..Assign("x",Int) [trace] apply-to-stm-decorator0_2_1 @ Block.[]..Assign("x",Int) [trace] circular-decorator0_2_2 @ Block.[]..Assign("x",Int) [trace] down-decorator0_2_1 @ Block.[]..Assign.Int(3) [trace] apply-to-stm-decorator0_2_1 @ Block.[]..Assign.Int(3) [trace] down-decorator0_2_1 @ Block.[]..Assign("x",Int) [trace] apply-to-stm-decorator0_2_1 @ Block.[]..Assign("x",Int) [trace] circular-decorator0_2_2 @ Block.[]..Assign("x",Int) [trace] down-decorator0_2_1 @ Block.[]..Assign.Int.3 [trace] apply-to-stm-decorator0_2_1 @ Block.[]..Assign.Int.3 [trace] down-decorator0_2_1 @ Block.[]..Assign.Int(3) [trace] apply-to-stm-decorator0_2_1 @ Block.[]..Assign.Int(3) [trace] down-decorator0_2_1 @ Block.[]..Assign("x",Int) [trace] apply-to-stm-decorator0_2_1 @ Block.[]..Assign("x",Int) [trace] circular-decorator0_2_2 @ Block.[]..Assign("x",Int) [trace] down-decorator0_2_1 @ Block.[]..While("cond",Block) [trace] apply-to-stm-decorator0_2_1 @ Block.[]..While("cond",Block) [trace] circular-decorator0_2_2 @ Block.[]..While("cond",Block) [trace] plain-decorator0_2_1 @ Block.[]..While("cond",Block) [trace] constant-after @ Block.[]..While("cond",Block) [trace] down-decorator0_2_1 @ Block.[]..While("cond",Block) [trace] apply-to-stm-decorator0_2_1 @ Block.[]..While("cond",Block) [trace] circular-decorator0_2_2 @ Block.[]..While("cond",Block) [trace] plain-decorator0_2_1 @ Block.[]..While("cond",Block) [trace] constant-before @ Block.[]..While("cond",Block) [trace] contributes-to-decorator0_3_1 @ Block.[]..While("cond",Block) [trace] contributes-to-decorator0_4_1 @ Block.[]..While("cond",Block) [trace] pred @ Block.[]..Assign("x",Int) [trace] pred @ Block.[]..Assign("x",Int) [trace] down-decorator0_2_1 @ Block.[]..Assign("x",Int) [trace] apply-to-stm-decorator0_2_1 @ Block.[]..Assign("x",Int) [trace] circular-decorator0_2_2 @ Block.[]..Assign("x",Int) [trace] constant-genset @ Block.[]..While("cond",Block) [trace] constant-genset @ Block.[]..While("cond",Block) (failed) [trace] constant-killset @ Block.[]..While("cond",Block) [trace] constant-killset @ Block.[]..While("cond",Block) (failed) [trace] plain-decorator0_2_1 @ Block.[]..While("cond",Block) [trace] down-decorator0_2_1 @ Block.[]..While."cond" [trace] apply-to-stm-decorator0_2_1 @ Block.[]..While."cond" [trace] down-decorator0_2_1 @ Block.[]..While("cond",Block) [trace] apply-to-stm-decorator0_2_1 @ Block.[]..While("cond",Block) [trace] circular-decorator0_2_2 @ Block.[]..While("cond",Block) [trace] down-decorator0_2_1 @ Block.[]..While.Block([..]) [trace] apply-to-stm-decorator0_2_1 @ Block.[]..While.Block([..]) [trace] circular-decorator0_2_2 @ Block.[]..While.Block([..]) [trace] plain-decorator0_2_1 @ Block.[]..While.Block([..]) [trace] constant-after @ Block.[]..While.Block([..]) [trace] down-decorator0_2_1 @ Block.[]..While.Block([..]) [trace] apply-to-stm-decorator0_2_1 @ Block.[]..While.Block([..]) [trace] circular-decorator0_2_2 @ Block.[]..While.Block([..]) [trace] plain-decorator0_2_1 @ Block.[]..While.Block([..]) [trace] constant-before @ Block.[]..While.Block([..]) [trace] contributes-to-decorator0_3_1 @ Block.[]..While.Block([..]) [trace] contributes-to-decorator0_4_1 @ Block.[]..While.Block([..]) [trace] pred @ Block.[]..While.Block.[]..Assign("x",Var) [trace] pred @ Block.[]..While.Block.[]..Assign("x",Var) [trace] pred @ Block.[]..While("cond",Block) [trace] pred @ Block.[]..While("cond",Block) [trace] pred @ Block.[]..While("cond",Block) [trace] pred @ Block.[]..While("cond",Block) [trace] down-decorator0_2_1 @ Block.[]..While.Block.[]..Assign("x",Var) [trace] apply-to-stm-decorator0_2_1 @ Block.[]..While.Block.[]..Assign("x",Var) [trace] circular-decorator0_2_2 @ Block.[]..While.Block.[]..Assign("x",Var) [trace] plain-decorator0_2_1 @ Block.[]..While.Block.[]..Assign("x",Var) [trace] constant-after @ Block.[]..While.Block.[]..Assign("x",Var) [trace] down-decorator0_2_1 @ Block.[]..While.Block.[]..Assign("x",Var) [trace] apply-to-stm-decorator0_2_1 @ Block.[]..While.Block.[]..Assign("x",Var) [trace] circular-decorator0_2_2 @ Block.[]..While.Block.[]..Assign("x",Var) [trace] plain-decorator0_2_1 @ Block.[]..While.Block.[]..Assign("x",Var) [trace] constant-before @ Block.[]..While.Block.[]..Assign("x",Var) [trace] contributes-to-decorator0_3_1 @ Block.[]..While.Block.[]..Assign("x",Var) [trace] contributes-to-decorator0_4_1 @ Block.[]..While.Block.[]..Assign("x",Var) [trace] pred @ Block.[]..While.Block.[].Assign("x",Var) [trace] pred @ Block.[]..While.Block.[].Assign("x",Var) [trace] down-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x",Var) [trace] apply-to-stm-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x",Var) [trace] circular-decorator0_2_2 @ Block.[]..While.Block.[].Assign("x",Var) [trace] plain-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x",Var) [trace] constant-after @ Block.[]..While.Block.[].Assign("x",Var) [trace] down-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x",Var) [trace] apply-to-stm-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x",Var) [trace] circular-decorator0_2_2 @ Block.[]..While.Block.[].Assign("x",Var) [trace] plain-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x",Var) [trace] constant-before @ Block.[]..While.Block.[].Assign("x",Var) [trace] contributes-to-decorator0_3_1 @ Block.[]..While.Block.[].Assign("x",Var) [trace] contributes-to-decorator0_4_1 @ Block.[]..While.Block.[].Assign("x",Var) [trace] pred @ Block.[]..While.Block([..]) [trace] pred @ Block.[]..While.Block([..]) [trace] down-decorator0_2_1 @ Block.[]..While.Block([..]) [trace] apply-to-stm-decorator0_2_1 @ Block.[]..While.Block([..]) [trace] circular-decorator0_2_2 @ Block.[]..While.Block([..]) [trace] constant-genset @ Block.[]..While.Block.[].Assign("x",Var) [trace] constant-value @ Block.[]..While.Block.[].Assign.Var("y") [trace] down-decorator0_2_1 @ Block.[]..While.Block.[].Assign.Var("y") [trace] apply-to-stm-decorator0_2_1 @ Block.[]..While.Block.[].Assign.Var("y") [trace] down-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x",Var) [trace] apply-to-stm-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x",Var) [trace] circular-decorator0_2_2 @ Block.[]..While.Block.[].Assign("x",Var) [trace] plain-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x",Var) [trace] constant-before @ Block.[]..While.Block.[].Assign("x",Var) [trace] contributes-to-decorator0_3_1 @ Block.[]..While.Block.[].Assign("x",Var) [trace] contributes-to-decorator0_4_1 @ Block.[]..While.Block.[].Assign("x",Var) [trace] pred @ Block.[]..While.Block([..]) [trace] pred @ Block.[]..While.Block([..]) [trace] down-decorator0_2_1 @ Block.[]..While.Block([..]) [trace] apply-to-stm-decorator0_2_1 @ Block.[]..While.Block([..]) [trace] circular-decorator0_2_2 @ Block.[]..While.Block([..]) [trace] constant-killset @ Block.[]..While.Block.[].Assign("x",Var) [trace] table-diff @ ?.([],[_]) [trace] constant-genset @ Block.[]..While.Block.[]..Assign("x",Var) [trace] constant-value @ Block.[]..While.Block.[]..Assign.Var("x") [trace] down-decorator0_2_1 @ Block.[]..While.Block.[]..Assign.Var("x") [trace] apply-to-stm-decorator0_2_1 @ Block.[]..While.Block.[]..Assign.Var("x") [trace] down-decorator0_2_1 @ Block.[]..While.Block.[]..Assign("x",Var) [trace] apply-to-stm-decorator0_2_1 @ Block.[]..While.Block.[]..Assign("x",Var) [trace] circular-decorator0_2_2 @ Block.[]..While.Block.[]..Assign("x",Var) [trace] plain-decorator0_2_1 @ Block.[]..While.Block.[]..Assign("x",Var) [trace] constant-before @ Block.[]..While.Block.[]..Assign("x",Var) [trace] contributes-to-decorator0_3_1 @ Block.[]..While.Block.[]..Assign("x",Var) [trace] contributes-to-decorator0_4_1 @ Block.[]..While.Block.[]..Assign("x",Var) [trace] pred @ Block.[]..While.Block.[].Assign("x",Var) [trace] pred @ Block.[]..While.Block.[].Assign("x",Var) [trace] down-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x",Var) [trace] apply-to-stm-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x",Var) [trace] circular-decorator0_2_2 @ Block.[]..While.Block.[].Assign("x",Var) [trace] plain-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x",Var) [trace] constant-after @ Block.[]..While.Block.[].Assign("x",Var) [trace] down-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x",Var) [trace] apply-to-stm-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x",Var) [trace] circular-decorator0_2_2 @ Block.[]..While.Block.[].Assign("x",Var) [trace] plain-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x",Var) [trace] constant-before @ Block.[]..While.Block.[].Assign("x",Var) [trace] contributes-to-decorator0_3_1 @ Block.[]..While.Block.[].Assign("x",Var) [trace] contributes-to-decorator0_4_1 @ Block.[]..While.Block.[].Assign("x",Var) [trace] pred @ Block.[]..While.Block([..]) [trace] pred @ Block.[]..While.Block([..]) [trace] down-decorator0_2_1 @ Block.[]..While.Block([..]) [trace] apply-to-stm-decorator0_2_1 @ Block.[]..While.Block([..]) [trace] circular-decorator0_2_2 @ Block.[]..While.Block([..]) [trace] constant-killset @ Block.[]..While.Block.[]..Assign("x",Var) [trace] table-diff @ ?.([],[_]) [trace] down-decorator0_2_1 @ Block.[]..While("cond",Block) [trace] apply-to-stm-decorator0_2_1 @ Block.[]..While("cond",Block) [trace] circular-decorator0_2_2 @ Block.[]..While("cond",Block) [trace] down-decorator0_2_1 @ Block.[]..While("cond",Block) [trace] apply-to-stm-decorator0_2_1 @ Block.[]..While("cond",Block) [trace] circular-decorator0_2_2 @ Block.[]..While("cond",Block) [trace] constant-genset @ Block.[]..While.Block([..]) [trace] constant-genset @ Block.[]..While.Block([..]) (failed) [trace] constant-killset @ Block.[]..While.Block([..]) [trace] constant-killset @ Block.[]..While.Block([..]) (failed) [trace] down-decorator0_2_1 @ Block.[]..While.Block.[Assign,Assign] [trace] apply-to-stm-decorator0_2_1 @ Block.[]..While.Block.[Assign,Assign] [trace] down-decorator0_2_1 @ Block.[]..While.Block([..]) [trace] apply-to-stm-decorator0_2_1 @ Block.[]..While.Block([..]) [trace] circular-decorator0_2_2 @ Block.[]..While.Block([..]) [trace] down-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x",Var) [trace] apply-to-stm-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x",Var) [trace] circular-decorator0_2_2 @ Block.[]..While.Block.[].Assign("x",Var) [trace] down-decorator0_2_1 @ Block.[]..While.Block.[].Assign."x" [trace] apply-to-stm-decorator0_2_1 @ Block.[]..While.Block.[].Assign."x" [trace] down-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x",Var) [trace] apply-to-stm-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x",Var) [trace] circular-decorator0_2_2 @ Block.[]..While.Block.[].Assign("x",Var) [trace] down-decorator0_2_1 @ Block.[]..While.Block.[].Assign.Var("y") [trace] apply-to-stm-decorator0_2_1 @ Block.[]..While.Block.[].Assign.Var("y") [trace] down-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x",Var) [trace] apply-to-stm-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x",Var) [trace] circular-decorator0_2_2 @ Block.[]..While.Block.[].Assign("x",Var) [trace] down-decorator0_2_1 @ Block.[]..While.Block.[].Assign.Var."y" [trace] apply-to-stm-decorator0_2_1 @ Block.[]..While.Block.[].Assign.Var."y" [trace] down-decorator0_2_1 @ Block.[]..While.Block.[].Assign.Var("y") [trace] apply-to-stm-decorator0_2_1 @ Block.[]..While.Block.[].Assign.Var("y") [trace] down-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x",Var) [trace] apply-to-stm-decorator0_2_1 @ Block.[]..While.Block.[].Assign("x",Var) [trace] circular-decorator0_2_2 @ Block.[]..While.Block.[].Assign("x",Var) [trace] down-decorator0_2_1 @ Block.[]..While.Block.[]..Assign("x",Var) [trace] apply-to-stm-decorator0_2_1 @ Block.[]..While.Block.[]..Assign("x",Var) [trace] circular-decorator0_2_2 @ Block.[]..While.Block.[]..Assign("x",Var) [trace] down-decorator0_2_1 @ Block.[]..While.Block.[]..Assign."x" [trace] apply-to-stm-decorator0_2_1 @ Block.[]..While.Block.[]..Assign."x" [trace] down-decorator0_2_1 @ Block.[]..While.Block.[]..Assign("x",Var) [trace] apply-to-stm-decorator0_2_1 @ Block.[]..While.Block.[]..Assign("x",Var) [trace] circular-decorator0_2_2 @ Block.[]..While.Block.[]..Assign("x",Var) [trace] down-decorator0_2_1 @ Block.[]..While.Block.[]..Assign.Var("x") [trace] apply-to-stm-decorator0_2_1 @ Block.[]..While.Block.[]..Assign.Var("x") [trace] down-decorator0_2_1 @ Block.[]..While.Block.[]..Assign("x",Var) [trace] apply-to-stm-decorator0_2_1 @ Block.[]..While.Block.[]..Assign("x",Var) [trace] circular-decorator0_2_2 @ Block.[]..While.Block.[]..Assign("x",Var) [trace] down-decorator0_2_1 @ Block.[]..While.Block.[]..Assign.Var."x" [trace] apply-to-stm-decorator0_2_1 @ Block.[]..While.Block.[]..Assign.Var."x" [trace] down-decorator0_2_1 @ Block.[]..While.Block.[]..Assign.Var("x") [trace] apply-to-stm-decorator0_2_1 @ Block.[]..While.Block.[]..Assign.Var("x") [trace] down-decorator0_2_1 @ Block.[]..While.Block.[]..Assign("x",Var) [trace] apply-to-stm-decorator0_2_1 @ Block.[]..While.Block.[]..Assign("x",Var) [trace] circular-decorator0_2_2 @ Block.[]..While.Block.[]..Assign("x",Var) [trace] down-decorator0_2_1 @ Block.[]..Return("x") [trace] apply-to-stm-decorator0_2_1 @ Block.[]..Return("x") [trace] circular-decorator0_2_2 @ Block.[]..Return("x") [trace] plain-decorator0_2_1 @ Block.[]..Return("x") [trace] constant-after @ Block.[]..Return("x") [trace] down-decorator0_2_1 @ Block.[]..Return("x") [trace] apply-to-stm-decorator0_2_1 @ Block.[]..Return("x") [trace] circular-decorator0_2_2 @ Block.[]..Return("x") [trace] plain-decorator0_2_1 @ Block.[]..Return("x") [trace] constant-before @ Block.[]..Return("x") [trace] contributes-to-decorator0_3_1 @ Block.[]..Return("x") [trace] contributes-to-decorator0_4_1 @ Block.[]..Return("x") [trace] constant-genset @ Block.[]..Return("x") [trace] constant-genset @ Block.[]..Return("x") (failed) [trace] constant-killset @ Block.[]..Return("x") [trace] constant-killset @ Block.[]..Return("x") (failed) [trace] down-decorator0_2_1 @ Block.[]..Return."x" [trace] apply-to-stm-decorator0_2_1 @ Block.[]..Return."x" [trace] down-decorator0_2_1 @ Block.[]..Return("x") [trace] apply-to-stm-decorator0_2_1 @ Block.[]..Return("x") [trace] circular-decorator0_2_2 @ Block.[]..Return("x") Block([Assign("x"{("x"{"@28"},Int(1{"@29"}))},Int(1{("x"{"@28"},Int(1{"@29"}))}){("x"{"@28"},Int(1{"@29"}))}){("x"{"@28"},Int(1{"@29"}))},Assign("y"{("y"{"@30"},Int(2{"@31"})),("x"{"@28"},Int(1{"@29"}))},Int(2{("y"{"@30"},Int(2{"@31"})),("x"{"@28"},Int(1{"@29"}))}){("y"{"@30"},Int(2{"@31"})),("x"{"@28"},Int(1{"@29"}))}){("y"{"@30"},Int(2{"@31"})),("x"{"@28"},Int(1{"@29"}))},Assign("x"{("y"{"@30"},Int(2{"@31"})),("x"{"@28"},Int(1{"@29"}))},Int(3{("y"{"@30"},Int(2{"@31"})),("x"{"@28"},Int(1{"@29"}))}){("y"{"@30"},Int(2{"@31"})),("x"{"@28"},Int(1{"@29"}))}){("y"{"@30"},Int(2{"@31"})),("x"{"@28"},Int(1{"@29"}))},While("cond"{("y"{"@30"},Int(2{"@31"})),("x"{"@28"},Int(1{"@29"}))},Block([Assign("x",Var("y")),Assign("x",Var("x"))])){("y"{"@30"},Int(2{"@31"})),("x"{"@28"},Int(1{"@29"}))},Return("x")]) building cons-nil.run ==== cons-nil ==== [1,2,3,4,5,6,7] [trace] up-decorator0_2_1 @ [1,2,3,..] [trace] depth @ [1,2,3,..] [trace] up-decorator0_2_1 @ [].[2,3,4,..] [trace] depth @ [].[2,3,4,..] [trace] up-decorator0_2_1 @ []..[3,4,5,..] [trace] depth @ []..[3,4,5,..] [trace] up-decorator0_2_1 @ []..[4,5,6,_] [trace] depth @ []..[4,5,6,_] [trace] up-decorator0_2_1 @ []..[5,6,7] [trace] depth @ []..[5,6,7] [trace] up-decorator0_2_1 @ []..[6,7] [trace] depth @ []..[6,7] [trace] up-decorator0_2_1 @ []..[7] [trace] depth @ []..[7] [trace] up-decorator0_2_1 @ []..[] [trace] depth @ []..[] building contributes-to.run ==== contributes-to ==== [trace] following @ [].1 [2,3,4] [trace] following @ []..2 [3,4] [trace] contributes-to-decorator0_3_1 @ []..3 [trace] contributes-to-decorator0_4_1 @ []..3 [trace] down-decorator0_2_1 @ []..3 [trace] root @ []..3 [trace] root @ []..3 (failed) [trace] down-decorator0_2_1 @ []..[3,4] [trace] root @ []..[3,4] [trace] root @ []..3 (failed) [trace] down-decorator0_2_1 @ [].[2,3,4] [trace] root @ [].[2,3,4] [trace] root @ []..3 (failed) [trace] down-decorator0_2_1 @ [1,2,3,_] [trace] root @ [1,2,3,_] [trace] following @ [1,2,3,_] [trace] following @ [1,2,3,_] (failed) [trace] following @ [].[2,3,4] [trace] following @ [].[2,3,4] (failed) [trace] following @ []..[3,4] [trace] following @ []..[3,4] (failed) [trace] following @ []..3 [trace] following @ []..[4] [trace] following @ []..[4] (failed) [trace] following @ []..4 [trace] following @ []..[] [trace] following @ []..[] (failed) [trace] preceding @ []..2 [trace] preceding @ []..2 [trace] preceding @ [].1 [trace] preceding @ [].1 [2,1] [trace] contributes-to-decorator0_3_1 @ []..4 [trace] contributes-to-decorator0_4_1 @ []..4 [trace] preceding @ []..3 [trace] preceding @ []..3 [trace] preceding @ []..2 [trace] preceding @ []..2 [trace] preceding @ [].1 [trace] preceding @ [].1 [3,2,1] building decorators.run ==== decorators ==== [trace] down-decorator0_2_1 @ [1,2,3,_] [trace] at-root-decorator0_2_1 @ [1,2,3,_] [trace] collect-all-decorator0_2_1 @ [1,2,3,_] [trace] collect-lt_0_1 @ [1,2,3,_] [trace] collect-lt_0_1 @ [].1 [trace] collect-lt_0_1 @ []..2 [trace] collect-lt_0_1 @ []..3 [trace] collect-lt_0_1 @ []..[4,5,1,..] [trace] collect-lt_0_1 @ []..4 [trace] collect-lt_0_1 @ []..5 [trace] collect-lt_0_1 @ []..1 [trace] collect-lt_0_1 @ []..2 [trace] collect-lt_0_1 @ []..6 [trace] _collect-all-decorator0_2_1 @ [1,2,3,_] [trace] _collect-lt_0_1 @ [1,2,3,_] [trace] _collect-all-decorator0_2_1 @ [].1 [trace] _collect-lt_0_1 @ [].1 [trace] _collect-all-decorator0_2_1 @ [].[2,3,[..]] [trace] _collect-lt_0_1 @ [].[2,3,[..]] [trace] _collect-all-decorator0_2_1 @ []..2 [trace] _collect-lt_0_1 @ []..2 [trace] _collect-all-decorator0_2_1 @ []..[3,[..]] [trace] _collect-lt_0_1 @ []..[3,[..]] [trace] _collect-all-decorator0_2_1 @ []..3 [trace] _collect-lt_0_1 @ []..3 [trace] _collect-all-decorator0_2_1 @ []..[[..]] [trace] _collect-lt_0_1 @ []..[[..]] [trace] _collect-all-decorator0_2_1 @ []..[4,5,1,..] [trace] _collect-lt_0_1 @ []..[4,5,1,..] [trace] _collect-all-decorator0_2_1 @ []..4 [trace] _collect-lt_0_1 @ []..4 [trace] _collect-all-decorator0_2_1 @ []..[5,1,2,_] [trace] _collect-lt_0_1 @ []..[5,1,2,_] [trace] _collect-all-decorator0_2_1 @ []..5 [trace] _collect-lt_0_1 @ []..5 [trace] _collect-all-decorator0_2_1 @ []..[1,2,6] [trace] _collect-lt_0_1 @ []..[1,2,6] [trace] _collect-all-decorator0_2_1 @ []..1 [trace] _collect-lt_0_1 @ []..1 [trace] _collect-all-decorator0_2_1 @ []..[2,6] [trace] _collect-lt_0_1 @ []..[2,6] [trace] _collect-all-decorator0_2_1 @ []..2 [trace] _collect-lt_0_1 @ []..2 [trace] _collect-all-decorator0_2_1 @ []..[6] [trace] _collect-lt_0_1 @ []..[6] [trace] _collect-all-decorator0_2_1 @ []..6 [trace] _collect-lt_0_1 @ []..6 [trace] _collect-all-decorator0_2_1 @ []..[] [trace] _collect-lt_0_1 @ []..[] [trace] _collect-all-decorator0_2_1 @ []..[] [trace] _collect-lt_0_1 @ []..[] ([1,2,3,4,1,2],[1,2,3,4,1,2]) building empty.run ==== empty ==== ["./empty","--verbose","2"] building find-minimum.run ==== find-minimum ==== [trace] up-decorator0_2_1 @ Fork(Fork,Leaf) [trace] min @ Fork(Fork,Leaf) [trace] up-decorator0_2_1 @ Fork.Fork(Leaf,Fork) [trace] min @ Fork.Fork(Leaf,Fork) [trace] up-decorator0_2_1 @ Fork.Fork.Leaf(70) [trace] min @ Fork.Fork.Leaf(70) [trace] up-decorator0_2_1 @ Fork.Fork.Fork(Leaf,Leaf) [trace] min @ Fork.Fork.Fork(Leaf,Leaf) [trace] up-decorator0_2_1 @ Fork.Fork.Fork.Leaf(212) [trace] min @ Fork.Fork.Fork.Leaf(212) [trace] up-decorator0_2_1 @ Fork.Fork.Fork.Leaf(83) [trace] min @ Fork.Fork.Fork.Leaf(83) [trace] up-decorator0_2_1 @ Fork.Leaf(42) [trace] min @ Fork.Leaf(42) 42 building lookup-unordered.run ==== lookup-unordered ==== [trace] lookup-unordered-decorator0_3_1 @ [Decl,Some] [trace] down-decorator0_2_1 @ [Decl,Some] [trace] before-decorator0_3_1 @ [Decl,Some] [trace] cached-decorator0_2_2 @ [Decl,Some] [trace] all-decls_2_1 @ [Decl,Some] [trace] lookup-1_0_1 @ [].Decl."x" [trace] lookup-1_0_1 @ [Decl,Some] (failed) [trace] lookup-1_0_1 @ [].Decl.1 [trace] lookup-1_0_1 @ [Decl,Some] (failed) [trace] lookup-1_0_1 @ [].Decl("x",1) [trace] lookup-1_0_1 @ []..Some.[].Decl."x" [trace] lookup-1_0_1 @ [Decl,Some] (failed) [trace] lookup-1_0_1 @ []..Some.[].Decl.2 [trace] lookup-1_0_1 @ [Decl,Some] (failed) [trace] lookup-1_0_1 @ []..Some.[].Decl("x",2) [trace] lookup-1_0_1 @ []..Some.[]..Decl."y" [trace] lookup-1_0_1 @ [Decl,Some] (failed) [trace] lookup-1_0_1 @ []..Some.[]..Decl.3 [trace] lookup-1_0_1 @ [Decl,Some] (failed) [trace] lookup-1_0_1 @ []..Some.[]..Decl("y",3) [trace] lookup-1_0_1 @ []..Some.[]..[] [trace] lookup-1_0_1 @ [Decl,Some] (failed) [trace] lookup-1_0_1 @ []..Some.[].[Decl] [trace] lookup-1_0_1 @ [Decl,Some] (failed) [trace] lookup-1_0_1 @ []..Some.[Decl,Decl] [trace] lookup-1_0_1 @ [Decl,Some] (failed) [trace] lookup-1_0_1 @ []..Some([..]) [trace] lookup-1_0_1 @ [Decl,Some] (failed) [trace] lookup-1_0_1 @ []..[] [trace] lookup-1_0_1 @ [Decl,Some] (failed) [trace] lookup-1_0_1 @ [].[Some] [trace] lookup-1_0_1 @ [Decl,Some] (failed) [trace] lookup-1_0_1 @ [Decl,Some] [trace] lookup-1_0_1 @ [Decl,Some] (failed) [trace] lookup-1_0_1 @ [].Decl("x",1) Decl("x",1) [trace] lookup-global-decorator0_2_1 @ [].Decl("x",1) [trace] lookup-unordered-decorator0_3_1 @ [].Decl("x",1) [trace] down-decorator0_2_1 @ [].Decl("x",1) [trace] before-decorator0_3_1 @ [].Decl("x",1) [trace] down-decorator0_2_1 @ [Decl,Some] [trace] before-decorator0_3_1 @ [Decl,Some] [trace] cached-decorator0_2_2 @ [Decl,Some] [trace] all-decls_2_1 @ [Decl,Some] [trace] lookup-2_0_1 @ [].Decl."x" [trace] lookup-2_0_1 @ [].Decl("x",1) (failed) [trace] lookup-2_0_1 @ [].Decl.1 [trace] lookup-2_0_1 @ [].Decl("x",1) (failed) [trace] lookup-2_0_1 @ [].Decl("x",1) [trace] lookup-2_0_1 @ []..Some.[].Decl."x" [trace] lookup-2_0_1 @ [].Decl("x",1) (failed) [trace] lookup-2_0_1 @ []..Some.[].Decl.2 [trace] lookup-2_0_1 @ [].Decl("x",1) (failed) [trace] lookup-2_0_1 @ []..Some.[].Decl("x",2) [trace] lookup-2_0_1 @ []..Some.[]..Decl."y" [trace] lookup-2_0_1 @ [].Decl("x",1) (failed) [trace] lookup-2_0_1 @ []..Some.[]..Decl.3 [trace] lookup-2_0_1 @ [].Decl("x",1) (failed) [trace] lookup-2_0_1 @ []..Some.[]..Decl("y",3) [trace] lookup-2_0_1 @ []..Some.[]..[] [trace] lookup-2_0_1 @ [].Decl("x",1) (failed) [trace] lookup-2_0_1 @ []..Some.[].[Decl] [trace] lookup-2_0_1 @ [].Decl("x",1) (failed) [trace] lookup-2_0_1 @ []..Some.[Decl,Decl] [trace] lookup-2_0_1 @ [].Decl("x",1) (failed) [trace] lookup-2_0_1 @ []..Some([..]) [trace] lookup-2_0_1 @ [].Decl("x",1) (failed) [trace] lookup-2_0_1 @ []..[] [trace] lookup-2_0_1 @ [].Decl("x",1) (failed) [trace] lookup-2_0_1 @ [].[Some] [trace] lookup-2_0_1 @ [].Decl("x",1) (failed) [trace] lookup-2_0_1 @ [Decl,Some] [trace] lookup-2_0_1 @ [].Decl("x",1) (failed) Decl("x",1) [trace] lookup-unordered-decorator0_3_1 @ [].Decl("x",1) [trace] down-decorator0_2_1 @ [].Decl("x",1) [trace] before-decorator0_3_1 @ [].Decl("x",1) [trace] down-decorator0_2_1 @ [Decl,Some] [trace] before-decorator0_3_1 @ [Decl,Some] [trace] cached-decorator0_2_2 @ [Decl,Some] [trace] lookup-1_0_1 @ [].Decl("x",1) [trace] lookup-1_0_1 @ []..Some.[].Decl("x",2) [trace] lookup-1_0_1 @ []..Some.[]..Decl("y",3) Decl("y",3) [trace] lookup-multiple-global-decorator0_2_1 @ []..Some.[]..Decl("y",3) [trace] lookup-multiple-unordered-decorator0_3_1 @ []..Some.[]..Decl("y",3) [trace] down-decorator0_2_1 @ []..Some.[]..Decl("y",3) [trace] before-decorator0_3_1 @ []..Some.[]..Decl("y",3) [trace] down-decorator0_2_1 @ []..Some.[].[Decl] [trace] before-decorator0_3_1 @ []..Some.[].[Decl] [trace] down-decorator0_2_1 @ []..Some.[Decl,Decl] [trace] before-decorator0_3_1 @ []..Some.[Decl,Decl] [trace] down-decorator0_2_1 @ []..Some([..]) [trace] before-decorator0_3_1 @ []..Some([..]) [trace] down-decorator0_2_1 @ [].[Some] [trace] before-decorator0_3_1 @ [].[Some] [trace] down-decorator0_2_1 @ [Decl,Some] [trace] before-decorator0_3_1 @ [Decl,Some] [trace] cached-decorator0_2_2 @ [Decl,Some] [trace] all-decls_2_1 @ [Decl,Some] [trace] lookup-all_0_1 @ [].Decl."x" [trace] lookup-all_0_1 @ []..Some.[]..Decl("y",3) (failed) [trace] lookup-all_0_1 @ [].Decl.1 [trace] lookup-all_0_1 @ []..Some.[]..Decl("y",3) (failed) [trace] lookup-all_0_1 @ [].Decl("x",1) [trace] lookup-all_0_1 @ []..Some.[].Decl."x" [trace] lookup-all_0_1 @ []..Some.[]..Decl("y",3) (failed) [trace] lookup-all_0_1 @ []..Some.[].Decl.2 [trace] lookup-all_0_1 @ []..Some.[]..Decl("y",3) (failed) [trace] lookup-all_0_1 @ []..Some.[].Decl("x",2) [trace] lookup-all_0_1 @ []..Some.[]..Decl."y" [trace] lookup-all_0_1 @ []..Some.[]..Decl("y",3) (failed) [trace] lookup-all_0_1 @ []..Some.[]..Decl.3 [trace] lookup-all_0_1 @ []..Some.[]..Decl("y",3) (failed) [trace] lookup-all_0_1 @ []..Some.[]..Decl("y",3) [trace] lookup-all_0_1 @ []..Some.[]..[] [trace] lookup-all_0_1 @ []..Some.[]..Decl("y",3) (failed) [trace] lookup-all_0_1 @ []..Some.[].[Decl] [trace] lookup-all_0_1 @ []..Some.[]..Decl("y",3) (failed) [trace] lookup-all_0_1 @ []..Some.[Decl,Decl] [trace] lookup-all_0_1 @ []..Some.[]..Decl("y",3) (failed) [trace] lookup-all_0_1 @ []..Some([..]) [trace] lookup-all_0_1 @ []..Some.[]..Decl("y",3) (failed) [trace] lookup-all_0_1 @ []..[] [trace] lookup-all_0_1 @ []..Some.[]..Decl("y",3) (failed) [trace] lookup-all_0_1 @ [].[Some] [trace] lookup-all_0_1 @ []..Some.[]..Decl("y",3) (failed) [trace] lookup-all_0_1 @ [Decl,Some] [trace] lookup-all_0_1 @ []..Some.[]..Decl("y",3) (failed) [trace] lookup-all_0_1 @ [].Decl("x",1) [trace] lookup-all_0_1 @ []..Some.[].Decl("x",2) [Decl("x",1),Decl("x",2)] [trace] all-declarations @ []..Some.[]..Decl("y",3) [trace] all-decls-decorator0_2_1 @ []..Some.[]..Decl("y",3) [trace] lookup-unordered-decorator0_3_1 @ []..Some.[]..Decl("y",3) [trace] down-decorator0_2_1 @ []..Some.[]..Decl("y",3) [trace] before-decorator0_3_1 @ []..Some.[]..Decl("y",3) [trace] down-decorator0_2_1 @ []..Some.[].[Decl] [trace] before-decorator0_3_1 @ []..Some.[].[Decl] [trace] down-decorator0_2_1 @ []..Some.[Decl,Decl] [trace] before-decorator0_3_1 @ []..Some.[Decl,Decl] [trace] down-decorator0_2_1 @ []..Some([..]) [trace] before-decorator0_3_1 @ []..Some([..]) [trace] down-decorator0_2_1 @ [].[Some] [trace] before-decorator0_3_1 @ [].[Some] [trace] down-decorator0_2_1 @ [Decl,Some] [trace] before-decorator0_3_1 @ [Decl,Some] [trace] cached-decorator0_2_2 @ [Decl,Some] [trace] lookup-1_0_1 @ [].Decl("x",1) [trace] lookup-1_0_1 @ []..Some.[].Decl("x",2) [trace] lookup-1_0_1 @ []..Some.[]..Decl("y",3) [trace] down-decorator0_2_1 @ []..Some.[]..Decl("y",3) [trace] before-decorator0_3_1 @ []..Some.[]..Decl("y",3) [trace] down-decorator0_2_1 @ []..Some.[].[Decl] [trace] before-decorator0_3_1 @ []..Some.[].[Decl] [trace] down-decorator0_2_1 @ []..Some.[Decl,Decl] [trace] before-decorator0_3_1 @ []..Some.[Decl,Decl] [trace] down-decorator0_2_1 @ []..Some([..]) [trace] before-decorator0_3_1 @ []..Some([..]) [trace] down-decorator0_2_1 @ [].[Some] [trace] before-decorator0_3_1 @ [].[Some] [trace] down-decorator0_2_1 @ [Decl,Some] [trace] before-decorator0_3_1 @ [Decl,Some] [trace] cached-decorator0_2_2 @ [Decl,Some] [Decl("x",1),Decl("x",2),Decl("y",3)] [trace] global-declarations @ []..Some.[]..Decl("y",3) [trace] all-decls-decorator0_2_1 @ []..Some.[]..Decl("y",3) [trace] lookup-multiple-global-decorator0_2_1 @ []..Some.[]..Decl("y",3) [trace] lookup-multiple-unordered-decorator0_3_1 @ []..Some.[]..Decl("y",3) [trace] down-decorator0_2_1 @ []..Some.[]..Decl("y",3) [trace] before-decorator0_3_1 @ []..Some.[]..Decl("y",3) [trace] down-decorator0_2_1 @ []..Some.[].[Decl] [trace] before-decorator0_3_1 @ []..Some.[].[Decl] [trace] down-decorator0_2_1 @ []..Some.[Decl,Decl] [trace] before-decorator0_3_1 @ []..Some.[Decl,Decl] [trace] down-decorator0_2_1 @ []..Some([..]) [trace] before-decorator0_3_1 @ []..Some([..]) [trace] down-decorator0_2_1 @ [].[Some] [trace] before-decorator0_3_1 @ [].[Some] [trace] down-decorator0_2_1 @ [Decl,Some] [trace] before-decorator0_3_1 @ [Decl,Some] [trace] cached-decorator0_2_2 @ [Decl,Some] [trace] lookup-all_0_1 @ [].Decl("x",1) [trace] lookup-all_0_1 @ []..Some.[].Decl("x",2) [trace] lookup-all_0_1 @ []..Some.[]..Decl("y",3) [trace] down-decorator0_2_1 @ []..Some.[]..Decl("y",3) [trace] before-decorator0_3_1 @ []..Some.[]..Decl("y",3) [trace] down-decorator0_2_1 @ []..Some.[].[Decl] [trace] before-decorator0_3_1 @ []..Some.[].[Decl] [trace] down-decorator0_2_1 @ []..Some.[Decl,Decl] [trace] before-decorator0_3_1 @ []..Some.[Decl,Decl] [trace] down-decorator0_2_1 @ []..Some([..]) [trace] before-decorator0_3_1 @ []..Some([..]) [trace] down-decorator0_2_1 @ [].[Some] [trace] before-decorator0_3_1 @ [].[Some] [trace] down-decorator0_2_1 @ [Decl,Some] [trace] before-decorator0_3_1 @ [Decl,Some] [trace] cached-decorator0_2_2 @ [Decl,Some] [Decl("x",1),Decl("x",2),Decl("y",3)] building nested-decorator.run ==== nested-decorator ==== [trace] nested-get-signature-decorator0_2_1 @ 1 [trace] get-signature-decorator0_2_1 @ 1 [trace] signature-decorator0_2_1 @ 1 Attribute("foo",[],[]) building repmin-anonymous.run ==== repmin-anonymous ==== [trace] down-decorator0_2_1 @ Fork.Fork.Leaf(70) [trace] global-min @ Fork.Fork.Leaf(70) [trace] global-min @ Fork.Fork.Leaf(70) (failed) [trace] down-decorator0_2_1 @ Fork.Fork(Leaf,Fork) [trace] global-min @ Fork.Fork(Leaf,Fork) [trace] global-min @ Fork.Fork.Leaf(70) (failed) [trace] down-decorator0_2_1 @ Fork(Fork,Leaf) [trace] global-min @ Fork(Fork,Leaf) [trace] up-decorator0_2_1 @ Fork(Fork,Leaf) [trace] min @ Fork(Fork,Leaf) [trace] up-decorator0_2_1 @ Fork.Fork(Leaf,Fork) [trace] min @ Fork.Fork(Leaf,Fork) [trace] up-decorator0_2_1 @ Fork.Fork.Leaf(70) [trace] min @ Fork.Fork.Leaf(70) [trace] up-decorator0_2_1 @ Fork.Fork.Fork(Leaf,Leaf) [trace] min @ Fork.Fork.Fork(Leaf,Leaf) [trace] down-decorator0_2_1 @ Fork.Fork.Fork.Leaf(212) [trace] global-min @ Fork.Fork.Fork.Leaf(212) [trace] global-min @ Fork.Fork.Fork.Leaf(212) (failed) [trace] down-decorator0_2_1 @ Fork.Fork.Fork(Leaf,Leaf) [trace] global-min @ Fork.Fork.Fork(Leaf,Leaf) [trace] global-min @ Fork.Fork.Fork.Leaf(212) (failed) [trace] down-decorator0_2_1 @ Fork.Fork(Leaf,Fork) [trace] global-min @ Fork.Fork(Leaf,Fork) [trace] global-min @ Fork.Fork.Fork.Leaf(212) (failed) [trace] down-decorator0_2_1 @ Fork(Fork,Leaf) [trace] global-min @ Fork(Fork,Leaf) [trace] up-decorator0_2_1 @ Fork(Fork,Leaf) [trace] min @ Fork(Fork,Leaf) [trace] up-decorator0_2_1 @ Fork.Fork(Leaf,Fork) [trace] min @ Fork.Fork(Leaf,Fork) [trace] up-decorator0_2_1 @ Fork.Fork.Leaf(70) [trace] min @ Fork.Fork.Leaf(70) [trace] up-decorator0_2_1 @ Fork.Fork.Fork(Leaf,Leaf) [trace] min @ Fork.Fork.Fork(Leaf,Leaf) [trace] up-decorator0_2_1 @ Fork.Fork.Fork.Leaf(212) [trace] min @ Fork.Fork.Fork.Leaf(212) [trace] down-decorator0_2_1 @ Fork.Fork.Fork.Leaf(83) [trace] global-min @ Fork.Fork.Fork.Leaf(83) [trace] global-min @ Fork.Fork.Fork.Leaf(83) (failed) [trace] down-decorator0_2_1 @ Fork.Fork.Fork(Leaf,Leaf) [trace] global-min @ Fork.Fork.Fork(Leaf,Leaf) [trace] global-min @ Fork.Fork.Fork.Leaf(83) (failed) [trace] down-decorator0_2_1 @ Fork.Fork(Leaf,Fork) [trace] global-min @ Fork.Fork(Leaf,Fork) [trace] global-min @ Fork.Fork.Fork.Leaf(83) (failed) [trace] down-decorator0_2_1 @ Fork(Fork,Leaf) [trace] global-min @ Fork(Fork,Leaf) [trace] up-decorator0_2_1 @ Fork(Fork,Leaf) [trace] min @ Fork(Fork,Leaf) [trace] up-decorator0_2_1 @ Fork.Fork(Leaf,Fork) [trace] min @ Fork.Fork(Leaf,Fork) [trace] up-decorator0_2_1 @ Fork.Fork.Leaf(70) [trace] min @ Fork.Fork.Leaf(70) [trace] up-decorator0_2_1 @ Fork.Fork.Fork(Leaf,Leaf) [trace] min @ Fork.Fork.Fork(Leaf,Leaf) [trace] up-decorator0_2_1 @ Fork.Fork.Fork.Leaf(212) [trace] min @ Fork.Fork.Fork.Leaf(212) [trace] up-decorator0_2_1 @ Fork.Fork.Fork.Leaf(83) [trace] min @ Fork.Fork.Fork.Leaf(83) [trace] down-decorator0_2_1 @ Fork.Leaf(42) [trace] global-min @ Fork.Leaf(42) [trace] global-min @ Fork.Leaf(42) (failed) [trace] down-decorator0_2_1 @ Fork(Fork,Leaf) [trace] global-min @ Fork(Fork,Leaf) [trace] up-decorator0_2_1 @ Fork(Fork,Leaf) [trace] min @ Fork(Fork,Leaf) [trace] up-decorator0_2_1 @ Fork.Fork(Leaf,Fork) [trace] min @ Fork.Fork(Leaf,Fork) [trace] up-decorator0_2_1 @ Fork.Fork.Leaf(70) [trace] min @ Fork.Fork.Leaf(70) [trace] up-decorator0_2_1 @ Fork.Fork.Fork(Leaf,Leaf) [trace] min @ Fork.Fork.Fork(Leaf,Leaf) [trace] up-decorator0_2_1 @ Fork.Fork.Fork.Leaf(212) [trace] min @ Fork.Fork.Fork.Leaf(212) [trace] up-decorator0_2_1 @ Fork.Fork.Fork.Leaf(83) [trace] min @ Fork.Fork.Fork.Leaf(83) [trace] up-decorator0_2_1 @ Fork.Leaf(42) [trace] min @ Fork.Leaf(42) [trace] up-decorator0_2_1 @ Fork.Leaf(42) [trace] min @ Fork.Leaf(42) [rewr.] Fork.Fork.Fork.Leaf(83) -> Leaf(42) [trace] down-decorator0_2_1 @ Fork.Fork.Fork.Leaf(42) [trace] global-min @ Fork.Fork.Fork.Leaf(42) [trace] global-min @ Fork.Fork.Fork.Leaf(42) (failed) [trace] down-decorator0_2_1 @ Fork.Fork.Fork(Leaf,Leaf) [trace] global-min @ Fork.Fork.Fork(Leaf,Leaf) [trace] global-min @ Fork.Fork.Fork.Leaf(42) (failed) [trace] down-decorator0_2_1 @ Fork.Fork(Leaf,Fork) [trace] global-min @ Fork.Fork(Leaf,Fork) [trace] global-min @ Fork.Fork.Fork.Leaf(42) (failed) [trace] down-decorator0_2_1 @ Fork(Fork,Leaf) [trace] global-min @ Fork(Fork,Leaf) [trace] up-decorator0_2_1 @ Fork(Fork,Leaf) [trace] min @ Fork(Fork,Leaf) [trace] up-decorator0_2_1 @ Fork.Fork(Leaf,Fork) [trace] min @ Fork.Fork(Leaf,Fork) [trace] up-decorator0_2_1 @ Fork.Fork.Leaf(70) [trace] min @ Fork.Fork.Leaf(70) [trace] up-decorator0_2_1 @ Fork.Fork.Fork(Leaf,Leaf) [trace] min @ Fork.Fork.Fork(Leaf,Leaf) [trace] up-decorator0_2_1 @ Fork.Fork.Fork.Leaf(212) [trace] min @ Fork.Fork.Fork.Leaf(212) [trace] up-decorator0_2_1 @ Fork.Fork.Fork.Leaf(42) [trace] min @ Fork.Fork.Fork.Leaf(42) [trace] up-decorator0_2_1 @ Fork.Leaf(42) [trace] min @ Fork.Leaf(42) [trace] up-decorator0_2_1 @ Fork.Fork.Fork.Leaf(42) [trace] min @ Fork.Fork.Fork.Leaf(42) [trace] up-decorator0_2_1 @ Fork.Leaf(42) [trace] min @ Fork.Leaf(42) [rewr.] Fork.Fork.Fork.Leaf(212) -> Leaf(42) [trace] down-decorator0_2_1 @ Fork.Fork.Fork.Leaf(42) [trace] global-min @ Fork.Fork.Fork.Leaf(42) [trace] global-min @ Fork.Fork.Fork.Leaf(42) (failed) [trace] down-decorator0_2_1 @ Fork.Fork.Fork(Leaf,Leaf) [trace] global-min @ Fork.Fork.Fork(Leaf,Leaf) [trace] global-min @ Fork.Fork.Fork.Leaf(42) (failed) [trace] down-decorator0_2_1 @ Fork.Fork(Leaf,Fork) [trace] global-min @ Fork.Fork(Leaf,Fork) [trace] global-min @ Fork.Fork.Fork.Leaf(42) (failed) [trace] down-decorator0_2_1 @ Fork(Fork,Leaf) [trace] global-min @ Fork(Fork,Leaf) [trace] up-decorator0_2_1 @ Fork(Fork,Leaf) [trace] min @ Fork(Fork,Leaf) [trace] up-decorator0_2_1 @ Fork.Fork(Leaf,Fork) [trace] min @ Fork.Fork(Leaf,Fork) [trace] up-decorator0_2_1 @ Fork.Fork.Leaf(70) [trace] min @ Fork.Fork.Leaf(70) [trace] up-decorator0_2_1 @ Fork.Fork.Fork(Leaf,Leaf) [trace] min @ Fork.Fork.Fork(Leaf,Leaf) [trace] up-decorator0_2_1 @ Fork.Fork.Fork.Leaf(42) [trace] min @ Fork.Fork.Fork.Leaf(42) [trace] up-decorator0_2_1 @ Fork.Fork.Fork.Leaf(42) [trace] min @ Fork.Fork.Fork.Leaf(42) [trace] up-decorator0_2_1 @ Fork.Leaf(42) [trace] min @ Fork.Leaf(42) [trace] up-decorator0_2_1 @ Fork.Fork.Fork.Leaf(42) [trace] min @ Fork.Fork.Fork.Leaf(42) [trace] up-decorator0_2_1 @ Fork.Fork.Fork.Leaf(42) [trace] min @ Fork.Fork.Fork.Leaf(42) [trace] up-decorator0_2_1 @ Fork.Leaf(42) [trace] min @ Fork.Leaf(42) [rewr.] Fork.Fork.Leaf(70) -> Leaf(42) [trace] down-decorator0_2_1 @ Fork.Fork.Leaf(42) [trace] global-min @ Fork.Fork.Leaf(42) [trace] global-min @ Fork.Fork.Leaf(42) (failed) [trace] down-decorator0_2_1 @ Fork.Fork(Leaf,Fork) [trace] global-min @ Fork.Fork(Leaf,Fork) [trace] global-min @ Fork.Fork.Leaf(42) (failed) [trace] down-decorator0_2_1 @ Fork(Fork,Leaf) [trace] global-min @ Fork(Fork,Leaf) [trace] up-decorator0_2_1 @ Fork(Fork,Leaf) [trace] min @ Fork(Fork,Leaf) [trace] up-decorator0_2_1 @ Fork.Fork(Leaf,Fork) [trace] min @ Fork.Fork(Leaf,Fork) [trace] up-decorator0_2_1 @ Fork.Fork.Leaf(42) [trace] min @ Fork.Fork.Leaf(42) [trace] up-decorator0_2_1 @ Fork.Fork.Fork(Leaf,Leaf) [trace] min @ Fork.Fork.Fork(Leaf,Leaf) [trace] up-decorator0_2_1 @ Fork.Fork.Fork.Leaf(42) [trace] min @ Fork.Fork.Fork.Leaf(42) [trace] up-decorator0_2_1 @ Fork.Fork.Fork.Leaf(42) [trace] min @ Fork.Fork.Fork.Leaf(42) [trace] up-decorator0_2_1 @ Fork.Leaf(42) [trace] min @ Fork.Leaf(42) [trace] down-decorator0_2_1 @ Fork.Fork.Leaf(42) [trace] global-min @ Fork.Fork.Leaf(42) [trace] global-min @ Fork.Fork.Leaf(42) (failed) [trace] down-decorator0_2_1 @ Fork.Fork(Leaf,Fork) [trace] global-min @ Fork.Fork(Leaf,Fork) [trace] global-min @ Fork.Fork.Leaf(42) (failed) [trace] down-decorator0_2_1 @ Fork(Fork,Leaf) [trace] global-min @ Fork(Fork,Leaf) [trace] up-decorator0_2_1 @ Fork(Fork,Leaf) [trace] min @ Fork(Fork,Leaf) [trace] up-decorator0_2_1 @ Fork.Fork(Leaf,Fork) [trace] min @ Fork.Fork(Leaf,Fork) [trace] up-decorator0_2_1 @ Fork.Fork.Leaf(42) [trace] min @ Fork.Fork.Leaf(42) [trace] up-decorator0_2_1 @ Fork.Fork.Fork(Leaf,Leaf) [trace] min @ Fork.Fork.Fork(Leaf,Leaf) [trace] down-decorator0_2_1 @ Fork.Fork.Fork.Leaf(42) [trace] global-min @ Fork.Fork.Fork.Leaf(42) [trace] global-min @ Fork.Fork.Fork.Leaf(42) (failed) [trace] down-decorator0_2_1 @ Fork.Fork.Fork(Leaf,Leaf) [trace] global-min @ Fork.Fork.Fork(Leaf,Leaf) [trace] global-min @ Fork.Fork.Fork.Leaf(42) (failed) [trace] down-decorator0_2_1 @ Fork.Fork(Leaf,Fork) [trace] global-min @ Fork.Fork(Leaf,Fork) [trace] global-min @ Fork.Fork.Fork.Leaf(42) (failed) [trace] down-decorator0_2_1 @ Fork(Fork,Leaf) [trace] global-min @ Fork(Fork,Leaf) [trace] up-decorator0_2_1 @ Fork(Fork,Leaf) [trace] min @ Fork(Fork,Leaf) [trace] up-decorator0_2_1 @ Fork.Fork(Leaf,Fork) [trace] min @ Fork.Fork(Leaf,Fork) [trace] up-decorator0_2_1 @ Fork.Fork.Leaf(42) [trace] min @ Fork.Fork.Leaf(42) [trace] up-decorator0_2_1 @ Fork.Fork.Fork(Leaf,Leaf) [trace] min @ Fork.Fork.Fork(Leaf,Leaf) [trace] up-decorator0_2_1 @ Fork.Fork.Fork.Leaf(42) [trace] min @ Fork.Fork.Fork.Leaf(42) [trace] down-decorator0_2_1 @ Fork.Fork.Fork.Leaf(42) [trace] global-min @ Fork.Fork.Fork.Leaf(42) [trace] global-min @ Fork.Fork.Fork.Leaf(42) (failed) [trace] down-decorator0_2_1 @ Fork.Fork.Fork(Leaf,Leaf) [trace] global-min @ Fork.Fork.Fork(Leaf,Leaf) [trace] global-min @ Fork.Fork.Fork.Leaf(42) (failed) [trace] down-decorator0_2_1 @ Fork.Fork(Leaf,Fork) [trace] global-min @ Fork.Fork(Leaf,Fork) [trace] global-min @ Fork.Fork.Fork.Leaf(42) (failed) [trace] down-decorator0_2_1 @ Fork(Fork,Leaf) [trace] global-min @ Fork(Fork,Leaf) [trace] up-decorator0_2_1 @ Fork(Fork,Leaf) [trace] min @ Fork(Fork,Leaf) [trace] up-decorator0_2_1 @ Fork.Fork(Leaf,Fork) [trace] min @ Fork.Fork(Leaf,Fork) [trace] up-decorator0_2_1 @ Fork.Fork.Leaf(42) [trace] min @ Fork.Fork.Leaf(42) [trace] up-decorator0_2_1 @ Fork.Fork.Fork(Leaf,Leaf) [trace] min @ Fork.Fork.Fork(Leaf,Leaf) [trace] up-decorator0_2_1 @ Fork.Fork.Fork.Leaf(42) [trace] min @ Fork.Fork.Fork.Leaf(42) [trace] up-decorator0_2_1 @ Fork.Fork.Fork.Leaf(42) [trace] min @ Fork.Fork.Fork.Leaf(42) [trace] down-decorator0_2_1 @ Fork.Leaf(42) [trace] global-min @ Fork.Leaf(42) [trace] global-min @ Fork.Leaf(42) (failed) [trace] down-decorator0_2_1 @ Fork(Fork,Leaf) [trace] global-min @ Fork(Fork,Leaf) [trace] up-decorator0_2_1 @ Fork(Fork,Leaf) [trace] min @ Fork(Fork,Leaf) [trace] up-decorator0_2_1 @ Fork.Fork(Leaf,Fork) [trace] min @ Fork.Fork(Leaf,Fork) [trace] up-decorator0_2_1 @ Fork.Fork.Leaf(42) [trace] min @ Fork.Fork.Leaf(42) [trace] up-decorator0_2_1 @ Fork.Fork.Fork(Leaf,Leaf) [trace] min @ Fork.Fork.Fork(Leaf,Leaf) [trace] up-decorator0_2_1 @ Fork.Fork.Fork.Leaf(42) [trace] min @ Fork.Fork.Fork.Leaf(42) [trace] up-decorator0_2_1 @ Fork.Fork.Fork.Leaf(42) [trace] min @ Fork.Fork.Fork.Leaf(42) [trace] up-decorator0_2_1 @ Fork.Leaf(42) [trace] min @ Fork.Leaf(42) [trace] up-decorator0_2_1 @ Fork.Leaf(42) [trace] min @ Fork.Leaf(42) [trace] up-decorator0_2_1 @ Fork.Fork.Fork.Leaf(42) [trace] min @ Fork.Fork.Fork.Leaf(42) [trace] up-decorator0_2_1 @ Fork.Leaf(42) [trace] min @ Fork.Leaf(42) [trace] up-decorator0_2_1 @ Fork.Fork.Fork.Leaf(42) [trace] min @ Fork.Fork.Fork.Leaf(42) [trace] up-decorator0_2_1 @ Fork.Fork.Fork.Leaf(42) [trace] min @ Fork.Fork.Fork.Leaf(42) [trace] up-decorator0_2_1 @ Fork.Leaf(42) [trace] min @ Fork.Leaf(42) [trace] down-decorator0_2_1 @ Fork.Fork.Leaf(42) [trace] global-min @ Fork.Fork.Leaf(42) [trace] global-min @ Fork.Fork.Leaf(42) (failed) [trace] down-decorator0_2_1 @ Fork.Fork(Leaf,Fork) [trace] global-min @ Fork.Fork(Leaf,Fork) [trace] global-min @ Fork.Fork.Leaf(42) (failed) [trace] down-decorator0_2_1 @ Fork(Fork,Leaf) [trace] global-min @ Fork(Fork,Leaf) [trace] up-decorator0_2_1 @ Fork(Fork,Leaf) [trace] min @ Fork(Fork,Leaf) [trace] up-decorator0_2_1 @ Fork.Fork(Leaf,Fork) [trace] min @ Fork.Fork(Leaf,Fork) [trace] up-decorator0_2_1 @ Fork.Fork.Leaf(42) [trace] min @ Fork.Fork.Leaf(42) [trace] up-decorator0_2_1 @ Fork.Fork.Fork(Leaf,Leaf) [trace] min @ Fork.Fork.Fork(Leaf,Leaf) [trace] down-decorator0_2_1 @ Fork.Fork.Fork.Leaf(42) [trace] global-min @ Fork.Fork.Fork.Leaf(42) [trace] global-min @ Fork.Fork.Fork.Leaf(42) (failed) [trace] down-decorator0_2_1 @ Fork.Fork.Fork(Leaf,Leaf) [trace] global-min @ Fork.Fork.Fork(Leaf,Leaf) [trace] global-min @ Fork.Fork.Fork.Leaf(42) (failed) [trace] down-decorator0_2_1 @ Fork.Fork(Leaf,Fork) [trace] global-min @ Fork.Fork(Leaf,Fork) [trace] global-min @ Fork.Fork.Fork.Leaf(42) (failed) [trace] down-decorator0_2_1 @ Fork(Fork,Leaf) [trace] global-min @ Fork(Fork,Leaf) [trace] up-decorator0_2_1 @ Fork(Fork,Leaf) [trace] min @ Fork(Fork,Leaf) [trace] up-decorator0_2_1 @ Fork.Fork(Leaf,Fork) [trace] min @ Fork.Fork(Leaf,Fork) [trace] up-decorator0_2_1 @ Fork.Fork.Leaf(42) [trace] min @ Fork.Fork.Leaf(42) [trace] up-decorator0_2_1 @ Fork.Fork.Fork(Leaf,Leaf) [trace] min @ Fork.Fork.Fork(Leaf,Leaf) [trace] up-decorator0_2_1 @ Fork.Fork.Fork.Leaf(42) [trace] min @ Fork.Fork.Fork.Leaf(42) [trace] down-decorator0_2_1 @ Fork.Fork.Fork.Leaf(42) [trace] global-min @ Fork.Fork.Fork.Leaf(42) [trace] global-min @ Fork.Fork.Fork.Leaf(42) (failed) [trace] down-decorator0_2_1 @ Fork.Fork.Fork(Leaf,Leaf) [trace] global-min @ Fork.Fork.Fork(Leaf,Leaf) [trace] global-min @ Fork.Fork.Fork.Leaf(42) (failed) [trace] down-decorator0_2_1 @ Fork.Fork(Leaf,Fork) [trace] global-min @ Fork.Fork(Leaf,Fork) [trace] global-min @ Fork.Fork.Fork.Leaf(42) (failed) [trace] down-decorator0_2_1 @ Fork(Fork,Leaf) [trace] global-min @ Fork(Fork,Leaf) [trace] up-decorator0_2_1 @ Fork(Fork,Leaf) [trace] min @ Fork(Fork,Leaf) [trace] up-decorator0_2_1 @ Fork.Fork(Leaf,Fork) [trace] min @ Fork.Fork(Leaf,Fork) [trace] up-decorator0_2_1 @ Fork.Fork.Leaf(42) [trace] min @ Fork.Fork.Leaf(42) [trace] up-decorator0_2_1 @ Fork.Fork.Fork(Leaf,Leaf) [trace] min @ Fork.Fork.Fork(Leaf,Leaf) [trace] up-decorator0_2_1 @ Fork.Fork.Fork.Leaf(42) [trace] min @ Fork.Fork.Fork.Leaf(42) [trace] up-decorator0_2_1 @ Fork.Fork.Fork.Leaf(42) [trace] min @ Fork.Fork.Fork.Leaf(42) [trace] down-decorator0_2_1 @ Fork.Leaf(42) [trace] global-min @ Fork.Leaf(42) [trace] global-min @ Fork.Leaf(42) (failed) [trace] down-decorator0_2_1 @ Fork(Fork,Leaf) [trace] global-min @ Fork(Fork,Leaf) [trace] up-decorator0_2_1 @ Fork(Fork,Leaf) [trace] min @ Fork(Fork,Leaf) [trace] up-decorator0_2_1 @ Fork.Fork(Leaf,Fork) [trace] min @ Fork.Fork(Leaf,Fork) [trace] up-decorator0_2_1 @ Fork.Fork.Leaf(42) [trace] min @ Fork.Fork.Leaf(42) [trace] up-decorator0_2_1 @ Fork.Fork.Fork(Leaf,Leaf) [trace] min @ Fork.Fork.Fork(Leaf,Leaf) [trace] up-decorator0_2_1 @ Fork.Fork.Fork.Leaf(42) [trace] min @ Fork.Fork.Fork.Leaf(42) [trace] up-decorator0_2_1 @ Fork.Fork.Fork.Leaf(42) [trace] min @ Fork.Fork.Fork.Leaf(42) [trace] up-decorator0_2_1 @ Fork.Leaf(42) [trace] min @ Fork.Leaf(42) [trace] up-decorator0_2_1 @ Fork.Leaf(42) [trace] min @ Fork.Leaf(42) [trace] up-decorator0_2_1 @ Fork.Fork.Fork.Leaf(42) [trace] min @ Fork.Fork.Fork.Leaf(42) [trace] up-decorator0_2_1 @ Fork.Leaf(42) [trace] min @ Fork.Leaf(42) [trace] up-decorator0_2_1 @ Fork.Fork.Fork.Leaf(42) [trace] min @ Fork.Fork.Fork.Leaf(42) [trace] up-decorator0_2_1 @ Fork.Fork.Fork.Leaf(42) [trace] min @ Fork.Fork.Fork.Leaf(42) [trace] up-decorator0_2_1 @ Fork.Leaf(42) [trace] min @ Fork.Leaf(42) Fork(Fork(Leaf(42),Fork(Leaf(42),Leaf(42))),Leaf(42)) building repmin-hag-decorated.run ==== repmin-hag-decorated ==== [trace] rewrite-td-decorator0_2_1 @ Fork(Fork,Leaf) [trace] rewrite-td @ Fork(Fork,Leaf) [trace] rewrite-td @ Fork(Fork,Leaf) (failed) [trace] all_1_0 @ Fork(Fork,Leaf) [trace] rewrite-td-decorator0_2_1 @ Fork.Fork(Leaf,Fork) [trace] rewrite-td @ Fork.Fork(Leaf,Fork) [trace] rewrite-td @ Fork(Fork,Leaf) (failed) [trace] all_1_0 @ Fork.Fork(Leaf,Fork) [trace] rewrite-td-decorator0_2_1 @ Fork.Fork.Leaf(70) [trace] rewrite-td @ Fork.Fork.Leaf(70) [trace] down-decorator0_2_1 @ Fork.Fork.Leaf(70) [trace] global-min @ Fork.Fork.Leaf(70) [trace] global-min @ Fork.Fork.Leaf(70) (failed) [trace] down-decorator0_2_1 @ Fork.Fork(Leaf,Fork) [trace] global-min @ Fork.Fork(Leaf,Fork) [trace] global-min @ Fork.Fork.Leaf(70) (failed) [trace] down-decorator0_2_1 @ Fork(Fork,Leaf) [trace] global-min @ Fork(Fork,Leaf) [trace] up-decorator0_2_1 @ Fork(Fork,Leaf) [trace] min @ Fork(Fork,Leaf) [trace] up-decorator0_2_1 @ Fork.Fork(Leaf,Fork) [trace] min @ Fork.Fork(Leaf,Fork) [trace] up-decorator0_2_1 @ Fork.Fork.Leaf(70) [trace] min @ Fork.Fork.Leaf(70) [trace] up-decorator0_2_1 @ Fork.Fork.Fork(Leaf,Leaf) [trace] min @ Fork.Fork.Fork(Leaf,Leaf) [trace] up-decorator0_2_1 @ Fork.Fork.Fork.Leaf(212) [trace] min @ Fork.Fork.Fork.Leaf(212) [trace] up-decorator0_2_1 @ Fork.Fork.Fork.Leaf(83) [trace] min @ Fork.Fork.Fork.Leaf(83) [trace] up-decorator0_2_1 @ Fork.Leaf(42) [trace] min @ Fork.Leaf(42) [trace] all_1_0 @ Fork.Leaf(42) [trace] rewrite-td-decorator0_2_1 @ Fork.Leaf.42 [trace] rewrite-td @ Fork.Leaf.42 [trace] rewrite-td @ Fork(Fork,Leaf) (failed) [trace] all_1_0 @ Fork.Leaf.42 [trace] rewrite-td-decorator0_2_1 @ Fork.Fork.Fork(Leaf,Leaf) [trace] rewrite-td @ Fork.Fork.Fork(Leaf,Leaf) [trace] rewrite-td @ Fork(Fork,Leaf) (failed) [trace] all_1_0 @ Fork.Fork.Fork(Leaf,Leaf) [trace] rewrite-td-decorator0_2_1 @ Fork.Fork.Fork.Leaf(212) [trace] rewrite-td @ Fork.Fork.Fork.Leaf(212) [trace] down-decorator0_2_1 @ Fork.Fork.Fork.Leaf(212) [trace] global-min @ Fork.Fork.Fork.Leaf(212) [trace] global-min @ Fork.Fork.Fork.Leaf(212) (failed) [trace] down-decorator0_2_1 @ Fork.Fork.Fork(Leaf,Leaf) [trace] global-min @ Fork.Fork.Fork(Leaf,Leaf) [trace] global-min @ Fork.Fork.Fork.Leaf(212) (failed) [trace] all_1_0 @ Fork.Leaf(42) [trace] rewrite-td-decorator0_2_1 @ Fork.Fork.Fork.Leaf(83) [trace] rewrite-td @ Fork.Fork.Fork.Leaf(83) [trace] down-decorator0_2_1 @ Fork.Fork.Fork.Leaf(83) [trace] global-min @ Fork.Fork.Fork.Leaf(83) [trace] global-min @ Fork.Fork.Fork.Leaf(83) (failed) [trace] all_1_0 @ Fork.Leaf(42) [trace] rewrite-td-decorator0_2_1 @ Fork.Leaf(42) [trace] rewrite-td @ Fork.Leaf(42) [trace] down-decorator0_2_1 @ Fork.Leaf(42) [trace] global-min @ Fork.Leaf(42) [trace] global-min @ Fork.Leaf(42) (failed) [trace] all_1_0 @ Fork.Leaf(42) [trace] rewrite-bu-decorator0_2_1 @ Fork(Fork,Leaf) [trace] all-inline_1_0 @ Fork(Fork,Leaf) [trace] rewrite-bu-decorator0_2_1 @ Fork.Fork(Leaf,Fork) [trace] all-inline_1_0 @ Fork.Fork(Leaf,Fork) [trace] rewrite-bu-decorator0_2_1 @ Fork.Fork.Leaf(70) [trace] all-inline_1_0 @ Fork.Fork.Leaf(70) [trace] rewrite-bu-decorator0_2_1 @ Fork.Fork.Leaf.70 [trace] all-inline_1_0 @ Fork.Fork.Leaf.70 [trace] rewrite-bu @ Fork.Fork.Leaf.70 [trace] rewrite-bu @ Fork(Fork,Leaf) (failed) [trace] rewrite-bu @ Fork.Fork.Leaf(70) [trace] rewrite-bu-decorator0_2_1 @ Fork.Fork.Fork(Leaf,Leaf) [trace] all-inline_1_0 @ Fork.Fork.Fork(Leaf,Leaf) [trace] rewrite-bu-decorator0_2_1 @ Fork.Fork.Fork.Leaf(212) [trace] all-inline_1_0 @ Fork.Fork.Fork.Leaf(212) [trace] rewrite-bu-decorator0_2_1 @ Fork.Fork.Fork.Leaf.212 [trace] all-inline_1_0 @ Fork.Fork.Fork.Leaf.212 [trace] rewrite-bu @ Fork.Fork.Fork.Leaf.212 [trace] rewrite-bu @ Fork(Fork,Leaf) (failed) [trace] rewrite-bu @ Fork.Fork.Fork.Leaf(212) [trace] rewrite-bu-decorator0_2_1 @ Fork.Fork.Fork.Leaf(83) [trace] all-inline_1_0 @ Fork.Fork.Fork.Leaf(83) [trace] rewrite-bu-decorator0_2_1 @ Fork.Fork.Fork.Leaf.83 [trace] all-inline_1_0 @ Fork.Fork.Fork.Leaf.83 [trace] rewrite-bu @ Fork.Fork.Fork.Leaf.83 [trace] rewrite-bu @ Fork(Fork,Leaf) (failed) [trace] rewrite-bu @ Fork.Fork.Fork.Leaf(83) [trace] rewrite-bu @ Fork(Leaf,Leaf) [trace] rewrite-bu @ Fork(Fork,Leaf) (failed) [trace] rewrite-bu @ Fork(Leaf,Fork) [trace] rewrite-bu @ Fork(Fork,Leaf) (failed) [trace] rewrite-bu-decorator0_2_1 @ Fork.Leaf(42) [trace] all-inline_1_0 @ Fork.Leaf(42) [trace] rewrite-bu-decorator0_2_1 @ Fork.Leaf.42 [trace] all-inline_1_0 @ Fork.Leaf.42 [trace] rewrite-bu @ Fork.Leaf.42 [trace] rewrite-bu @ Fork(Fork,Leaf) (failed) [trace] rewrite-bu @ Fork.Leaf(42) [trace] rewrite-bu @ Fork(Fork,Leaf) [trace] rewrite-bu @ Fork(Fork,Leaf) (failed) (Fork(Fork(Leaf(42),Fork(Leaf(42),Leaf(42))),Leaf(42)),Fork(Fork(Leaf(42),Fork(Leaf(42),Leaf(42))),Leaf(42))) building repmin-hag.run ==== repmin-hag ==== [trace] rewrite @ Fork(Fork,Leaf) [trace] rewrite @ Fork.Fork(Leaf,Fork) [trace] rewrite @ Fork.Fork.Leaf(70) [trace] down-decorator0_2_1 @ Fork.Fork.Leaf(70) [trace] global-min @ Fork.Fork.Leaf(70) [trace] global-min @ Fork.Fork.Leaf(70) (failed) [trace] down-decorator0_2_1 @ Fork.Fork(Leaf,Fork) [trace] global-min @ Fork.Fork(Leaf,Fork) [trace] global-min @ Fork.Fork.Leaf(70) (failed) [trace] down-decorator0_2_1 @ Fork(Fork,Leaf) [trace] global-min @ Fork(Fork,Leaf) [trace] up-decorator0_2_1 @ Fork(Fork,Leaf) [trace] min @ Fork(Fork,Leaf) [trace] up-decorator0_2_1 @ Fork.Fork(Leaf,Fork) [trace] min @ Fork.Fork(Leaf,Fork) [trace] up-decorator0_2_1 @ Fork.Fork.Leaf(70) [trace] min @ Fork.Fork.Leaf(70) [trace] up-decorator0_2_1 @ Fork.Fork.Fork(Leaf,Leaf) [trace] min @ Fork.Fork.Fork(Leaf,Leaf) [trace] up-decorator0_2_1 @ Fork.Fork.Fork.Leaf(212) [trace] min @ Fork.Fork.Fork.Leaf(212) [trace] up-decorator0_2_1 @ Fork.Fork.Fork.Leaf(83) [trace] min @ Fork.Fork.Fork.Leaf(83) [trace] up-decorator0_2_1 @ Fork.Leaf(42) [trace] min @ Fork.Leaf(42) [trace] rewrite @ Fork.Fork.Fork(Leaf,Leaf) [trace] rewrite @ Fork.Fork.Fork.Leaf(212) [trace] down-decorator0_2_1 @ Fork.Fork.Fork.Leaf(212) [trace] global-min @ Fork.Fork.Fork.Leaf(212) [trace] global-min @ Fork.Fork.Fork.Leaf(212) (failed) [trace] down-decorator0_2_1 @ Fork.Fork.Fork(Leaf,Leaf) [trace] global-min @ Fork.Fork.Fork(Leaf,Leaf) [trace] global-min @ Fork.Fork.Fork.Leaf(212) (failed) [trace] rewrite @ Fork.Fork.Fork.Leaf(83) [trace] down-decorator0_2_1 @ Fork.Fork.Fork.Leaf(83) [trace] global-min @ Fork.Fork.Fork.Leaf(83) [trace] global-min @ Fork.Fork.Fork.Leaf(83) (failed) [trace] rewrite @ Fork.Leaf(42) [trace] down-decorator0_2_1 @ Fork.Leaf(42) [trace] global-min @ Fork.Leaf(42) [trace] global-min @ Fork.Leaf(42) (failed) Fork(Fork(Leaf(42),Fork(Leaf(42),Leaf(42))),Leaf(42)) building repmin-no-copy-rules.run ==== repmin-no-copy-rules ==== Tree(Fork(Fork(Leaf(70),Fork(Leaf(212),Leaf(83))),Leaf(42))) [trace] fail-fatal-decorator0_2_1 @ Tree(Fork) [trace] assert-input-decorator0_3_2 @ Tree(Fork) [trace] replace @ Tree(Fork) [trace] fail-fatal-decorator0_2_1 @ Tree.Fork(Fork,Leaf) [trace] assert-input-decorator0_3_2 @ Tree.Fork(Fork,Leaf) [trace] replace @ Tree.Fork(Fork,Leaf) [trace] fail-fatal-decorator0_2_1 @ Tree.Fork.Fork(Leaf,Fork) [trace] assert-input-decorator0_3_2 @ Tree.Fork.Fork(Leaf,Fork) [trace] replace @ Tree.Fork.Fork(Leaf,Fork) [trace] fail-fatal-decorator0_2_1 @ Tree.Fork.Fork.Leaf(70) [trace] assert-input-decorator0_3_2 @ Tree.Fork.Fork.Leaf(70) [trace] replace @ Tree.Fork.Fork.Leaf(70) [trace] fail-fatal-decorator0_2_1 @ Tree.Fork.Fork.Leaf(70) [trace] assert-input-decorator0_3_2 @ Tree.Fork.Fork.Leaf(70) [trace] global-min @ Tree.Fork.Fork.Leaf(70) [trace] fail-fatal-decorator0_2_1 @ Tree.Fork.Fork(Leaf,Fork) [trace] assert-input-decorator0_3_2 @ Tree.Fork.Fork(Leaf,Fork) [trace] global-min @ Tree.Fork.Fork(Leaf,Fork) [trace] fail-fatal-decorator0_2_1 @ Tree.Fork(Fork,Leaf) [trace] assert-input-decorator0_3_2 @ Tree.Fork(Fork,Leaf) [trace] global-min @ Tree.Fork(Fork,Leaf) [trace] fail-fatal-decorator0_2_1 @ Tree(Fork) [trace] assert-input-decorator0_3_2 @ Tree(Fork) [trace] min @ Tree(Fork) [trace] fail-fatal-decorator0_2_1 @ Tree.Fork(Fork,Leaf) [trace] assert-input-decorator0_3_2 @ Tree.Fork(Fork,Leaf) [trace] min @ Tree.Fork(Fork,Leaf) [trace] fail-fatal-decorator0_2_1 @ Tree.Fork.Fork(Leaf,Fork) [trace] assert-input-decorator0_3_2 @ Tree.Fork.Fork(Leaf,Fork) [trace] min @ Tree.Fork.Fork(Leaf,Fork) [trace] fail-fatal-decorator0_2_1 @ Tree.Fork.Fork.Leaf(70) [trace] assert-input-decorator0_3_2 @ Tree.Fork.Fork.Leaf(70) [trace] min @ Tree.Fork.Fork.Leaf(70) [trace] fail-fatal-decorator0_2_1 @ Tree.Fork.Fork.Fork(Leaf,Leaf) [trace] assert-input-decorator0_3_2 @ Tree.Fork.Fork.Fork(Leaf,Leaf) [trace] min @ Tree.Fork.Fork.Fork(Leaf,Leaf) [trace] fail-fatal-decorator0_2_1 @ Tree.Fork.Fork.Fork.Leaf(212) [trace] assert-input-decorator0_3_2 @ Tree.Fork.Fork.Fork.Leaf(212) [trace] min @ Tree.Fork.Fork.Fork.Leaf(212) [trace] fail-fatal-decorator0_2_1 @ Tree.Fork.Fork.Fork.Leaf(83) [trace] assert-input-decorator0_3_2 @ Tree.Fork.Fork.Fork.Leaf(83) [trace] min @ Tree.Fork.Fork.Fork.Leaf(83) [trace] fail-fatal-decorator0_2_1 @ Tree.Fork.Leaf(42) [trace] assert-input-decorator0_3_2 @ Tree.Fork.Leaf(42) [trace] min @ Tree.Fork.Leaf(42) [trace] fail-fatal-decorator0_2_1 @ Tree.Fork.Fork.Fork(Leaf,Leaf) [trace] assert-input-decorator0_3_2 @ Tree.Fork.Fork.Fork(Leaf,Leaf) [trace] replace @ Tree.Fork.Fork.Fork(Leaf,Leaf) [trace] fail-fatal-decorator0_2_1 @ Tree.Fork.Fork.Fork.Leaf(212) [trace] assert-input-decorator0_3_2 @ Tree.Fork.Fork.Fork.Leaf(212) [trace] replace @ Tree.Fork.Fork.Fork.Leaf(212) [trace] fail-fatal-decorator0_2_1 @ Tree.Fork.Fork.Fork.Leaf(212) [trace] assert-input-decorator0_3_2 @ Tree.Fork.Fork.Fork.Leaf(212) [trace] global-min @ Tree.Fork.Fork.Fork.Leaf(212) [trace] fail-fatal-decorator0_2_1 @ Tree.Fork.Fork.Fork(Leaf,Leaf) [trace] assert-input-decorator0_3_2 @ Tree.Fork.Fork.Fork(Leaf,Leaf) [trace] global-min @ Tree.Fork.Fork.Fork(Leaf,Leaf) [trace] fail-fatal-decorator0_2_1 @ Tree.Fork.Fork.Fork.Leaf(83) [trace] assert-input-decorator0_3_2 @ Tree.Fork.Fork.Fork.Leaf(83) [trace] replace @ Tree.Fork.Fork.Fork.Leaf(83) [trace] fail-fatal-decorator0_2_1 @ Tree.Fork.Fork.Fork.Leaf(83) [trace] assert-input-decorator0_3_2 @ Tree.Fork.Fork.Fork.Leaf(83) [trace] global-min @ Tree.Fork.Fork.Fork.Leaf(83) [trace] fail-fatal-decorator0_2_1 @ Tree.Fork.Leaf(42) [trace] assert-input-decorator0_3_2 @ Tree.Fork.Leaf(42) [trace] replace @ Tree.Fork.Leaf(42) [trace] fail-fatal-decorator0_2_1 @ Tree.Fork.Leaf(42) [trace] assert-input-decorator0_3_2 @ Tree.Fork.Leaf(42) [trace] global-min @ Tree.Fork.Leaf(42) Tree(Fork(Fork(Leaf(42),Fork(Leaf(42),Leaf(42))),Leaf(42))) building repmin.run ==== repmin ==== Fork(Fork(Leaf(70),Fork(Leaf(212),Leaf(83))),Leaf(42)) [trace] down-decorator0_2_1 @ Fork.Fork.Leaf(70) [trace] global-min @ Fork.Fork.Leaf(70) [trace] global-min @ Fork.Fork.Leaf(70) (failed) [trace] down-decorator0_2_1 @ Fork.Fork(Leaf,Fork) [trace] global-min @ Fork.Fork(Leaf,Fork) [trace] global-min @ Fork.Fork.Leaf(70) (failed) [trace] down-decorator0_2_1 @ Fork(Fork,Leaf) [trace] global-min @ Fork(Fork,Leaf) [trace] up-decorator0_2_1 @ Fork(Fork,Leaf) [trace] min @ Fork(Fork,Leaf) [trace] up-decorator0_2_1 @ Fork.Fork(Leaf,Fork) [trace] min @ Fork.Fork(Leaf,Fork) [trace] up-decorator0_2_1 @ Fork.Fork.Leaf(70) [trace] min @ Fork.Fork.Leaf(70) [trace] up-decorator0_2_1 @ Fork.Fork.Fork(Leaf,Leaf) [trace] min @ Fork.Fork.Fork(Leaf,Leaf) [trace] up-decorator0_2_1 @ Fork.Fork.Fork.Leaf(212) [trace] min @ Fork.Fork.Fork.Leaf(212) [trace] up-decorator0_2_1 @ Fork.Fork.Fork.Leaf(83) [trace] min @ Fork.Fork.Fork.Leaf(83) [trace] up-decorator0_2_1 @ Fork.Leaf(42) [trace] min @ Fork.Leaf(42) [trace] down-decorator0_2_1 @ Fork.Fork.Fork.Leaf(212) [trace] global-min @ Fork.Fork.Fork.Leaf(212) [trace] global-min @ Fork.Fork.Fork.Leaf(212) (failed) [trace] down-decorator0_2_1 @ Fork.Fork.Fork(Leaf,Leaf) [trace] global-min @ Fork.Fork.Fork(Leaf,Leaf) [trace] global-min @ Fork.Fork.Fork.Leaf(212) (failed) [trace] down-decorator0_2_1 @ Fork.Fork.Fork.Leaf(83) [trace] global-min @ Fork.Fork.Fork.Leaf(83) [trace] global-min @ Fork.Fork.Fork.Leaf(83) (failed) [trace] down-decorator0_2_1 @ Fork.Leaf(42) [trace] global-min @ Fork.Leaf(42) [trace] global-min @ Fork.Leaf(42) (failed) Fork(Fork(Leaf(42),Fork(Leaf(42),Leaf(42))),Leaf(42)) building test-aster-internals.run ==== test-aster-internals ==== test suite: aster internals tests term-depth (1) term-depth (2) term-depth (3) term-depth (4) term-depth (5) term-depth (6) term-depth (7) term-depth (8) term-depth (9) term-depth (10) eq-ignore-annos (1) eq-ignore-annos (2) eq-ignore-annos (3) eq-ignore-annos (4) eq-ignore-annos (5) eq-ignore-annos (6) eq-ignore-annos (7) eq-ignore-annos (8) has-foreign-operations (1) has-foreign-operations (2) has-foreign-operations (3) has-foreign-operations (4) has-foreign-operations (5) has-foreign-operations (6) has-foreign-operations (7) has-foreign-operations (8) has-foreign-operations (9) has-foreign-operations (10) has-foreign-operations (11) has-foreign-operations (12) has-foreign-operations (13) has-foreign-operations (14) has-foreign-operations (15) equation-postprocess (1) equation-postprocess (2) equation-postprocess (3) ordered-union (1) ordered-union (2) ordered-union (3) ordered-union (4) ordered-union (5) ordered-union (6) ordered-union (7) ordered-union (8) ordered-union (9) successes: 45 failures: 0 building test-attributes.run ==== test-attributes ==== test suite: aster attribute tests id.parent (1) id.parent (2) id.ancestor (1) id.ancestor (2) id.ancestor is not proper id.prev-sibling down copy rule circular attribute initial value down copy rule up copy rule (1) up copy rule (2) up copy rule (3) basic rewriting attribute to get a child node reference attribute reference list attribute reference tuple attribute non-reference attribute id refers to the whole pattern, not the pattern child attribute parameter used in pattern (1) attribute parameter used in pattern (2) attribute parameter used in pattern is ignored for id.defined patterns in attribute arguments id.attribute does not refer to specified child attribute on id child attribute result is an initialized term (1) attribute result is an initialized term (2) attribute result is an initialized term (3) attribute result is an initialized term (4) attribute result is an initialized term (4) attribute result is an initialized term (4) non-reference attribute id.signature id.attribute-name signature of remote attribute id.signature simply fails if there are strategy arguments (1) id.signature simply fails if there are strategy arguments (2) successes: 37 failures: 0 make[1]: Leaving directory `/tmp/nix-build-2fg69vgjk358mv8fy7h93j8wwy8zlrg7-aster.drv-0/aster-0.1pre18385/tests' make[1]: Entering directory `/tmp/nix-build-2fg69vgjk358mv8fy7h93j8wwy8zlrg7-aster.drv-0/aster-0.1pre18385' building all-local /nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/bin/xtc -r /tmp/nix-build-2fg69vgjk358mv8fy7h93j8wwy8zlrg7-aster.drv-0/aster-0.1pre18385/BUILDTIME_XTC import /nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/share/strategoxt/XTC Tools registered in repository /tmp/nix-build-2fg69vgjk358mv8fy7h93j8wwy8zlrg7-aster.drv-0/aster-0.1pre18385/BUILDTIME_XTC: Data registered in repository /tmp/nix-build-2fg69vgjk358mv8fy7h93j8wwy8zlrg7-aster.drv-0/aster-0.1pre18385/BUILDTIME_XTC: make[1]: Leaving directory `/tmp/nix-build-2fg69vgjk358mv8fy7h93j8wwy8zlrg7-aster.drv-0/aster-0.1pre18385'