| Id | Case Feature | Plug Feature | Skip Reason |
|---|---|---|---|
| fe090d5e7a56833a88a052dc89ed2a1d2bdcee7d | OneLineComment | AssumeNamed | AssumeIsNotEmbeddable |
| ddf75a97d832117015f84b1614b5798953dba31d | OneLineComment | AssumeNamed | AssumeIsNotEmbeddable |
| b581ea7f73c54acb7463c690d5249704f049d826 | MultiLineComment | AssumeNamed | AssumeIsNotEmbeddable |
| bd9b00facf8e38324d9647fbc46ed19edfc302a7 | MultiLineComment | AssumeNamed | AssumeIsNotEmbeddable |
| 5c2dbed522640c79ba6d8399d897da0bcaa6523f | BoolTrue | AssumeNamed | AssumeIsNotEmbeddable |
| 2f678431681a1dd2a4ccf2c487176c85c7a3568c | BoolTrue | AssumeNamed | AssumeIsNotEmbeddable |
| 8ba300bb66f53922be3c594d21fd04b496595f00 | BoolFalse | AssumeNamed | AssumeIsNotEmbeddable |
| b842beef6b7a7f84f1cb9d87b18b3ec804974d01 | BoolFalse | AssumeNamed | AssumeIsNotEmbeddable |
| 4cf1a27c4243c1770df22d7468111c6ca5414ef3 | BoolSet | AssumeNamed | AssumeIsNotEmbeddable |
| 896ce596989593c69e2266715370a76ab01eff19 | BoolSet | AssumeNamed | AssumeIsNotEmbeddable |
| f0ee67c13598c2844237aaf865bd1aaff71a8866 | And | AssumeNamed | AssumeIsNotEmbeddable |
| e799aade96415f719aff2ee3a6eb17dffbc5144a | And | AssumeNamed | AssumeIsNotEmbeddable |
| 41c8095ec263d6bf47fb3d524f15c4231d13420a | AndMultiLine | AssumeNamed | AssumeIsNotEmbeddable |
| 550990087da0991ac4b13d0c849c3625351ace38 | AndMultiLine | AssumeNamed | AssumeIsNotEmbeddable |
| fed95d3e858c8a26f8db411276b80de5f8b70aa5 | Imply | AssumeNamed | AssumeIsNotEmbeddable |
| f6f4294f07a45b988d61df56f3844e14131cae12 | Imply | AssumeNamed | AssumeIsNotEmbeddable |
| c76f63d3b0bdee35fbdc8e89af44e505ee594c91 | Not | AssumeNamed | AssumeIsNotEmbeddable |
| cb89c008cb6e0dec4d7eb04827f0190b8725c9ff | Not | AssumeNamed | AssumeIsNotEmbeddable |
| 6d88ba6125aca2851a43ce94efddcd623bed9c80 | Or | AssumeNamed | AssumeIsNotEmbeddable |
| 0cae65fdb5a3db511a8408691e3585af8d1777f6 | Or | AssumeNamed | AssumeIsNotEmbeddable |
| 24c417766fb3bfd5fa9670aa91cf77341bfe1aaf | OrMultiLine | AssumeNamed | AssumeIsNotEmbeddable |
| 7652e6c027ad24300274d401d00ed9f62194fa3e | OrMultiLine | AssumeNamed | AssumeIsNotEmbeddable |
| b2bd94e9d2c994d0eccc32ee8e72a22738049016 | AndProp | AssumeNamed | AssumeIsNotEmbeddable |
| 247dd55fa17d330a77804ae5613f74785807df03 | AndProp | AssumeNamed | AssumeIsNotEmbeddable |
| 0275a43b2e3c93927f5bbe3877348c7e1c592656 | Boxed | AssumeNamed | AssumeIsNotEmbeddable |
| a105f511d3831ac15d0374551ed64bd4b902db67 | Boxed | AssumeNamed | AssumeIsNotEmbeddable |
| 4413d3a13e47209cc519e8917265ea09d60b322a | Eq | AssumeNamed | AssumeIsNotEmbeddable |
| 925641232eece035cd67fdc10cda8c0943c3b69b | Eq | AssumeNamed | AssumeIsNotEmbeddable |
| b38015f6662fd42dd2ab1f1d4bfe3d87c291efbb | Ne | AssumeNamed | AssumeIsNotEmbeddable |
| 0c1d8bbc0f8dcdae040f37e965e16dd2022651a0 | Ne | AssumeNamed | AssumeIsNotEmbeddable |
| 0699de005f80f0b3acff818808e97fceadd39ea3 | Let | AssumeNamed | AssumeIsNotEmbeddable |
| 9af832b97273db1fbbf1bd15242e3ec957613113 | Let | AssumeNamed | AssumeIsNotEmbeddable |
| a027755b7fa95587d2aa59ce360e40d03881e687 | SetEmpty | AssumeNamed | AssumeIsNotEmbeddable |
| 3e87fa5311bb9cdc6da96b64d28976809686fca8 | SetEmpty | AssumeNamed | AssumeIsNotEmbeddable |
| d9da60f82f3c41bb3f183b82055d9f959ab984fb | Set0 | AssumeNamed | AssumeIsNotEmbeddable |
| 6c4d34e774c40f6e28e63e053cf76e16056a0a37 | Set0 | AssumeNamed | AssumeIsNotEmbeddable |
| 3b6c3bf1208440e2beac41fa2d45773f20b5d84d | Set1 | AssumeNamed | AssumeIsNotEmbeddable |
| f4e0bef1d9e42b9990807c5c1462a97bb515cd47 | Set1 | AssumeNamed | AssumeIsNotEmbeddable |
| a980bb821007ede39ba199d21e1a2f01dc4bd7c7 | Set2 | AssumeNamed | AssumeIsNotEmbeddable |
| bbfc2d695f550c12e24dd72502c1dfa972ace26c | Set2 | AssumeNamed | AssumeIsNotEmbeddable |
| 3d141875a3ef4630c7836ebe1baf759462e9397f | Set1InDef | AssumeNamed | AssumeIsNotEmbeddable |
| c156a36a68d975d39fbe4450e71ad016ef16a44a | Set1InDef | AssumeNamed | AssumeIsNotEmbeddable |
| 40adf89fce9a56fcb6f4ccb51f2e98104467c18d | Set2InDef | AssumeNamed | AssumeIsNotEmbeddable |
| 4c1942bf151e600d85684bf538faaf7a59afe8fa | Set2InDef | AssumeNamed | AssumeIsNotEmbeddable |
| 35fd59c265ee4d6599a632bc8a5b5111798cde17 | InDef0 | AssumeNamed | AssumeIsNotEmbeddable |
| 6753965dcc4b966859b97c16e58b5b280d4b199b | InDef0 | AssumeNamed | AssumeIsNotEmbeddable |
| 4d7a1eddc1cfb217cb265d00adb717358f9a373d | InDef1 | AssumeNamed | AssumeIsNotEmbeddable |
| 9f5c1c9290dce31c983c3b7c857b545c6b5a2af0 | InDef1 | AssumeNamed | AssumeIsNotEmbeddable |
| 6b09622aabcf8bf2dd8abce71e024b7c472be9dc | InDef2 | AssumeNamed | AssumeIsNotEmbeddable |
| b6aebf2ce283252bb8a1853d2399332bf9d182d9 | InDef2 | AssumeNamed | AssumeIsNotEmbeddable |
| fd7df609af4437a6254c9c62b942656e4f5eeb4e | Fun | AssumeNamed | AssumeIsNotEmbeddable |
| 66a121c864458e144dd133e720ff42b45879eba8 | Fun | AssumeNamed | AssumeIsNotEmbeddable |
| 3a5f3fa93b568e6dc1ce22730655d4bafb499adb | FunInDef | AssumeNamed | AssumeIsNotEmbeddable |
| 97de069e42911dff0c9b9e3496e65b56a01e1f01 | FunInDef | AssumeNamed | AssumeIsNotEmbeddable |
| e94718e6c0f209794b87ad315e7f14f89e7b6aca | In | AssumeNamed | AssumeIsNotEmbeddable |
| 74ff1dd209c924e0733e2462093c6bde73996c37 | In | AssumeNamed | AssumeIsNotEmbeddable |
| c765d4ebd0f84eb43c80470ef69f0e33fb61ba82 | NotIn | AssumeNamed | AssumeIsNotEmbeddable |
| 8f27a63d7dd3d02387a5e6227685ba8199379322 | NotIn | AssumeNamed | AssumeIsNotEmbeddable |
| 00d03a0265a1e698237093683161cd38f8328930 | Exists | AssumeNamed | AssumeIsNotEmbeddable |
| c2ff3966d73b8dde8e1319f068f130b944d732cb | Exists | AssumeNamed | AssumeIsNotEmbeddable |
| 68481bf6cf2de76d14cb8faedbfb69771111db9a | Forall | AssumeNamed | AssumeIsNotEmbeddable |
| 09e79bc84d34ef5e67c10f9d76600bfc7bb14ebe | Forall | AssumeNamed | AssumeIsNotEmbeddable |
| af1b793c98e9aee777c04bf19f334ccc4d87a8da | ExistsInDef | AssumeNamed | AssumeIsNotEmbeddable |
| 335b507c75cf000608d47508f0219cce22983f96 | ExistsInDef | AssumeNamed | AssumeIsNotEmbeddable |
| 65e690aacd363c944d20418fe9cef3ea92ece38d | ForallInDef | AssumeNamed | AssumeIsNotEmbeddable |
| 3c7404c721d134c0638a8d6f7e6174d54f974197 | ForallInDef | AssumeNamed | AssumeIsNotEmbeddable |
| 08d3ad4a383edbeb1052f4a7d2eecc0feb7091c6 | Choose | AssumeNamed | AssumeIsNotEmbeddable |
| 798d9a02cac65a68f31f91496d4e4067bde675bc | Choose | AssumeNamed | AssumeIsNotEmbeddable |
| 55745015693deb7c3c722cdb0a2cd1c60ecf776b | ChooseInDef | AssumeNamed | AssumeIsNotEmbeddable |
| d875fb927a007b1e5e3aa1ef35a52b86e0fc4af3 | ChooseInDef | AssumeNamed | AssumeIsNotEmbeddable |
| 38e6676d3a1d0edc34429fea58e36b33c76374f9 | Record | AssumeNamed | AssumeIsNotEmbeddable |
| 4ad8383e77557f7d05782c4eb938cd96b5d7cd15 | Record | AssumeNamed | AssumeIsNotEmbeddable |
| b0916835405242f4ac2a702f796585040b93ee0b | Tuple | AssumeNamed | AssumeIsNotEmbeddable |
| 4330c13d47d63da1a80ac56d6dd217fd829d9e13 | Tuple | AssumeNamed | AssumeIsNotEmbeddable |
| a61f01fe17c7e9ac6c58c4025e3d163a670cb0a9 | TupleEmpty | AssumeNamed | AssumeIsNotEmbeddable |
| 8dc45eefaa5fe2f0ae303991dd48a05707c8ca9b | TupleEmpty | AssumeNamed | AssumeIsNotEmbeddable |
| 1782f986a904a17319c3e5d87049bd1fe5f2704a | FunApp | AssumeNamed | AssumeIsNotEmbeddable |
| 8fd4332d020ae7de1f0308a76c6402d5673a094d | FunApp | AssumeNamed | AssumeIsNotEmbeddable |
| 20a36f0462d00f46ad7dececb167fae597b31dc2 | Except0 | AssumeNamed | AssumeIsNotEmbeddable |
| 1fa53d180cfe97f08be743f750d1dbd6037ea84b | Except0 | AssumeNamed | AssumeIsNotEmbeddable |
| f0c33775eff100932e30202acd4eb6149bf36da0 | Except1Fun | AssumeNamed | AssumeIsNotEmbeddable |
| 078a6d4216f631840b46877203c2d18964aa589c | Except1Fun | AssumeNamed | AssumeIsNotEmbeddable |
| f35443cadc37e095e82f6384137ff1b83a8ccb05 | Except1FunWithAt | AssumeNamed | AssumeIsNotEmbeddable |
| e652bb827d2827e4a923cadbae85f5ccbbd2b541 | Except1FunWithAt | AssumeNamed | AssumeIsNotEmbeddable |
| 39f216829fddb2c3c57a1cd7e1f20a1d647acabf | Except1Rec | AssumeNamed | AssumeIsNotEmbeddable |
| 67863789b67a7e019adc9cc4ffd8d4028e04d373 | Except1Rec | AssumeNamed | AssumeIsNotEmbeddable |
| fd33f5f654739e88a5483034b7b004d77148ba0d | Except1RecWithAt | AssumeNamed | AssumeIsNotEmbeddable |
| 502761ec3a74a1af3832f5a017132301906d9455 | Except1RecWithAt | AssumeNamed | AssumeIsNotEmbeddable |
| df51a4bd82e196fca9647f40796253e90ada02e6 | Except2Fun | AssumeNamed | AssumeIsNotEmbeddable |
| 0ef6c0884b09fefcb1697af247f8ddb34ccd83be | Except2Fun | AssumeNamed | AssumeIsNotEmbeddable |
| 6c816e3ae3290ff42d9e2ddcb72f737830464531 | Except2FunTuple | AssumeNamed | AssumeIsNotEmbeddable |
| c9867f8522459e7c1e0b439366c7f21385baa092 | Except2FunTuple | AssumeNamed | AssumeIsNotEmbeddable |
| 9fe19e9afba19fb0a1cf4da466c7133bb2cdf199 | Prime | AssumeNamed | AssumeIsNotEmbeddable |
| 63b670d35eaa522ae2601cd969edb6be4aa736bf | Prime | AssumeNamed | AssumeIsNotEmbeddable |
| 5ef0fb6c854f7a3e30c692c8c45596234d574f92 | NumZero | AssumeNamed | AssumeIsNotEmbeddable |
| 38e0a38bfdd1967792206e6429f4f1acafb87856 | NumZero | AssumeNamed | AssumeIsNotEmbeddable |
| e3c4e27b06eabb510e6dada73f30c76029d5dbd2 | NumOne | AssumeNamed | AssumeIsNotEmbeddable |
| 9401402973bfefde9dff4ac8f615602bbb34e305 | NumOne | AssumeNamed | AssumeIsNotEmbeddable |
| 2ae40863e602d4c585767aa577349278b7d701d0 | NumMaxInt | AssumeNamed | AssumeIsNotEmbeddable |
| 5fee98488dea2f8f9c77366c8597a10557955093 | NumMaxInt | AssumeNamed | AssumeIsNotEmbeddable |
| b6d2919c6f27d9a35022f8a2c8b579aa0903b355 | NumUnaryMinus | AssumeNamed | AssumeIsNotEmbeddable |
| 54a820afdebe9e1f419e9dd6c2ec1882ecfab8c4 | NumUnaryMinus | AssumeNamed | AssumeIsNotEmbeddable |
| 9e7fa9cd26721d4b76d40e4ce27bd3c393edc03e | NumPlus | AssumeNamed | AssumeIsNotEmbeddable |
| 3c13cc33cac6f9419e58522e0ad197c00785b824 | NumPlus | AssumeNamed | AssumeIsNotEmbeddable |
| 3bb1ce81a9c07ce70427b6cad39f77ff0d9976c2 | NumMinus | AssumeNamed | AssumeIsNotEmbeddable |
| 5c7158b55a834fc4f928ca370ebc479642e29d4b | NumMinus | AssumeNamed | AssumeIsNotEmbeddable |
| 994c89d1549895fc47901418952606cff5182941 | NumMul | AssumeNamed | AssumeIsNotEmbeddable |
| 14b64f9e6618b78586e53524414186485a88c230 | NumMul | AssumeNamed | AssumeIsNotEmbeddable |
| 448027d210b1c6d3fd5c31f1335c63a344893cc1 | NumDiv | AssumeNamed | AssumeIsNotEmbeddable |
| 418e582470f18176b9d6443f9966ed84ec176cf2 | NumDiv | AssumeNamed | AssumeIsNotEmbeddable |
| 1c15f06e6e2eded619d9400f6bd26901eb6d3f87 | NumMod | AssumeNamed | AssumeIsNotEmbeddable |
| 1d9f8fe3263c5076cd49e94c4cee6212c009966c | NumMod | AssumeNamed | AssumeIsNotEmbeddable |
| 0705ad6c11d54c63a093bf1a131233845e485d04 | NumPow | AssumeNamed | AssumeIsNotEmbeddable |
| 1ed512c9533aad7e4f5832ef1c2c26d9f1ac8476 | NumPow | AssumeNamed | AssumeIsNotEmbeddable |
| 03d4dec4bfc46a0be1049889d24e1ed2e0bf07e4 | NumGt | AssumeNamed | AssumeIsNotEmbeddable |
| 7942910d46218fa08905eef9cd80ba7310759b36 | NumGt | AssumeNamed | AssumeIsNotEmbeddable |
| 98f3279db7656bfbd6dd27fa56c8a34c8d7ac947 | NumGe | AssumeNamed | AssumeIsNotEmbeddable |
| 3fd72f8f47babde760c207e97331ab47f4698d6d | NumGe | AssumeNamed | AssumeIsNotEmbeddable |
| 58d5f0fb966cc0385ad2722ab8be817acfa044db | NumLt | AssumeNamed | AssumeIsNotEmbeddable |
| 5caecfe45fe313e18b3452239c045264df79a8bf | NumLt | AssumeNamed | AssumeIsNotEmbeddable |
| 3577edde1f20678b0aa45634f88c39ab48a8199a | NumLe | AssumeNamed | AssumeIsNotEmbeddable |
| 6fc1e28b3ccd4d3bb1b440759483a08456600921 | NumLe | AssumeNamed | AssumeIsNotEmbeddable |
| 937720eceae3d11d1a0e9c3583b8b4dcff0190c8 | DefFun | AssumeNamed | AssumeIsNotEmbeddable |
| a2cda4bb04261fff61a42f3aa6c5e5294f373453 | DefFun | AssumeNamed | AssumeIsNotEmbeddable |
| 86e9de69cfebd81690e6e2804dbbcdc661594614 | LetDefFun | AssumeNamed | AssumeIsNotEmbeddable |
| 51c4fe2598c5d1a039b9bedd5d4916b4a8f26267 | LetDefFun | AssumeNamed | AssumeIsNotEmbeddable |
| ac4f5142fd17ca55ea331e8f0bf71794d9d9669d | DefFunRecursive | AssumeNamed | AssumeIsNotEmbeddable |
| 9440dd04b14628524aaa4f3b096c1a5513743621 | DefFunRecursive | AssumeNamed | AssumeIsNotEmbeddable |
| ea7aeb186e6fb2042cd837613c6c5594fb754e70 | LetDefFunRecursive | AssumeNamed | AssumeIsNotEmbeddable |
| 342d0aa72d6f219e00795b4048b903bc4975a2b5 | LetDefFunRecursive | AssumeNamed | AssumeIsNotEmbeddable |
| 95db46ad19d0d6f3adb2b7f570d01647aee41f54 | DefFunInDef | AssumeNamed | AssumeIsNotEmbeddable |
| 1a23d936ad909365f19b3610c6724a066893e8a6 | DefFunInDef | AssumeNamed | AssumeIsNotEmbeddable |
| 739ebfdf7f245bb73922e5f6aa15921db30b7ac9 | LetDefFunInDef | AssumeNamed | AssumeIsNotEmbeddable |
| 77f368dd5416228d1b4e1cb4a625737fb6fcbb81 | LetDefFunInDef | AssumeNamed | AssumeIsNotEmbeddable |
| cb61b6c0654f0381d1fc2cad6feefcc7c5214669 | Def0 | AssumeNamed | AssumeIsNotEmbeddable |
| 0cbf38a8d75b630690ff544f7352c7bde1372dcb | Def0 | AssumeNamed | AssumeIsNotEmbeddable |
| 3e8f523cad1a77af59e9a6b40b42f59a4d906395 | LetDef0 | AssumeNamed | AssumeIsNotEmbeddable |
| 5b4065d64479c41281ea9cc6ab88717c9107251f | LetDef0 | AssumeNamed | AssumeIsNotEmbeddable |
| 4633c5023f08c706b3c89599c79c489683e897c5 | Def1 | AssumeNamed | AssumeIsNotEmbeddable |
| 7f02866085fa3d9351eecd9e0386c3a6ebe1ab7d | Def1 | AssumeNamed | AssumeIsNotEmbeddable |
| c54c6fa130440d9faca9a5843857bbec8af31759 | LetDef1 | AssumeNamed | AssumeIsNotEmbeddable |
| 654cf769dcb612fd9b4963ae18b4786cc1906042 | LetDef1 | AssumeNamed | AssumeIsNotEmbeddable |
| 6eb1bcddb3f1e0dfa871760221b1dfd88ec5f204 | Def2 | AssumeNamed | AssumeIsNotEmbeddable |
| 86f37b2ef6c269c77982bd0abca8664d81cc72ab | Def2 | AssumeNamed | AssumeIsNotEmbeddable |
| 511303dd0d98893853f92be3b6a152e1a3c14dba | LetDef2 | AssumeNamed | AssumeIsNotEmbeddable |
| 61540579f7833aaa7ee271c54f7b939aace841b3 | LetDef2 | AssumeNamed | AssumeIsNotEmbeddable |
| b4ea4e89f298ff26417122e6758e41aeca5c37d0 | Def1Recursive | AssumeNamed | AssumeIsNotEmbeddable |
| 14071817a3f5f8b0f81153aa7b73b164c7d69414 | Def1Recursive | AssumeNamed | AssumeIsNotEmbeddable |
| 320a09044bbdfcf02822a25cbcbf04dd39c525e9 | LetDef1Recursive | AssumeNamed | AssumeIsNotEmbeddable |
| b1e0354cd8f712d34e70d46ef3cf1ea5db92e86c | LetDef1Recursive | AssumeNamed | AssumeIsNotEmbeddable |
| 08820bf051ceb392b91271bb4f615c8b46ea22b4 | Extends | AssumeNamed | AssumeIsNotEmbeddable |
| e2bf24379ad7d63855e6ac8013bead0b55ab5653 | Extends | AssumeNamed | AssumeIsNotEmbeddable |
| 074ed317e8b183a0605862c407ae91ee4d45bf92 | ExtendsInDifferentFolder | AssumeNamed | AssumeIsNotEmbeddable |
| 3dbe9195d317714ec582c06b5d0be8c6b352aa1e | ExtendsInDifferentFolder | AssumeNamed | AssumeIsNotEmbeddable |
| 6d1197d716a547bf257164009867ab94bfda38b0 | Variable | AssumeNamed | AssumeIsNotEmbeddable |
| 7a01307f34d47fe07b831c6480dc179ce1fdbe9b | Variable | AssumeNamed | AssumeIsNotEmbeddable |
| 3def773c038bb4cc80047f75fc0d5c509b9c8164 | VariableViewExclude | AssumeNamed | AssumeIsNotEmbeddable |
| 58da83804a6545f405b348f358ed0d4e80f477af | VariableViewExclude | AssumeNamed | AssumeIsNotEmbeddable |
| 286271d6c28a3889dc7cd78e7a73e489b244a42b | Constant | AssumeNamed | AssumeIsNotEmbeddable |
| b1ea5649e26a9d02347661c0d123ed767e3a7b4a | Constant | AssumeNamed | AssumeIsNotEmbeddable |
| 1f75d70ef2601e0f436bc2e90bc04f2f4b93e539 | ConstantModelValue | AssumeNamed | AssumeIsNotEmbeddable |
| cee731e3e2d93aaad2fbf657cf0fad38dccab45b | ConstantModelValue | AssumeNamed | AssumeIsNotEmbeddable |
| f9d8134bb0c556136531d026567213ffb3684fe8 | ConstantRank1 | AssumeNamed | AssumeIsNotEmbeddable |
| 57a1119e0deb5d8ad1c8dec9a891a0414633741b | ConstantRank1 | AssumeNamed | AssumeIsNotEmbeddable |
| ec45efb3769292b5418d1302fa539ec24366b401 | Instance | AssumeNamed | AssumeIsNotEmbeddable |
| 4b363c01948033170b0c214357a0a0b652cfb92f | Instance | AssumeNamed | AssumeIsNotEmbeddable |
| b6ad51cd0768dfe6de9ef8c9d7d14dc7b363c604 | InstanceWith | AssumeNamed | AssumeIsNotEmbeddable |
| e50c3c0ff11a15730753866495161e0f462edfb5 | InstanceWith | AssumeNamed | AssumeIsNotEmbeddable |
| 86f8158c496e10f75ce26f24f02b3b4e2f0533f1 | InstanceNamed | AssumeNamed | AssumeIsNotEmbeddable |
| a8c69ac91fea8953f8c543ca9613da3226d73fec | InstanceNamed | AssumeNamed | AssumeIsNotEmbeddable |
| 7fbd5066b4eb7ff335e02bfd546dd56c64ad4436 | InstanceNamedWith | AssumeNamed | AssumeIsNotEmbeddable |
| 0b9f5f334320be8cc83b72a9dfeba89eb6a5da0e | InstanceNamedWith | AssumeNamed | AssumeIsNotEmbeddable |
| 317f38b52fcd7925a7f706c3a02052f954f6b014 | InstanceInFolder | AssumeNamed | AssumeIsNotEmbeddable |
| 8793a93d1cc028e962d9b65ae4c46c56f470a383 | InstanceInFolder | AssumeNamed | AssumeIsNotEmbeddable |
| 2458e4f03d7d5eb9cb8f391e3919a0cdc93d4026 | InstanceWithInFolder | AssumeNamed | AssumeIsNotEmbeddable |
| aeba1dce023855d3933b0b562680bf3bda193f31 | InstanceWithInFolder | AssumeNamed | AssumeIsNotEmbeddable |
| ccdd33208411e50e016d22f49bb88bdb5c007d7e | InstanceNamedInFolder | AssumeNamed | AssumeIsNotEmbeddable |
| 69ec5f09159d8745a6a404d7f34b001164ad595f | InstanceNamedInFolder | AssumeNamed | AssumeIsNotEmbeddable |
| c208c5846a24d46aaf03647f684ccc80bcfa5c62 | InstanceNamedWithInFolder | AssumeNamed | AssumeIsNotEmbeddable |
| 2d5665a1cfb7ca014e01accbbf156f9a38f42852 | InstanceNamedWithInFolder | AssumeNamed | AssumeIsNotEmbeddable |
| 63c373578bb6a9e1becfb976f06b2e1c1f452a28 | Enabled | AssumeNamed | AssumeIsNotEmbeddable |
| 283da677a322da39c7f1f9b3973dd9dd9a8dd742 | Enabled | AssumeNamed | AssumeIsNotEmbeddable |
| 5968fb0e1df9d156d16e48266fc0e76945a1bb7e | Assume | AssumeNamed | AssumeIsNotEmbeddable |
| 128b5258e3b0ab2ca0d01efb1bc4beacd4f2a419 | Assume | AssumeNamed | AssumeIsNotEmbeddable |
| 5a34dbeccc8097a4e721abb849d7ef71d27b4eaa | AssumeNamed | AssumeNamed | AssumeIsNotEmbeddable |
| 96a49c8e32ae4ebb8b63481dc7e6cd9ea91bd047 | AssumeNamed | AssumeNamed | AssumeIsNotEmbeddable |
| d06a9d4fa55136173d441a6a4139239e26d24962 | Lambda | AssumeNamed | AssumeIsNotEmbeddable |
| d8fa55608850b425235eed7b56a5932b1155fc28 | Lambda | AssumeNamed | AssumeIsNotEmbeddable |
| 3d656d2c827e52dee10756cfe65778e64a1405bc | Cross2 | AssumeNamed | AssumeIsNotEmbeddable |
| c7d8d3c0b3cc264ef7cd4c65a0c1440253761dbb | Cross2 | AssumeNamed | AssumeIsNotEmbeddable |
| 9ff8db47bf17ad455c24f699ede0103c23bcb8b1 | Cross3 | AssumeNamed | AssumeIsNotEmbeddable |
| 94c84119ab2552f0e5613a914253dd6440093dd3 | Cross3 | AssumeNamed | AssumeIsNotEmbeddable |
| 2428b9509f649c6de0a6da0141edd1ce0b164ffe | FunSet | AssumeNamed | AssumeIsNotEmbeddable |
| 225f97762ed1a79fa3257be735a743ebf0e57f6e | FunSet | AssumeNamed | AssumeIsNotEmbeddable |
| e62589ac9e1181134e52f36b77ecb0f5fd6614f1 | RecordSet | AssumeNamed | AssumeIsNotEmbeddable |
| e8bf0e6f31fea6be54680dde43d4d06e49635302 | RecordSet | AssumeNamed | AssumeIsNotEmbeddable |
| cb5c63e0ed90720f9c5c98b07c93f2df5bb8c855 | SetDiff | AssumeNamed | AssumeIsNotEmbeddable |
| 0fb0b7664ffd850c73d99712a8d216590ddc6771 | SetDiff | AssumeNamed | AssumeIsNotEmbeddable |
| e039a670c1a91892f127c3476e031042d04e2a07 | SetUnion | AssumeNamed | AssumeIsNotEmbeddable |
| d1ad3c6939b508b0aad38a66dadd942fc01af820 | SetUnion | AssumeNamed | AssumeIsNotEmbeddable |
| bb3bc6c985b1cf60f0234d65fdc485e5ef8cd531 | SetIntersect | AssumeNamed | AssumeIsNotEmbeddable |
| 9472ffa8f04bb31d51bd461848056fcb449fe6fb | SetIntersect | AssumeNamed | AssumeIsNotEmbeddable |
| acfd32dc8875cfe050cce71c6f9114dda142a30f | SubsetEq | AssumeNamed | AssumeIsNotEmbeddable |
| b8f264b53d2e9795dde9faf829d590fffd244078 | SubsetEq | AssumeNamed | AssumeIsNotEmbeddable |
| 1c434575b0ac6b7a2f6f8f2526ed3e8b8081beaa | IfCond | AssumeNamed | AssumeIsNotEmbeddable |
| 92c07e0be000fd8e6e77fea67f2662c1da127fc1 | IfCond | AssumeNamed | AssumeIsNotEmbeddable |
| 6a66fe87ef6a36ff060e2805f479164a1df03553 | IfThen | AssumeNamed | AssumeIsNotEmbeddable |
| 60928e8e16c176b38cce01b7ff6c9271704926d8 | IfThen | AssumeNamed | AssumeIsNotEmbeddable |
| fd5f2eab3958182112dc43a5630222e71926fb67 | IfElse | AssumeNamed | AssumeIsNotEmbeddable |
| 972474f0f6affd1eab14eb2562c1efba73578b5c | IfElse | AssumeNamed | AssumeIsNotEmbeddable |
| 3020e638259070f3ff61035522d5c00c158394ed | Subset | AssumeNamed | AssumeIsNotEmbeddable |
| 7b57afe72fba8768b7bfff588d60de2143795c5f | Subset | AssumeNamed | AssumeIsNotEmbeddable |
| b44f1cb49b75b334f112fc6606cc15956480f8af | Domain | AssumeNamed | AssumeIsNotEmbeddable |
| 1a601cf4d6bd81c970e470fd84599a6c7b471b14 | Domain | AssumeNamed | AssumeIsNotEmbeddable |
| 3293645491d70193c251eaf84939426626144dda | Union | AssumeNamed | AssumeIsNotEmbeddable |
| 9491ea8192947b3dceb6c7c7a6e76c6af50cae37 | Union | AssumeNamed | AssumeIsNotEmbeddable |
| e9ebc85cc0c2b9663c253b8deec7c12e793af1c3 | Unchanged | AssumeNamed | AssumeIsNotEmbeddable |
| 782743532492675c2b5273f755d4ba0f7eba08c2 | Unchanged | AssumeNamed | AssumeIsNotEmbeddable |
| 61dd5bb78dbe269ace7ec87784bf92cdd509372a | Equivalence | AssumeNamed | AssumeIsNotEmbeddable |
| fa3b89a6d7685672f8bf582ad2796890de25619c | Equivalence | AssumeNamed | AssumeIsNotEmbeddable |
| 63d8e2db38909ef3bbc3a7778a289e03fbb0f960 | StringEmpty | AssumeNamed | AssumeIsNotEmbeddable |
| 2075226ceef06be51abfb72ed6a57cce58260ae6 | StringEmpty | AssumeNamed | AssumeIsNotEmbeddable |
| 0d2c6e0dac93d3db8d114eccc02854134bac2a92 | String | AssumeNamed | AssumeIsNotEmbeddable |
| c0f70fad390c6c29f687059190f9af91ba3145b3 | String | AssumeNamed | AssumeIsNotEmbeddable |
| f1055f48cf9d6fdc761324d7178f19a66dd4d2a5 | SeqLen | AssumeNamed | AssumeIsNotEmbeddable |
| 1a3369c80e4f975a3017c8e7dbf2cf0ea6cc6cc9 | SeqLen | AssumeNamed | AssumeIsNotEmbeddable |
| fb3125f5c39249f73cf6164c0319f46f0cb9cc65 | SeqConcat | AssumeNamed | AssumeIsNotEmbeddable |
| 50ca1fe540029436d72c3bcdebf993393846085b | SeqConcat | AssumeNamed | AssumeIsNotEmbeddable |
| 9cc8a512f2d6f54076788a97a23d087590a47fa1 | SeqSeq | AssumeNamed | AssumeIsNotEmbeddable |
| 829688dc9c5b5bd8ceeebc761b3ddf0fe75626d5 | SeqSeq | AssumeNamed | AssumeIsNotEmbeddable |
| ccef6e1170f730abc07149098badeab80d47826c | NatSet | AssumeNamed | AssumeIsNotEmbeddable |
| 03e7d8428a2dda787f3b59089d869e112e040e83 | NatSet | AssumeNamed | AssumeIsNotEmbeddable |
| e524acce2c503d35fdd98d5f38b48911a79c3e7b | IntSet | AssumeNamed | AssumeIsNotEmbeddable |
| 1b6acb85139cc848eeb94a3ddcdb1a9fd9dc2631 | IntSet | AssumeNamed | AssumeIsNotEmbeddable |
| 38807efab60da50da09b8b8a04a1dd660fa4b5fe | StringSet | AssumeNamed | AssumeIsNotEmbeddable |
| f03f603e5b323d6317fd70bc281768effba77b38 | StringSet | AssumeNamed | AssumeIsNotEmbeddable |
| 49ff59a04494eab32176d4eeabe7cf1d8c5609d6 | SeqSelectSeq | AssumeNamed | AssumeIsNotEmbeddable |
| 8230ff34521a0ae22f2cb82792bfb0f927fb6faf | SeqSelectSeq | AssumeNamed | AssumeIsNotEmbeddable |
| 4995781fb18e4ffd388ef0c41366e9509e2edeff | SeqSubSeq | AssumeNamed | AssumeIsNotEmbeddable |
| 9e0738a1bc6adaebba3045aa31416f0930fb614d | SeqSubSeq | AssumeNamed | AssumeIsNotEmbeddable |
| 76bd8a7be92f1d90d9c3fd8827b799f2b4536ca7 | NumRange | AssumeNamed | AssumeIsNotEmbeddable |
| f6b8b2ae402963bfa520160c61613edffdd814c1 | NumRange | AssumeNamed | AssumeIsNotEmbeddable |
| 6fefb060767bf8ae540b8576f7b72037500e0f92 | TlcSingletonFun | AssumeNamed | AssumeIsNotEmbeddable |
| b390a1e66514107ca96afb83431b6725c87d3016 | TlcSingletonFun | AssumeNamed | AssumeIsNotEmbeddable |
| 43cedf2afea957cc1898451ba905a287152a6ad8 | TlcExtendFun | AssumeNamed | AssumeIsNotEmbeddable |
| 35ea1fe776daf6600c60ab0a7f584cce332db688 | TlcExtendFun | AssumeNamed | AssumeIsNotEmbeddable |
| 1e148c5bd20f2475e3ecdc118db9cbbca3671a6b | TlcPermuteFun | AssumeNamed | AssumeIsNotEmbeddable |
| fef43ab114f42f42a80bc8d9da58e4d482d00213 | TlcPermuteFun | AssumeNamed | AssumeIsNotEmbeddable |
| c14c75372e9b93dfbc8d1e72569616ed1f765da4 | TlcSortSeq | AssumeNamed | AssumeIsNotEmbeddable |
| 4a14b78d201b939982cd0340567e52874a807bde | TlcSortSeq | AssumeNamed | AssumeIsNotEmbeddable |
| efb46e444d3854617921c51442c39a8af62ef9a5 | TlcEval | AssumeNamed | AssumeIsNotEmbeddable |
| b80aa7b5ead41dbb3ab4bc5043ba0bc85dff3eb2 | TlcEval | AssumeNamed | AssumeIsNotEmbeddable |
| 55668d3d34406b85b8e89e21bdcf37c17deee09f | BagBagToSet | AssumeNamed | AssumeIsNotEmbeddable |
| 833232336eea1d86bdc0299c64dbd2ae3e336cc6 | BagBagToSet | AssumeNamed | AssumeIsNotEmbeddable |
| 058ad484360d195eb14b9d989d05220666d34b69 | BagSetToBag | AssumeNamed | AssumeIsNotEmbeddable |
| e12e84c5e6a01ef8b205a6984e2bddc85a330d4b | BagSetToBag | AssumeNamed | AssumeIsNotEmbeddable |
| 5013605fcb8509c9ca45f41f780ca3e22096eb77 | BagBagIn | AssumeNamed | AssumeIsNotEmbeddable |
| 7c0409b99341ba5920ccafd059feb29f9d51905b | BagBagIn | AssumeNamed | AssumeIsNotEmbeddable |
| 7d77207e7d31b9c62611bd6ca1043b6c557db445 | BagEmptyBag | AssumeNamed | AssumeIsNotEmbeddable |
| ca47c77d1ae5006553a6fcfa9043afdd20ef9b91 | BagEmptyBag | AssumeNamed | AssumeIsNotEmbeddable |
| 9bfdb3e9c7aff90247b5b4f539e656626d342743 | BagAddBag | AssumeNamed | AssumeIsNotEmbeddable |
| 7f5689e1e55277800eb957cf8d5c3db83dab452a | BagAddBag | AssumeNamed | AssumeIsNotEmbeddable |
| 7c00c3b200bca30bedcc8a982345db157a58a34e | BagBagSub | AssumeNamed | AssumeIsNotEmbeddable |
| fecc207735624691b1f908b9192d910bcce825ba | BagBagSub | AssumeNamed | AssumeIsNotEmbeddable |
| c2f5c19045b60fa7ca4a2be9b35b9f08888c1b8d | BagCopiesIn | AssumeNamed | AssumeIsNotEmbeddable |
| 6387a65314d101750d0da15e2629a3ac50b132eb | BagCopiesIn | AssumeNamed | AssumeIsNotEmbeddable |
| 065d8cf023fd8acbfdcd2c2d60cc6178ff96798e | BagSubsetEqBag | AssumeNamed | AssumeIsNotEmbeddable |
| 6fde6052ef6f6ca06c496e192aefd4ed9c2e312a | BagSubsetEqBag | AssumeNamed | AssumeIsNotEmbeddable |
| 9b22bc25d0a29f8d07ee963e7d485507ad019e5c | BagBagUnion | AssumeNamed | AssumeIsNotEmbeddable |
| 6eff59ddcba912b4d8bf78b87f42c6395d526b88 | BagBagUnion | AssumeNamed | AssumeIsNotEmbeddable |
| a3af4284bfbce9e3c88c91b5114232daa7a6ed5a | BagBagCardinality | AssumeNamed | AssumeIsNotEmbeddable |
| 925fbc39fd60faef79ddd47b5bd4680af32f6ba3 | BagBagCardinality | AssumeNamed | AssumeIsNotEmbeddable |
| 9181d5cc3089ad3e66b4f6dfd2a688caa112b658 | BagBagOfAll | AssumeNamed | AssumeIsNotEmbeddable |
| f11518d63b95d2ab1c57fa37d7ce5b8125082762 | BagBagOfAll | AssumeNamed | AssumeIsNotEmbeddable |
| bac3bd2e31a461912bf80be7e599779719abcd67 | BagSubBag | AssumeNamed | AssumeIsNotEmbeddable |
| d4f1818a7ed171b0790ed255381d6ff2ef09a23f | BagSubBag | AssumeNamed | AssumeIsNotEmbeddable |
| 7787939500be4cabd980d6aaa916d1172b44d0b0 | FiniteSetsIsFiniteSet | AssumeNamed | AssumeIsNotEmbeddable |
| be729f9c47d0990681039ead1e096500c85aa931 | FiniteSetsIsFiniteSet | AssumeNamed | AssumeIsNotEmbeddable |
| 16d2762473e991ce3402465cc33164845d21c965 | FiniteSetsCardinality | AssumeNamed | AssumeIsNotEmbeddable |
| e556a45934c4d6f2f9c6f5361c452f75334c5397 | FiniteSetsCardinality | AssumeNamed | AssumeIsNotEmbeddable |
| 4209159e8bad94644f398439ffaaac369b954961 | SeqHead | AssumeNamed | AssumeIsNotEmbeddable |
| 158a8260d01b2ce0e56f3b8f3cb5f4a8179cd163 | SeqHead | AssumeNamed | AssumeIsNotEmbeddable |
| ab34f0288d755c910c66b20e61bd49f65ba0a748 | SeqTail | AssumeNamed | AssumeIsNotEmbeddable |
| a1aa267f047e21ac0045a879ba5ba8888da321fc | SeqTail | AssumeNamed | AssumeIsNotEmbeddable |
| 5dcbccebd078df97c70affefc76040893533b16d | SeqAppend | AssumeNamed | AssumeIsNotEmbeddable |
| 0a1a527f4abf070f6e9cc2c50201fd1a7f2b0df9 | SeqAppend | AssumeNamed | AssumeIsNotEmbeddable |