| Id | Case Feature | Plug Feature | Skip Reason |
|---|---|---|---|
| 2b369c84c83eb965d02e0a39e51c4d7e1f5b830f | FiniteSetsIsFiniteSet | OneLineComment | TypeMismatch |
| a6453a119a546c5229dc37097635db2cf252ca5a | FiniteSetsIsFiniteSet | OneLineComment | TypeMismatch |
| f875494bb0e6e015cea273ee57b2fd2160b8f0cb | FiniteSetsIsFiniteSet | MultiLineComment | TypeMismatch |
| 37e960aef0f6fad9a3eb8c11a743c42190109c74 | FiniteSetsIsFiniteSet | MultiLineComment | TypeMismatch |
| 5073c9ce2c5c1fe230e03b310642ed822f722760 | FiniteSetsIsFiniteSet | BoolTrue | TypeMismatch |
| 130a4d68d0590c2f236aaf8888469f4db4d054c7 | FiniteSetsIsFiniteSet | BoolTrue | TypeMismatch |
| 78842c72690b760eb2aa8d0aeab9cfebf882149b | FiniteSetsIsFiniteSet | BoolFalse | TypeMismatch |
| c330e1cb86214abfc15eba2e89dc03807857eceb | FiniteSetsIsFiniteSet | BoolFalse | TypeMismatch |
| 21370aafd18a8a54db74d0dccf8357c3ee97134e | FiniteSetsIsFiniteSet | And | TypeMismatch |
| e2c7e866021129e04df603525963bd0d47410bd5 | FiniteSetsIsFiniteSet | And | TypeMismatch |
| c76821f0bcdaf7870a0502e81c3f91f412f6b182 | FiniteSetsIsFiniteSet | AndMultiLine | TypeMismatch |
| 5c8e65726d35c95c278441d17c1947358d6c5be7 | FiniteSetsIsFiniteSet | AndMultiLine | TypeMismatch |
| 3c6afb67be08819a472ab7fdb5b53074cb5752aa | FiniteSetsIsFiniteSet | Imply | TypeMismatch |
| c0062625deefb8008c690065ed709a6ca019f644 | FiniteSetsIsFiniteSet | Imply | TypeMismatch |
| ab1706d6b6da9bcd960aa48a2c5c23395e36176c | FiniteSetsIsFiniteSet | Not | TypeMismatch |
| 4210ccb37795eb90cb1a5a27af9444a175d280dd | FiniteSetsIsFiniteSet | Not | TypeMismatch |
| 17bbc8996f518b6f12fd4a2fb0f883598ce8e2d7 | FiniteSetsIsFiniteSet | Or | TypeMismatch |
| 6cfe9512ecadfb6ea61d2bb8510f30cbc0847401 | FiniteSetsIsFiniteSet | Or | TypeMismatch |
| 06aefc90feed72d91aea9c0d38a10b01fc1a146d | FiniteSetsIsFiniteSet | OrMultiLine | TypeMismatch |
| f85fcf10fb6aa801b92c0ced59c40df418d27dd3 | FiniteSetsIsFiniteSet | OrMultiLine | TypeMismatch |
| 8cc0c9e579c355c8a7aa1b33cf0c3a9d88ba81b1 | FiniteSetsIsFiniteSet | AndProp | KindMismatch |
| a1abe3fbac0fc6c1d801e039a95b09f718fd8a16 | FiniteSetsIsFiniteSet | AndProp | KindMismatch |
| 96fd1b7dc866c430dc427e4f99924b01480ea027 | FiniteSetsIsFiniteSet | Boxed | KindMismatch |
| f7fa49430e4c974da0898cf6a44b4077f487fd15 | FiniteSetsIsFiniteSet | Boxed | KindMismatch |
| 46c3b95a9cea4b8534d4ba8c4ede9ecd1b2ff7dd | FiniteSetsIsFiniteSet | Eq | TypeMismatch |
| 1225eec8f4e99257d02f3a56a99fbf16440be703 | FiniteSetsIsFiniteSet | Eq | TypeMismatch |
| d9d41fadc972f9b06d3ba50a5b9b14f509d82d33 | FiniteSetsIsFiniteSet | Ne | TypeMismatch |
| c8a3c37228b382741ac9afc15d29ba7e55f709c3 | FiniteSetsIsFiniteSet | Ne | TypeMismatch |
| ee6bc0d42c3401a506c0783025b3130bca93ffe4 | FiniteSetsIsFiniteSet | Set1InDef | AlreadyCombined |
| 82654c2d6226115b23f52f7b8f7d67ce6c521fdb | FiniteSetsIsFiniteSet | Set1InDef | AlreadyCombined |
| e6e1e1ee59309663acafd73c601dd5546ab96f7d | FiniteSetsIsFiniteSet | Set2InDef | AlreadyCombined |
| 8dc6241d48da53ceb688567e4bea57aa8bdc93ef | FiniteSetsIsFiniteSet | Set2InDef | AlreadyCombined |
| 1f6fa2069db63736cfeb3b0a029f2aa6a2677c1e | FiniteSetsIsFiniteSet | InDef0 | TypeMismatch |
| 3b01853cad0dd3abe8075ae7a6e635db90a99683 | FiniteSetsIsFiniteSet | InDef0 | TypeMismatch |
| cb9bedd4b2710038b0c0a64052a3d1619b370ae8 | FiniteSetsIsFiniteSet | InDef1 | TypeMismatch |
| 7027fb98d754c275ee5818eaa723e9979d2b0e82 | FiniteSetsIsFiniteSet | InDef1 | TypeMismatch |
| ad7906e6ba296240faa5b2172f606d73d0847e03 | FiniteSetsIsFiniteSet | InDef2 | TypeMismatch |
| 5bdd5f5402b01ae07ee036e560a6487ce5a02379 | FiniteSetsIsFiniteSet | InDef2 | TypeMismatch |
| 98818d4153532e079c22014df9344581f97268bc | FiniteSetsIsFiniteSet | Fun | TypeMismatch |
| 89a5badf7f06d431dec9ddaa88351a859efc3c23 | FiniteSetsIsFiniteSet | Fun | TypeMismatch |
| 2cbefe4d907d4600d50ebbecc486683ceacf5ede | FiniteSetsIsFiniteSet | FunInDef | AlreadyCombined |
| 8392e6be51d42029b9933c0fdc89fee68e89c7b6 | FiniteSetsIsFiniteSet | FunInDef | AlreadyCombined |
| a8fe24416afcae2557ab60b42cfb3c37af1f5f0f | FiniteSetsIsFiniteSet | In | TypeMismatch |
| f160acfbe581ef491392c29909abbf3cf3176a3f | FiniteSetsIsFiniteSet | In | TypeMismatch |
| 13b402e03c261ee176680d6be9b9b1e051d349d7 | FiniteSetsIsFiniteSet | NotIn | TypeMismatch |
| 645b28e91755ce2430185bbcd7ca64b81bd0c951 | FiniteSetsIsFiniteSet | NotIn | TypeMismatch |
| a89c8d4d14f731dac34b15687560736111fea08e | FiniteSetsIsFiniteSet | Exists | TypeMismatch |
| 97027b1be7b563e00f2d7c679d2690721f7925af | FiniteSetsIsFiniteSet | Exists | TypeMismatch |
| 80345310fa6535ff51a7ef1dc36cb25a20521bf9 | FiniteSetsIsFiniteSet | Forall | TypeMismatch |
| cdbe5b054164fcece85fa474cfdda661f1f3f47e | FiniteSetsIsFiniteSet | Forall | TypeMismatch |
| 0d854087ffffc8e298b701847148e9346ae601d7 | FiniteSetsIsFiniteSet | ExistsInDef | AlreadyCombined |
| e85aa7734a88c35f37c99b7cbd05c23837532251 | FiniteSetsIsFiniteSet | ExistsInDef | AlreadyCombined |
| 4d8d56411fd16493137e7a5a7801b92f13950666 | FiniteSetsIsFiniteSet | ForallInDef | AlreadyCombined |
| 446c5f6d7a10cb0b34b89667eac74aaa1fa69c9d | FiniteSetsIsFiniteSet | ForallInDef | AlreadyCombined |
| 8e97549b09eea1107c6ba72ee14df9bd9fc6590f | FiniteSetsIsFiniteSet | ChooseInDef | AlreadyCombined |
| 548d98c1bf50e4ec90b51f1837be784d08fcf9c0 | FiniteSetsIsFiniteSet | ChooseInDef | AlreadyCombined |
| 4a52cd26d96b9903bbc1a4250d114bee35bbf2c0 | FiniteSetsIsFiniteSet | Record | TypeMismatch |
| ac19b16ef99fb8df40f8c4e6ba0dc8dd1d4e6663 | FiniteSetsIsFiniteSet | Record | TypeMismatch |
| 0d7f6739c1c2487e05065c0366145f30af2bb62e | FiniteSetsIsFiniteSet | Tuple | TypeMismatch |
| b8cd52cbb587ebfd15c67215782d15d5e899acf4 | FiniteSetsIsFiniteSet | Tuple | TypeMismatch |
| dc5edd8f0e62d8438c3f066dc0a341897b0bfc1a | FiniteSetsIsFiniteSet | TupleEmpty | TypeMismatch |
| 57d928c46c826f7f0addbfaeefd096bbbe34ff27 | FiniteSetsIsFiniteSet | TupleEmpty | TypeMismatch |
| c732400f857a238cab5d4e158666cfd54c5c83a3 | FiniteSetsIsFiniteSet | Except0 | CanNotBePlug |
| 32aa5f3bb6615a693c7361ffce4ad30e20e2b2aa | FiniteSetsIsFiniteSet | Except0 | CanNotBePlug |
| 3a535d0e7037aea4b6321003abfd728bb314e066 | FiniteSetsIsFiniteSet | Except1Fun | CanNotBePlug |
| ec0dc3368493267ba4b119e607f637c32cb1650b | FiniteSetsIsFiniteSet | Except1Fun | CanNotBePlug |
| 462e98564794705059dba6b19daa449ec2fe9f61 | FiniteSetsIsFiniteSet | Except1FunWithAt | CanNotBePlug |
| d82b3143d2c6ee7362a29f164307b0cb745cb30a | FiniteSetsIsFiniteSet | Except1FunWithAt | CanNotBePlug |
| 6d37efc6d3349c89e2818866b7704d2875022e94 | FiniteSetsIsFiniteSet | Except1Rec | CanNotBePlug |
| ff43deb7fca6809a48898239c46788129ee1327f | FiniteSetsIsFiniteSet | Except1Rec | CanNotBePlug |
| 992d05990594567b92f5a6f22e4e15293983c225 | FiniteSetsIsFiniteSet | Except1RecWithAt | CanNotBePlug |
| ecef7cf1b14bd784914975d91d88da7ed1d5cd9c | FiniteSetsIsFiniteSet | Except1RecWithAt | CanNotBePlug |
| e81b8d43eb1eee2a85acfaaebd342f755ac427c3 | FiniteSetsIsFiniteSet | Except2Fun | CanNotBePlug |
| 8cbf28709c4e527778e96a32f6ed20c1c1233b00 | FiniteSetsIsFiniteSet | Except2Fun | CanNotBePlug |
| 618a022f2f135f3f8ad6412893ce0148bc203ff0 | FiniteSetsIsFiniteSet | Except2FunTuple | CanNotBePlug |
| 89b3ae11ca56167c51ddcdcf7f83333b1d66bfc8 | FiniteSetsIsFiniteSet | Except2FunTuple | CanNotBePlug |
| 3c05eabf17f5868866697433b3b01f99fba9fe1f | FiniteSetsIsFiniteSet | NumZero | TypeMismatch |
| 4fdba10865e328b0059a8b947e1babf6694266d8 | FiniteSetsIsFiniteSet | NumZero | TypeMismatch |
| dcb85a8af47b1c9b757f32908132aec41f8c0eb8 | FiniteSetsIsFiniteSet | NumOne | TypeMismatch |
| 2798925d67add3416cabc28bc4635eade6126e77 | FiniteSetsIsFiniteSet | NumOne | TypeMismatch |
| 530e87264433e6f7959f8a0c59851a59c919d7a6 | FiniteSetsIsFiniteSet | NumMaxInt | TypeMismatch |
| 6ff7c4ba5eeba7d88f1e8ecd502c287dd456dd4d | FiniteSetsIsFiniteSet | NumMaxInt | TypeMismatch |
| aa3b077a3562b25b48804f1e060f5b3d071914c5 | FiniteSetsIsFiniteSet | NumUnaryMinus | TypeMismatch |
| a043ef00054add10e67a755168696009f9785b00 | FiniteSetsIsFiniteSet | NumUnaryMinus | TypeMismatch |
| a622e2861dec7eaab454cd28123fabd18dbc4901 | FiniteSetsIsFiniteSet | NumPlus | TypeMismatch |
| 19fb9b38ebe1e5fffcdca37081cb3ecb3999f852 | FiniteSetsIsFiniteSet | NumPlus | TypeMismatch |
| 46641cd4f4852827991d3a238bd93e361228a9b8 | FiniteSetsIsFiniteSet | NumMinus | TypeMismatch |
| 98a9364cc25e11d889cca7ef5c86aca2d2b0bdd3 | FiniteSetsIsFiniteSet | NumMinus | TypeMismatch |
| 14f7d30a5df803294685514fdb7ac3a88f6b6fc6 | FiniteSetsIsFiniteSet | NumMul | TypeMismatch |
| bec2a664d7c30324e1dd46e4c32eacc1e5999efe | FiniteSetsIsFiniteSet | NumMul | TypeMismatch |
| 893af8219de55c0df18aa63fd822e626f1386718 | FiniteSetsIsFiniteSet | NumDiv | TypeMismatch |
| 235de3e1e6720baf2ae144ec2c3454a460645424 | FiniteSetsIsFiniteSet | NumDiv | TypeMismatch |
| f06f43193df5dc3ce641dfe7a5acb0c517b648eb | FiniteSetsIsFiniteSet | NumMod | TypeMismatch |
| 5141b698498e9d33b39064b70a9eca78e3286bd8 | FiniteSetsIsFiniteSet | NumMod | TypeMismatch |
| d049267fe36e78e308d3a09a17ed94306ca4e4ea | FiniteSetsIsFiniteSet | NumPow | TypeMismatch |
| 1c294e6e31e423fce715c3c5b475153866eab00e | FiniteSetsIsFiniteSet | NumPow | TypeMismatch |
| 4d776adf66a464dcf3f08c80932193acfcc0a696 | FiniteSetsIsFiniteSet | NumGt | TypeMismatch |
| 041014c58e21e62179b886182d66fcea9abbee74 | FiniteSetsIsFiniteSet | NumGt | TypeMismatch |
| 8e51c4fac3bb2514fa129e74cae480535e449a6e | FiniteSetsIsFiniteSet | NumGe | TypeMismatch |
| 43f25429398ecf61b911c8e6050db59cb7e33853 | FiniteSetsIsFiniteSet | NumGe | TypeMismatch |
| 126197d0c7dca9912f38325651c6c65d50a6ada0 | FiniteSetsIsFiniteSet | NumLt | TypeMismatch |
| bfb797fb2708311ae54f7d37ccba08a5892e3d23 | FiniteSetsIsFiniteSet | NumLt | TypeMismatch |
| 09b64ce0d23f9fc2eac5190d777496409433c648 | FiniteSetsIsFiniteSet | NumLe | TypeMismatch |
| d2c4718cc5b1334506560373ad4f7de768d2aba8 | FiniteSetsIsFiniteSet | NumLe | TypeMismatch |
| dcaf44adeb808e332ac7231a1c403ec6273c6235 | FiniteSetsIsFiniteSet | DefFun | TypeMismatch |
| 1f28dc9c3bed042688d28d849637328d53ad5635 | FiniteSetsIsFiniteSet | DefFun | TypeMismatch |
| 00f4a8677812a9583e89f8767993bbda676222ee | FiniteSetsIsFiniteSet | LetDefFun | TypeMismatch |
| 93e295c7b3037cb54170a1a3f8c6e0275204630c | FiniteSetsIsFiniteSet | LetDefFun | TypeMismatch |
| fbbf1d244d1f9a03ba04b1e969f767b2ed6696f7 | FiniteSetsIsFiniteSet | DefFunRecursive | TypeMismatch |
| 719f6401878283366a0d148854bc4da60f4f1690 | FiniteSetsIsFiniteSet | DefFunRecursive | TypeMismatch |
| 6ae978e7602eca0ec6dd2324e6356ba569a9bec9 | FiniteSetsIsFiniteSet | LetDefFunRecursive | TypeMismatch |
| feb97bdb3fd0907638593d9c4e7a4b8f50fc24a4 | FiniteSetsIsFiniteSet | LetDefFunRecursive | TypeMismatch |
| 5bda428fdf61230f825280f944557dedf61c85dc | FiniteSetsIsFiniteSet | DefFunInDef | AlreadyCombined |
| 51a33c85eee753cef6019eabe7f88998fd1bd4c9 | FiniteSetsIsFiniteSet | DefFunInDef | AlreadyCombined |
| a43bd4ff0eefcda77a0d87e3693ccb1e1fb7aa5a | FiniteSetsIsFiniteSet | LetDefFunInDef | AlreadyCombined |
| 34329f6cc9d96cea9942915380488b992ee5545e | FiniteSetsIsFiniteSet | LetDefFunInDef | AlreadyCombined |
| 1eb60f49e2ca79286b730faed35f1377b1307987 | FiniteSetsIsFiniteSet | VariableViewExclude | VariableExcludedFromView |
| 6ef8ce39e206bec201136c1a643b1a149398dc4b | FiniteSetsIsFiniteSet | VariableViewExclude | VariableExcludedFromView |
| b02a323183d83df46421f2baa23c0c37a8c9fa81 | FiniteSetsIsFiniteSet | ConstantModelValue | ModelValueCanNotBeUsed |
| 27f96a93bbbbfd664ab371b1179c3568eef2d101 | FiniteSetsIsFiniteSet | ConstantModelValue | ModelValueCanNotBeUsed |
| fd8238be52e1dad386d20ea12b6f44b13492cef2 | FiniteSetsIsFiniteSet | Enabled | TypeMismatch |
| 8dd81f18e5e0e9ec4d7732b19622bb070a50a92f | FiniteSetsIsFiniteSet | Enabled | TypeMismatch |
| 51097b6bf73cce9711c12a47afd4f96dbbe54fa2 | FiniteSetsIsFiniteSet | Assume | AssumeIsNotEmbeddable |
| 4c314074798054f90e4adc040473270e35056e65 | FiniteSetsIsFiniteSet | Assume | AssumeIsNotEmbeddable |
| 7787939500be4cabd980d6aaa916d1172b44d0b0 | FiniteSetsIsFiniteSet | AssumeNamed | AssumeIsNotEmbeddable |
| be729f9c47d0990681039ead1e096500c85aa931 | FiniteSetsIsFiniteSet | AssumeNamed | AssumeIsNotEmbeddable |
| a91e9476e8241287f26ea6a5e32cbbd09b7eca63 | FiniteSetsIsFiniteSet | Lambda | TypeMismatch |
| b06464f0c4d9218392a77d8cbced56b4878aeb31 | FiniteSetsIsFiniteSet | Lambda | TypeMismatch |
| a4bacb29683d1f2df90d9454de8cc4509028c346 | FiniteSetsIsFiniteSet | SubsetEq | TypeMismatch |
| d183205860e8e9f3e830d35fd4042a5000070b43 | FiniteSetsIsFiniteSet | SubsetEq | TypeMismatch |
| 138f40d0f3194f4f3c74b318a227c68ef0dc88bf | FiniteSetsIsFiniteSet | Unchanged | TypeMismatch |
| 52494c6ae8f98a738ee99b878898b112b3f79eab | FiniteSetsIsFiniteSet | Unchanged | TypeMismatch |
| 599a6370109028327fd92668fc77af1b4e519cc7 | FiniteSetsIsFiniteSet | Equivalence | TypeMismatch |
| 653c61421c73eba070bda506d7f165582071b71f | FiniteSetsIsFiniteSet | Equivalence | TypeMismatch |
| 0cfcd888705b3c89400f5155c39388c451d341f0 | FiniteSetsIsFiniteSet | StringEmpty | TypeMismatch |
| 380f86f7ea03a8af446e8c07396cd80fca4c045d | FiniteSetsIsFiniteSet | StringEmpty | TypeMismatch |
| 74079609671433ddcc3f0e0a0dac77ad960a6fe2 | FiniteSetsIsFiniteSet | String | TypeMismatch |
| 4f549dc73efa30ed9866276e57aee09757fbfd8d | FiniteSetsIsFiniteSet | String | TypeMismatch |
| 603348ace1f5d9e20ce8e046c1010f6185f51899 | FiniteSetsIsFiniteSet | SeqLen | TypeMismatch |
| 6ee8f402d86d403c9d1acbb8bc77d7f6233ae19e | FiniteSetsIsFiniteSet | SeqLen | TypeMismatch |
| 1580855c7e272a8bd60ef5247c77b685a9d8b36e | FiniteSetsIsFiniteSet | SeqConcat | TypeMismatch |
| 6cf6c25a9f49702150637f63cd4602fc31ce9fe6 | FiniteSetsIsFiniteSet | SeqConcat | TypeMismatch |
| 5d44cc6c09f5a46db925f02e64abed7235923ea9 | FiniteSetsIsFiniteSet | SeqSelectSeq | TypeMismatch |
| ebd969aa1b1304478e13ef1ae93231a2ec479a70 | FiniteSetsIsFiniteSet | SeqSelectSeq | TypeMismatch |
| d7ac8cb33567bac9dd9e6e5124e1122bb0758df8 | FiniteSetsIsFiniteSet | SeqSubSeq | TypeMismatch |
| 148b397d1cea5f946a523e65edea1db2fc33c2e0 | FiniteSetsIsFiniteSet | SeqSubSeq | TypeMismatch |
| d058e308e588da64b75093cfbc077da5fde4613f | FiniteSetsIsFiniteSet | TlcSingletonFun | TypeMismatch |
| 1bf4de79fed546ac141b6acd920623092d525caa | FiniteSetsIsFiniteSet | TlcSingletonFun | TypeMismatch |
| c4541e66df041be9a115b2dc0d449836934da8e3 | FiniteSetsIsFiniteSet | TlcExtendFun | TypeMismatch |
| 0c45490339cba4d570dab98f87a29cdd82cf9cfa | FiniteSetsIsFiniteSet | TlcExtendFun | TypeMismatch |
| bcd65dbe6acda206a2646d0a4b19993bf9ed4daf | FiniteSetsIsFiniteSet | TlcSortSeq | TypeMismatch |
| 15aea456740241a3f4a68b7746777ce001c6a6a3 | FiniteSetsIsFiniteSet | TlcSortSeq | TypeMismatch |
| 0a7fddd7f1b5427b658cef946c7fc8a554918dfc | FiniteSetsIsFiniteSet | BagSetToBag | TypeMismatch |
| e126d6f0240d313c7d6879fbd88717880d53923a | FiniteSetsIsFiniteSet | BagSetToBag | TypeMismatch |
| 5699031bd8eb3cd3b5fccb16f2718ddaed51c8a1 | FiniteSetsIsFiniteSet | BagBagIn | TypeMismatch |
| 9b2c875a3d13818431ad6e77dc63c755dd8e9f74 | FiniteSetsIsFiniteSet | BagBagIn | TypeMismatch |
| e621a1b40702609b429c6e9c9d2e697edc75b986 | FiniteSetsIsFiniteSet | BagEmptyBag | TypeMismatch |
| c10cda147da6093df6ff7379e47f25ddefb01a7b | FiniteSetsIsFiniteSet | BagEmptyBag | TypeMismatch |
| b6bd3cdb8a1eaf4836f62e9633244fcbd5bc733d | FiniteSetsIsFiniteSet | BagAddBag | TypeMismatch |
| 4492a88068ac60f7c42fc0f9c1106d70ff8002f0 | FiniteSetsIsFiniteSet | BagAddBag | TypeMismatch |
| b98185373f49ab3e744cbc8e63c8611842ce64c3 | FiniteSetsIsFiniteSet | BagBagSub | TypeMismatch |
| 2d3891d086cda2acea146f7dd4db8c7aa83b5914 | FiniteSetsIsFiniteSet | BagBagSub | TypeMismatch |
| 3dfe21e3f69e8ffe1f014123af5810caf27265b1 | FiniteSetsIsFiniteSet | BagCopiesIn | TypeMismatch |
| da4a646dfca08f50df088929184c451fada44759 | FiniteSetsIsFiniteSet | BagCopiesIn | TypeMismatch |
| d146d5aabfa0ee4bf445a4ecfb62d1c8a8bcf4b8 | FiniteSetsIsFiniteSet | BagSubsetEqBag | TypeMismatch |
| 263ae2259b92dec9a1723bd11338af96faf42121 | FiniteSetsIsFiniteSet | BagSubsetEqBag | TypeMismatch |
| 22e62e8242dd56d791268883316df118b62515f7 | FiniteSetsIsFiniteSet | BagBagUnion | TypeMismatch |
| f070a13d6157b48631515c05e29ca7e3bbe013c2 | FiniteSetsIsFiniteSet | BagBagUnion | TypeMismatch |
| 1a6f2caaaf20d099329efa7d735d75f326678b33 | FiniteSetsIsFiniteSet | BagBagCardinality | TypeMismatch |
| 117176b46af3866a1e38707586d89dc480f95774 | FiniteSetsIsFiniteSet | BagBagCardinality | TypeMismatch |
| e236859a140c4e863762634252fda2ef7c991bf5 | FiniteSetsIsFiniteSet | BagBagOfAll | TypeMismatch |
| f9507c5baf51dcfc3615c9889fe48ed3ea84cfa0 | FiniteSetsIsFiniteSet | BagBagOfAll | TypeMismatch |
| e4cda29b8b406234ad405821d3e95a3c404673e9 | FiniteSetsIsFiniteSet | FiniteSetsIsFiniteSet | TypeMismatch |
| acac77a825f92286a32d96f27840ec797686488c | FiniteSetsIsFiniteSet | FiniteSetsIsFiniteSet | TypeMismatch |
| 86f6937c3b396a80b680d637da611357239ebe93 | FiniteSetsIsFiniteSet | FiniteSetsCardinality | TypeMismatch |
| 9889098e76e5d8654b1ac72b7132af34000f5875 | FiniteSetsIsFiniteSet | FiniteSetsCardinality | TypeMismatch |
| 4f72d148e31683c17e868713fc80d9d235364689 | FiniteSetsIsFiniteSet | SeqTail | TypeMismatch |
| 2952ddb359268ec2af27aedb26a6d41664efe5b8 | FiniteSetsIsFiniteSet | SeqTail | TypeMismatch |
| 351d9e485fd922d478030bb1f5029f0927af160c | FiniteSetsIsFiniteSet | SeqAppend | TypeMismatch |
| 8efb4c6797eee8c182941e0594c14bf946881c34 | FiniteSetsIsFiniteSet | SeqAppend | TypeMismatch |