| Id | Case Feature | Plug Feature | Skip Reason |
|---|---|---|---|
| 521c63b4c5ec591f77712040ad30a0af84b84100 | Except2FunTuple | BoolTrue | TypeMismatch |
| c153082dfa81b4206693042364d73c619d601af8 | Except2FunTuple | BoolTrue | TypeMismatch |
| 3c0114dbc50593c14c2c153f60472abc8bbd8af4 | Except2FunTuple | BoolFalse | TypeMismatch |
| f0b2ff21363e96c498d60e799ffafb90cab4d8f0 | Except2FunTuple | BoolFalse | TypeMismatch |
| 4bbe154b150af65de51ddc415384c2fe6c79a16a | Except2FunTuple | BoolSet | TypeMismatch |
| 753424df44ca75553c282f1d259752692f5649c2 | Except2FunTuple | BoolSet | TypeMismatch |
| e7783464ac3691c3714564153ab1b7dc30dd3ae3 | Except2FunTuple | And | TypeMismatch |
| 464429c2ae7721f915e4bd9a5512374a160a74d0 | Except2FunTuple | And | TypeMismatch |
| d7b2f673e6e43c29321339df742c08615c235287 | Except2FunTuple | AndMultiLine | TypeMismatch |
| 029440d9cccd2633736c479bef299342d11c8c5c | Except2FunTuple | AndMultiLine | TypeMismatch |
| 63d3f785475adb00cde818ba1a708d48f42a3d5a | Except2FunTuple | Imply | TypeMismatch |
| 83da04556a8e9801bfda03909cc8fbef41c26e11 | Except2FunTuple | Imply | TypeMismatch |
| 19f4bb917f08e81ed2afdef6849cc2b576db9b12 | Except2FunTuple | Not | TypeMismatch |
| 9be91298e3a720d8ec07710982fc71fd8441716f | Except2FunTuple | Not | TypeMismatch |
| 780df211dfcfe9083f9475ebc858f1778ceef443 | Except2FunTuple | Or | TypeMismatch |
| 64101c2495542f0d3ac4a63bf9fad7365700c512 | Except2FunTuple | Or | TypeMismatch |
| 6aae001d99888d079a8fbe2e1f798e147c9e89b1 | Except2FunTuple | OrMultiLine | TypeMismatch |
| a31067cf894938025572ef559557a195e8534858 | Except2FunTuple | OrMultiLine | TypeMismatch |
| 50b28d86571af1be9d9f6c6189b9fed6f4c8e47b | Except2FunTuple | AndProp | KindMismatch |
| d2f07dae6ec5e7340ca132334c2ebb1808216d6c | Except2FunTuple | AndProp | KindMismatch |
| 92445f42b8ec95e8f5f9a6abd47dc6b80fd3176b | Except2FunTuple | Boxed | KindMismatch |
| 7d3a1ea3e2d7e694e543fc4bb48e4574036f9e0b | Except2FunTuple | Boxed | KindMismatch |
| 7c3d0cfe792e85655825c5276a46671dcf49bbb3 | Except2FunTuple | Eq | TypeMismatch |
| 43dd22b47e3882ba36e0cbbcce7ebc1a95d27de2 | Except2FunTuple | Eq | TypeMismatch |
| e425404a7fd389272fb59c10ea220f7d3dcfbf0b | Except2FunTuple | Ne | TypeMismatch |
| 80b41f01c8453f4581b94a1c1e9f31a781d495ef | Except2FunTuple | Ne | TypeMismatch |
| 3d927161448207f698a702d839bd781a589d0628 | Except2FunTuple | SetEmpty | TypeMismatch |
| 2701949f527dd0b5da1a5e8483a613caf16230e8 | Except2FunTuple | SetEmpty | TypeMismatch |
| a8b2b43b66d8d415683a0c03a281905e0fef1582 | Except2FunTuple | Set0 | TypeMismatch |
| 79cedf72e49ac5885fef0a8839462544871e4900 | Except2FunTuple | Set0 | TypeMismatch |
| a746a4ad2f375b5bb4b91f82cbeba8928e653e93 | Except2FunTuple | Set1 | TypeMismatch |
| a254d864f89571110c1ba1647bc579a3d9c4d58e | Except2FunTuple | Set1 | TypeMismatch |
| 2160a449f7399144c09a296c7ecac93f78ef7626 | Except2FunTuple | Set2 | TypeMismatch |
| 6f8156e769293ae8ebb1a39966892d1346fee7bc | Except2FunTuple | Set2 | TypeMismatch |
| 8a1a35419023e80a4a6779b9ca3ba1afb133e9da | Except2FunTuple | Set1InDef | AlreadyCombined |
| 816ce2d70ec846350075afba8dd155ed1bd8ab55 | Except2FunTuple | Set1InDef | AlreadyCombined |
| 898e4b6ae6bf5dab07e6b022e77417349c5a7f32 | Except2FunTuple | Set2InDef | AlreadyCombined |
| c76bde65821c6fc81f58198a197500d15477dfda | Except2FunTuple | Set2InDef | AlreadyCombined |
| bdc2c790d6105e1c1f6ce0fd3e5322037273c319 | Except2FunTuple | InDef0 | TypeMismatch |
| 40d7682512e5527cd5199ac051d55992c3a31981 | Except2FunTuple | InDef0 | TypeMismatch |
| 1dcf28e0c18d697fcfd69b303d1e3a02394244b9 | Except2FunTuple | InDef1 | TypeMismatch |
| 139b8c48ac7a23c7ed37555af7b68f05187bdf39 | Except2FunTuple | InDef1 | TypeMismatch |
| e93fd038ed527cbdbfe8bc7be365b0c8d225181a | Except2FunTuple | InDef2 | TypeMismatch |
| ffeacf59a9296f3ccf0b9ada93aa47e23261c1ff | Except2FunTuple | InDef2 | TypeMismatch |
| 265a728908fd1c980671609146d8cd0f0b153cd7 | Except2FunTuple | Fun | TypeMismatch |
| 024cb9c5bd42291be8794fe46780b102e84190a6 | Except2FunTuple | Fun | TypeMismatch |
| ec4dd492c50fc2eeab1c1d5789c5f38c1662a3b5 | Except2FunTuple | FunInDef | AlreadyCombined |
| 8edd3015c7a5f8a0e1aed07399f446705695a2d8 | Except2FunTuple | FunInDef | AlreadyCombined |
| 3880160e143415ef06d3ecc2c2fe861e86378ed6 | Except2FunTuple | In | TypeMismatch |
| 167967ef8f838ad8043e090b55b1c65768732c69 | Except2FunTuple | In | TypeMismatch |
| 601b60d69c95f21da6b00d5a3d7174391125564b | Except2FunTuple | NotIn | TypeMismatch |
| fd12e8f7c062c1dbcb5b31819a7e9197fac5bd98 | Except2FunTuple | NotIn | TypeMismatch |
| 31f1af6c7485cee6cdb5612323accf5fcfc13d55 | Except2FunTuple | Exists | TypeMismatch |
| b938b386e602e86dca271b7191a6db53fe6dc897 | Except2FunTuple | Exists | TypeMismatch |
| 4f960718d7ee96c7c32212ec39267b1c038f9899 | Except2FunTuple | Forall | TypeMismatch |
| 2b3fb8ca6a181b92a01fa18428733613caff671d | Except2FunTuple | Forall | TypeMismatch |
| eae74a850a8e712fb2ce97bf216d801dd2c6273a | Except2FunTuple | ExistsInDef | AlreadyCombined |
| b97d9d804bbb1f329237544f77a70bab13635552 | Except2FunTuple | ExistsInDef | AlreadyCombined |
| 4907627df7989ceb86ad80796b098b3f0dce544e | Except2FunTuple | ForallInDef | AlreadyCombined |
| 9e813f33a8c430327151dee070568124cdbbd44d | Except2FunTuple | ForallInDef | AlreadyCombined |
| c25b77efcde26d5b9ba21a555cd3ad7ba5f79e61 | Except2FunTuple | ChooseInDef | AlreadyCombined |
| 5f2c6020fadeb11b11a0fff106a72dc4ccda5b96 | Except2FunTuple | ChooseInDef | AlreadyCombined |
| 4b30b1cd8420378203d80448144a24c33dd39025 | Except2FunTuple | Record | TypeMismatch |
| c3015c6f60a7fe762bb04234064e07f8d8c361cd | Except2FunTuple | Record | TypeMismatch |
| 6b69b8c100833fd2379482b15147485ff8a45110 | Except2FunTuple | Tuple | TypeMismatch |
| 313d9006f5f4f56c13ed189a98b4a52b1c62aabf | Except2FunTuple | Tuple | TypeMismatch |
| d4ece9e6a0c0dac744070a8da1bc5c683f068f06 | Except2FunTuple | TupleEmpty | TypeMismatch |
| 10a7b45135c240ea94e1b17831453c4180e05cb4 | Except2FunTuple | TupleEmpty | TypeMismatch |
| 94d511d88a1d86e4b84472ccbcaf86ea3eb41483 | Except2FunTuple | Except0 | CanNotBePlug |
| 893adf48c097c14b83de70358ff79890413cd64a | Except2FunTuple | Except0 | CanNotBePlug |
| da1b9798529b8f013e5d9a75ec2570ba8ad0b7b4 | Except2FunTuple | Except1Fun | CanNotBePlug |
| e57377da87b477506e96eb028a8171963e65a5f3 | Except2FunTuple | Except1Fun | CanNotBePlug |
| ea97ed5c719e3c40c21f93195ac0c785b065b82c | Except2FunTuple | Except1FunWithAt | CanNotBePlug |
| b823b0688d6d90d86a8c7da64382c772c1123ab8 | Except2FunTuple | Except1FunWithAt | CanNotBePlug |
| ae6f86898bbd026fe1f3157b294cda3a4ac7ece3 | Except2FunTuple | Except1Rec | CanNotBePlug |
| 391b9992cce02ad539a2774d119155aea41b6c61 | Except2FunTuple | Except1Rec | CanNotBePlug |
| 5dff678f5163162cb91c85db13003aea87f19502 | Except2FunTuple | Except1RecWithAt | CanNotBePlug |
| c1e1693c8ab05ed987f35d18f5fed68c3df356b0 | Except2FunTuple | Except1RecWithAt | CanNotBePlug |
| a073b5e85f265f553e743fb301aace51eade36f5 | Except2FunTuple | Except2Fun | CanNotBePlug |
| 566ed92888055d50873f4aabe7bb016008d5878e | Except2FunTuple | Except2Fun | CanNotBePlug |
| b503f0f77ef530d863ff3f181444559acb808974 | Except2FunTuple | Except2FunTuple | CanNotBePlug |
| 8e08aca04313b7cab9040b1dbab9ec1055f1c90e | Except2FunTuple | Except2FunTuple | CanNotBePlug |
| 4422b53dd5306993f7186e6329796b4ed0d1763b | Except2FunTuple | NumZero | TypeMismatch |
| 4d18efc619203d121d7a2003781bf3eb2cb0a367 | Except2FunTuple | NumZero | TypeMismatch |
| 5d599ee18e95c23bd245f5209ed7338495508032 | Except2FunTuple | NumOne | TypeMismatch |
| 68d84cbc3b2ee84c9210489f360585e81f42b143 | Except2FunTuple | NumOne | TypeMismatch |
| 713ba3029b3438a0db0ed565ba300a9e58d4d6d5 | Except2FunTuple | NumMaxInt | TypeMismatch |
| 5a90e94b0450436b430ae66a3514cf94b060e9a7 | Except2FunTuple | NumMaxInt | TypeMismatch |
| c14ac079373122f3c014a07ca572f48e6e16e97f | Except2FunTuple | NumUnaryMinus | TypeMismatch |
| e88e53517a83c976fd25dfaf9986483c589d808c | Except2FunTuple | NumUnaryMinus | TypeMismatch |
| f9ade995bd1ed33d5302b4a023f18e633a647a23 | Except2FunTuple | NumPlus | TypeMismatch |
| 0483d224463493cfb765c73a4bca43eb19ce7717 | Except2FunTuple | NumPlus | TypeMismatch |
| 323f82116378b66b9902a7b3fc88211c9f50385b | Except2FunTuple | NumMinus | TypeMismatch |
| 08ef14103ca6037c0d5cbf7ebb7b3ac6d1007da6 | Except2FunTuple | NumMinus | TypeMismatch |
| c00bdbc862fd37d7245566679042e9d3a5a9ff74 | Except2FunTuple | NumMul | TypeMismatch |
| 835d3e84cbd0a7c359f10a595a3edf953201bcb5 | Except2FunTuple | NumMul | TypeMismatch |
| e3ba3d48c170eda5ba9cb09ee32963b82a27f557 | Except2FunTuple | NumDiv | TypeMismatch |
| af3912b6d0c28d1f2e489272a8318939ee5fbf00 | Except2FunTuple | NumDiv | TypeMismatch |
| f29bc6fc225dc332566eb24616420dd86cf6c3c5 | Except2FunTuple | NumMod | TypeMismatch |
| c6d45a7514b8c53005de22182deb3168fde6859a | Except2FunTuple | NumMod | TypeMismatch |
| 4f8fe906f7d903d6ba81b026da8ae7819ba8b249 | Except2FunTuple | NumPow | TypeMismatch |
| 26ce2a42319b1d902c0b358edf34219340db9bee | Except2FunTuple | NumPow | TypeMismatch |
| a4b9576e418ee69ece6ac35c87935e33f1837d0c | Except2FunTuple | NumGt | TypeMismatch |
| 23165952905c2638eab879ad7d64afc41370b222 | Except2FunTuple | NumGt | TypeMismatch |
| c5ea3fcd7ad4ee1d1bc90a0a8a86596a2ef9d594 | Except2FunTuple | NumGe | TypeMismatch |
| 30209da5f45dc19945ff6df4986addcc8bebc1e0 | Except2FunTuple | NumGe | TypeMismatch |
| eea0afdfc70c717495145a423933c7034b062b9d | Except2FunTuple | NumLt | TypeMismatch |
| d86c1d2e64da916dbbe62687de1f509fbb58b8a8 | Except2FunTuple | NumLt | TypeMismatch |
| a232fdf4eb2c5c4a1e720f1c0a7b9b779dfc2c35 | Except2FunTuple | NumLe | TypeMismatch |
| 52d191ae9d73604774ba84eb1fcca9077d68cd53 | Except2FunTuple | NumLe | TypeMismatch |
| 0b215802a364e0259deff74a7f904c3c9c922b97 | Except2FunTuple | DefFun | TypeMismatch |
| 5bf6ab8833c77cbfc084de6e03fce91dac5e79d8 | Except2FunTuple | DefFun | TypeMismatch |
| 8d57f505e710870db9733e8ee16f5983ac143590 | Except2FunTuple | LetDefFun | TypeMismatch |
| 0d4199e669d02176ccc4109f01203f11a794152d | Except2FunTuple | LetDefFun | TypeMismatch |
| cac636ee84b4276ab1cf41d2b37d3bb3a7b5622f | Except2FunTuple | DefFunRecursive | TypeMismatch |
| a1d36715264d9c6724a4ac3ef0bb575f8dac0999 | Except2FunTuple | DefFunRecursive | TypeMismatch |
| 1317e44e92e6584f1a400c124f6500db16c8e449 | Except2FunTuple | LetDefFunRecursive | TypeMismatch |
| 3829b92f03d773ec46646ccd680c8005870eef1e | Except2FunTuple | LetDefFunRecursive | TypeMismatch |
| 4a4e81e23dd6f0cdb6c8c04290191738c32212fc | Except2FunTuple | DefFunInDef | AlreadyCombined |
| e5d180759769581054d4591c75079799f8e9caad | Except2FunTuple | DefFunInDef | AlreadyCombined |
| e6f010e19a8f458e1e7efac9ea58c91327a66449 | Except2FunTuple | LetDefFunInDef | AlreadyCombined |
| 92522cde20f84887a3e9a29ff7a137e8e47e661d | Except2FunTuple | LetDefFunInDef | AlreadyCombined |
| f99af3076470d564603894be1938bb9d74fced6a | Except2FunTuple | VariableViewExclude | VariableExcludedFromView |
| ae222b8c6553e694998a917c1374b6def7c21d84 | Except2FunTuple | VariableViewExclude | VariableExcludedFromView |
| c959d139747b80e59fb47d88957fb804b7929be9 | Except2FunTuple | ConstantModelValue | ModelValueCanNotBeUsed |
| 615743191c20ceae690c7ff2b5617748cd37874e | Except2FunTuple | ConstantModelValue | ModelValueCanNotBeUsed |
| 8d48b5332e8405b4b62f8b820245a16ba104fd7e | Except2FunTuple | Enabled | TypeMismatch |
| 053e832ce4102f8d69a12beb24444c9b5f466c62 | Except2FunTuple | Enabled | TypeMismatch |
| a7869030add64ee9c5cfe5cf7c92ebf570e7cbf4 | Except2FunTuple | Assume | AssumeIsNotEmbeddable |
| cae205145b7190c7aad5f49083bc4b67ae5f3fc8 | Except2FunTuple | Assume | AssumeIsNotEmbeddable |
| 6c816e3ae3290ff42d9e2ddcb72f737830464531 | Except2FunTuple | AssumeNamed | AssumeIsNotEmbeddable |
| c9867f8522459e7c1e0b439366c7f21385baa092 | Except2FunTuple | AssumeNamed | AssumeIsNotEmbeddable |
| d226336a72432a59db41d71c709d9ab4d255cf48 | Except2FunTuple | Lambda | TypeMismatch |
| 7db8f9cc089bdecb43c88cd9074319f2961eaa3b | Except2FunTuple | Lambda | TypeMismatch |
| c2af4db919fc2f2eb55f972498afc1f3a8a382f3 | Except2FunTuple | Cross2 | TypeMismatch |
| b8999e3098bbedbb3cde76ff65884547b2522387 | Except2FunTuple | Cross2 | TypeMismatch |
| 1967b0b2644c64553afdd7fbe957e36ff4ee3e9e | Except2FunTuple | Cross3 | TypeMismatch |
| f56e1828c4060de768e5d557bff2e4549162a825 | Except2FunTuple | Cross3 | TypeMismatch |
| 2423445efc2e387c78e4ada08abb093cb423af60 | Except2FunTuple | FunSet | TypeMismatch |
| 95252aae490115fa1eb40a0a5ea5a35a8715f388 | Except2FunTuple | FunSet | TypeMismatch |
| 4b42d55767b025a33b9f1f980fb615382505a0ad | Except2FunTuple | RecordSet | TypeMismatch |
| 348fc7abb7dc3d9a271d611deeca45e8f1f3d9bf | Except2FunTuple | RecordSet | TypeMismatch |
| d7cc935b65695ae90e6911c98ef57b1b2977070f | Except2FunTuple | SetDiff | TypeMismatch |
| 9697c18e23a4d07c59fb8c51ea24b09a18075439 | Except2FunTuple | SetDiff | TypeMismatch |
| a7ea073d85c0d180d6265a02f012b0b7e2a6537d | Except2FunTuple | SetUnion | TypeMismatch |
| 3ec4d08c36a623e00b6833539d5cf92bbbc02b7a | Except2FunTuple | SetUnion | TypeMismatch |
| 0d6a4afd9c31608105b1d9695ca81606bf18e6f0 | Except2FunTuple | SetIntersect | TypeMismatch |
| fa2f05a513065fdb701944da661993c7828887ff | Except2FunTuple | SetIntersect | TypeMismatch |
| bec1fa91c47a288b2e52f5bb3fc8cb76296aa0ec | Except2FunTuple | SubsetEq | TypeMismatch |
| 28746c4457c7034e328f059cd33f8fc4b2f37a8e | Except2FunTuple | SubsetEq | TypeMismatch |
| d76702b54b8569661ad0a9efff164af1b2b073a4 | Except2FunTuple | Subset | TypeMismatch |
| 0b87004eaca4ab018689aa2dd5647aa84883ea03 | Except2FunTuple | Subset | TypeMismatch |
| 998b3f519da3ee66fe0e2755bd604ec5306804ca | Except2FunTuple | Domain | TypeMismatch |
| 9207e218cd9b5977a7c6532b836131035087bdce | Except2FunTuple | Domain | TypeMismatch |
| 0845c837f9452dc54fa5d368822b8a597d31341e | Except2FunTuple | Union | TypeMismatch |
| 876592f1c487c87da7703f97de10228fa3003b54 | Except2FunTuple | Union | TypeMismatch |
| b1729bccd3c057c027c7414f9efee89a019bd94f | Except2FunTuple | Unchanged | TypeMismatch |
| b9e845e500d729c6152ab3bdc0eb95925bd4de52 | Except2FunTuple | Unchanged | TypeMismatch |
| c5df549eb60a353a0dd8f4055004349d7959551f | Except2FunTuple | Equivalence | TypeMismatch |
| bb8ec0dd1bd50364408c988116713d8eeb7420e4 | Except2FunTuple | Equivalence | TypeMismatch |
| 27699a917f0824925b4f6dfeb2dd8bed378d1be3 | Except2FunTuple | StringEmpty | TypeMismatch |
| db9e417000179cba8b78a13eb27390ff819a9aac | Except2FunTuple | StringEmpty | TypeMismatch |
| c7e113ce441b9f95a827d018354d7a7304bfaf00 | Except2FunTuple | String | TypeMismatch |
| ca585ae29f6e644a551711418c9abd8811cddc18 | Except2FunTuple | String | TypeMismatch |
| 7fb56cd7be70b49f00492fedcdf604a71dd8a0c8 | Except2FunTuple | SeqLen | TypeMismatch |
| 5f65d958ecfe48fad94e20b2fe108775c1fb36cf | Except2FunTuple | SeqLen | TypeMismatch |
| 4071f1bae38456baa7627c909fc33a9f0a87b1bb | Except2FunTuple | SeqConcat | TypeMismatch |
| 07c89919f0b6f9d59b9d6a459661506aa90e8dbb | Except2FunTuple | SeqConcat | TypeMismatch |
| 6fbf53eb077ba17ee6ff2c237d381761e56c1d3c | Except2FunTuple | SeqSeq | TypeMismatch |
| bdc64cf815d7bad8329b5ebcb622b84f4ab64194 | Except2FunTuple | SeqSeq | TypeMismatch |
| 5e04462ab20e5145a17fa3330f812d35552afaa7 | Except2FunTuple | NatSet | TypeMismatch |
| e609f2156efcef550ceae9604121e37292c43f21 | Except2FunTuple | NatSet | TypeMismatch |
| 8e7dfd8520ccb55a415ea9aee5257cc935fa62b7 | Except2FunTuple | IntSet | TypeMismatch |
| 33f05b6a1f8ea7f8c7c6c8630d79fc8577e786e9 | Except2FunTuple | IntSet | TypeMismatch |
| 118bb2af7d199f75085bc9c95f6f123c388e2b60 | Except2FunTuple | StringSet | TypeMismatch |
| 3ce9631303720a03e204b45ec9209e00f61bc979 | Except2FunTuple | StringSet | TypeMismatch |
| bc6536d5ebf8f7ed6fc5461942803e4ce1503399 | Except2FunTuple | SeqSelectSeq | TypeMismatch |
| f7cef23486d9a45e11efc4e480363ec33a031339 | Except2FunTuple | SeqSelectSeq | TypeMismatch |
| 5bdef88ffe687d24824720dfb8467526ebcd2878 | Except2FunTuple | SeqSubSeq | TypeMismatch |
| 5bc096e0a25ada5f9cd143d4cdd8f002d64e7ef4 | Except2FunTuple | SeqSubSeq | TypeMismatch |
| 01e031ae317fd192e64819d92caedab09000b9b0 | Except2FunTuple | NumRange | TypeMismatch |
| b83aba31c44763d24413e254d5dc42d14ffa2985 | Except2FunTuple | NumRange | TypeMismatch |
| ea9684d37bf2e2afac8355ea33bc6b8858c95bea | Except2FunTuple | TlcSingletonFun | TypeMismatch |
| 1dedb4868fb6895dd82c0f3d6353fba9042512e5 | Except2FunTuple | TlcSingletonFun | TypeMismatch |
| 65951f74bf562a9bf8d1aefcfc5509b3bbeec5e6 | Except2FunTuple | TlcExtendFun | TypeMismatch |
| 86f67bc7c1397b4d5b869eb0632c3bba5c945798 | Except2FunTuple | TlcExtendFun | TypeMismatch |
| 992465e523380206c35ad8ab1300884954a87e0f | Except2FunTuple | TlcPermuteFun | TypeMismatch |
| bd775dfd88e9deff7bfdb7a9cbb76c31d88bf949 | Except2FunTuple | TlcPermuteFun | TypeMismatch |
| fa50e129fcc54b4f50df9be62bc61209a5f62e0f | Except2FunTuple | TlcSortSeq | TypeMismatch |
| 8342b6102dbcd713b9665f4284b933c31ba003c2 | Except2FunTuple | TlcSortSeq | TypeMismatch |
| 903fdba226c86e6a3136ea2b11690c194b0b0f57 | Except2FunTuple | BagBagToSet | TypeMismatch |
| 3f5443d68ee669937b271317b534e28720b08d03 | Except2FunTuple | BagBagToSet | TypeMismatch |
| 0ca592a1e50cba4b3a70f490b04f77267c81148c | Except2FunTuple | BagSetToBag | TypeMismatch |
| e544cc386ea9c5a0298b2e5085c2c886de91110f | Except2FunTuple | BagSetToBag | TypeMismatch |
| 712177ebb92e761665286ea5ccee0c6caa7d9c10 | Except2FunTuple | BagBagIn | TypeMismatch |
| c846397ef95580f631d1c94f7c07ff3ae24499d1 | Except2FunTuple | BagBagIn | TypeMismatch |
| a6239b43a9ecffc5ccd06cadecd429e5fc6689ba | Except2FunTuple | BagEmptyBag | TypeMismatch |
| 7d67763cd14dc4e7f7637f2a56eefeb91eff9312 | Except2FunTuple | BagEmptyBag | TypeMismatch |
| 4c2b4b1df40f020f6f4f401e5af466eb471b7b40 | Except2FunTuple | BagAddBag | TypeMismatch |
| 043960ae77dc383a415a43da9ae67f1889127bf7 | Except2FunTuple | BagAddBag | TypeMismatch |
| dff4d989a96394deb0600b8c073f43914e9b2492 | Except2FunTuple | BagBagSub | TypeMismatch |
| 105e0e4b8f9a0b22480cc059917a676d76fa859e | Except2FunTuple | BagBagSub | TypeMismatch |
| f0a89a47241c5a419d81c88e03287fdb5e1ad1d8 | Except2FunTuple | BagCopiesIn | TypeMismatch |
| 077486fee21d00ffc5fe26a8aa277f4a21e911a5 | Except2FunTuple | BagCopiesIn | TypeMismatch |
| abca38451d84e97ac78c1519f32feca9d74ae722 | Except2FunTuple | BagSubsetEqBag | TypeMismatch |
| 2d152db7960d924b44964393b6117092ce03918c | Except2FunTuple | BagSubsetEqBag | TypeMismatch |
| 85734e05abecb6470297e4867efb41bd74ec30b3 | Except2FunTuple | BagBagUnion | TypeMismatch |
| 77f8b311a9566902e8950915d2e4c858e2ae6054 | Except2FunTuple | BagBagUnion | TypeMismatch |
| 8bf2cc5d3b285ef3daffbbe2cbc177253ff04c6a | Except2FunTuple | BagBagCardinality | TypeMismatch |
| b05574d047fa79d6e6d290f94e6c4178d794c128 | Except2FunTuple | BagBagCardinality | TypeMismatch |
| f0f2c37906b1552f80059480e258361a083be6dc | Except2FunTuple | BagBagOfAll | TypeMismatch |
| 7086039c86b65cef43f092123efe98b532744e4f | Except2FunTuple | BagBagOfAll | TypeMismatch |
| 504bb91de576edd3f530cadd69e2f1f8fb6c1c9a | Except2FunTuple | BagSubBag | TypeMismatch |
| 61d2a99497bfdefa4782979bae9f90ef71cd18cc | Except2FunTuple | BagSubBag | TypeMismatch |
| e1156f14c0aa941c91280c639d4322468b9b7f43 | Except2FunTuple | FiniteSetsIsFiniteSet | TypeMismatch |
| 02af27a91db446168e6c2f726561f9888c81696f | Except2FunTuple | FiniteSetsIsFiniteSet | TypeMismatch |
| dd2a890b6b5a8993ae2bcc43e82199b93b2ef779 | Except2FunTuple | FiniteSetsCardinality | TypeMismatch |
| 46c9d733cde22ffc8518c5c0d7d20e21509ba2f5 | Except2FunTuple | FiniteSetsCardinality | TypeMismatch |
| fffa061c17da8f49dbc4f300bd095bd9da977c7d | Except2FunTuple | SeqTail | TypeMismatch |
| 05b6cf9fd026812f1b5029f7c8bf0a7b43f5fe3e | Except2FunTuple | SeqTail | TypeMismatch |
| 374bb75d62fb959c3d55a4116edfde813503473b | Except2FunTuple | SeqAppend | TypeMismatch |
| 75cbc34d55a33c7bff173ae2cf90040f81ba20fc | Except2FunTuple | SeqAppend | TypeMismatch |