| Id | Case Feature | Plug Feature | Skip Reason |
|---|---|---|---|
| 51a8222cc4e8a8bed29ca66c70d67bcd54349c17 | OneLineComment | Except1RecWithAt | CanNotBePlug |
| 718ad7e3cd095ad5a4107f6c9e983572bfe8dd98 | OneLineComment | Except1RecWithAt | CanNotBePlug |
| 94e882c2c2e92179d88297ecdf911dca102ca9da | MultiLineComment | Except1RecWithAt | CanNotBePlug |
| 0f847147d78daa1fec2c5d5860c548b4a816d1dc | MultiLineComment | Except1RecWithAt | CanNotBePlug |
| 4a24ca8c1d9e869cc9c334007d66bdab766aef2f | BoolTrue | Except1RecWithAt | CanNotBePlug |
| 8ac69a771fdef5988b6c1dc9b678d6c4cb7dbc39 | BoolTrue | Except1RecWithAt | CanNotBePlug |
| c6e96f80fc87399de371ee08ea19a7fcc8a0f303 | BoolFalse | Except1RecWithAt | CanNotBePlug |
| 5259eca0b5dad35c5c1a996942b104ef20f0ac1a | BoolFalse | Except1RecWithAt | CanNotBePlug |
| b6ef0edebb9f2704bcbcad54c9026a0d8e8792ca | BoolSet | Except1RecWithAt | CanNotBePlug |
| c155627d739674da2f3639e497ed80656365db4c | BoolSet | Except1RecWithAt | CanNotBePlug |
| f6ee9e5a5ae720e3a05ef66dd2700e9db659a956 | And | Except1RecWithAt | CanNotBePlug |
| a75dfda47c3fbf7273ea12545b1d7465504d3abb | And | Except1RecWithAt | CanNotBePlug |
| ec387a6ea8f3b9fd9037ed3a22a6ada3cbdfeb1a | AndMultiLine | Except1RecWithAt | CanNotBePlug |
| 60fb53a345d99745c6a844c936a88890d9813cde | AndMultiLine | Except1RecWithAt | CanNotBePlug |
| 80d948f3c72537bb44a3780261ec2faccc28b25f | Imply | Except1RecWithAt | CanNotBePlug |
| 50eaf5dcafaf86f3537aebe6be9c1821caba6aea | Imply | Except1RecWithAt | CanNotBePlug |
| 92ac3311f068b8f5177c84a386e8f0c8f3f7a838 | Not | Except1RecWithAt | CanNotBePlug |
| 4dbb29c0feabd0a2526c26cb80e5b5161c3428a0 | Not | Except1RecWithAt | CanNotBePlug |
| 3ae7dbfc2db26618be8d9537c5ddd5ec7cb46f82 | Or | Except1RecWithAt | CanNotBePlug |
| 037d944f4cce4b857d2d17d95749b0b84da2ad99 | Or | Except1RecWithAt | CanNotBePlug |
| 269f0c22d831b9a03dc5683e90026da6aac3095d | OrMultiLine | Except1RecWithAt | CanNotBePlug |
| 9bbd8b05c7a9096a662978b7c31c3e345ff4062f | OrMultiLine | Except1RecWithAt | CanNotBePlug |
| 668907c3ecdf136cea9ecd743548bafd9ed32469 | AndProp | Except1RecWithAt | CanNotBePlug |
| 32ef7bcb5ad59d558ad743a9044d39f5955ba083 | AndProp | Except1RecWithAt | CanNotBePlug |
| a38d7b32f055adfacb7fe034f324eccba5e25bde | Boxed | Except1RecWithAt | CanNotBePlug |
| c63829837bc5db402a9e5652a0b7e4b57ece0616 | Boxed | Except1RecWithAt | CanNotBePlug |
| d972f757a794cf9135aa4cef7c842ef0601e8bc7 | Eq | Except1RecWithAt | CanNotBePlug |
| 5af68559636a491ed7cffcba88deb054bb0dcdf4 | Eq | Except1RecWithAt | CanNotBePlug |
| ac36bee77d6f8be727b75cc83cd84f5d46e8112d | Ne | Except1RecWithAt | CanNotBePlug |
| 90ae954c93fd90f13c9d133e77d463e9402e27ec | Ne | Except1RecWithAt | CanNotBePlug |
| d5a82424ba3927241a611bd33b2116f3ab127fcd | Let | Except1RecWithAt | CanNotBePlug |
| 61035350a071f8db8889e25469f9281838ccb00c | Let | Except1RecWithAt | CanNotBePlug |
| 9d53a3531a8cdc9d687e7abd58e88c9803a1701a | SetEmpty | Except1RecWithAt | CanNotBePlug |
| cef5ea2749e2dff611a16102d60e4c0de55c9987 | SetEmpty | Except1RecWithAt | CanNotBePlug |
| 6fa05f8fe55b9ed29abfe7c835e754410712d54b | Set0 | Except1RecWithAt | CanNotBePlug |
| 03491876848d3b1256757fe8a4f33ab451662897 | Set0 | Except1RecWithAt | CanNotBePlug |
| d00b428764e6f06ea1b6208192b9531e3e98bddb | Set1 | Except1RecWithAt | CanNotBePlug |
| cef84f811a503a3efefe7230dc38a121b3102f36 | Set1 | Except1RecWithAt | CanNotBePlug |
| 526be26305c4d1d7852bd6d7bc7c3548eaed81f3 | Set2 | Except1RecWithAt | CanNotBePlug |
| 474ffe0965275e70e549182c916dafd61634c222 | Set2 | Except1RecWithAt | CanNotBePlug |
| 15ce53ed4441674c356a6cf1859d4e0246dd7cb7 | Set1InDef | Except1RecWithAt | CanNotBePlug |
| 0036f1f65b6531f13d7480f28ed06c683186cc4d | Set1InDef | Except1RecWithAt | CanNotBePlug |
| d49b13054aa6827021201721497f7112b59a7d04 | Set2InDef | Except1RecWithAt | CanNotBePlug |
| 8b3f4445488cfc0edaa0bb0eb6a3586cb9623264 | Set2InDef | Except1RecWithAt | CanNotBePlug |
| 623405e6f975c9f02575a76633ad287a6ce5fcc5 | InDef0 | Except1RecWithAt | CanNotBePlug |
| cb9cf2a67728ad3a865ec27f36617cfabef26e90 | InDef0 | Except1RecWithAt | CanNotBePlug |
| e5c32932e983a27e655e0fc3cab58c2ce8fb18f3 | InDef1 | Except1RecWithAt | CanNotBePlug |
| bdf8103efd991bc1856c000c5d3be710c672e8c8 | InDef1 | Except1RecWithAt | CanNotBePlug |
| d5230cb7a11cb5501ca76090df00d3d51c8a4a42 | InDef2 | Except1RecWithAt | CanNotBePlug |
| c01b74e59d2dc577cd53fc62a8c58763f77eec80 | InDef2 | Except1RecWithAt | CanNotBePlug |
| 8065721790b92c6fb59779740f647c947ad332ba | Fun | Except1RecWithAt | CanNotBePlug |
| 36fe6d734577816bb2619bcdce9219aa4ad1af6c | Fun | Except1RecWithAt | CanNotBePlug |
| d515f98616774c33a0fcc59053cbb898f641d61a | FunInDef | Except1RecWithAt | CanNotBePlug |
| 5c986cf77a1b015f25bf6cb971bd267012c2f515 | FunInDef | Except1RecWithAt | CanNotBePlug |
| 5204ebb457509be2ff714ada6f63a1c2db682983 | In | Except1RecWithAt | CanNotBePlug |
| df6d6be54141477295f77d35281949eaae94455c | In | Except1RecWithAt | CanNotBePlug |
| 5eed7d47dbb6e962a254de82aaba2f0d971c49aa | NotIn | Except1RecWithAt | CanNotBePlug |
| d5db1eb6469cb9fb7fa72c73a99afdfa1dbe9d73 | NotIn | Except1RecWithAt | CanNotBePlug |
| b74b44301ff119cbc2b0a27db6762e6ea101dbe9 | Exists | Except1RecWithAt | CanNotBePlug |
| 698861ebe95d88f0a9844fd983507e61f39d2a4f | Exists | Except1RecWithAt | CanNotBePlug |
| 839a0ed0155ceaea937335e7b0f7907e6cdef364 | Forall | Except1RecWithAt | CanNotBePlug |
| 1b0cc08686519fb8d219f873d79622a4d8928792 | Forall | Except1RecWithAt | CanNotBePlug |
| 0558ace9f24b3ce461850918631f11f3e9f6e360 | ExistsInDef | Except1RecWithAt | CanNotBePlug |
| 4640cef4c5aca9bf52cef4805f44de1d55c8f385 | ExistsInDef | Except1RecWithAt | CanNotBePlug |
| 701c1313c865eece4dfb2510e91bbea77b03d2b2 | ForallInDef | Except1RecWithAt | CanNotBePlug |
| d539ccaf58f8a0ec5b4a7e7a4c6914e14ee29a7d | ForallInDef | Except1RecWithAt | CanNotBePlug |
| 1898d5afd2d8e0d8f986cd1ccb6e348aba1ac271 | Choose | Except1RecWithAt | CanNotBePlug |
| 9c770ac2a5af4c3ecbac577b48d3d32329674c74 | Choose | Except1RecWithAt | CanNotBePlug |
| 70fde227329f2173277e03645b40e13ad4bcd03d | ChooseInDef | Except1RecWithAt | CanNotBePlug |
| 0e5558236789be42a6bced885341582f85e36e5b | ChooseInDef | Except1RecWithAt | CanNotBePlug |
| e43217dad2e620bd5e659ac6b8cdc4770533d824 | Record | Except1RecWithAt | CanNotBePlug |
| f459c97156d5616a6052ae42d2fc50cb7caa3f28 | Record | Except1RecWithAt | CanNotBePlug |
| ef4eb79132c407673bed8b2a1083f6df0135ded2 | Tuple | Except1RecWithAt | CanNotBePlug |
| fbb0dab836b48d125502ac5402ea89ef083cd46c | Tuple | Except1RecWithAt | CanNotBePlug |
| cd34e2d63a350c073f302468c4f416ad79553cb6 | TupleEmpty | Except1RecWithAt | CanNotBePlug |
| 7a635dfc94b378c2fc7043a94ff5de6a72e24599 | TupleEmpty | Except1RecWithAt | CanNotBePlug |
| fd3e64405cc58bb5da19db9c0f22ab4501638fd6 | FunApp | Except1RecWithAt | CanNotBePlug |
| fbd90797b5ca14202c74da803dc0f65593089395 | FunApp | Except1RecWithAt | CanNotBePlug |
| b22c2f35da29db47146b09fc8a7da9df838b0309 | Except0 | Except1RecWithAt | CanNotBePlug |
| 8c19d9cda55570c88ff1fc8346cd47ad442b0195 | Except0 | Except1RecWithAt | CanNotBePlug |
| f3761ef166355b8999e3e82c57703f595d61f09b | Except1Fun | Except1RecWithAt | CanNotBePlug |
| f4f65f8f296f9b0c426d1d0525a8efa87059bc8d | Except1Fun | Except1RecWithAt | CanNotBePlug |
| 9a6f26d8c27af5c9551207f8782c595653967bf8 | Except1FunWithAt | Except1RecWithAt | CanNotBePlug |
| 124050da78905cc5e1c3732d5f8e14b3c3514768 | Except1FunWithAt | Except1RecWithAt | CanNotBePlug |
| ee34cd2fbe5033dc7c713a6b71365f43c28f9fcc | Except1Rec | Except1RecWithAt | CanNotBePlug |
| 33a64edc5be52a080b9ea099c566873022b184d5 | Except1Rec | Except1RecWithAt | CanNotBePlug |
| e289d9c6002aee74527d95dc358fba94f3d54382 | Except1RecWithAt | Except1RecWithAt | CanNotBePlug |
| 3fc821d3af5726e85da66a456096fd4b434df306 | Except1RecWithAt | Except1RecWithAt | CanNotBePlug |
| ae26c125c62ea95ef49b1206465a74887bee2b1e | Except2Fun | Except1RecWithAt | CanNotBePlug |
| 64d361da3db7a910c67ec0b868dda5686536ac6f | Except2Fun | Except1RecWithAt | CanNotBePlug |
| 5dff678f5163162cb91c85db13003aea87f19502 | Except2FunTuple | Except1RecWithAt | CanNotBePlug |
| c1e1693c8ab05ed987f35d18f5fed68c3df356b0 | Except2FunTuple | Except1RecWithAt | CanNotBePlug |
| bac53a5474c0a0776f826df05aabde30ef979762 | Prime | Except1RecWithAt | CanNotBePlug |
| e38755988a7858e7cbfe351907a71a2a3e51f571 | Prime | Except1RecWithAt | CanNotBePlug |
| 4a64fc208b1581723ad191d61d76f69dc546ca70 | NumZero | Except1RecWithAt | CanNotBePlug |
| cb8e534cd639c2cb4508f536af4503849c0b1bb1 | NumZero | Except1RecWithAt | CanNotBePlug |
| 1c473cab973bbd78318c31df8ec8989a482bb95c | NumOne | Except1RecWithAt | CanNotBePlug |
| c1e053139004a09586dac4727939288f9754a0b1 | NumOne | Except1RecWithAt | CanNotBePlug |
| 1aee27780456b19aad76528b3d4e88cd4bcf7340 | NumMaxInt | Except1RecWithAt | CanNotBePlug |
| 3863b6133a6dd6c45ae776c053fca9f187bbfa68 | NumMaxInt | Except1RecWithAt | CanNotBePlug |
| 1e11757d925fa5605dba881e99cbb09ceab2d1bc | NumUnaryMinus | Except1RecWithAt | CanNotBePlug |
| d0521f4d9274845fa2071c56fd807c33747b693d | NumUnaryMinus | Except1RecWithAt | CanNotBePlug |
| 2a79ccbaa6b0c6fcd97ba5e0dcf0d7e339ec17a1 | NumPlus | Except1RecWithAt | CanNotBePlug |
| f14abb63e3fee938750a84fc76ffd341df4fc9bd | NumPlus | Except1RecWithAt | CanNotBePlug |
| 14e9a95fb7a4781f59818d9c6cebc878ddb734a2 | NumMinus | Except1RecWithAt | CanNotBePlug |
| 31eef3e7a805b9fe5f48fef724b62b1205ee04b6 | NumMinus | Except1RecWithAt | CanNotBePlug |
| 50b835f87e0c6f8ba2a7b623a9c291c3204e1e75 | NumMul | Except1RecWithAt | CanNotBePlug |
| 52715eeea01b1c0b9134b9bf7d4f543855b9a9d8 | NumMul | Except1RecWithAt | CanNotBePlug |
| 8a64622d155be45ccf8bfbc0af6a9142139abc60 | NumDiv | Except1RecWithAt | CanNotBePlug |
| 5a9e59cd9b55154f672dbb8c708a70eed89739f8 | NumDiv | Except1RecWithAt | CanNotBePlug |
| 730a1dde8fdfb094beb021b2d4a60e7277b10e0c | NumMod | Except1RecWithAt | CanNotBePlug |
| 14a27a4ff5283bb3c1f3c51d2c408d33192ccfe6 | NumMod | Except1RecWithAt | CanNotBePlug |
| 60be446b9589d8b4512c1f6c2af592aea12b2563 | NumPow | Except1RecWithAt | CanNotBePlug |
| 6813fee5a6047f172d44a0d4ea55d8821336c863 | NumPow | Except1RecWithAt | CanNotBePlug |
| e14171e036a8570b7d1fc06d930ccd2797495962 | NumGt | Except1RecWithAt | CanNotBePlug |
| f6ebdfa38dfefef4868ae2e318166b59cd8eab1d | NumGt | Except1RecWithAt | CanNotBePlug |
| 303f33f61aaf97e0348be1215e5f9e47de8b7924 | NumGe | Except1RecWithAt | CanNotBePlug |
| a3bfe304ad9f08d2eb366d166d1d22e24a2226c4 | NumGe | Except1RecWithAt | CanNotBePlug |
| 0f004f45d533d1ead70aaf42afd839c2d4cc978b | NumLt | Except1RecWithAt | CanNotBePlug |
| 8a31c4394ddfd1430d3f3875ad32e20ad06ef351 | NumLt | Except1RecWithAt | CanNotBePlug |
| 71fb9e73542f4a9ad48f5af63501b254687aa1ca | NumLe | Except1RecWithAt | CanNotBePlug |
| 8714433d8585f060e7e3354f553f47dbf8a43e23 | NumLe | Except1RecWithAt | CanNotBePlug |
| f2b2b77143ca4fe6bb54d472b58e57cf6109706f | DefFun | Except1RecWithAt | CanNotBePlug |
| b1f536ada0e5d2444db9364485d8f4215f4bf26a | DefFun | Except1RecWithAt | CanNotBePlug |
| 4650ce596425793df568559a3545aaa8ab4fa6ef | LetDefFun | Except1RecWithAt | CanNotBePlug |
| f4e49bb74307ee31d8b1a3f9cad2c6c36be4f14d | LetDefFun | Except1RecWithAt | CanNotBePlug |
| 756da16c40a01115b9acb9f8d64ba5b68fb6667c | DefFunRecursive | Except1RecWithAt | CanNotBePlug |
| f4b7fcee09d78125341a4fea2eae7b07ec8fe451 | DefFunRecursive | Except1RecWithAt | CanNotBePlug |
| 5e1e5c97d80fea97dba5451fb09dd7ef19b53518 | LetDefFunRecursive | Except1RecWithAt | CanNotBePlug |
| c03b2bb57a3b4084f13ed139eb4076a0ca0f0102 | LetDefFunRecursive | Except1RecWithAt | CanNotBePlug |
| 017fec93cb2ecbce0de168df2a91dd50da1143e6 | DefFunInDef | Except1RecWithAt | CanNotBePlug |
| 85fb8b64f972c93476d923386ee7227d50f5ff69 | DefFunInDef | Except1RecWithAt | CanNotBePlug |
| b7c8ad72a8398a8e073bdf4c7b909c2a9a749285 | LetDefFunInDef | Except1RecWithAt | CanNotBePlug |
| 1dc543a211228277a8b780ee8d404038cb2b98ff | LetDefFunInDef | Except1RecWithAt | CanNotBePlug |
| 52b281f845d25b2c7b28eaadad71044f19301f78 | Def0 | Except1RecWithAt | CanNotBePlug |
| f14d76058cac266102523dae29d07429c5a6725a | Def0 | Except1RecWithAt | CanNotBePlug |
| 12d8bde92ad7823e492ddd2f88b4ea011c4ad0b4 | LetDef0 | Except1RecWithAt | CanNotBePlug |
| 8eda96bd352339da5c12b6255f967e4bf9988dc9 | LetDef0 | Except1RecWithAt | CanNotBePlug |
| ff4fb4e08380bdce9f015985f29d1438a7df8c6f | Def1 | Except1RecWithAt | CanNotBePlug |
| 6584455c7e9140d488aab25706728b2fc90f44d3 | Def1 | Except1RecWithAt | CanNotBePlug |
| 3716c9f798c5411f20014ea23b689f565b6d5583 | LetDef1 | Except1RecWithAt | CanNotBePlug |
| b80686d6f8e6bd87341a85e690a4ed793ef7d2e8 | LetDef1 | Except1RecWithAt | CanNotBePlug |
| 03fe04ed197b139538d7ba90a646daea7b4465f7 | Def2 | Except1RecWithAt | CanNotBePlug |
| 076db3e3a0f41414875b0561796357c501c9235a | Def2 | Except1RecWithAt | CanNotBePlug |
| 73d0d4019619f07faba6f67ac968a64bc80265ce | LetDef2 | Except1RecWithAt | CanNotBePlug |
| 69c727b1484a9ae7fcd2313d035aa74b42fa10cb | LetDef2 | Except1RecWithAt | CanNotBePlug |
| 95b406976ffe8239fca931fdebde448e1bc07fcb | Def1Recursive | Except1RecWithAt | CanNotBePlug |
| 89af1f0661a9d2cc84443dc45dabfddb0b162e5d | Def1Recursive | Except1RecWithAt | CanNotBePlug |
| 1282862530f9ed3b0edd5048031062218b52f41f | LetDef1Recursive | Except1RecWithAt | CanNotBePlug |
| 0df8ccbea5c169c4c3b2f3737c150e0c6607830c | LetDef1Recursive | Except1RecWithAt | CanNotBePlug |
| f01bdd1b89731681298578c6952f6d2d11d73169 | Extends | Except1RecWithAt | CanNotBePlug |
| 5b3b9864ae33de3c32bddf9a0a519f3033888907 | Extends | Except1RecWithAt | CanNotBePlug |
| 4236fdb4738dc9d8bad458e3b56daa60db716d3e | ExtendsInDifferentFolder | Except1RecWithAt | CanNotBePlug |
| 2162db08462516149a733c95217a22d706df55cf | ExtendsInDifferentFolder | Except1RecWithAt | CanNotBePlug |
| 4947c3717a245ad874edd7beb5dfc36704b27823 | Variable | Except1RecWithAt | CanNotBePlug |
| 7c3b8b4943e1263b802bec36cd784cca8e2fb7ca | Variable | Except1RecWithAt | CanNotBePlug |
| fb91a66e8c7e02b61257035b794531828c0fc393 | VariableViewExclude | Except1RecWithAt | CanNotBePlug |
| b69f727fbe82dba21a73b651595e225e973e12ab | VariableViewExclude | Except1RecWithAt | CanNotBePlug |
| a396439f4610b16ec7d7e85180ad52f24ba17f05 | Constant | Except1RecWithAt | CanNotBePlug |
| 77a0bef580075ba5238e8c33261dd4d859a6a624 | Constant | Except1RecWithAt | CanNotBePlug |
| be5f02a580a58b4dbad53de30bc29899c9904f6f | ConstantModelValue | Except1RecWithAt | CanNotBePlug |
| cc4d4deda87c36e20761a2f7223825d35e798ac6 | ConstantModelValue | Except1RecWithAt | CanNotBePlug |
| 03ce203a2e8403f5627f0645da94683ec28368e3 | ConstantRank1 | Except1RecWithAt | CanNotBePlug |
| a5702ae95a49909a61154b726fe886ef8fd464ae | ConstantRank1 | Except1RecWithAt | CanNotBePlug |
| 556004c19ae531ecac16b5b218a99810e0bca041 | Instance | Except1RecWithAt | CanNotBePlug |
| e38c5ed7169c4f50d42a50163f50f3141b4fef71 | Instance | Except1RecWithAt | CanNotBePlug |
| ceab9625e189342f430e2b4a01bebf766d1ad7d9 | InstanceWith | Except1RecWithAt | CanNotBePlug |
| d36896f57b6506d2bcde86af83617d0d8fe52a02 | InstanceWith | Except1RecWithAt | CanNotBePlug |
| 57be48c4b653a48582b99a0592eec5b3f88776e4 | InstanceNamed | Except1RecWithAt | CanNotBePlug |
| 1d65d8951b353c7901f02a002bab6d6bc01c80ac | InstanceNamed | Except1RecWithAt | CanNotBePlug |
| 00cbda71ea4e3a1fb5d738e3629b3aca705b6b70 | InstanceNamedWith | Except1RecWithAt | CanNotBePlug |
| 20dd02d00fb0dd5aefe72fdef120f10600506bec | InstanceNamedWith | Except1RecWithAt | CanNotBePlug |
| b72e0a9658173c15b7ee90597e9bf204e33a64af | InstanceInFolder | Except1RecWithAt | CanNotBePlug |
| 010933052d05462e84f4a214342b836a14858eba | InstanceInFolder | Except1RecWithAt | CanNotBePlug |
| 51294bd4baee7d2e940338342b85848b439675e7 | InstanceWithInFolder | Except1RecWithAt | CanNotBePlug |
| 964d0114581573678ff9d3f586775af224100c7b | InstanceWithInFolder | Except1RecWithAt | CanNotBePlug |
| d8630fcaecf7bc5999ecc8ea086171e7883ce75e | InstanceNamedInFolder | Except1RecWithAt | CanNotBePlug |
| 36d7320b656e50c60e2b687d3d0dad4df20670f1 | InstanceNamedInFolder | Except1RecWithAt | CanNotBePlug |
| 323a7674e2ff0aff18bf2616085dd57238e182a2 | InstanceNamedWithInFolder | Except1RecWithAt | CanNotBePlug |
| 08787955359fb8d54e14cce3fe362d40a99a2398 | InstanceNamedWithInFolder | Except1RecWithAt | CanNotBePlug |
| a72d06d7601bdb5056001a206d8bd709a7faf7c5 | Enabled | Except1RecWithAt | CanNotBePlug |
| 3dea6329f16334b31448127f6472ee34553b1a84 | Enabled | Except1RecWithAt | CanNotBePlug |
| 0c971877f1d3cdae0a90ebd745a4c2aa5a6cc8df | Assume | Except1RecWithAt | CanNotBePlug |
| 8aa830acae038e52b4b9a9df3ab5669336425a49 | Assume | Except1RecWithAt | CanNotBePlug |
| 2e299f473c2fdd873367bf0c3ff012a38e361b6d | AssumeNamed | Except1RecWithAt | CanNotBePlug |
| 8db9d9366d9b820ae474c4293640a54b96a715ed | AssumeNamed | Except1RecWithAt | CanNotBePlug |
| 84daa398abccf52502231dd74fd4bfaf05763450 | Lambda | Except1RecWithAt | CanNotBePlug |
| 7edea8bcc93c6f0e83c164e906cb8c2f08ef4aaf | Lambda | Except1RecWithAt | CanNotBePlug |
| 3fa4123d37e8640f34869d7af4baa2015008978a | Cross2 | Except1RecWithAt | CanNotBePlug |
| cb823ac069bac86ff397002dcc0d9c5136d710e0 | Cross2 | Except1RecWithAt | CanNotBePlug |
| 999f35c0fa67087baf17a46a55bb2a07face46fc | Cross3 | Except1RecWithAt | CanNotBePlug |
| 7f3d276e18302b306cdc3650ef8237b6ed7a0eda | Cross3 | Except1RecWithAt | CanNotBePlug |
| f9549d4ee81caef567315ba8c68d63a53873c4ed | FunSet | Except1RecWithAt | CanNotBePlug |
| be9ae97ce1be757ac7073a994e6f8ede928df876 | FunSet | Except1RecWithAt | CanNotBePlug |
| 9834470ced7694805dd4624a15accd3341cd678e | RecordSet | Except1RecWithAt | CanNotBePlug |
| 5b5a42e071db91f0c652e99c461f0ea7a6f6e1b1 | RecordSet | Except1RecWithAt | CanNotBePlug |
| 98b4ce822d51e864e08dccd31319866578d1231a | SetDiff | Except1RecWithAt | CanNotBePlug |
| 433ad695cee8fb58720e648ea920184238f3cdc6 | SetDiff | Except1RecWithAt | CanNotBePlug |
| f351e2b9af4233ad72025a7383c04f1cb0391264 | SetUnion | Except1RecWithAt | CanNotBePlug |
| ef59b4c48e6f1e58a113ea3927faeeb7e37bb421 | SetUnion | Except1RecWithAt | CanNotBePlug |
| d1d35d21fafc7e70fb0bb0b852c7f3a9bc87a4dd | SetIntersect | Except1RecWithAt | CanNotBePlug |
| e2200634f6982924b4508a394e0dd17d74341ae0 | SetIntersect | Except1RecWithAt | CanNotBePlug |
| a51dbb80fc0f09dfb5d248abbb87934032bfd540 | SubsetEq | Except1RecWithAt | CanNotBePlug |
| 1861160ce18a66047267585bcb9a3a4553dd41c6 | SubsetEq | Except1RecWithAt | CanNotBePlug |
| 35a19b9e663a5752ed78035c7f498ca640742c24 | IfCond | Except1RecWithAt | CanNotBePlug |
| 1feaf407ca61912741f88a0f763a4a538c1b5fb1 | IfCond | Except1RecWithAt | CanNotBePlug |
| 8253d40af585b90b29b983c65dc9552273a7d986 | IfThen | Except1RecWithAt | CanNotBePlug |
| 61bcfbb88f6e95659e44b2196410a9ced17c0ce0 | IfThen | Except1RecWithAt | CanNotBePlug |
| e7c11899094cc5679967c92ecda3c5e050bb92dc | IfElse | Except1RecWithAt | CanNotBePlug |
| 8ceaf2009a198fcc3f31ae72751e1bc233e6f5d6 | IfElse | Except1RecWithAt | CanNotBePlug |
| 37af12ab7b74bd150fc652838053d59e86712a4a | Subset | Except1RecWithAt | CanNotBePlug |
| 562e30ff3f4dde905a4723ce62a126455436eb45 | Subset | Except1RecWithAt | CanNotBePlug |
| 8ccf129381cdec462715d2e2b82dbc92102ea22c | Domain | Except1RecWithAt | CanNotBePlug |
| c57c06762e9d59f428be600f599ac3f2da01c62a | Domain | Except1RecWithAt | CanNotBePlug |
| 5475131cf8a38367a9a99094be489fcd7bec579d | Union | Except1RecWithAt | CanNotBePlug |
| a5734cb21c4f3ebb135b8cd8ca6459743317f54a | Union | Except1RecWithAt | CanNotBePlug |
| aeb327e7ec05c63175451f344ef9dcd7dd0ac40f | Unchanged | Except1RecWithAt | CanNotBePlug |
| 0533258012feda5ea2af5dba8ae28baeceed192d | Unchanged | Except1RecWithAt | CanNotBePlug |
| 55c26fb6e7a888a05e76f7a62008be4c67b297bc | Equivalence | Except1RecWithAt | CanNotBePlug |
| b15e77334e29327eddad848eb4f813dc4d642916 | Equivalence | Except1RecWithAt | CanNotBePlug |
| 72c9eefc6e1a74304814ab78b71ec003f76d20c9 | StringEmpty | Except1RecWithAt | CanNotBePlug |
| 7921904b80e8ebea24b14c44f7bdece165eeb3e7 | StringEmpty | Except1RecWithAt | CanNotBePlug |
| 069f4ea0c40c6f67f7ec67c364d4281b674c6d2d | String | Except1RecWithAt | CanNotBePlug |
| b68f686e55b93655b977259d76a4f48592b15f11 | String | Except1RecWithAt | CanNotBePlug |
| 877010d6b714a1822eab04e979944ea8421fa6c5 | SeqLen | Except1RecWithAt | CanNotBePlug |
| 65710d9163ffbfc2958181669659fc8aba326490 | SeqLen | Except1RecWithAt | CanNotBePlug |
| dca51603b00f55805c35d2bf6823fad1f9d53d62 | SeqConcat | Except1RecWithAt | CanNotBePlug |
| c040c9e7b50814adb712f0ae687e6758bbbba440 | SeqConcat | Except1RecWithAt | CanNotBePlug |
| 0a5c7018240d806d2e091b6aaaade56b635019df | SeqSeq | Except1RecWithAt | CanNotBePlug |
| 6ad85778f4814e5b96dc8f52913b08288c2201b2 | SeqSeq | Except1RecWithAt | CanNotBePlug |
| 04226ef1daed8e771f0ccd975459ccc1b7106b83 | NatSet | Except1RecWithAt | CanNotBePlug |
| b49d3f5e931fb3888440494d4275fd495f4941cd | NatSet | Except1RecWithAt | CanNotBePlug |
| 55f2756151176359ccc9cb210c7c2de19da61fa8 | IntSet | Except1RecWithAt | CanNotBePlug |
| 83073d2cc6a5bd4484444627acc00da8d48997a7 | IntSet | Except1RecWithAt | CanNotBePlug |
| 0fb8c307e88b847f93ba59870f3c70b24fd15b3d | StringSet | Except1RecWithAt | CanNotBePlug |
| b383bc07cba556f37a1db69cbaafe4934048b585 | StringSet | Except1RecWithAt | CanNotBePlug |
| 7f33675fcfe6265ebf348eb62385af683f7e20f9 | SeqSelectSeq | Except1RecWithAt | CanNotBePlug |
| 75878c250f3f9cac6077b3d92cbff040b2351b67 | SeqSelectSeq | Except1RecWithAt | CanNotBePlug |
| 59a6d2bba1edb14ce41cd3f88ed1bac8678d4354 | SeqSubSeq | Except1RecWithAt | CanNotBePlug |
| db2817cad91a538c15b161948ea626258638e38c | SeqSubSeq | Except1RecWithAt | CanNotBePlug |
| 617ee1c6ffe3009557e871af0e89dbceaecb5dfa | NumRange | Except1RecWithAt | CanNotBePlug |
| aa6c72d2056ef800ad3ffb1a92af03d6369158bf | NumRange | Except1RecWithAt | CanNotBePlug |
| d57ed8aec56288e6908a0c598de0b904b07d34c5 | TlcSingletonFun | Except1RecWithAt | CanNotBePlug |
| abce2ba08561e72b73eea9048ff068296103798e | TlcSingletonFun | Except1RecWithAt | CanNotBePlug |
| 990c9a19593a54a97c221a1e04f6f3a750a09a76 | TlcExtendFun | Except1RecWithAt | CanNotBePlug |
| 2a87cac95ae3ce35991b83af13736d039e91364b | TlcExtendFun | Except1RecWithAt | CanNotBePlug |
| f6b90a3a4e907cf800854fc8786f116658413ed4 | TlcPermuteFun | Except1RecWithAt | CanNotBePlug |
| d8d600b225b57e243dce174e95e29b1fc0033254 | TlcPermuteFun | Except1RecWithAt | CanNotBePlug |
| 31bc83c2561a33424d85fab546837904852b8011 | TlcSortSeq | Except1RecWithAt | CanNotBePlug |
| 31735706019f65e69071ff8b8df41ca03194774e | TlcSortSeq | Except1RecWithAt | CanNotBePlug |
| 398dea751caec603ab6e92b82e4e775870e91333 | TlcEval | Except1RecWithAt | CanNotBePlug |
| 38b535507d0b962d11aa106a718261e58e0b4d2f | TlcEval | Except1RecWithAt | CanNotBePlug |
| df5e9ded842fdae89701d769179dd464004b6b5f | BagBagToSet | Except1RecWithAt | CanNotBePlug |
| 64f1f098daa90b77bd6e042f084f35358518787f | BagBagToSet | Except1RecWithAt | CanNotBePlug |
| 20c8e04d6f5e9fd6da236f006daa50f3033bd5f1 | BagSetToBag | Except1RecWithAt | CanNotBePlug |
| d37688d0cd915de9f54279bb92a3c7bf38430465 | BagSetToBag | Except1RecWithAt | CanNotBePlug |
| 61eda275812efc4561ad8c3255b0a12b37560bc4 | BagBagIn | Except1RecWithAt | CanNotBePlug |
| 9695646fce02f47dc7daea9e881e7473053d3796 | BagBagIn | Except1RecWithAt | CanNotBePlug |
| f983f4de3905db9f03d4a55d6dec5819677f274a | BagEmptyBag | Except1RecWithAt | CanNotBePlug |
| 5b501b54e09b8b60e2cd3dbaca6e604b764fe849 | BagEmptyBag | Except1RecWithAt | CanNotBePlug |
| aa44dc6ff8d3b81fd60dbc15cbd4343e5c14ade2 | BagAddBag | Except1RecWithAt | CanNotBePlug |
| c2c8271ab9f6f14485509e40879de63713473074 | BagAddBag | Except1RecWithAt | CanNotBePlug |
| bad5c1a170a800b2fcc9fe81fafa2c4aa6582ac0 | BagBagSub | Except1RecWithAt | CanNotBePlug |
| 1825f031ca412dd9a2d92bbd69b535a8918b9722 | BagBagSub | Except1RecWithAt | CanNotBePlug |
| 5c8f9fdd46c832e4920aab4e106809468dd4a35c | BagCopiesIn | Except1RecWithAt | CanNotBePlug |
| fe19f534940ead32be4baf2011c85969c109f942 | BagCopiesIn | Except1RecWithAt | CanNotBePlug |
| 3f891212634083847acbf1f84d184852532de0c5 | BagSubsetEqBag | Except1RecWithAt | CanNotBePlug |
| c95b5ec89248fa664898fa36de5999b3fec5bd64 | BagSubsetEqBag | Except1RecWithAt | CanNotBePlug |
| 057e0b29ab58a586cd7dcdd272d88cc2bbdb9576 | BagBagUnion | Except1RecWithAt | CanNotBePlug |
| 9aeece1b02815fc30afcd89a0c32d13c847203ee | BagBagUnion | Except1RecWithAt | CanNotBePlug |
| bf9d01a0399a2fc8648106a875636cdf9aea083a | BagBagCardinality | Except1RecWithAt | CanNotBePlug |
| d0050bdfcb78183f9218cac5d6981facf72a2ffb | BagBagCardinality | Except1RecWithAt | CanNotBePlug |
| 7cc400699d0ea4eb1ec4e4fc4205c31486bc47a3 | BagBagOfAll | Except1RecWithAt | CanNotBePlug |
| 4b67f3d50edb07d2d8d553e4d785c7a530f2737b | BagBagOfAll | Except1RecWithAt | CanNotBePlug |
| a1ae77f9a51f3a75134e5acc3875263a848c2191 | BagSubBag | Except1RecWithAt | CanNotBePlug |
| 6ff316d44e0716bfc77af9a64541d6a60cb6fe8b | BagSubBag | Except1RecWithAt | CanNotBePlug |
| 992d05990594567b92f5a6f22e4e15293983c225 | FiniteSetsIsFiniteSet | Except1RecWithAt | CanNotBePlug |
| ecef7cf1b14bd784914975d91d88da7ed1d5cd9c | FiniteSetsIsFiniteSet | Except1RecWithAt | CanNotBePlug |
| a21a17f2d850c02c291ce5522edaba274c1307d1 | FiniteSetsCardinality | Except1RecWithAt | CanNotBePlug |
| 14aed54f7eee0f7f5cffdb5239d996d41dae1c9b | FiniteSetsCardinality | Except1RecWithAt | CanNotBePlug |
| a13602e585920a1b2960fedf5b3d1d54e8e3a6c3 | SeqHead | Except1RecWithAt | CanNotBePlug |
| 47fe4068f948da844ed1a657197f64c88e98679a | SeqHead | Except1RecWithAt | CanNotBePlug |
| 321ca7e81e6d4396ff0435ce70c75f917ec1917f | SeqTail | Except1RecWithAt | CanNotBePlug |
| eb31cc6b80fc9adfef710b9980d03b02a7233aa0 | SeqTail | Except1RecWithAt | CanNotBePlug |
| 900b8294a20d9b024ea11c2cd50e30e9f450ff84 | SeqAppend | Except1RecWithAt | CanNotBePlug |
| 81e142318bc110498d950ca4eb8067af20f15fb6 | SeqAppend | Except1RecWithAt | CanNotBePlug |