Lambda-Mountain-Compiler-Backend
diff --git a/‎tests/unit/ast-macros.lsts.skip‎ ‎…/lm-ascript/ascript-integrated.lsts.skip‎tests/unit/ast-macros.lsts.skip renamed to tests/promises/lm-ascript/ascript-integrated.lsts.skip b/‎tests/unit/ast-macros.lsts.skip‎ ‎…/lm-ascript/ascript-integrated.lsts.skip‎tests/unit/ast-macros.lsts.skip renamed to tests/promises/lm-ascript/ascript-integrated.lsts.skip
diff --git a/‎tests/unit/type-inference.lsts.out‎ ‎…ts/promises/lm-ascript/ascript.lsts.skip‎tests/unit/type-inference.lsts.out renamed to tests/promises/lm-ascript/ascript.lsts.skip b/‎tests/unit/type-inference.lsts.out‎ ‎…ts/promises/lm-ascript/ascript.lsts.skip‎tests/unit/type-inference.lsts.out renamed to tests/promises/lm-ascript/ascript.lsts.skip
diff --git a/‎tests/unit/type-inference.lsts.skip‎ ‎…s/promises/lm-ascript/concrete.lsts.skip‎tests/unit/type-inference.lsts.skip renamed to tests/promises/lm-ascript/concrete.lsts.skip b/‎tests/unit/type-inference.lsts.skip‎ ‎…s/promises/lm-ascript/concrete.lsts.skip‎tests/unit/type-inference.lsts.skip renamed to tests/promises/lm-ascript/concrete.lsts.skip
diff --git a/‎tests/unit/type-queries.lsts.out‎ ‎…ts/promises/lm-ast/constructor.lsts.skip‎tests/unit/type-queries.lsts.out renamed to tests/promises/lm-ast/constructor.lsts.skip b/‎tests/unit/type-queries.lsts.out‎ ‎…ts/promises/lm-ast/constructor.lsts.skip‎tests/unit/type-queries.lsts.out renamed to tests/promises/lm-ast/constructor.lsts.skip
diff --git a/‎tests/unit/type-queries.lsts.skip‎ ‎…ts/promises/lm-ast/into-string.lsts.skip‎tests/unit/type-queries.lsts.skip renamed to tests/promises/lm-ast/into-string.lsts.skip b/‎tests/unit/type-queries.lsts.skip‎ ‎…ts/promises/lm-ast/into-string.lsts.skip‎tests/unit/type-queries.lsts.skip renamed to tests/promises/lm-ast/into-string.lsts.skip
diff --git a/‎tests/unit/typedefs.lsts.out‎ ‎…ts/promises/lm-backend/backend.lsts.skip‎tests/unit/typedefs.lsts.out renamed to tests/promises/lm-backend/backend.lsts.skip b/‎tests/unit/typedefs.lsts.out‎ ‎…ts/promises/lm-backend/backend.lsts.skip‎tests/unit/typedefs.lsts.out renamed to tests/promises/lm-backend/backend.lsts.skip
diff --git a/‎tests/unit/typedefs.lsts.skip‎ ‎tests/promises/lm-prop/alias.lsts.skip‎tests/unit/typedefs.lsts.skip renamed to tests/promises/lm-prop/alias.lsts.skip b/‎tests/unit/typedefs.lsts.skip‎ ‎tests/promises/lm-prop/alias.lsts.skip‎tests/unit/typedefs.lsts.skip renamed to tests/promises/lm-prop/alias.lsts.skip
diff --git a/‎tests/promises/lm-prop/enrich-failure-bisect.lsts.skip‎ b/‎tests/promises/lm-prop/enrich-failure-bisect.lsts.skip‎
diff --git a/‎tests/promises/lm-prop/enrich.lsts.skip‎ b/‎tests/promises/lm-prop/enrich.lsts.skip‎
diff --git a/‎tests/promises/lm-tctx/apply.lsts.skip‎ b/‎tests/promises/lm-tctx/apply.lsts.skip‎