| Id | Case Feature | Plug Feature | Skip Reason |
|---|---|---|---|
| 3fe8e319daf391f1113da52a291cb1151c63a8b4 | OneLineComment | Except2FunTuple | CanNotBePlug |
| 7e37780885b7d643f2c5f959d0044344b29ae476 | OneLineComment | Except2FunTuple | CanNotBePlug |
| 80f7b822e18b8a3ff2fb105b5ed49eec37d5da6b | MultiLineComment | Except2FunTuple | CanNotBePlug |
| 91ea02c7863292034e03d493c4514fd2a62b1c2d | MultiLineComment | Except2FunTuple | CanNotBePlug |
| f098425657dc4805b0b5190cc3f9a9ab23a4d5f6 | BoolTrue | Except2FunTuple | CanNotBePlug |
| d1d259f28dfb700a67fef6096dd71787885d1208 | BoolTrue | Except2FunTuple | CanNotBePlug |
| e46b2e55a47d2c6b61936cd2c3c95cefbe91b99c | BoolFalse | Except2FunTuple | CanNotBePlug |
| 32ebe4d26b736c0219135cd27487fcc6b73b4064 | BoolFalse | Except2FunTuple | CanNotBePlug |
| b0609ec99ed25e67661405317a8238ec6c3a99e4 | BoolSet | Except2FunTuple | CanNotBePlug |
| 1b5c58976d2f747b624fea043a69f038047b205d | BoolSet | Except2FunTuple | CanNotBePlug |
| cb6b0b91254728ae89b4352bd0bba9cbbf2ac2e7 | And | Except2FunTuple | CanNotBePlug |
| 1456acfb3fc949e1c370346cc4f97d9b602c6962 | And | Except2FunTuple | CanNotBePlug |
| 15cd3a3340f7a5b0e90d7416f5fe9d9de4f91852 | AndMultiLine | Except2FunTuple | CanNotBePlug |
| 7d62e95b97ccfaa74a534772c4839d08ce7da09a | AndMultiLine | Except2FunTuple | CanNotBePlug |
| d0cde9794855327ce4d46875ba94b9bd59e799ca | Imply | Except2FunTuple | CanNotBePlug |
| 76e6c72b1263bf20950121f7d2404c5fc89d1e29 | Imply | Except2FunTuple | CanNotBePlug |
| c150d4e64541ec730277318287bf929540dd1ef6 | Not | Except2FunTuple | CanNotBePlug |
| 9e552a8eed553627e545a2c203ac0134eb0a59cf | Not | Except2FunTuple | CanNotBePlug |
| cdb234a9617a0560f855cf711461cc1ae6a8a852 | Or | Except2FunTuple | CanNotBePlug |
| f600aec7fcdbd7b3862003ae3db264c4632b552c | Or | Except2FunTuple | CanNotBePlug |
| 6cfe67fe2dd2bb87ad7646661b31f0203e531178 | OrMultiLine | Except2FunTuple | CanNotBePlug |
| f417bc8df5909ff015ae61df3db6c87cf46451e7 | OrMultiLine | Except2FunTuple | CanNotBePlug |
| e8d1d103a125e52a685f9b8cfd67c3a749afdb7e | AndProp | Except2FunTuple | CanNotBePlug |
| ae48112307bbf7ec6fb4f8670f14c1d16f4a7305 | AndProp | Except2FunTuple | CanNotBePlug |
| eee73157f901a02f2c94aa0732ea786f4064f85c | Boxed | Except2FunTuple | CanNotBePlug |
| 4563c4279969678ef37e490d5c0c16d4e4469a2c | Boxed | Except2FunTuple | CanNotBePlug |
| ea951e28b65068272f539b91dc8dabf40b85fac1 | Eq | Except2FunTuple | CanNotBePlug |
| d8bcaef2fc5081082cd42364096ebf66c61ccaa2 | Eq | Except2FunTuple | CanNotBePlug |
| 5c6ab67222109bb48eb95071a3ab3ca2c0f37b39 | Ne | Except2FunTuple | CanNotBePlug |
| 57f29385877f70a1313e6673d20185a24d74105f | Ne | Except2FunTuple | CanNotBePlug |
| 9087c9dfeb0762a2586ec443888b9a6792780b9a | Let | Except2FunTuple | CanNotBePlug |
| 299661416a1a26575787716245571332b1d01af5 | Let | Except2FunTuple | CanNotBePlug |
| 30692cb5f7de2c314f91e3c39087be3a3ce30477 | SetEmpty | Except2FunTuple | CanNotBePlug |
| 899dc67f499ffadeb610e87b70029eb8e4ca7505 | SetEmpty | Except2FunTuple | CanNotBePlug |
| e2f6b5339fde9d5deaf5a53f50179f2542b50961 | Set0 | Except2FunTuple | CanNotBePlug |
| 9497f7c2f1dba7fca82a9ca91af24e76da6f5212 | Set0 | Except2FunTuple | CanNotBePlug |
| 95332719818e47d36f35c4cf12c4973d2d380c36 | Set1 | Except2FunTuple | CanNotBePlug |
| 34ebaea2c3d66472b03e64efc0071956dd454d6e | Set1 | Except2FunTuple | CanNotBePlug |
| fdf13b4ff3e3433fea1ae49ecae143d89d33cf7a | Set2 | Except2FunTuple | CanNotBePlug |
| 7c4bddfcbd5366a986d5f5f8264e71d8362a2342 | Set2 | Except2FunTuple | CanNotBePlug |
| 883ea37d0b31557ac437598c8b80501c1cea3040 | Set1InDef | Except2FunTuple | CanNotBePlug |
| 54fae04c34264dd35ed582346835dbb6f3f72f3b | Set1InDef | Except2FunTuple | CanNotBePlug |
| 491b36bae6debdc0c040520d5a140e6911b28517 | Set2InDef | Except2FunTuple | CanNotBePlug |
| 1edb45b2c21161eca6a0ebce05a27f331f6e3c87 | Set2InDef | Except2FunTuple | CanNotBePlug |
| 0bb8aa3abf46761e62f1bf13dce462f8cc35bfc9 | InDef0 | Except2FunTuple | CanNotBePlug |
| cfc666bfe06c08a22418029ab9daf8b0f6adf226 | InDef0 | Except2FunTuple | CanNotBePlug |
| a5ce652655083596b609c14b3bce6ca743d18c07 | InDef1 | Except2FunTuple | CanNotBePlug |
| a12c949a2fb8d12191b6285cb51380c3f0fa82b3 | InDef1 | Except2FunTuple | CanNotBePlug |
| 9e831355fb2979f103c2f8cfcde8fe0f633489ce | InDef2 | Except2FunTuple | CanNotBePlug |
| 72caba6d9e19689c91efc206f842f5f33e4f3989 | InDef2 | Except2FunTuple | CanNotBePlug |
| d27b5ad4d460d5a6d3cb434d1a7b9b5123ce2932 | Fun | Except2FunTuple | CanNotBePlug |
| faffe3ac175a431d6244538549224522dbd32f81 | Fun | Except2FunTuple | CanNotBePlug |
| 5537f7f6d286efbdab82aaa00b5f72e105563542 | FunInDef | Except2FunTuple | CanNotBePlug |
| 1f6fd1ef26d2e2d6b38ec0bc48c972a72b822acc | FunInDef | Except2FunTuple | CanNotBePlug |
| 73c43f3d7b9a18e4094aad0b72bc34ceaee84f96 | In | Except2FunTuple | CanNotBePlug |
| faaddafdff7bd87f738263b85cb621c3f05340b0 | In | Except2FunTuple | CanNotBePlug |
| 0620e3f2041079ecac738adb045b3f78293f8ab4 | NotIn | Except2FunTuple | CanNotBePlug |
| 4215d5a029a1f75cad28c284ebe2047c48f3dbe9 | NotIn | Except2FunTuple | CanNotBePlug |
| d6060fc607f8167121d4e39fd256d90b79c7aab7 | Exists | Except2FunTuple | CanNotBePlug |
| fe68bac953dfac833ddc3860872ffa8b524c6ae9 | Exists | Except2FunTuple | CanNotBePlug |
| 31fb6b60124c0464facff71295b9bbd058dd7daf | Forall | Except2FunTuple | CanNotBePlug |
| 36272d4f0046d6cfa6abccb2cc2d78bfb4d0fdd0 | Forall | Except2FunTuple | CanNotBePlug |
| 83970ff85717e35621641b356fa1756d2726484c | ExistsInDef | Except2FunTuple | CanNotBePlug |
| 064d2ad6dd71ace95e76146a660b28cb70187caa | ExistsInDef | Except2FunTuple | CanNotBePlug |
| 04b3bd6486c56d771d31bee7548ef0f9c4077b5f | ForallInDef | Except2FunTuple | CanNotBePlug |
| b80bb15c37c493a34f47736763a080bb0ea9f224 | ForallInDef | Except2FunTuple | CanNotBePlug |
| 2800b6f61b7dde7c50e154c89b4fd96ccd80dd8a | Choose | Except2FunTuple | CanNotBePlug |
| eb5e2276643144a37f3f909e119a58b040778517 | Choose | Except2FunTuple | CanNotBePlug |
| fc677249f81dff4c3a0691e8cbac302e8a17c963 | ChooseInDef | Except2FunTuple | CanNotBePlug |
| 8e8c8d27f5201e8734e0f59a930b010c2965f8d8 | ChooseInDef | Except2FunTuple | CanNotBePlug |
| ef939bda29125e5e172ed980e69360d7d9bbef37 | Record | Except2FunTuple | CanNotBePlug |
| cbeaf2a05a2132ddc11d6b3709b613b40a4da0e8 | Record | Except2FunTuple | CanNotBePlug |
| 5572cb47dad0c9a0bb56d17d93349ee2c611e104 | Tuple | Except2FunTuple | CanNotBePlug |
| f465804f0206dad38af922996c7ae2954bd70ce6 | Tuple | Except2FunTuple | CanNotBePlug |
| d4aab565bff6e25aee48c3952a992073bff61628 | TupleEmpty | Except2FunTuple | CanNotBePlug |
| 5baa23005361e3fe75371e9b04cfe17193d3c07b | TupleEmpty | Except2FunTuple | CanNotBePlug |
| 4dad4e084154e4cc52509519a873933871cc2c1a | FunApp | Except2FunTuple | CanNotBePlug |
| 0ae46f2d8e4060c0382a95b41f7409210106f90a | FunApp | Except2FunTuple | CanNotBePlug |
| e5f9231ae72023d3391a4283eca83c771c142ed4 | Except0 | Except2FunTuple | CanNotBePlug |
| ff9c666a444e79dcbd0b70420143af5c54754b8c | Except0 | Except2FunTuple | CanNotBePlug |
| 36bfcf97b3a8cbeeb0034416cd3be8f1cf4ca5fd | Except1Fun | Except2FunTuple | CanNotBePlug |
| b6dcf74b93a035a0ea9a30295fe6b079a46fcf0d | Except1Fun | Except2FunTuple | CanNotBePlug |
| 36cd6895dcfc8ef36ce3cf16267ac5f6988d2ff9 | Except1FunWithAt | Except2FunTuple | CanNotBePlug |
| 847de38cadd865fb24726f9ea76bad2ebf20d01c | Except1FunWithAt | Except2FunTuple | CanNotBePlug |
| 7fac84ac14c31371727143c66d34459701190d06 | Except1Rec | Except2FunTuple | CanNotBePlug |
| d1dbd7f573e94dfa9d5fdc9cc8e28bb148437017 | Except1Rec | Except2FunTuple | CanNotBePlug |
| 53be0953e5f3a1f3dc6374d74dbd3a21ebb13303 | Except1RecWithAt | Except2FunTuple | CanNotBePlug |
| 542cc6a945a631f862d0f8627bb63720020e2e3f | Except1RecWithAt | Except2FunTuple | CanNotBePlug |
| 7878ec2620f6a786f03ecb2879f99300ade17463 | Except2Fun | Except2FunTuple | CanNotBePlug |
| d3df59c05d5d183df15bdea553cb0dfaf8afc184 | Except2Fun | Except2FunTuple | CanNotBePlug |
| b503f0f77ef530d863ff3f181444559acb808974 | Except2FunTuple | Except2FunTuple | CanNotBePlug |
| 8e08aca04313b7cab9040b1dbab9ec1055f1c90e | Except2FunTuple | Except2FunTuple | CanNotBePlug |
| 04779d9a19bf7da81e06d5d6e440b60c59f99e3e | Prime | Except2FunTuple | CanNotBePlug |
| 2db30bf35144283e0efae89b1c157246968890e6 | Prime | Except2FunTuple | CanNotBePlug |
| 08d485174a74df337a03369af1a1c2443c5581c4 | NumZero | Except2FunTuple | CanNotBePlug |
| b3b6638339e971940633e29207dc877c9e87b508 | NumZero | Except2FunTuple | CanNotBePlug |
| 05931127f90aa2b0faef6e70bb98055cfd67656c | NumOne | Except2FunTuple | CanNotBePlug |
| 67721f21b1815756e38942c6240a2764403fe5a9 | NumOne | Except2FunTuple | CanNotBePlug |
| 860e3de4345561c7247e8d191c19f7c015f0666d | NumMaxInt | Except2FunTuple | CanNotBePlug |
| 4e13a58c7047594100646eecc0ad3cf69b3c67f2 | NumMaxInt | Except2FunTuple | CanNotBePlug |
| bb3d1b523d136e21e954dcd3c0bffefb8711c249 | NumUnaryMinus | Except2FunTuple | CanNotBePlug |
| 5a49dd8a77384eef555ec42185d7f8cf9a70102d | NumUnaryMinus | Except2FunTuple | CanNotBePlug |
| f5641f6dffa4020c25bed322936549fcd70bbd34 | NumPlus | Except2FunTuple | CanNotBePlug |
| d38d38b3868e97d9e8bebe2b4799b0a147f30464 | NumPlus | Except2FunTuple | CanNotBePlug |
| b553e6dc61373c7668529ed583ec5d81ace75f9f | NumMinus | Except2FunTuple | CanNotBePlug |
| ea21eea7f5227c91f774cdf9b67f8f2cf4e92e19 | NumMinus | Except2FunTuple | CanNotBePlug |
| aa89aeb0cb4af079106b2071e9999333fce61eae | NumMul | Except2FunTuple | CanNotBePlug |
| 35cc030592a9f81b5cc84d3acc2385e17f2ce15f | NumMul | Except2FunTuple | CanNotBePlug |
| 26ab30e45d8ec5257ec9d182a80b7195992cb46b | NumDiv | Except2FunTuple | CanNotBePlug |
| ca1e7fb30b94c75d6ef72582c5be708499810835 | NumDiv | Except2FunTuple | CanNotBePlug |
| cc9f60a4770d498930571db613bdcba4912e57a0 | NumMod | Except2FunTuple | CanNotBePlug |
| 893f61511ca260ef6d9488be29e64425db80d537 | NumMod | Except2FunTuple | CanNotBePlug |
| 0214a5bbfba4a7cdfbf524da79966fae8307ee1c | NumPow | Except2FunTuple | CanNotBePlug |
| c0bd5da0d86a58d31d3450788df227e1155ea4f4 | NumPow | Except2FunTuple | CanNotBePlug |
| bf83691823fc601a5b9a0148ad6e8bebd4eadf24 | NumGt | Except2FunTuple | CanNotBePlug |
| 0a4a2ab1b0863ed8a997d15378161fcad3478c58 | NumGt | Except2FunTuple | CanNotBePlug |
| d7d33dfdbba418b48b4ebd4bd4a35da2dca3aea1 | NumGe | Except2FunTuple | CanNotBePlug |
| 6a91e34342110f2754addffe4c6612328162d44f | NumGe | Except2FunTuple | CanNotBePlug |
| 4e004ef2aa6a6f01ffdf00c5c3d2fe50dc1eb3f8 | NumLt | Except2FunTuple | CanNotBePlug |
| 7eba5437e26814bdd3b039483ef482d4d5b247eb | NumLt | Except2FunTuple | CanNotBePlug |
| f20c642edad55ebac1488e0910b046dec0a4edc5 | NumLe | Except2FunTuple | CanNotBePlug |
| 2ca012901ee602f9d4782b56e2852ece3b9cbd97 | NumLe | Except2FunTuple | CanNotBePlug |
| 67c9331241e7b38442fecdac1ca2fe0876db4a61 | DefFun | Except2FunTuple | CanNotBePlug |
| 7a96122d22d9e13230bbed363189a71d6e84bc74 | DefFun | Except2FunTuple | CanNotBePlug |
| 86ea8b5f25fbe72da519d7406e43a0860c247895 | LetDefFun | Except2FunTuple | CanNotBePlug |
| 01a2817e4fea2b449fb00f2f319242573a2806ee | LetDefFun | Except2FunTuple | CanNotBePlug |
| a2e08861c9db735122b5f3d932a826f6bd069dbe | DefFunRecursive | Except2FunTuple | CanNotBePlug |
| bfd1ee099c87e7d755e6e0267cc776b125589545 | DefFunRecursive | Except2FunTuple | CanNotBePlug |
| c5cc0b6fa0bef02ea2633c0bbb67bfa9473cb851 | LetDefFunRecursive | Except2FunTuple | CanNotBePlug |
| ba6e2d6bf03b54879d86ac5fc9f29db7173d0d46 | LetDefFunRecursive | Except2FunTuple | CanNotBePlug |
| c53ebe1b92c6488130098140ac7e1f43eed912c1 | DefFunInDef | Except2FunTuple | CanNotBePlug |
| 76cb7654dc3515930b5fbb1e43b763b4c24b0f20 | DefFunInDef | Except2FunTuple | CanNotBePlug |
| a9c13bc55d323996eaab430f1e5452df7cceba12 | LetDefFunInDef | Except2FunTuple | CanNotBePlug |
| 60b513fea88186a0613a22c7420dc1cfb431d748 | LetDefFunInDef | Except2FunTuple | CanNotBePlug |
| bc5c4a8ed7bfa353270420fb15724651a506e5d6 | Def0 | Except2FunTuple | CanNotBePlug |
| a46fe7a13e25d1cbe095b0603b28e72719ea49de | Def0 | Except2FunTuple | CanNotBePlug |
| 833936a9ab8456bdce78a91f6847f1ec2856e332 | LetDef0 | Except2FunTuple | CanNotBePlug |
| 82f86f6bdd688f3bb1995fcdb5db0ee9265accab | LetDef0 | Except2FunTuple | CanNotBePlug |
| 3ea85df82514253471c5d3b5e233191ac89880df | Def1 | Except2FunTuple | CanNotBePlug |
| 07f32c9ff955a38e83f5b2c120dce9268a51dab8 | Def1 | Except2FunTuple | CanNotBePlug |
| eb4c56b751897eb593816c89d5cb6e6ec97eb269 | LetDef1 | Except2FunTuple | CanNotBePlug |
| cf331044a4bab1ad7eb8101bb641e7add2a41589 | LetDef1 | Except2FunTuple | CanNotBePlug |
| 530029ebc6878fd02aefadbc85032736843cc278 | Def2 | Except2FunTuple | CanNotBePlug |
| a35877f0f1f5be7cb9a551cdfbbe3c5dcf71d1b7 | Def2 | Except2FunTuple | CanNotBePlug |
| cc44a87e41e278eb7a52be29ec89b15cb784d797 | LetDef2 | Except2FunTuple | CanNotBePlug |
| 7cc265e8fa31b28daa11eac5c1cceb863a4a4dba | LetDef2 | Except2FunTuple | CanNotBePlug |
| ec150bf5cdd39feb443cd68c3d28fbf15a4f04fa | Def1Recursive | Except2FunTuple | CanNotBePlug |
| 577a58eeef72217806c14c9d30b0d8f34c58f0af | Def1Recursive | Except2FunTuple | CanNotBePlug |
| cdeb1a484e13b7c2e64f424396eb83d439f53ea7 | LetDef1Recursive | Except2FunTuple | CanNotBePlug |
| bddbf3eefe34d81cc8c7f534078127713cabb340 | LetDef1Recursive | Except2FunTuple | CanNotBePlug |
| 1be89057dd3d4bc32886605678a64a495c4ffb09 | Extends | Except2FunTuple | CanNotBePlug |
| c27975734cd0432f5b180e0a843d96f5593bac6f | Extends | Except2FunTuple | CanNotBePlug |
| 191575afe9c69d3d86633edb5537d5167fae37f5 | ExtendsInDifferentFolder | Except2FunTuple | CanNotBePlug |
| e5b9d7303ee8ce35f834ef981007cea1497a3961 | ExtendsInDifferentFolder | Except2FunTuple | CanNotBePlug |
| 5786209cfdc9bc612255c2bae0b50ad760fd64ca | Variable | Except2FunTuple | CanNotBePlug |
| 2ab24327433aae9f705072ff65459f45a759eb58 | Variable | Except2FunTuple | CanNotBePlug |
| 02e7e6fd68863a5a28342f2d8f44ef556c5bffcb | VariableViewExclude | Except2FunTuple | CanNotBePlug |
| b1e4c2c7cd180f1417d8f2fb1276bbf9e4cf3054 | VariableViewExclude | Except2FunTuple | CanNotBePlug |
| 5a965be90ff887c777de37552e2e79aeaf17f2e4 | Constant | Except2FunTuple | CanNotBePlug |
| 4c33c9306393b10c6d45bd4a82badc71dec7049f | Constant | Except2FunTuple | CanNotBePlug |
| fcebe489590c0a61c03c7180fef09fb73c955c3f | ConstantModelValue | Except2FunTuple | CanNotBePlug |
| 9532b2a1e5a2842fe1e59cf1268027c29b0bac1b | ConstantModelValue | Except2FunTuple | CanNotBePlug |
| 58ee90d1d6af144e11f3385586252acff6428ba5 | ConstantRank1 | Except2FunTuple | CanNotBePlug |
| d138551789ae55e0e19df71729822e2904109b48 | ConstantRank1 | Except2FunTuple | CanNotBePlug |
| 83af8d7254c33a7bb222c87fdda82bd27be83e6b | Instance | Except2FunTuple | CanNotBePlug |
| b0e6fe5847cca101bcf94e7a4155198c121aae74 | Instance | Except2FunTuple | CanNotBePlug |
| 203c659a647cfd327f84963a2109a0452b0c2a6b | InstanceWith | Except2FunTuple | CanNotBePlug |
| 8a427862f3d278e28f4cc48554bc7cd03e1bd490 | InstanceWith | Except2FunTuple | CanNotBePlug |
| 1ce0c6cae983ee5178f720a1483ebd213da27ffc | InstanceNamed | Except2FunTuple | CanNotBePlug |
| da394a0e9e735c9670247929d7e957b1fc0194c1 | InstanceNamed | Except2FunTuple | CanNotBePlug |
| 32f9067e7b92fd8bc37cd50b3ec8c1495c708b7a | InstanceNamedWith | Except2FunTuple | CanNotBePlug |
| 0b8c8b413a059d4d0d684292baded272b93ef25e | InstanceNamedWith | Except2FunTuple | CanNotBePlug |
| 0897b1483a3b80c90e88a9e2bb6b08ac9aa60aa3 | InstanceInFolder | Except2FunTuple | CanNotBePlug |
| de190add5e367a934cc4758029545c70b7261aa3 | InstanceInFolder | Except2FunTuple | CanNotBePlug |
| 849879c81feb66a0b76da403169243d52de389b8 | InstanceWithInFolder | Except2FunTuple | CanNotBePlug |
| ad819413d99564ae76bd3019db33af68490c2132 | InstanceWithInFolder | Except2FunTuple | CanNotBePlug |
| 51abe1a091fc50519eaa0b30b3f1c97e926db72e | InstanceNamedInFolder | Except2FunTuple | CanNotBePlug |
| c3316e90c5bac5bce85c9eb7cd0a5daec969687a | InstanceNamedInFolder | Except2FunTuple | CanNotBePlug |
| 6a3cc42c7af2a5849ddc3a9ad82f34c464517d44 | InstanceNamedWithInFolder | Except2FunTuple | CanNotBePlug |
| 2bf94b45ca795b454691802219de080ebd521f2d | InstanceNamedWithInFolder | Except2FunTuple | CanNotBePlug |
| fd7395bc9f4ee9a4c415dc9da00511acfb3998f5 | Enabled | Except2FunTuple | CanNotBePlug |
| a5580f0eb932fa7538d7be9dbd9ce9e0f225f72c | Enabled | Except2FunTuple | CanNotBePlug |
| 17279e8d35266f898e347acad69e4d88c25df910 | Assume | Except2FunTuple | CanNotBePlug |
| a408a0ae30588f4a181fe2d351aa7a489c14560d | Assume | Except2FunTuple | CanNotBePlug |
| 125936fa9702e2ecc0e5c56cc327745f7b5b7025 | AssumeNamed | Except2FunTuple | CanNotBePlug |
| c4319a899a59b983fd75e068755affcd8eec1911 | AssumeNamed | Except2FunTuple | CanNotBePlug |
| a75ff70ba6157bd0c05c15f1a5259870e3ea2e00 | Lambda | Except2FunTuple | CanNotBePlug |
| 90cbdfa3a582f45735c006f3dcc95985941f9e05 | Lambda | Except2FunTuple | CanNotBePlug |
| 46755d6101819ffaeb362c00df05fcb1634889e4 | Cross2 | Except2FunTuple | CanNotBePlug |
| 9713b66b3476b3c89e3bda1a9d879afc01747503 | Cross2 | Except2FunTuple | CanNotBePlug |
| 43789310f0a1c39724d57596d5859ca86d87f994 | Cross3 | Except2FunTuple | CanNotBePlug |
| abb37f484796bb4b69331ed6cccd1df2948a2105 | Cross3 | Except2FunTuple | CanNotBePlug |
| 1c34129f83c2bcfd8b4c02636e132efd2f9b4520 | FunSet | Except2FunTuple | CanNotBePlug |
| 5698b4eeef60e7a6ac58223263d5b01221976be2 | FunSet | Except2FunTuple | CanNotBePlug |
| 047aee1e0ec5c7d65f49489f780669c4cbe1ea01 | RecordSet | Except2FunTuple | CanNotBePlug |
| 063758531f106e4c081eff7fd6d7c2c6e7e27cea | RecordSet | Except2FunTuple | CanNotBePlug |
| 6fd5ad9d38640c09b45f20304e9f1dcb6eb9602f | SetDiff | Except2FunTuple | CanNotBePlug |
| a90aaa4629e2959ca4d18827a7716af6887dfb0c | SetDiff | Except2FunTuple | CanNotBePlug |
| 3ece44ce45b92634b652f9b3e7819b93c4dd0197 | SetUnion | Except2FunTuple | CanNotBePlug |
| b4b26149e5c7e9698e90d21de8b210ac648d5854 | SetUnion | Except2FunTuple | CanNotBePlug |
| 6c56ec6db352b138ce8909fcf54b73135a820532 | SetIntersect | Except2FunTuple | CanNotBePlug |
| 84f73c7dbbac63ce3476fa3ccc54c2c457bf0f8e | SetIntersect | Except2FunTuple | CanNotBePlug |
| 8af50f9764ea84d8c338ee81399175e6a21100b3 | SubsetEq | Except2FunTuple | CanNotBePlug |
| 9e5b8446960071ba835c5def0b0895326e888a7a | SubsetEq | Except2FunTuple | CanNotBePlug |
| 7a6c543502a2c1c0996fc573dc77e2b1ed47dd89 | IfCond | Except2FunTuple | CanNotBePlug |
| 3fed53d01b9894e0b66417b608fe1517b9b6f964 | IfCond | Except2FunTuple | CanNotBePlug |
| 61c1432ec859beb1646f2d157c7d67d3a419e72d | IfThen | Except2FunTuple | CanNotBePlug |
| 71f6bfe06944c3bf979735ec3ac93e49a5ac71a3 | IfThen | Except2FunTuple | CanNotBePlug |
| 6e3e831a75f1cc92d981f7fb43dbc3a01ea5ab7f | IfElse | Except2FunTuple | CanNotBePlug |
| 0bba6787220914aadb900486c12a5abb78bcb93e | IfElse | Except2FunTuple | CanNotBePlug |
| be67752061e4113a12b87f6969da74fa6c8d849b | Subset | Except2FunTuple | CanNotBePlug |
| 2dcad4e31eb05ef1a441767a7abd16df9282775e | Subset | Except2FunTuple | CanNotBePlug |
| a7ee799693bc7b2c6e06cd2d8725d2a1968d0075 | Domain | Except2FunTuple | CanNotBePlug |
| a2e408b08bcc78c7215c8db72bad817cde027a36 | Domain | Except2FunTuple | CanNotBePlug |
| 3d5af166ecdf5961c051ecde944051f4ad103017 | Union | Except2FunTuple | CanNotBePlug |
| 6da236b2b1b1b8bd7a6326a4b0379fd4e28b802a | Union | Except2FunTuple | CanNotBePlug |
| a86fd560d36e0ffdf24002eec65e0e0ecc736aed | Unchanged | Except2FunTuple | CanNotBePlug |
| 3e9f98beb9aa10bc853977f87e8c488a9e00a801 | Unchanged | Except2FunTuple | CanNotBePlug |
| b77389fdfa23083b05392ece12fe78cdf73dc632 | Equivalence | Except2FunTuple | CanNotBePlug |
| b29acc747277842aff354bb1d37eb9b9d1f6ec2e | Equivalence | Except2FunTuple | CanNotBePlug |
| 6e8d632323aff601a5d40bf572af4a1b8fb325be | StringEmpty | Except2FunTuple | CanNotBePlug |
| 7d563e19a5fae1a7598628f7010c2dab7de11d64 | StringEmpty | Except2FunTuple | CanNotBePlug |
| 57a7903509294ad73d395b066c16ba94b35f19da | String | Except2FunTuple | CanNotBePlug |
| 8d4230345f91d27966f0624922618fe24452b94e | String | Except2FunTuple | CanNotBePlug |
| 3ac73f99402924de4df0ce4d4dfc3f71c0eb5930 | SeqLen | Except2FunTuple | CanNotBePlug |
| e3eaf546252ad51318fc207f2ae44f4edea148b8 | SeqLen | Except2FunTuple | CanNotBePlug |
| 052415ca35897d18cc9bcd15bea381a526a42984 | SeqConcat | Except2FunTuple | CanNotBePlug |
| 17de4f9f0cacf0a3cf16038631826c21141d9715 | SeqConcat | Except2FunTuple | CanNotBePlug |
| 59883b062fc19669f69f52a74e09ee2eddec4d2f | SeqSeq | Except2FunTuple | CanNotBePlug |
| 6d27c7b44922249c9af5f1ca63a0b4685126c225 | SeqSeq | Except2FunTuple | CanNotBePlug |
| 2a7b51e394a75bc8ab27f5644a92eb52bad07cc5 | NatSet | Except2FunTuple | CanNotBePlug |
| 69367b9c7ff680a2bb326e7dddb443d0b87fdbb7 | NatSet | Except2FunTuple | CanNotBePlug |
| 4a3fea100ed215bd82d50bb462cebe0909b9aab5 | IntSet | Except2FunTuple | CanNotBePlug |
| 71dccba745fec611113e9401ab96a1513a626c57 | IntSet | Except2FunTuple | CanNotBePlug |
| 7f1e54a2105db7b41bbd468091c231960363ab27 | StringSet | Except2FunTuple | CanNotBePlug |
| 7b31b2b271380a0ccc917b2dbb70c6999246dc94 | StringSet | Except2FunTuple | CanNotBePlug |
| f11bd73585c597223acbe26cf250f897ad2ebfa6 | SeqSelectSeq | Except2FunTuple | CanNotBePlug |
| 0988a785c1b1a5c56aa12499c83547c3d9a16f1b | SeqSelectSeq | Except2FunTuple | CanNotBePlug |
| a74d4e9eedcd0efe50ad78c14d2d0111f5fe08bf | SeqSubSeq | Except2FunTuple | CanNotBePlug |
| 2e4568fe3eb2ec872a74f707c970cd71d6311b3c | SeqSubSeq | Except2FunTuple | CanNotBePlug |
| 98a33b768068f0ad2dbac034ac09f47efd35587f | NumRange | Except2FunTuple | CanNotBePlug |
| d127679c2b4e5a79f33b4c0e57cadf758f7ca8b9 | NumRange | Except2FunTuple | CanNotBePlug |
| 1f7e9bc6e0ef5dbdf1e8ddd01afbfcdca6e8abed | TlcSingletonFun | Except2FunTuple | CanNotBePlug |
| 22d63413fac8eb410013aaae1fbeceacac2ac8b1 | TlcSingletonFun | Except2FunTuple | CanNotBePlug |
| 0996083b3b5face3d6fed0516ed4bb606a209a9e | TlcExtendFun | Except2FunTuple | CanNotBePlug |
| aa736ed4c672450c0266d9dd7e5f69e7700f3a0d | TlcExtendFun | Except2FunTuple | CanNotBePlug |
| 0f3ea0aff3e0b8369eefc1f1dd2499a2e076b6fd | TlcPermuteFun | Except2FunTuple | CanNotBePlug |
| db86e6056b895c76ac943c811975e0683b7c3259 | TlcPermuteFun | Except2FunTuple | CanNotBePlug |
| f04d4e5cc3f78dcae58e70bf112349a54172fa07 | TlcSortSeq | Except2FunTuple | CanNotBePlug |
| 19b293818dbbdc4755ee4d9897acc8308a39baf4 | TlcSortSeq | Except2FunTuple | CanNotBePlug |
| 3f70cd24f621b8a26daa3880523cfc53af2e000f | TlcEval | Except2FunTuple | CanNotBePlug |
| 992f83c7086da9b6aaca792da57f122f4f813ffd | TlcEval | Except2FunTuple | CanNotBePlug |
| 87d4dcf003aafa19e2157b66d5e5c11ac3a1a871 | BagBagToSet | Except2FunTuple | CanNotBePlug |
| d36c83036b1dbb1b140f423dd2f5b7e6e4e99a95 | BagBagToSet | Except2FunTuple | CanNotBePlug |
| 615ce40b121edcf31e6937295c7c0fdd72630b75 | BagSetToBag | Except2FunTuple | CanNotBePlug |
| 606998241613a7dfd6df7018e47628234745c4e5 | BagSetToBag | Except2FunTuple | CanNotBePlug |
| f0b4f2c7714afe2e1db60c8fdfdde1f09d352c7d | BagBagIn | Except2FunTuple | CanNotBePlug |
| 755ecaeaab494404ad63f11225d81328e4928df1 | BagBagIn | Except2FunTuple | CanNotBePlug |
| 9bd44fc23ab46f6f1c0e4d9d11a4282540a5a069 | BagEmptyBag | Except2FunTuple | CanNotBePlug |
| cdbcab6b54a57cdb1d16410fc0a54ca619e66d8f | BagEmptyBag | Except2FunTuple | CanNotBePlug |
| ebfe955efebe8643054348e3947345e5a12d74f2 | BagAddBag | Except2FunTuple | CanNotBePlug |
| a6259a757e08cd3f648bfb279439e26936e36ce7 | BagAddBag | Except2FunTuple | CanNotBePlug |
| e14e5ac613252cd86fa0d466185ffc5321eabb71 | BagBagSub | Except2FunTuple | CanNotBePlug |
| 4cc26facb9ac6703d2cf504363bf084fa24b5d2d | BagBagSub | Except2FunTuple | CanNotBePlug |
| 570941d8570ae98681615ee9ecd19d0e16a46928 | BagCopiesIn | Except2FunTuple | CanNotBePlug |
| f21d4dafc5ad4936cc79823ba7dea7d39dc88ef3 | BagCopiesIn | Except2FunTuple | CanNotBePlug |
| 47bb7d50e7bed76df1143a70a85ab5a2630c0745 | BagSubsetEqBag | Except2FunTuple | CanNotBePlug |
| 654e62090acc38971f306a239e153bdc4df3c66a | BagSubsetEqBag | Except2FunTuple | CanNotBePlug |
| 5f1aec6dfa5729f0d5024ad3eac8f60a4503491f | BagBagUnion | Except2FunTuple | CanNotBePlug |
| 2c0305a5386adb92df651f6d9b3021060e3b18aa | BagBagUnion | Except2FunTuple | CanNotBePlug |
| e2a5d7420123fc70e7c18490855c423619281933 | BagBagCardinality | Except2FunTuple | CanNotBePlug |
| bc766a3120e3ec3cd5c739042b04e259f72cdd5c | BagBagCardinality | Except2FunTuple | CanNotBePlug |
| 03e9ddd5950251378aff1566b62b2200c1683e6e | BagBagOfAll | Except2FunTuple | CanNotBePlug |
| c041a6f247931e00e03fadab47ffa836d908aeeb | BagBagOfAll | Except2FunTuple | CanNotBePlug |
| d3161baf72dbcf35286ad4e4b7af238f48b6dea2 | BagSubBag | Except2FunTuple | CanNotBePlug |
| 10aff5c71a314f89f363567685aa45ad3e598e36 | BagSubBag | Except2FunTuple | CanNotBePlug |
| 618a022f2f135f3f8ad6412893ce0148bc203ff0 | FiniteSetsIsFiniteSet | Except2FunTuple | CanNotBePlug |
| 89b3ae11ca56167c51ddcdcf7f83333b1d66bfc8 | FiniteSetsIsFiniteSet | Except2FunTuple | CanNotBePlug |
| 91d413094f024019778e48cd6c54df015045bef6 | FiniteSetsCardinality | Except2FunTuple | CanNotBePlug |
| 00aaa4852d35fd396accc83b22b6020b1c3853bd | FiniteSetsCardinality | Except2FunTuple | CanNotBePlug |
| a30c8393a646c502fe3ca63f36d56d5899fdba48 | SeqHead | Except2FunTuple | CanNotBePlug |
| 45058d42bcda8d83cba2e9bf2d1444358da3c3f2 | SeqHead | Except2FunTuple | CanNotBePlug |
| f16caca8ff238d41b9df9c9c496d789b9dafed23 | SeqTail | Except2FunTuple | CanNotBePlug |
| 3267c52c0c89256e17718605119cf627885a8854 | SeqTail | Except2FunTuple | CanNotBePlug |
| c9ac640d0e2edba226c98661eb05fb6d6c4c7809 | SeqAppend | Except2FunTuple | CanNotBePlug |
| e16871b98f43d3175a83144afa6dc3047ec4373e | SeqAppend | Except2FunTuple | CanNotBePlug |