| Id | Case Feature | Plug Feature | Skip Reason |
|---|---|---|---|
| 445068e2479304692656b4c148419c237e290a18 | BagBagCardinality | BoolTrue | TypeMismatch |
| 1e8586c3637a2eedb3b3285bdd80a60e4b0be590 | BagBagCardinality | BoolTrue | TypeMismatch |
| 781e4591082ad60c29d7127e3e5632ead9c53d6c | BagBagCardinality | BoolFalse | TypeMismatch |
| ccce698be22117bf4747ff2ac46b5274942ecf04 | BagBagCardinality | BoolFalse | TypeMismatch |
| 1493779b4536139fad533023d4d648322c20b1ce | BagBagCardinality | BoolSet | TypeMismatch |
| b1343a3221d3281c4075dfb22b2dd426f83f78be | BagBagCardinality | BoolSet | TypeMismatch |
| ebf398e18d47b8a6fd6f73fc6f9227322a8abcb5 | BagBagCardinality | And | TypeMismatch |
| a3a3518c4b36d1fa388452428b4c3adf0df9df40 | BagBagCardinality | And | TypeMismatch |
| a4caf5928992af0be4c203e186c64cdbab687553 | BagBagCardinality | AndMultiLine | TypeMismatch |
| 092ec914fd074d71c072cf003dc8640314b3d16a | BagBagCardinality | AndMultiLine | TypeMismatch |
| 6258ea81c121fe8f5248ee9ecb97d834168a18f0 | BagBagCardinality | Imply | TypeMismatch |
| 7ebf8b8dddf6335e8c189c29307cd517bf713276 | BagBagCardinality | Imply | TypeMismatch |
| 4011f48866596a190b985fbc4c1a0b0b469e1cbe | BagBagCardinality | Not | TypeMismatch |
| 3923372c379ac17c5a1f005a42409082d15115be | BagBagCardinality | Not | TypeMismatch |
| 4e50730733c7146954defea364ff9f80d5383b62 | BagBagCardinality | Or | TypeMismatch |
| 398b314279fcab60d68bd6aa8be87accd7503b61 | BagBagCardinality | Or | TypeMismatch |
| 2bc646b10a7613015d42f720ec819f65606adb91 | BagBagCardinality | OrMultiLine | TypeMismatch |
| 6babc0f16e54ddd664732e39f6e7e92e999d29e5 | BagBagCardinality | OrMultiLine | TypeMismatch |
| a8ff9703e0a841114446f18313a913bcee8c2ad9 | BagBagCardinality | AndProp | KindMismatch |
| 84d01b3e877783077b0cf8ba45fd12671b7f2c0c | BagBagCardinality | AndProp | KindMismatch |
| 7cded3096eb3a9c425edc9aa90494b2df39fff54 | BagBagCardinality | Boxed | KindMismatch |
| 76effafeb28562ad5007fc9e104288d4edf84a52 | BagBagCardinality | Boxed | KindMismatch |
| 4166a3bdbc4255c3af761be2a52f3348861dfdc8 | BagBagCardinality | Eq | TypeMismatch |
| 9ed51d95003fe0e38940b1df9f21ea9af334f425 | BagBagCardinality | Eq | TypeMismatch |
| 81ff9deff018af9f6550671e58403c2249df60a7 | BagBagCardinality | Ne | TypeMismatch |
| a078b8327463788c14d499ff219ce7dc12e07481 | BagBagCardinality | Ne | TypeMismatch |
| bc35f83467b8fae22f7b64964c7c7ad1c7b25d53 | BagBagCardinality | SetEmpty | TypeMismatch |
| 953a8fef5c3fd8c061dcf73cab23ff27f45c2d4b | BagBagCardinality | SetEmpty | TypeMismatch |
| d9119b55f41900847914bf89be84e4f9f975814d | BagBagCardinality | Set0 | TypeMismatch |
| 19e7284ce0e98d5c0a601b1d01e84c3e85809cc4 | BagBagCardinality | Set0 | TypeMismatch |
| 1cec047d02f39a0ce805fe9a5620aca581e846f8 | BagBagCardinality | Set1 | TypeMismatch |
| f1ec5a4525dd4b20a99b83be66831e8c789ee63c | BagBagCardinality | Set1 | TypeMismatch |
| 8821dc728fa5a502f5e24dbded496c3863136f8a | BagBagCardinality | Set2 | TypeMismatch |
| cbf103ce9c12aa1d85954476c7cd6a0fe6662487 | BagBagCardinality | Set2 | TypeMismatch |
| fdf8b7246f2f5cb8ab1b58da2f5378c134bed609 | BagBagCardinality | Set1InDef | AlreadyCombined |
| 84c32dd9d69c722ccc6a4ca0ff59e0e5d4b9b042 | BagBagCardinality | Set1InDef | AlreadyCombined |
| 8db20e6b2682c1f3debb9c59f9ad8b74b6e60bf5 | BagBagCardinality | Set2InDef | AlreadyCombined |
| 5ed68245dc8df92ce2d1ddf9d759e42b6b1223c4 | BagBagCardinality | Set2InDef | AlreadyCombined |
| 2b6f63ae37c238e3b202a6fa9535e7509f717435 | BagBagCardinality | InDef0 | TypeMismatch |
| 57aad29b8f3a1f783a9650e290d62e93704e56b7 | BagBagCardinality | InDef0 | TypeMismatch |
| f5a72cf8af46b6eec76ff18971c712dca1073aa3 | BagBagCardinality | InDef1 | TypeMismatch |
| ece3748e00b14be6969b5b003656013ccf3c2744 | BagBagCardinality | InDef1 | TypeMismatch |
| 08431de2f9ddedfd4d959f95a628db4db1c52d23 | BagBagCardinality | InDef2 | TypeMismatch |
| 13b2e3da22e1de2bafdc09a04263ae67a4805385 | BagBagCardinality | InDef2 | TypeMismatch |
| 183285e94dbd624639b6efd8f1685d25d1877745 | BagBagCardinality | Fun | TypeMismatch |
| 02b8285e8224b05e506dca1b1631f4e081a7bf3a | BagBagCardinality | Fun | TypeMismatch |
| 525c41c2cc8ede77e5e80a418eae81f74b02b47a | BagBagCardinality | FunInDef | AlreadyCombined |
| 0543490be4382ddfe283caf34584543a4f5e87da | BagBagCardinality | FunInDef | AlreadyCombined |
| 598ea2f7116a684412c8d842b25795bbf2db8d9c | BagBagCardinality | In | TypeMismatch |
| 295e23f360787161d34931af3d152700bac76cd6 | BagBagCardinality | In | TypeMismatch |
| d9a2b727449d38222bf70ed9a809f917a57a6be6 | BagBagCardinality | NotIn | TypeMismatch |
| 106b5616198400d217c51956ec3dd756a6d461d7 | BagBagCardinality | NotIn | TypeMismatch |
| 3e3699850362e3c2266a27c3d97e2e65dc188c86 | BagBagCardinality | Exists | TypeMismatch |
| 525da6e6e4928855a7f77d07d8c6f738428bff8b | BagBagCardinality | Exists | TypeMismatch |
| d77fc7fd722e0f8c4267f00ace4747c991043935 | BagBagCardinality | Forall | TypeMismatch |
| b1e3b324a83c06ba846fc7b003fb683d4a15e24f | BagBagCardinality | Forall | TypeMismatch |
| c50d80fdc550f2381561fc5068617e53cfe5acc6 | BagBagCardinality | ExistsInDef | AlreadyCombined |
| 229c612a883e85f85ff333b91fa04a002d1e68c4 | BagBagCardinality | ExistsInDef | AlreadyCombined |
| 58d59144689d1c1ba2deadc536682226171a870e | BagBagCardinality | ForallInDef | AlreadyCombined |
| 98f5c329c99e9fd3a56619a64981772d2c6e75e0 | BagBagCardinality | ForallInDef | AlreadyCombined |
| 22ff49e6a3b813b4fe560ff88a3ada436702ce93 | BagBagCardinality | ChooseInDef | AlreadyCombined |
| 436062fbc81a93f3ea61b05255c9c06feacd93e9 | BagBagCardinality | ChooseInDef | AlreadyCombined |
| e00aad11cde8deb05e6571d768fdcd72e838701d | BagBagCardinality | Record | TypeMismatch |
| 86fb626ec30fe7e7fb98ee462f840b8b4b16f9c7 | BagBagCardinality | Record | TypeMismatch |
| ef8ce3f40e9a48708c6615eb790bd568a4e542bb | BagBagCardinality | Tuple | TypeMismatch |
| 638e9e629db1d7bc6ea44a62f089e05c640f4b42 | BagBagCardinality | Tuple | TypeMismatch |
| 622c14edae5c79b09fd6d3c4cf64559e902cdeea | BagBagCardinality | TupleEmpty | TypeMismatch |
| 2c355583cdec5057fede26119945e5c19984a3c4 | BagBagCardinality | TupleEmpty | TypeMismatch |
| 587c5382936ef14dd6f3a9936facb3d54dadd829 | BagBagCardinality | Except0 | CanNotBePlug |
| e02bf3bc16b547b1b44758a8a5cdb02552c9f2ff | BagBagCardinality | Except0 | CanNotBePlug |
| 52882a40cd0924aef34091d5d2c44fb0d955bd3b | BagBagCardinality | Except1Fun | CanNotBePlug |
| ff9c299168172ac4dfdd7c98c3fa7de9b07d9de3 | BagBagCardinality | Except1Fun | CanNotBePlug |
| a1a187358311ecff25558d79e4cf81f124fa6a23 | BagBagCardinality | Except1FunWithAt | CanNotBePlug |
| 09ee842137ff59e703b21fa63693fb4f8770361d | BagBagCardinality | Except1FunWithAt | CanNotBePlug |
| 3e4ad41697f12a932b397dacb6a082c4eabc13b7 | BagBagCardinality | Except1Rec | CanNotBePlug |
| 75a36a7544bdba3419fde4df2d6103343061bf44 | BagBagCardinality | Except1Rec | CanNotBePlug |
| bf9d01a0399a2fc8648106a875636cdf9aea083a | BagBagCardinality | Except1RecWithAt | CanNotBePlug |
| d0050bdfcb78183f9218cac5d6981facf72a2ffb | BagBagCardinality | Except1RecWithAt | CanNotBePlug |
| 7fc7ae42a3893eb18083bf1fb5d6b9c40f81bb82 | BagBagCardinality | Except2Fun | CanNotBePlug |
| a1e3cbd527e4e6a1647ac071ea86d2f00195de79 | BagBagCardinality | Except2Fun | CanNotBePlug |
| e2a5d7420123fc70e7c18490855c423619281933 | BagBagCardinality | Except2FunTuple | CanNotBePlug |
| bc766a3120e3ec3cd5c739042b04e259f72cdd5c | BagBagCardinality | Except2FunTuple | CanNotBePlug |
| 27dc462071d46878df02b193221765fbe787c3d3 | BagBagCardinality | NumZero | TypeMismatch |
| 38a9f473bd44ed6ab0afd4e2e0fb528e2b4cc179 | BagBagCardinality | NumZero | TypeMismatch |
| ab556205b2f33cbff2e47a679444651b4155ff78 | BagBagCardinality | NumOne | TypeMismatch |
| 5c387cb8982ec9c1e1c0a293b48763023f20405d | BagBagCardinality | NumOne | TypeMismatch |
| 48e38410eb1a42cd35e4695e360a55e8cbd14f38 | BagBagCardinality | NumMaxInt | TypeMismatch |
| 8696ae33c5662abbef7c4a952b11aa37628ee64f | BagBagCardinality | NumMaxInt | TypeMismatch |
| af5e7989446762cd3d685b93bae587c2688ce728 | BagBagCardinality | NumUnaryMinus | TypeMismatch |
| a71e875fa7b9a31511b11d3126842bddc787c328 | BagBagCardinality | NumUnaryMinus | TypeMismatch |
| 3e2c3fce488aab55f2aa875049eade0e1950137d | BagBagCardinality | NumPlus | TypeMismatch |
| 4d16f82c48e6700dff8501af7fbefe92d102dad7 | BagBagCardinality | NumPlus | TypeMismatch |
| c847a858f3e6cea56f5ed43b3344d5d66cb68971 | BagBagCardinality | NumMinus | TypeMismatch |
| 91cdefc39e661f2ef15693c6f8c0e58ec593cf1f | BagBagCardinality | NumMinus | TypeMismatch |
| 6c90ba4bc75355a9b7a49483a5b7f4b89a9bde78 | BagBagCardinality | NumMul | TypeMismatch |
| cce2a34514b069a1e448946344e7cb9639a95eae | BagBagCardinality | NumMul | TypeMismatch |
| 1432362a1650f7db8f816537662b25ca25a4f1a4 | BagBagCardinality | NumDiv | TypeMismatch |
| ee27f73b662371a78005b8c0cd9c35062607c337 | BagBagCardinality | NumDiv | TypeMismatch |
| 45e38010879c09304853970ff97c43318d6a8180 | BagBagCardinality | NumMod | TypeMismatch |
| 2fc2208644d295071670e0e3785f7354a1a47f57 | BagBagCardinality | NumMod | TypeMismatch |
| 39ad785e27b910f57b67e0ce5ab986b37b505d93 | BagBagCardinality | NumPow | TypeMismatch |
| 43a02acff32b483ae49ed994c336ea90d0d01c59 | BagBagCardinality | NumPow | TypeMismatch |
| 32c2adadd4de2eef1f53a40af083943d8564b779 | BagBagCardinality | NumGt | TypeMismatch |
| 5e3ed34d99b46e75ac7e2c0ec6b2bcc3a4d3f549 | BagBagCardinality | NumGt | TypeMismatch |
| 1020c43bc9a06bcf0d41d7dacecfedf28ba3721b | BagBagCardinality | NumGe | TypeMismatch |
| 103615af061c6874954377362d9333fe0e34c153 | BagBagCardinality | NumGe | TypeMismatch |
| 53111988e5be7d7925cc5dc77f5716fe2555ef73 | BagBagCardinality | NumLt | TypeMismatch |
| 9fce2eda7c62dfd5df9382688dbe34cb27195329 | BagBagCardinality | NumLt | TypeMismatch |
| 29a854a271fb8f69eecfc258853b753c36418083 | BagBagCardinality | NumLe | TypeMismatch |
| d2e41112dd2bb37eaec0e431aee42c4a11f378b0 | BagBagCardinality | NumLe | TypeMismatch |
| 09710dee7ffa34cee272e7c047c8535ae7d5cc3e | BagBagCardinality | DefFun | TypeMismatch |
| 586b656e6d77ac73c69cb35be539d0df29a13b27 | BagBagCardinality | DefFun | TypeMismatch |
| de233be7561dbf4d4f4ffaeb7747575dbd355c1e | BagBagCardinality | LetDefFun | TypeMismatch |
| d98ee9931e7099dffc5892010f702cb011adde30 | BagBagCardinality | LetDefFun | TypeMismatch |
| a67f43738d1dd91fa25e84776f5cae7ed9237adf | BagBagCardinality | DefFunRecursive | TypeMismatch |
| 303289aa74f90b25d61439ac9ea1b9b299163d94 | BagBagCardinality | DefFunRecursive | TypeMismatch |
| eff24ca82a0739454c885a0ab10f4a12c1c6359e | BagBagCardinality | LetDefFunRecursive | TypeMismatch |
| 50767fbb0fa07c7c0499f8a066455a43e9a3b025 | BagBagCardinality | LetDefFunRecursive | TypeMismatch |
| 81812b9461632981cb66955475362936258df3c1 | BagBagCardinality | DefFunInDef | AlreadyCombined |
| 15f3b246f5e3485d1633cf24b3263f0263a1411a | BagBagCardinality | DefFunInDef | AlreadyCombined |
| e2279850542888aac7559b05f62e594d7464e308 | BagBagCardinality | LetDefFunInDef | AlreadyCombined |
| 63968cbfda1dfdd2102c36348637bbe4d5f61f2c | BagBagCardinality | LetDefFunInDef | AlreadyCombined |
| 785904a60c2936c8d97e362e661ac1e328f256d9 | BagBagCardinality | VariableViewExclude | VariableExcludedFromView |
| df2d68564060aa91f0f9d618ef7a516536354c88 | BagBagCardinality | VariableViewExclude | VariableExcludedFromView |
| f0490f5959a671c8867c40122b0e8da827aac415 | BagBagCardinality | ConstantModelValue | ModelValueCanNotBeUsed |
| 3d6c209b64e31c0cf5048a959f5d0f4a71fd3358 | BagBagCardinality | ConstantModelValue | ModelValueCanNotBeUsed |
| dd6bd6a2da612c05aa0aaaa8a67b65af2ff54621 | BagBagCardinality | Enabled | TypeMismatch |
| 5e65b439ba7b3506f6ccbc8582d449cb79b84f35 | BagBagCardinality | Enabled | TypeMismatch |
| 11f670fafebb95be47e1c1ec41d9d78bbc961b0a | BagBagCardinality | Assume | AssumeIsNotEmbeddable |
| 5c35335e344c72ca6aeedf608a90f1ab5d6d716b | BagBagCardinality | Assume | AssumeIsNotEmbeddable |
| a3af4284bfbce9e3c88c91b5114232daa7a6ed5a | BagBagCardinality | AssumeNamed | AssumeIsNotEmbeddable |
| 925fbc39fd60faef79ddd47b5bd4680af32f6ba3 | BagBagCardinality | AssumeNamed | AssumeIsNotEmbeddable |
| 47f8c44f574cc1f6f061c52c77772e932c2ec328 | BagBagCardinality | Lambda | TypeMismatch |
| d1ef91696db311608dfc21de577d297645582251 | BagBagCardinality | Lambda | TypeMismatch |
| a32d58d99d576e27458366850420fb34e7652037 | BagBagCardinality | Cross2 | TypeMismatch |
| 221bb0b5ca740605752763c1ac1bd769d99ae1e3 | BagBagCardinality | Cross2 | TypeMismatch |
| be6277d668260d986178b9e62c32c9e1e3deaa55 | BagBagCardinality | Cross3 | TypeMismatch |
| a1e1e3ade227709fc7d46b1a624a38bee48601c5 | BagBagCardinality | Cross3 | TypeMismatch |
| 5d89604b6ddba0b200b5a9b9feb3ee8d6f7fc5af | BagBagCardinality | FunSet | TypeMismatch |
| 4c7e13ccd9236d3a595bd20b0eb8de280dc212d7 | BagBagCardinality | FunSet | TypeMismatch |
| 1aa61c42770904c8fb61d79625406af419c07a41 | BagBagCardinality | RecordSet | TypeMismatch |
| fa4873e84e984b5852d0f786efb5bbf199f7a3e9 | BagBagCardinality | RecordSet | TypeMismatch |
| f15e1f43fcaf76c968d61807db1f68859d764c1d | BagBagCardinality | SetDiff | TypeMismatch |
| 5fe99ec698b48ccd2dff2cbaaa675ca61e9aaca5 | BagBagCardinality | SetDiff | TypeMismatch |
| 3776b2dec42a59d65e5180e55dface62e466aff1 | BagBagCardinality | SetUnion | TypeMismatch |
| 414a4f8e40b9e0a0b9d5d947b2c3af8c335ff980 | BagBagCardinality | SetUnion | TypeMismatch |
| 04e5c8ff4616a83f8db9b21ced681cf6fd388e0d | BagBagCardinality | SetIntersect | TypeMismatch |
| 072b89927b43bf13d8d4b460bbd9b3708853ad94 | BagBagCardinality | SetIntersect | TypeMismatch |
| 1fa2733b2e93b945c3c5e677028c43cf86010a37 | BagBagCardinality | SubsetEq | TypeMismatch |
| 0a605fcf22e10c56ac8b3f024eb85c96e4288b65 | BagBagCardinality | SubsetEq | TypeMismatch |
| 76201768d5a8f8981d1c6755708c6721726e1c58 | BagBagCardinality | Subset | TypeMismatch |
| 73e3c57345b12fe9eddcf3e63b88ce1cb37484e2 | BagBagCardinality | Subset | TypeMismatch |
| 93ed23f54e9e6450b2d6017c4ab9b06a8cc06aa4 | BagBagCardinality | Domain | TypeMismatch |
| 78d21524ae576d8b5f67415dbe8a2479b342bc59 | BagBagCardinality | Domain | TypeMismatch |
| db1b0224c3d880a3b64263ce34e4930a05c9dfe9 | BagBagCardinality | Union | TypeMismatch |
| b5ef5cc12a93429db71bf655a69c442cec4cab3b | BagBagCardinality | Union | TypeMismatch |
| fbb9f705ba020492085e1ce40ed031310790f76b | BagBagCardinality | Unchanged | TypeMismatch |
| 5c30914210a96851eae327626bb3b8fd8643fe6f | BagBagCardinality | Unchanged | TypeMismatch |
| fe33e7a404b24dba27e449c2659f8f77a080110b | BagBagCardinality | Equivalence | TypeMismatch |
| ee50f84349869a00529585715e5250deaa4a6846 | BagBagCardinality | Equivalence | TypeMismatch |
| d5cb4c43bc422889a71efca72e0c0e7a613497a1 | BagBagCardinality | StringEmpty | TypeMismatch |
| 16113e10e0903369582f1d5d708e566b07715f54 | BagBagCardinality | StringEmpty | TypeMismatch |
| 20f286e0b47547613d13eb6fabd15749c2953723 | BagBagCardinality | String | TypeMismatch |
| 339b2025bdf2fd6b6034ce74e98b19c3ec73901d | BagBagCardinality | String | TypeMismatch |
| be8a263136a8270015589712f582864fdd5eafa3 | BagBagCardinality | SeqLen | TypeMismatch |
| 339c6dc3be8bc6ccc30d98a7d65fd625f50f5135 | BagBagCardinality | SeqLen | TypeMismatch |
| eda060488c8c585014ee6f197c9e13742caf3c46 | BagBagCardinality | SeqConcat | TypeMismatch |
| 9451d6cbf6aabc1e37f730113819cb290753c251 | BagBagCardinality | SeqConcat | TypeMismatch |
| 7cdf0dd935d85e3fbb441677798677907f7c1c06 | BagBagCardinality | SeqSeq | TypeMismatch |
| 029a5b79fcc39cef6396971072b3d07f82f12656 | BagBagCardinality | SeqSeq | TypeMismatch |
| 409ca4d10bb5fa5e082e20b1390bbdee345efd79 | BagBagCardinality | NatSet | TypeMismatch |
| f1ec1322a8b6e4ad6fc672cbcd17d0adaafa8248 | BagBagCardinality | NatSet | TypeMismatch |
| a408e7ed00fa9dd335bc3145b2e777499ec5d016 | BagBagCardinality | IntSet | TypeMismatch |
| f4c760662c74d48cb19da2a124f07b968a60f362 | BagBagCardinality | IntSet | TypeMismatch |
| ae619455a238082e8d2b3aa9d12314404d9f0443 | BagBagCardinality | StringSet | TypeMismatch |
| a6da64b498500d5e33e255495a8e1403eaec125b | BagBagCardinality | StringSet | TypeMismatch |
| 5b1a8d565b51e768460090fcdff841fb1b40e956 | BagBagCardinality | SeqSelectSeq | TypeMismatch |
| d69a5ecfb6b450de7a32346dadb1b5c95bf58a9a | BagBagCardinality | SeqSelectSeq | TypeMismatch |
| 2a8692bb703aba79823125b1f26b7248f6de364e | BagBagCardinality | SeqSubSeq | TypeMismatch |
| 1b681785982a26d679a646dbf2924924b2adbe7f | BagBagCardinality | SeqSubSeq | TypeMismatch |
| 06f7b68d8d98b17abec949244c6d97b4669d8d5e | BagBagCardinality | NumRange | TypeMismatch |
| 41347fbf50043f1ffd63809d60c57a47ee03c703 | BagBagCardinality | NumRange | TypeMismatch |
| 833e6d8625a6131988b0a9310fa0eafa6d228405 | BagBagCardinality | TlcSingletonFun | TypeMismatch |
| 5544eb6d94c34fbdc96706bc10e21c4008c8edc6 | BagBagCardinality | TlcSingletonFun | TypeMismatch |
| b970bf69568335105b2b9e0bf9d436dd1cfbf7bf | BagBagCardinality | TlcExtendFun | TypeMismatch |
| e35be16302c412d390f079f737bea265717aff15 | BagBagCardinality | TlcExtendFun | TypeMismatch |
| 7ea842a5bff398e04ed31fd884362e0b0fe259a2 | BagBagCardinality | TlcPermuteFun | TypeMismatch |
| 85f00a3b5402a82e6751854c36f60c289bcb8de7 | BagBagCardinality | TlcPermuteFun | TypeMismatch |
| 4b38da512e45993db9d1785caa64601249ed949e | BagBagCardinality | TlcSortSeq | TypeMismatch |
| 6e219212a6b0c972e4e787d32b7ffbb055ca648d | BagBagCardinality | TlcSortSeq | TypeMismatch |
| 9ac80ed8c7fd1e240d591aae6ba76e6da97e8e6a | BagBagCardinality | BagBagToSet | TypeMismatch |
| 13446204ba69e2861761278239482dd132ccf4da | BagBagCardinality | BagBagToSet | TypeMismatch |
| 07c371f610e92cffcac323eb6ef8b42d96a81124 | BagBagCardinality | BagBagIn | TypeMismatch |
| 6b187ab783a59e6826a848df396ad658f37dfa33 | BagBagCardinality | BagBagIn | TypeMismatch |
| 3c2a4a1288bad8bda1dd21f6c984da98a62009c5 | BagBagCardinality | BagCopiesIn | TypeMismatch |
| 1cb108da28bc26feb002894614a560e4daf9fd26 | BagBagCardinality | BagCopiesIn | TypeMismatch |
| d8f49b43da7177ef668463d18978f939d75bf8ea | BagBagCardinality | BagSubsetEqBag | TypeMismatch |
| cb47f6238a8b294e8a4783f91f824a42253d0760 | BagBagCardinality | BagSubsetEqBag | TypeMismatch |
| bb0db1a2d474c3a5ee2954cfe5f5821ee76578fe | BagBagCardinality | BagBagCardinality | TypeMismatch |
| 62cb3271086cad1e3ecfad129e9d9064012a9fd0 | BagBagCardinality | BagBagCardinality | TypeMismatch |
| 2aabea284bb37047bc6614a8253a05b7fc667579 | BagBagCardinality | BagSubBag | TypeMismatch |
| ff1287c134b600ae2e4fff425b06f4f10efcdcca | BagBagCardinality | BagSubBag | TypeMismatch |
| 39f026e27f1ecc3e91a9b50a826c3698d6443ad4 | BagBagCardinality | FiniteSetsIsFiniteSet | TypeMismatch |
| f4ed1202727255a5da6985b1e4034c5ce0015d7a | BagBagCardinality | FiniteSetsIsFiniteSet | TypeMismatch |
| 39fe050d2d168da15d83037ef7953268263f8171 | BagBagCardinality | FiniteSetsCardinality | TypeMismatch |
| 36ea45db0f288c39fe95eef5b1250069d9442499 | BagBagCardinality | FiniteSetsCardinality | TypeMismatch |
| 00a7081fcc494e0685f7f2ac14c5f1bcf89e0245 | BagBagCardinality | SeqTail | TypeMismatch |
| 62bf50fe1ecdbc8c8206438b8b49f758173622a5 | BagBagCardinality | SeqTail | TypeMismatch |
| 474233562f06a51681978519bd3f44feb92e1e02 | BagBagCardinality | SeqAppend | TypeMismatch |
| 20dd0f8b2b28a13a1e33f9e0e92239dc751dd39d | BagBagCardinality | SeqAppend | TypeMismatch |