| Id | Case Feature | Plug Feature | Skip Reason |
|---|---|---|---|
| ede9ad4b291c1a86b34a3117d72bef54c0ed5664 | OneLineComment | Except1FunWithAt | CanNotBePlug |
| 988d5bd0285dcf161596850df0db1cda2c509068 | OneLineComment | Except1FunWithAt | CanNotBePlug |
| 759c5aee675cd3f95bbc944617aec06383e2b7cd | MultiLineComment | Except1FunWithAt | CanNotBePlug |
| b459b6d90d73a1110b6100cdd89b95c68859d42e | MultiLineComment | Except1FunWithAt | CanNotBePlug |
| 99939c93163bb8addb1c524ec572864be029f3e3 | BoolTrue | Except1FunWithAt | CanNotBePlug |
| 75198f0392bcf5cf8764cfc333748c01627b13f7 | BoolTrue | Except1FunWithAt | CanNotBePlug |
| 37a9bf2edb74eec7c4dae538e6b42ef595f03e9a | BoolFalse | Except1FunWithAt | CanNotBePlug |
| 925477e88c1bd5e8fab41526c73479eb10134c38 | BoolFalse | Except1FunWithAt | CanNotBePlug |
| 2af324ba2794cb2f8c0a2ecfab71cd70bb7efc90 | BoolSet | Except1FunWithAt | CanNotBePlug |
| bdbf32b3b77db1d64be8333fa9b0a1b9ab8a3eaf | BoolSet | Except1FunWithAt | CanNotBePlug |
| eff841a823b4f050294a5679a19ca6569c34e501 | And | Except1FunWithAt | CanNotBePlug |
| a11c5a9e378b4eb0e3ae0441f5b4acaa4cf35252 | And | Except1FunWithAt | CanNotBePlug |
| 6027d9d77d5ac2a29e4e82020a0e51e355449229 | AndMultiLine | Except1FunWithAt | CanNotBePlug |
| ffefb80af0050f684fa691d606f2e5035407874e | AndMultiLine | Except1FunWithAt | CanNotBePlug |
| e1ca6fedf9156a2967c87e93962d59f8703256cb | Imply | Except1FunWithAt | CanNotBePlug |
| 46aadfcb496a9ce6970d8a103db90864175145ae | Imply | Except1FunWithAt | CanNotBePlug |
| 73e80e3482ba9e3f721565d9c2f53651e36b1e05 | Not | Except1FunWithAt | CanNotBePlug |
| ed4edbe3c95902cd74f59adba8f29003acb2e6aa | Not | Except1FunWithAt | CanNotBePlug |
| 664b9a21582b247568a86e3f1ba148141063ae09 | Or | Except1FunWithAt | CanNotBePlug |
| 638517d811caed4defcb59a55fc05c94232d3961 | Or | Except1FunWithAt | CanNotBePlug |
| af70edc4a79548097c9e12f5c51a436bc2c8cd9e | OrMultiLine | Except1FunWithAt | CanNotBePlug |
| d28331cbd5aaa3dc8f3c085d7b11a1262e4a2f39 | OrMultiLine | Except1FunWithAt | CanNotBePlug |
| fc33e23bb3e9483a9afab045c706b5597afa43a8 | AndProp | Except1FunWithAt | CanNotBePlug |
| 936eefb309fa132e48103cd4d07e3d1cc039dafe | AndProp | Except1FunWithAt | CanNotBePlug |
| 2257e4c841d7ed2e536106882f908a70a4b138b6 | Boxed | Except1FunWithAt | CanNotBePlug |
| 391b6b3e49050f6e5e4d20c6eb704991b04d5934 | Boxed | Except1FunWithAt | CanNotBePlug |
| 2c275a674f246770257b30a2c891ded2a173b867 | Eq | Except1FunWithAt | CanNotBePlug |
| 600f26722ed0842e9147a01d1030f128d41f331b | Eq | Except1FunWithAt | CanNotBePlug |
| c19b3b294c2237a999ccf869b933715fb9d7044d | Ne | Except1FunWithAt | CanNotBePlug |
| 2e0efe05b8b1fb4dd7f2cd8c83db85024a9cf275 | Ne | Except1FunWithAt | CanNotBePlug |
| a94fc7c84d145e89ac930706bca06375999dc672 | Let | Except1FunWithAt | CanNotBePlug |
| c40d6388aacedf7d4519b6569eb84b25e39d881f | Let | Except1FunWithAt | CanNotBePlug |
| c3d2847965ec4dba2de6f0cd8b4e99b8d97d26ed | SetEmpty | Except1FunWithAt | CanNotBePlug |
| 98fe01a131ce985b98712bc731c29c7a99d89281 | SetEmpty | Except1FunWithAt | CanNotBePlug |
| 85dc7f52f425e02f495e69d0bcce2f2b57a66020 | Set0 | Except1FunWithAt | CanNotBePlug |
| c4deedf278dbb5c8ef6611d913d516775989d04c | Set0 | Except1FunWithAt | CanNotBePlug |
| 2f6299b88be25cd83b70a89ecc8b97d4b579e288 | Set1 | Except1FunWithAt | CanNotBePlug |
| 632f1c5f45da8b31caf666284d7375ef6703116c | Set1 | Except1FunWithAt | CanNotBePlug |
| 9032e3b615664340e79f8a647edf7c962f53929e | Set2 | Except1FunWithAt | CanNotBePlug |
| 63e28bcd36da5c84c9cff9d3c861fc693ceb0ee7 | Set2 | Except1FunWithAt | CanNotBePlug |
| fc46c43684308b82083d8d2abf44633d971dd878 | Set1InDef | Except1FunWithAt | CanNotBePlug |
| 832435e62c48c90e7469479b709e49115e0da128 | Set1InDef | Except1FunWithAt | CanNotBePlug |
| 240a4389552538ffb1a623669eab110fc967958a | Set2InDef | Except1FunWithAt | CanNotBePlug |
| 86517b6a2a1306da49c0ad036517b757862de740 | Set2InDef | Except1FunWithAt | CanNotBePlug |
| 372198bac8a383347953e98923e4366463fa0635 | InDef0 | Except1FunWithAt | CanNotBePlug |
| 7ee02c0d13a5cd94dfc1ca13fec1314225cf0c34 | InDef0 | Except1FunWithAt | CanNotBePlug |
| db7a5cb5bfd44bfa8429799574ef4629ce8f6be9 | InDef1 | Except1FunWithAt | CanNotBePlug |
| 4069fa3921b7a1e5ef56f4e8ccfc1558fc95423d | InDef1 | Except1FunWithAt | CanNotBePlug |
| 687cf665d972eb492cf748b16b0b527019970609 | InDef2 | Except1FunWithAt | CanNotBePlug |
| 02f396be8cac43407153ce399274d8a13747482e | InDef2 | Except1FunWithAt | CanNotBePlug |
| 2e8c2920e68afe571fa2e8c5f1263a0003c6b299 | Fun | Except1FunWithAt | CanNotBePlug |
| 332bd3355c8d19bfe882da2edfd93f719835c705 | Fun | Except1FunWithAt | CanNotBePlug |
| e015b31dadb481c01819710b262e979fd0fae9ed | FunInDef | Except1FunWithAt | CanNotBePlug |
| 3d6c27a490b5af276c7132d93ee9f823fbe02112 | FunInDef | Except1FunWithAt | CanNotBePlug |
| e67e99a432affc314434a5fde2addfb1496f478a | In | Except1FunWithAt | CanNotBePlug |
| 54ee127a379e27562ae5b78bf9c081ef703c61a1 | In | Except1FunWithAt | CanNotBePlug |
| 7ac0b757197094de2ea4731e3b13575f9eae33c3 | NotIn | Except1FunWithAt | CanNotBePlug |
| 01da3f1bd22e060ec61e61225d7eb6d587c79b0d | NotIn | Except1FunWithAt | CanNotBePlug |
| ae1c05851029d3189b7a9d69616c8e0ed0fd5661 | Exists | Except1FunWithAt | CanNotBePlug |
| 56f9e1c52fb89f08861795f5d9be981548dca1bb | Exists | Except1FunWithAt | CanNotBePlug |
| eae552358a03ee4da9f1cd53fc1b9eac4116f346 | Forall | Except1FunWithAt | CanNotBePlug |
| d429ff563b3789acddca53183077525b34374c98 | Forall | Except1FunWithAt | CanNotBePlug |
| e9c51fcef305034e033bf95561f96319d55f2236 | ExistsInDef | Except1FunWithAt | CanNotBePlug |
| 450e6d43f3d198fdfdca329c4b442517242d8479 | ExistsInDef | Except1FunWithAt | CanNotBePlug |
| 7b4a7c943190b023b3463219a5beda005a95e8dd | ForallInDef | Except1FunWithAt | CanNotBePlug |
| 36a4c3b2c47ae6d77ecd9418558e5367ef7426e9 | ForallInDef | Except1FunWithAt | CanNotBePlug |
| a1aa39264f4fa283933679380c63499d06e85fb0 | Choose | Except1FunWithAt | CanNotBePlug |
| 7c439516e30763ac98d487027fc33601713aacd7 | Choose | Except1FunWithAt | CanNotBePlug |
| 75feb0f680c29a71a4e06b41bca11d47a8b04d40 | ChooseInDef | Except1FunWithAt | CanNotBePlug |
| a639b9aba53e9de738f5676d56c494fc43d5f51c | ChooseInDef | Except1FunWithAt | CanNotBePlug |
| cc9210e4f8a08ac18c8f0ca9c3a5f9e228f33e7e | Record | Except1FunWithAt | CanNotBePlug |
| 93c0e1ae5ef5d5984d972f727db796f82ed32d23 | Record | Except1FunWithAt | CanNotBePlug |
| a7b989700583fdb6afa42146994f2e711ddad498 | Tuple | Except1FunWithAt | CanNotBePlug |
| be6c9c626cbf4c3b845ca4a8887b1cc7b441b7e6 | Tuple | Except1FunWithAt | CanNotBePlug |
| 3b529f5b14700437ed9c90a1ecaa9611a24dc77b | TupleEmpty | Except1FunWithAt | CanNotBePlug |
| 7ed4b066f05995aec77d12f58b266938fdfc7fc8 | TupleEmpty | Except1FunWithAt | CanNotBePlug |
| c7f944269dbcbd98e86f9de42105067de4e94e7c | FunApp | Except1FunWithAt | CanNotBePlug |
| 79b033acdf5892461761b03ccdbc7ee45841b1bb | FunApp | Except1FunWithAt | CanNotBePlug |
| fe4dd30db26e71ef372dff2b64e448db63e6ede2 | Except0 | Except1FunWithAt | CanNotBePlug |
| 4cd456d6dbe7f570b4f0e0aaea234b7dc29070ba | Except0 | Except1FunWithAt | CanNotBePlug |
| 26a1a80a8bab1a8a13483156969d89800254523c | Except1Fun | Except1FunWithAt | CanNotBePlug |
| bc582022c965a52ddb5b1f652e326427f7a8cc7d | Except1Fun | Except1FunWithAt | CanNotBePlug |
| a0169db147a585f3fc3c383414c5f9febc79e419 | Except1FunWithAt | Except1FunWithAt | CanNotBePlug |
| 5167eb51f80548b3b8f668b41dbb3ac8b2894262 | Except1FunWithAt | Except1FunWithAt | CanNotBePlug |
| 5e5c66e91d23e0624d3872e58dacd12d7aa26f32 | Except1Rec | Except1FunWithAt | CanNotBePlug |
| 460c4ffaeb2e5a7b1e6e572ccdae4677e264da40 | Except1Rec | Except1FunWithAt | CanNotBePlug |
| 8722e8709074e37f08cbccf3e4949c59b4dd225a | Except1RecWithAt | Except1FunWithAt | CanNotBePlug |
| 51898303eec7aa8803bbdeef68f18b71aa6d853d | Except1RecWithAt | Except1FunWithAt | CanNotBePlug |
| edc8fdd0555e80850e6d7917f26154921f75cee5 | Except2Fun | Except1FunWithAt | CanNotBePlug |
| c38605cfe7824c87ee367ecf5f54ffab956a6bf3 | Except2Fun | Except1FunWithAt | CanNotBePlug |
| ea97ed5c719e3c40c21f93195ac0c785b065b82c | Except2FunTuple | Except1FunWithAt | CanNotBePlug |
| b823b0688d6d90d86a8c7da64382c772c1123ab8 | Except2FunTuple | Except1FunWithAt | CanNotBePlug |
| d075fa3ac7fccecfac283a14ee9fd5b71fbba606 | Prime | Except1FunWithAt | CanNotBePlug |
| 0e0ec5aa38e5df0fa8e38a16d0e5540f29f664bf | Prime | Except1FunWithAt | CanNotBePlug |
| 6a6996b4a83da1751f26e337cfa26139ebfcc381 | NumZero | Except1FunWithAt | CanNotBePlug |
| 8eab00938a7cea3fdebd053f636c943f03221407 | NumZero | Except1FunWithAt | CanNotBePlug |
| cbb3ee1085f842f4b7b8c0047bbe80a6eb884404 | NumOne | Except1FunWithAt | CanNotBePlug |
| a3069b60889f79a5bf8ea31b537dccd2341b0237 | NumOne | Except1FunWithAt | CanNotBePlug |
| 9d69070a34ae8106f8391d3cde22b5b5d57f70d3 | NumMaxInt | Except1FunWithAt | CanNotBePlug |
| 40a6b1c7353de4d4e361d64dba4d41e0b75893cd | NumMaxInt | Except1FunWithAt | CanNotBePlug |
| 9a14d2146425d0afd54e1bc3c95f60f2ef1a1591 | NumUnaryMinus | Except1FunWithAt | CanNotBePlug |
| 2741b291e7b38a293f89c66001091ac2f0460391 | NumUnaryMinus | Except1FunWithAt | CanNotBePlug |
| f67f6a71f3e884eef8bf021416120bccaffcd588 | NumPlus | Except1FunWithAt | CanNotBePlug |
| 5b3c17777a02c4e6e5146fb60a380e576c3ca08f | NumPlus | Except1FunWithAt | CanNotBePlug |
| adb3842a3a22d51a3c4ce49ca7c46bed283495fd | NumMinus | Except1FunWithAt | CanNotBePlug |
| bf8e467ab68984e36bb5eaf0b9c6f152d27f33da | NumMinus | Except1FunWithAt | CanNotBePlug |
| ca3f391b425ef84fdf3a1ea836b44305a20262b2 | NumMul | Except1FunWithAt | CanNotBePlug |
| 0429bc973a235e3a99756c7e57c86ad67965ed23 | NumMul | Except1FunWithAt | CanNotBePlug |
| c2c9081ab6e2f2e570f31a135251ed6312cc3922 | NumDiv | Except1FunWithAt | CanNotBePlug |
| 2ab7c435189ab71399c62e1b416ac578589bb6b6 | NumDiv | Except1FunWithAt | CanNotBePlug |
| 594ecd257a0368c07e4e6f50f185c69b7715eae0 | NumMod | Except1FunWithAt | CanNotBePlug |
| 7dce2fbb8ee02dbb552ea2da6706c306375cb7f1 | NumMod | Except1FunWithAt | CanNotBePlug |
| f7153d0f9976cc6f5b738bf424a66ee89c704c9a | NumPow | Except1FunWithAt | CanNotBePlug |
| e10f135f52fc89f9d14210cc154265afe227fb73 | NumPow | Except1FunWithAt | CanNotBePlug |
| 54231ffe51e3eb231addfdec83d4dff5a891e655 | NumGt | Except1FunWithAt | CanNotBePlug |
| 3d3e34be631cdfef6241247100fe608e82634d75 | NumGt | Except1FunWithAt | CanNotBePlug |
| 6c900f87f9e411b4c48eb027553607790f79e06d | NumGe | Except1FunWithAt | CanNotBePlug |
| d5e552902f861929f2ac549d257917acf2243910 | NumGe | Except1FunWithAt | CanNotBePlug |
| 3c8dd88d026a607a9328d6a9558b0e85b1ea5efa | NumLt | Except1FunWithAt | CanNotBePlug |
| 25e311f46e4e0a77e2cee52e1f4ef58d05ae2050 | NumLt | Except1FunWithAt | CanNotBePlug |
| 6d8c490e8989767aef5f99f60a9dd842def6c3fd | NumLe | Except1FunWithAt | CanNotBePlug |
| 3f3caaa7d8ed70e388f0abb6858a4e0d01da18e4 | NumLe | Except1FunWithAt | CanNotBePlug |
| cf8ccdd68a70c2ac38a57f799325f6c26e2fd397 | DefFun | Except1FunWithAt | CanNotBePlug |
| f83cf8ca426b32b0a58fce788957351269ea8836 | DefFun | Except1FunWithAt | CanNotBePlug |
| bf65708b5260db355f66ff0a55f43f4a45fa1976 | LetDefFun | Except1FunWithAt | CanNotBePlug |
| b0f784c1f03cb79fd1ee5972e7cadfd07b473937 | LetDefFun | Except1FunWithAt | CanNotBePlug |
| 47a95b173d23bfbd5f121e54687b9b5574155048 | DefFunRecursive | Except1FunWithAt | CanNotBePlug |
| 0a8e261566884812ed2578cb7a212c573921037f | DefFunRecursive | Except1FunWithAt | CanNotBePlug |
| aeeab382ff7493ca06d32823d7497ddbe89e5c2a | LetDefFunRecursive | Except1FunWithAt | CanNotBePlug |
| ff71d150458c7046661ff921ce0846094490c2d3 | LetDefFunRecursive | Except1FunWithAt | CanNotBePlug |
| 1a7aa8a6b58ef8972b50a7aa1a803de67ef5e3fc | DefFunInDef | Except1FunWithAt | CanNotBePlug |
| 56fbc27aba12f71bd3def1de9f9378856febaf47 | DefFunInDef | Except1FunWithAt | CanNotBePlug |
| 292535f60078b2d60fccea46c875f4f6567bc031 | LetDefFunInDef | Except1FunWithAt | CanNotBePlug |
| 5808d8c2bbc622d88b2aaab21c02cb2ab5cf0a97 | LetDefFunInDef | Except1FunWithAt | CanNotBePlug |
| c847b177d9b159f7db2f06fc472e613fc95a1e87 | Def0 | Except1FunWithAt | CanNotBePlug |
| e53d617aeb96ac3f60f55ed92b572c12c47f1b89 | Def0 | Except1FunWithAt | CanNotBePlug |
| 566d03b334a1b5a0e11fb3fefcb373ffbce2a031 | LetDef0 | Except1FunWithAt | CanNotBePlug |
| 59411eeddf5f735db86dc60f132413313e0e69b6 | LetDef0 | Except1FunWithAt | CanNotBePlug |
| 67a3df32bd72bfb59ba462aaaaee95bef2d379a3 | Def1 | Except1FunWithAt | CanNotBePlug |
| de6d08e869bdb58467ce0942fc9674aa824feedb | Def1 | Except1FunWithAt | CanNotBePlug |
| 0f06b4bb5ffbeca80085645cb5b6a3fe8e9ed900 | LetDef1 | Except1FunWithAt | CanNotBePlug |
| a6f27e09fd50c71be277e6fabbc66085dfa2e787 | LetDef1 | Except1FunWithAt | CanNotBePlug |
| 5eef9d1ad386bf639e6feb8f7acd9cc4590e9533 | Def2 | Except1FunWithAt | CanNotBePlug |
| 604fd7cd219650d8ae42efc1d3692c3403a43f14 | Def2 | Except1FunWithAt | CanNotBePlug |
| 9b0bba90c91daf6d351c302f82d2092e37a90ed0 | LetDef2 | Except1FunWithAt | CanNotBePlug |
| efa3b453d53599ff4da052f09f4a0262d4ae2c6c | LetDef2 | Except1FunWithAt | CanNotBePlug |
| 02f3599009986977842807652ab845dd97d77597 | Def1Recursive | Except1FunWithAt | CanNotBePlug |
| 866ac1fe2551f0b809eb75cfb2957986cd630d7a | Def1Recursive | Except1FunWithAt | CanNotBePlug |
| 6dd410558a1c70ba44eb60ed33cfcd8e8e25f27e | LetDef1Recursive | Except1FunWithAt | CanNotBePlug |
| 8568cd857227023ad5750e85af40b8091ae09f4b | LetDef1Recursive | Except1FunWithAt | CanNotBePlug |
| a06af3e9a44266ace6fea60bf463279985bfdc68 | Extends | Except1FunWithAt | CanNotBePlug |
| e20821da06f3d31adcbdb8ede786c7931f83de1b | Extends | Except1FunWithAt | CanNotBePlug |
| d48e9857a7c98333fb727855ac4d99fb712a3965 | ExtendsInDifferentFolder | Except1FunWithAt | CanNotBePlug |
| 01e113bb50e85c87dd7e0bba73153d4452f697df | ExtendsInDifferentFolder | Except1FunWithAt | CanNotBePlug |
| 8703a8741a8389592c721400f12bd8e84a2e4ccf | Variable | Except1FunWithAt | CanNotBePlug |
| 4958ccea55409c21997d2b3543518f5f718af749 | Variable | Except1FunWithAt | CanNotBePlug |
| 86993fc75bb5a2970c607dd2405694cf76a2c252 | VariableViewExclude | Except1FunWithAt | CanNotBePlug |
| f1d13998ef7740daf60d2a3073b264484ffa3d06 | VariableViewExclude | Except1FunWithAt | CanNotBePlug |
| 45af9a6eac1da8dfe5009a8ce1c287be9fd646f5 | Constant | Except1FunWithAt | CanNotBePlug |
| cadc02db3d5af2b7fdac258e4977148c4c11bed9 | Constant | Except1FunWithAt | CanNotBePlug |
| 0d26672a3db2cf87b957df365216cbf816330573 | ConstantModelValue | Except1FunWithAt | CanNotBePlug |
| ba9e1867ee71b47631e29ef610b18ef8f831f678 | ConstantModelValue | Except1FunWithAt | CanNotBePlug |
| 61410bbeef5a506ec6ef1d2700e2c10cf01cb996 | ConstantRank1 | Except1FunWithAt | CanNotBePlug |
| 2ca62b59746aeebda23d99e714b8927d17f1a3f6 | ConstantRank1 | Except1FunWithAt | CanNotBePlug |
| 24d752b197c938ababcc0b87b1ecf4dbc02bc782 | Instance | Except1FunWithAt | CanNotBePlug |
| 571e6b0d2c8c9c32db5d4b2b3ce6c4bcdf1e7f50 | Instance | Except1FunWithAt | CanNotBePlug |
| be82997cf1fa0e402b2b85d847fd0cdcfe61eb6d | InstanceWith | Except1FunWithAt | CanNotBePlug |
| 65be7b4dcce44f2782913e250ee3a26268cfd5fd | InstanceWith | Except1FunWithAt | CanNotBePlug |
| 0b548a826031deff6e69b75b7467fca7253de2d7 | InstanceNamed | Except1FunWithAt | CanNotBePlug |
| ffdc52da369e8f3827e0afd339fbdc368456fcde | InstanceNamed | Except1FunWithAt | CanNotBePlug |
| e02e855c2b9542f262f74a2b6e4a19ea38c78570 | InstanceNamedWith | Except1FunWithAt | CanNotBePlug |
| f61a55a94c68853cfa330ea3271181ac7a6bb39a | InstanceNamedWith | Except1FunWithAt | CanNotBePlug |
| 91b560eab2c374533730d736eaf07582437adedb | InstanceInFolder | Except1FunWithAt | CanNotBePlug |
| 6954eec10e0d27186db1cdc208d975c9e6ea89f1 | InstanceInFolder | Except1FunWithAt | CanNotBePlug |
| 4e26f839f83276791afc46a9565a3b26994f6c1f | InstanceWithInFolder | Except1FunWithAt | CanNotBePlug |
| 10236ae5a7ebf2fffa404569fbd9c52b74fc2718 | InstanceWithInFolder | Except1FunWithAt | CanNotBePlug |
| 6a98cdba59a4e6926b23f2d0ab96fdbe7a23c4eb | InstanceNamedInFolder | Except1FunWithAt | CanNotBePlug |
| 69289c41d545913f61e75e0f90f489d2f7d8ed68 | InstanceNamedInFolder | Except1FunWithAt | CanNotBePlug |
| f5ec4231a403cd6df06cec8aa24b7a046cfb41f7 | InstanceNamedWithInFolder | Except1FunWithAt | CanNotBePlug |
| 1ff874c2b6841c85c1509ea68c59e2013f1029eb | InstanceNamedWithInFolder | Except1FunWithAt | CanNotBePlug |
| 5a6e13b9d84e508193ca581b60593d477d528299 | Enabled | Except1FunWithAt | CanNotBePlug |
| e339f9070e49513973ac967d2f15b3c8df805626 | Enabled | Except1FunWithAt | CanNotBePlug |
| feaeeffb21d24b0ac894c84c2294a354d2e95743 | Assume | Except1FunWithAt | CanNotBePlug |
| f4ed06a151ca053faa4f85ac35fe743fdec264ef | Assume | Except1FunWithAt | CanNotBePlug |
| b03c3bc82c5927fc0963affce13cbcaa0ea67a5f | AssumeNamed | Except1FunWithAt | CanNotBePlug |
| 3666bc1cc77bc01882a403e272446976737fcdb2 | AssumeNamed | Except1FunWithAt | CanNotBePlug |
| 333f44a8fe474bdb7d2b5b6a558c32d2baa910dc | Lambda | Except1FunWithAt | CanNotBePlug |
| e50d33f1e6e0b676c4293290d9e900087d75add1 | Lambda | Except1FunWithAt | CanNotBePlug |
| 7e096c3392c12fdc91b4c664a1b2e561a968d26e | Cross2 | Except1FunWithAt | CanNotBePlug |
| 78bbdab1abc563b875053fb19cec55b56878c81e | Cross2 | Except1FunWithAt | CanNotBePlug |
| 18c5f0b77bed06a2622163a34a7f657f44f41197 | Cross3 | Except1FunWithAt | CanNotBePlug |
| c7fdb3b07e26d25d7236a52191f71b25b7394c95 | Cross3 | Except1FunWithAt | CanNotBePlug |
| afa287cb6578da5b3c2e53db9fd6b3f60ffc2575 | FunSet | Except1FunWithAt | CanNotBePlug |
| 8133f521f8363da75a6faf2578f648659b7ba16c | FunSet | Except1FunWithAt | CanNotBePlug |
| 6f5290e6e38a178306c36ccbffebcd0a3e5caa92 | RecordSet | Except1FunWithAt | CanNotBePlug |
| 2e81baa3a30d4a7445db14ae44925be51e3327e2 | RecordSet | Except1FunWithAt | CanNotBePlug |
| 30b7b7275f0f76da40b22cd2f28d5fb1c5e7bfa5 | SetDiff | Except1FunWithAt | CanNotBePlug |
| 7395b5f59323867974ee647bccd9aba598d99cf4 | SetDiff | Except1FunWithAt | CanNotBePlug |
| ea87400f11a6788f27001b95252e6e4a375f2d8d | SetUnion | Except1FunWithAt | CanNotBePlug |
| b5d98efba0a50a659799623848c72f927d68f5da | SetUnion | Except1FunWithAt | CanNotBePlug |
| c711a84647caf7830013d5a300b874899ad1118a | SetIntersect | Except1FunWithAt | CanNotBePlug |
| f8eeb6f93d3cb6a69351e1a1825290c1aedbaf05 | SetIntersect | Except1FunWithAt | CanNotBePlug |
| d634f3391932aa3a886846eb47eccd339b11b721 | SubsetEq | Except1FunWithAt | CanNotBePlug |
| c849505caff8c1f4a6fed4ab98684ed90ceef1a6 | SubsetEq | Except1FunWithAt | CanNotBePlug |
| 000da5152de0eb81ab5f99bbd465f1754b7bcea7 | IfCond | Except1FunWithAt | CanNotBePlug |
| 03865c05d32f8f1f294b26d6a53d1cc4dca566e1 | IfCond | Except1FunWithAt | CanNotBePlug |
| 287a12dacab612eadbba479aae943a8d454cf67d | IfThen | Except1FunWithAt | CanNotBePlug |
| 4d444c21d34dfcff7e2b6e858bd5e8d36d3bc930 | IfThen | Except1FunWithAt | CanNotBePlug |
| 53d4c1cff56e54ae1394d7862b462b88d71d0315 | IfElse | Except1FunWithAt | CanNotBePlug |
| 402f310c1bb7a72cbfc9e303878d51b38f271e33 | IfElse | Except1FunWithAt | CanNotBePlug |
| e46dab57bc7a16a2a7913599e6ef94317dda1c60 | Subset | Except1FunWithAt | CanNotBePlug |
| 6b2754b6b1884f156b416614092f650a99791147 | Subset | Except1FunWithAt | CanNotBePlug |
| d34af79ac8d413a3f39e44c4e89a1c70042847ee | Domain | Except1FunWithAt | CanNotBePlug |
| 1c8c9f11b4e4d4c9686e8944f1247f043c795915 | Domain | Except1FunWithAt | CanNotBePlug |
| 499888f573f5d015782efb46b48ad700aa1df41d | Union | Except1FunWithAt | CanNotBePlug |
| 4e78818edcb2825b6332bea7bd986f63c516be16 | Union | Except1FunWithAt | CanNotBePlug |
| 6580b3827bbd8410d463a4a78673bbb8e93e03b5 | Unchanged | Except1FunWithAt | CanNotBePlug |
| 3a1e719066897a275fdcd1ccfe007587687db9b2 | Unchanged | Except1FunWithAt | CanNotBePlug |
| b6a406bd60ee27f4f18566a5dc570dcf610c7dbe | Equivalence | Except1FunWithAt | CanNotBePlug |
| 963da84a5d5faff9a50226f61a1ead385ad06f0a | Equivalence | Except1FunWithAt | CanNotBePlug |
| 0af3d7278b36653978d8c6ee952e4ee5152ca177 | StringEmpty | Except1FunWithAt | CanNotBePlug |
| 56f3df7bb07ec5de673cae2dfead896dd562c728 | StringEmpty | Except1FunWithAt | CanNotBePlug |
| a3777b2bb8b26b345774bc74169f5099648cacfc | String | Except1FunWithAt | CanNotBePlug |
| 6ecae5f5c6fa1162e39daec23dfeb7aa2eb72b99 | String | Except1FunWithAt | CanNotBePlug |
| a933172c74b94a520f50f8530556d3c84555e51e | SeqLen | Except1FunWithAt | CanNotBePlug |
| 13748fdc413fd16fddf74e1712b8bdf8fe7625f3 | SeqLen | Except1FunWithAt | CanNotBePlug |
| 23fa13911dada5d62683c3397bd90a8e3f3f4191 | SeqConcat | Except1FunWithAt | CanNotBePlug |
| 84850883fcb8a1a156d2826d515528195c00aa9e | SeqConcat | Except1FunWithAt | CanNotBePlug |
| 7d8234e8ed2fcc0ed5467af6312eeea15bcd9860 | SeqSeq | Except1FunWithAt | CanNotBePlug |
| 80e84e491ab885584c733e998f0d52453932ed60 | SeqSeq | Except1FunWithAt | CanNotBePlug |
| 5efbcabf6f173309922681ad503b1ed1b2a22294 | NatSet | Except1FunWithAt | CanNotBePlug |
| 68b77500e51adf2ad2a43533f6798d533d338cf4 | NatSet | Except1FunWithAt | CanNotBePlug |
| f9c9b96a08d039e154c4c3dc8952a49c4befb7ce | IntSet | Except1FunWithAt | CanNotBePlug |
| 001bc0fa27269bb4cf474e34a1c8879a6728a66d | IntSet | Except1FunWithAt | CanNotBePlug |
| 7f76e8a200fe6349b23746d5708bc06198e0e6f6 | StringSet | Except1FunWithAt | CanNotBePlug |
| 4b299354ed55bd1f4c51a01748de4e5a8692de4b | StringSet | Except1FunWithAt | CanNotBePlug |
| 5f4c15f06585892ec231acfcb5ee1acad867e330 | SeqSelectSeq | Except1FunWithAt | CanNotBePlug |
| e1a2886f37dde90009e21f5e3a63e104fdf3b6e5 | SeqSelectSeq | Except1FunWithAt | CanNotBePlug |
| 5ceb4f86735ff6a265efd1f133ce603fb902c82f | SeqSubSeq | Except1FunWithAt | CanNotBePlug |
| a5a061da5a980ae35c07df96aa6417bc8716e9c3 | SeqSubSeq | Except1FunWithAt | CanNotBePlug |
| 646dc7487b4c622c112d0520a3ed32aa7813c648 | NumRange | Except1FunWithAt | CanNotBePlug |
| deb2cad8bffc6a081e988e89ca953af808bfb5f9 | NumRange | Except1FunWithAt | CanNotBePlug |
| 243af8a8ae3010218be4d6a27e986adf810ff782 | TlcSingletonFun | Except1FunWithAt | CanNotBePlug |
| 02b2fdafcfa3381e3e4290bc34e34eaed08156f1 | TlcSingletonFun | Except1FunWithAt | CanNotBePlug |
| dc830be1b7dac99ec3159eee1c709d02d5fc7e79 | TlcExtendFun | Except1FunWithAt | CanNotBePlug |
| f3efcc758bfb9aed4e52783fed32cc2ec5c1993f | TlcExtendFun | Except1FunWithAt | CanNotBePlug |
| 3140dae0a4f86c30620cc61b9d5cc6546cddf6ab | TlcPermuteFun | Except1FunWithAt | CanNotBePlug |
| 97d8880f1b8ea49f58c198cd00279305ede5dc63 | TlcPermuteFun | Except1FunWithAt | CanNotBePlug |
| 20ab3d2433f7249d2eb1e2ea137dd91385b3d7ee | TlcSortSeq | Except1FunWithAt | CanNotBePlug |
| f1d9d2c4b909a3ac7715fcf2e8ae1e4eb950263b | TlcSortSeq | Except1FunWithAt | CanNotBePlug |
| bbcad838a2df0cb8f249cd39af720b0892439a39 | TlcEval | Except1FunWithAt | CanNotBePlug |
| 2eb2453228b7b2076f6270c1799f33548989ca01 | TlcEval | Except1FunWithAt | CanNotBePlug |
| a1ef82dcba7882c67ec190f06a1359a86388335f | BagBagToSet | Except1FunWithAt | CanNotBePlug |
| 00a9511e0f6151f99bf38aeb593b3b575ba873bb | BagBagToSet | Except1FunWithAt | CanNotBePlug |
| f0eb38e48aeb73749a155774716db7d0d17490cf | BagSetToBag | Except1FunWithAt | CanNotBePlug |
| f9cf0e46e83ea041e03f7545fd698cc7572a73ce | BagSetToBag | Except1FunWithAt | CanNotBePlug |
| 02ba49239323be75cf7ea8ea0ed0faa8be66d3de | BagBagIn | Except1FunWithAt | CanNotBePlug |
| 5938e57a5eae0ef8da8122b81a9ec423e95537fa | BagBagIn | Except1FunWithAt | CanNotBePlug |
| ec022f013873b41429a28c62ec4b826433991133 | BagEmptyBag | Except1FunWithAt | CanNotBePlug |
| c0711b71750f3025c1ddb96e5200da914778e7de | BagEmptyBag | Except1FunWithAt | CanNotBePlug |
| 4fc58c0b1583b27a666f1a3a132c9e16dcd357aa | BagAddBag | Except1FunWithAt | CanNotBePlug |
| b7470d8ad19097feb00791e0cb98d23b55e8176d | BagAddBag | Except1FunWithAt | CanNotBePlug |
| 7918e088cb94254d1ebaf602c385c047acfa8cf0 | BagBagSub | Except1FunWithAt | CanNotBePlug |
| 7352b3302578f3da1b4b31fee0c0888cbfe531ef | BagBagSub | Except1FunWithAt | CanNotBePlug |
| fb1b95830dc5ffc55259d94fb3473613aed15c68 | BagCopiesIn | Except1FunWithAt | CanNotBePlug |
| 0e8239df3d5c08eefe9e255d111a37aaab967391 | BagCopiesIn | Except1FunWithAt | CanNotBePlug |
| d53c25ecf01180d0f9f09ebd09e420c5ead9403c | BagSubsetEqBag | Except1FunWithAt | CanNotBePlug |
| 73f5444d63cb5f05e0f3b6d1cca4c4b3bf27787f | BagSubsetEqBag | Except1FunWithAt | CanNotBePlug |
| 506d771933d8746ce3bc29684b73f550011adb6b | BagBagUnion | Except1FunWithAt | CanNotBePlug |
| 1de1b68b2b2a934006a041ffa0a0d8ad4b4c343f | BagBagUnion | Except1FunWithAt | CanNotBePlug |
| a1a187358311ecff25558d79e4cf81f124fa6a23 | BagBagCardinality | Except1FunWithAt | CanNotBePlug |
| 09ee842137ff59e703b21fa63693fb4f8770361d | BagBagCardinality | Except1FunWithAt | CanNotBePlug |
| d30fb8f4bec91d3d243dbaf24aad0f7aa35318f5 | BagBagOfAll | Except1FunWithAt | CanNotBePlug |
| a3f609f0e607cd72070669e794cb4e775f488483 | BagBagOfAll | Except1FunWithAt | CanNotBePlug |
| e0c891626c2e452295c6ed12f9d97a0638a964ec | BagSubBag | Except1FunWithAt | CanNotBePlug |
| ec280ec8d9cf552feb3157a72a0f1ead2bf9c729 | BagSubBag | Except1FunWithAt | CanNotBePlug |
| 462e98564794705059dba6b19daa449ec2fe9f61 | FiniteSetsIsFiniteSet | Except1FunWithAt | CanNotBePlug |
| d82b3143d2c6ee7362a29f164307b0cb745cb30a | FiniteSetsIsFiniteSet | Except1FunWithAt | CanNotBePlug |
| 079c2df56d125f7d0d10bbca681cc6205904b66c | FiniteSetsCardinality | Except1FunWithAt | CanNotBePlug |
| a9b908ddebfdd53d70bca5e21bb6c6fb04b04154 | FiniteSetsCardinality | Except1FunWithAt | CanNotBePlug |
| 074eb1689ddbaea9c8b341a418216791887b7f89 | SeqHead | Except1FunWithAt | CanNotBePlug |
| b7ecea00a75e2e110c43fc2c52de54ba5036be00 | SeqHead | Except1FunWithAt | CanNotBePlug |
| f80007ffae16cb7451cc5e4d5f6e71aafc4e6c56 | SeqTail | Except1FunWithAt | CanNotBePlug |
| c8aaf096a5fccdeb311e9e905304ffda46283c68 | SeqTail | Except1FunWithAt | CanNotBePlug |
| efd2deb53e1dbbb518f7acde5ba54351e41be8d3 | SeqAppend | Except1FunWithAt | CanNotBePlug |
| 283237beae4139e8250a26c9d29dfe5807e132a4 | SeqAppend | Except1FunWithAt | CanNotBePlug |