Index

Skipped feature combinations by case feature SeqSelectSeq

Id Case Feature Plug Feature Skip Reason
8ff9e3271f71f07e3e0a8f0c6c1044b9fefe25a5 SeqSelectSeq OneLineComment TypeMismatch
ebfa3d6de1876d6dcf3c6f5cb9f99e1220e70647 SeqSelectSeq OneLineComment TypeMismatch
81a64cae9cbfd7dc36baaa0ba68d3bfc8a81bf0c SeqSelectSeq MultiLineComment TypeMismatch
e7dfa5bd283e2f3e25738c3d5a0efb0a7deed984 SeqSelectSeq MultiLineComment TypeMismatch
7543cc58965435036e305e1d775a81fb0ce0d533 SeqSelectSeq BoolTrue TypeMismatch
59aaecef333d42131c495d9c63eb9d249bbb8556 SeqSelectSeq BoolTrue TypeMismatch
5c122afe686679206e9d0f2182b7a3ae697fb3f0 SeqSelectSeq BoolFalse TypeMismatch
5824c47682e76c9d095de538c0055d309f755b8d SeqSelectSeq BoolFalse TypeMismatch
6f7eca6f0bd557883545bc4f87998fdfcddba6e8 SeqSelectSeq BoolSet TypeMismatch
9ed40a5baea1b9b45dbe9dcefe3e7288798f5b64 SeqSelectSeq BoolSet TypeMismatch
89e764efa8fa2cddbd3d70d2575b4b3ff42474b2 SeqSelectSeq And TypeMismatch
132fd2799944eefb065c9bb1de1e601e5c38ab7d SeqSelectSeq And TypeMismatch
1fe495a0a8064023970fe37651f8e7b00db4604b SeqSelectSeq AndMultiLine TypeMismatch
c99c069f288c5f7456e5973884353bc94e7bd78b SeqSelectSeq AndMultiLine TypeMismatch
8089f6e9502c1d6fd192957166f02e5e239d4c27 SeqSelectSeq Imply TypeMismatch
8a7af3dadcafc6f5af253c24452fcbe4ff586dda SeqSelectSeq Imply TypeMismatch
3d5e17ccceb7403b570ec5cb3f69502b1c3d93ca SeqSelectSeq Not TypeMismatch
2e00bb6407a953f8d741fef9afbd19712c18b889 SeqSelectSeq Not TypeMismatch
1632003acdbde259724d545fd5e356781563ff9a SeqSelectSeq Or TypeMismatch
470a7552c6594f1a5411a4d2a7303e897e40e55e SeqSelectSeq Or TypeMismatch
ab6e19e66686773c8c904edcb6bc466b8b24b227 SeqSelectSeq OrMultiLine TypeMismatch
3734a37133dd8c5d423fc24ef1a266cb568aee48 SeqSelectSeq OrMultiLine TypeMismatch
9eb38de564ccaf701f970497e9d284d2650f95df SeqSelectSeq AndProp KindMismatch
b9bd71d50c6a343d4576dcd66580ec901b1e1926 SeqSelectSeq AndProp KindMismatch
3b468f21942711413c3f905894f949d705bd9451 SeqSelectSeq Boxed KindMismatch
a0c466cb7cdf8159504547411c239eaffa1014be SeqSelectSeq Boxed KindMismatch
dda981e39aec8b9701512f89cab613a2c016f8fd SeqSelectSeq Eq TypeMismatch
9b7835c694cf21bea8ae7a62528377d5fc92b981 SeqSelectSeq Eq TypeMismatch
972788a63745b7ef07af3bea901ba60aa529873f SeqSelectSeq Ne TypeMismatch
620ef177cdd5e1dc853011f2e00f7b8bbf2d08f5 SeqSelectSeq Ne TypeMismatch
87239e8e090cd4498bca2d741d4e6d593077a4e7 SeqSelectSeq SetEmpty TypeMismatch
eea7c5b8e4f98df42bf4c990e9cf406fb077bfc3 SeqSelectSeq SetEmpty TypeMismatch
e1d2f009eb9b1e42cc77ff929081d631e8810d7e SeqSelectSeq Set0 TypeMismatch
7e79ca1c36b9f0964c100091eb9d730fd4f86e9e SeqSelectSeq Set0 TypeMismatch
98a4a214737f6e331bd89045391f5e5436bc98b4 SeqSelectSeq Set1 TypeMismatch
2552b8f921f7fc07b63abbf46d83a2a9465025ce SeqSelectSeq Set1 TypeMismatch
39458e40fffd5c25979022d809657d5b8756a2b9 SeqSelectSeq Set2 TypeMismatch
c63a4cf0b107d962e1ce443a0b7723113dc1971b SeqSelectSeq Set2 TypeMismatch
b24f246448b59fe94d565a847f32002abcff536e SeqSelectSeq Set1InDef AlreadyCombined
edf860a973fb10530f746921409ed178462e3afa SeqSelectSeq Set1InDef AlreadyCombined
8d5616b7976afe9a54ed7e1d1b50e1b26d6566df SeqSelectSeq Set2InDef AlreadyCombined
bec017ff3f1110a15c61f712811a78e840c78f1d SeqSelectSeq Set2InDef AlreadyCombined
c1b7af9456034af763329093ef99b219e9f0379a SeqSelectSeq InDef0 TypeMismatch
b03894a9c3030340f9af525306237785a233d74a SeqSelectSeq InDef0 TypeMismatch
014e2859085b1e7b878ff593021a54dba93bb82e SeqSelectSeq InDef1 TypeMismatch
dcfb0ac68e7a7b5879aded2e1bcd8ab296502440 SeqSelectSeq InDef1 TypeMismatch
7cbe854e3f084eea683ad4538285f33d96b341da SeqSelectSeq InDef2 TypeMismatch
5726a00f352a6546820371c3612f92c7da6fa1bc SeqSelectSeq InDef2 TypeMismatch
f9347d3f401e831342ae896925ede7474c203d77 SeqSelectSeq Fun TypeMismatch
6daada9f351fd18b3a10417be1721a6745dd78e5 SeqSelectSeq Fun TypeMismatch
680f1a2354d3f4eabe8c22ce0cef96bd78d73fca SeqSelectSeq FunInDef AlreadyCombined
da5f9930027e0ab2305302550db4ee73dc5e6155 SeqSelectSeq FunInDef AlreadyCombined
1d744409b3776fa756e5ab326ce09c957f3f47ae SeqSelectSeq In TypeMismatch
38cf26f58405dea1be1c482b2480f8a033b2d024 SeqSelectSeq In TypeMismatch
97bc5a8a5c7e68ee0164e6131967729ba6f249b7 SeqSelectSeq NotIn TypeMismatch
d082f08b83f88200530f2fb379c61bff7cffe084 SeqSelectSeq NotIn TypeMismatch
438dbf739fddf5786bcd4e37c058fc05c5e6aa81 SeqSelectSeq Exists TypeMismatch
e1dbfbc9d7f0835ca22f490f14d1f34bcb9e1269 SeqSelectSeq Exists TypeMismatch
3b355df0b4fed349521b800c32b5d530e8bb8237 SeqSelectSeq Forall TypeMismatch
19a08f8662a2dbf629618e34308c3122951c3e3a SeqSelectSeq Forall TypeMismatch
e0fbb7c565cd78006d4fc4dcfce2f715007c8dff SeqSelectSeq ExistsInDef AlreadyCombined
49274239be6a28eaa6cf13b669f65bd4dc7087d5 SeqSelectSeq ExistsInDef AlreadyCombined
2a28cdf0ff039fd355ac14cb8caf0b93da04c9f1 SeqSelectSeq ForallInDef AlreadyCombined
b375e2de743df5689692b74ab48d7f158a0d506f SeqSelectSeq ForallInDef AlreadyCombined
69faf3f245f28fa0801fbf70a3118add14499dd9 SeqSelectSeq ChooseInDef AlreadyCombined
a9d5b802f149d59c615b34a10c54e2d9e9cd2466 SeqSelectSeq ChooseInDef AlreadyCombined
852777cc25655dac0d6f1cbbe4f78258225204a9 SeqSelectSeq Record TypeMismatch
5abb2a56ad97c65f11785d539b7efae6edeb9f73 SeqSelectSeq Record TypeMismatch
9e2457844cbd999e34732e18aaeffcb5b1d41938 SeqSelectSeq Except0 CanNotBePlug
c870f5121f43215748000474188edab0e33d09fd SeqSelectSeq Except0 CanNotBePlug
a916b521e04b48fd5146c419a002a85d9ce1ae29 SeqSelectSeq Except1Fun CanNotBePlug
b989ab2ceaee1122b9514cbd4d690f4de321b94b SeqSelectSeq Except1Fun CanNotBePlug
5f4c15f06585892ec231acfcb5ee1acad867e330 SeqSelectSeq Except1FunWithAt CanNotBePlug
e1a2886f37dde90009e21f5e3a63e104fdf3b6e5 SeqSelectSeq Except1FunWithAt CanNotBePlug
59e84174697504feb62f891700287cf9d136c2e2 SeqSelectSeq Except1Rec CanNotBePlug
695e0cd53ebfaef744bb141d3305f39385e18caa SeqSelectSeq Except1Rec CanNotBePlug
7f33675fcfe6265ebf348eb62385af683f7e20f9 SeqSelectSeq Except1RecWithAt CanNotBePlug
75878c250f3f9cac6077b3d92cbff040b2351b67 SeqSelectSeq Except1RecWithAt CanNotBePlug
c961c72db6909f97abdc74bc2f541d1f2b38246b SeqSelectSeq Except2Fun CanNotBePlug
6386acd896bfb27775e8e46792444bdc7b260433 SeqSelectSeq Except2Fun CanNotBePlug
f11bd73585c597223acbe26cf250f897ad2ebfa6 SeqSelectSeq Except2FunTuple CanNotBePlug
0988a785c1b1a5c56aa12499c83547c3d9a16f1b SeqSelectSeq Except2FunTuple CanNotBePlug
ed278dd6e447d7131e4b4dc010c0ce2c860f14b1 SeqSelectSeq NumZero TypeMismatch
67363470acaca4798c544385f310a359c40079df SeqSelectSeq NumZero TypeMismatch
1199699b5cffdad702c4c6f3028c74d09409ac4e SeqSelectSeq NumOne TypeMismatch
a95d9080f7866c495a2d1eef6356357539c7d994 SeqSelectSeq NumOne TypeMismatch
51a5ab30d4598717beca05ef4006d209f968fc18 SeqSelectSeq NumMaxInt TypeMismatch
479e11c6efcc050afe6f2c89de4b675d9ccc002e SeqSelectSeq NumMaxInt TypeMismatch
b3f8450feba148aaaee29338db53dd42ac133627 SeqSelectSeq NumUnaryMinus TypeMismatch
4f3bafa9f8cebefe8bdf839f60c195f23f515fb2 SeqSelectSeq NumUnaryMinus TypeMismatch
410d0dd50c88e6b7282b7f4cb0be75c3d4cdc7d7 SeqSelectSeq NumPlus TypeMismatch
e788ed531fa726cc0928d96fdd922727fa21e0a3 SeqSelectSeq NumPlus TypeMismatch
1e582fc765d6753cfed000f0ee696484d0c23d8c SeqSelectSeq NumMinus TypeMismatch
20bbeb6d6f0a06d982cd4cec672746f61d3196e3 SeqSelectSeq NumMinus TypeMismatch
db421781a9d4c7924dca4a5949b256734f33c789 SeqSelectSeq NumMul TypeMismatch
411cb8624fcece9827cb4c7c93468ec37b1f42ea SeqSelectSeq NumMul TypeMismatch
9accc16e1cb17d9943eb7aa838aa001eff9e1680 SeqSelectSeq NumDiv TypeMismatch
26ec7aac37fb38fb81ad4235d1572f147e3fbcc2 SeqSelectSeq NumDiv TypeMismatch
fa24a82ce9f1e9db062afcdf809e5648420752f5 SeqSelectSeq NumMod TypeMismatch
2b0054332ecfea564848e25467f74a105c338619 SeqSelectSeq NumMod TypeMismatch
0397cf12909f284aedc119ee3d6fd9c73aec0473 SeqSelectSeq NumPow TypeMismatch
0105a542b230d500c203b74f14e6c00261882869 SeqSelectSeq NumPow TypeMismatch
991bd65bc1bfc7f96c27715db1ab209bb0275095 SeqSelectSeq NumGt TypeMismatch
7de34c6acb8cb07846fab84573eefb937d1dac60 SeqSelectSeq NumGt TypeMismatch
606f3149c567bff00f5cb6aa48d53892ac6739e8 SeqSelectSeq NumGe TypeMismatch
0b5bf88d935cc3ee9650ec2c95e9434c2dd59d2b SeqSelectSeq NumGe TypeMismatch
9275114355c83bc287f225978ed51950359c6821 SeqSelectSeq NumLt TypeMismatch
2afef06551ea1625a598b98948e1f59e1a17fc84 SeqSelectSeq NumLt TypeMismatch
0dcc09ad2e66a3d4cabb78ee56ab65dcca7b154a SeqSelectSeq NumLe TypeMismatch
91d09e68aea11add04326f166628ccf235180895 SeqSelectSeq NumLe TypeMismatch
fd4574c9e60fe18c0b6c3cfc065d46888ccd1a83 SeqSelectSeq DefFun TypeMismatch
7dc072f9f5c434669fea9f6d15273eacecf6314b SeqSelectSeq DefFun TypeMismatch
665d628b4dc3712c7957f5bdd48a5b24026c4263 SeqSelectSeq LetDefFun TypeMismatch
d1dbc5dbd132b4c2298af71b5228b85b3c5d829d SeqSelectSeq LetDefFun TypeMismatch
ab6fbc80cc159eadfe49ec67fe5c202be95f1072 SeqSelectSeq DefFunRecursive TypeMismatch
455e03555e941cf6597f8e72f241f05f4bd752b6 SeqSelectSeq DefFunRecursive TypeMismatch
44b20c9ac2a38e9959787787d5adc5b9d919a3f8 SeqSelectSeq LetDefFunRecursive TypeMismatch
ba5c3b7fa68e82efd4288183d0d6dc896eeebc24 SeqSelectSeq LetDefFunRecursive TypeMismatch
57aa32c2e1f43e3318b3e11a77dc632b260e7572 SeqSelectSeq DefFunInDef AlreadyCombined
bbe62e2fafd99200b1234556218ecf32fb02de16 SeqSelectSeq DefFunInDef AlreadyCombined
b506e4d0e987becbda0fd575da8b7a2fdbc11ba6 SeqSelectSeq LetDefFunInDef AlreadyCombined
550badb00a28268b44dab6639485fea9904a5fe4 SeqSelectSeq LetDefFunInDef AlreadyCombined
f66de5d7ebecc937bf6d8030333ddfda2fcd5d88 SeqSelectSeq VariableViewExclude VariableExcludedFromView
f2b6ae4b1123dafc6fbe48ac4ba0296b75b7403d SeqSelectSeq VariableViewExclude VariableExcludedFromView
4007f5522befec06f8ada7fc0588a42c22392478 SeqSelectSeq ConstantModelValue ModelValueCanNotBeUsed
b4657a35bb4d00346a2ce36bd77767e79948bbfd SeqSelectSeq ConstantModelValue ModelValueCanNotBeUsed
106661fa93df8afa72ef2f8c85a9302128dd05f2 SeqSelectSeq Enabled TypeMismatch
db3454db34c124a31b80dda999f8199d8fa5a532 SeqSelectSeq Enabled TypeMismatch
e575a9f3a45978692737df62e94e9bd3aa602bc8 SeqSelectSeq Assume AssumeIsNotEmbeddable
6a8d13a621191404a6fd296e33b945f6f61583a3 SeqSelectSeq Assume AssumeIsNotEmbeddable
49ff59a04494eab32176d4eeabe7cf1d8c5609d6 SeqSelectSeq AssumeNamed AssumeIsNotEmbeddable
8230ff34521a0ae22f2cb82792bfb0f927fb6faf SeqSelectSeq AssumeNamed AssumeIsNotEmbeddable
96484ef05bb9f03c723cb32baa4d6154c27dd237 SeqSelectSeq Cross2 TypeMismatch
152484e8b45d7dc6f28316943162bf9eac07274e SeqSelectSeq Cross2 TypeMismatch
8c52e7777341680718e987fffada43d9d1120024 SeqSelectSeq Cross3 TypeMismatch
fc0a7e61ab7e18ba6d55f1a2ddffa62638dffc7b SeqSelectSeq Cross3 TypeMismatch
4ab63d871bd9e66a01ad397c86fbd06bf023b28b SeqSelectSeq FunSet TypeMismatch
9e2c947307e6fe2bb88ca175322a8bfa3f19d3a0 SeqSelectSeq FunSet TypeMismatch
035b2bb006b0583399289ef292e85f8c232c8c8f SeqSelectSeq RecordSet TypeMismatch
0a08c0cf773e3b8130c08f5a41af397ce16ff185 SeqSelectSeq RecordSet TypeMismatch
98bfa96017042892c47fbf9e05fd7ca775f0c224 SeqSelectSeq SetDiff TypeMismatch
8d0e074bf97f1f0242e737112adcab97562b1e66 SeqSelectSeq SetDiff TypeMismatch
503da02fd11679bfd50c2d9f6140a25bde99c836 SeqSelectSeq SetUnion TypeMismatch
2ef013403a06ee7a3d134f72ce130a8c1a73a0ea SeqSelectSeq SetUnion TypeMismatch
7471d78b238019621e872a7f565cb102ee13a643 SeqSelectSeq SetIntersect TypeMismatch
1fcf173956e7c14fd11c17ba1eb94c0b15ccb75a SeqSelectSeq SetIntersect TypeMismatch
20f282b01a47b3175e11aaf578747bdabec1258a SeqSelectSeq SubsetEq TypeMismatch
fae116aa4139f0384d815ae01cf6ad03046d444d SeqSelectSeq SubsetEq TypeMismatch
b044fca0ed8c3f4ad892f56d4071bbb8970e4fff SeqSelectSeq Subset TypeMismatch
85a4eadccb0f6c6ed9f5f54f403272a8a5c5f495 SeqSelectSeq Subset TypeMismatch
0860fc1d863a414f87e02c5066d91c6289014c46 SeqSelectSeq Domain TypeMismatch
86f99d95864573145c9d6cd9998f1f5d58c66438 SeqSelectSeq Domain TypeMismatch
382f69736d77faf8c10fd93a4c8b9e84e1794a58 SeqSelectSeq Union TypeMismatch
f212ae87349fa6f29b2e02c8295346b1fd2bf099 SeqSelectSeq Union TypeMismatch
89c6d234a982b05e7afcb41c05138c6d601d55c8 SeqSelectSeq Unchanged TypeMismatch
fa3176178d59b9fbbfe457ac7cfbb9304c0e6873 SeqSelectSeq Unchanged TypeMismatch
fc0747065e507d3744c7bce3b46a6607752dd885 SeqSelectSeq Equivalence TypeMismatch
218cb6f481a90dd3e5cbc4958baf735170bd024c SeqSelectSeq Equivalence TypeMismatch
8516f8b64cae8d945f5f9d3578def074904d1979 SeqSelectSeq StringEmpty TypeMismatch
2c5e990bce1c06e6f6469d33d5f8d942480ed9d5 SeqSelectSeq StringEmpty TypeMismatch
fd63bcdb6209a289701b708e90af3cec8fbf81e4 SeqSelectSeq String TypeMismatch
6eeaf1b3c7c4abed996a4bd6671c55b5a1ad6d56 SeqSelectSeq String TypeMismatch
619507209111e3db7eea4567f9791f0b09c00f5f SeqSelectSeq SeqLen TypeMismatch
58d1237e70d36f28baa084bfd5ee8cfe277fb911 SeqSelectSeq SeqLen TypeMismatch
d1b1e2baf8c6d316f4bb6a97b6ae8c2493045735 SeqSelectSeq SeqSeq TypeMismatch
8020559abb8eedf4e3e4a2d6d9e889d25e523a11 SeqSelectSeq SeqSeq TypeMismatch
5ab9be4c8db9cb6c6900b7eb17cf06f3ec871787 SeqSelectSeq NatSet TypeMismatch
77c86b79990adf8c2eed10b367706a626617dc88 SeqSelectSeq NatSet TypeMismatch
3c5f8f8e3a4bd5a32e835a270a8544fbb8bebdca SeqSelectSeq IntSet TypeMismatch
dcef90ab6df423cbf193e585fa4ed5fac8016708 SeqSelectSeq IntSet TypeMismatch
801e2ee824dc922e06b888d354abea84486c1514 SeqSelectSeq StringSet TypeMismatch
ba510a5301640ccaa582d2c584c190c2f94a9dcb SeqSelectSeq StringSet TypeMismatch
375b0103df21ec4e4c0815bbdea2a8409ae29a0b SeqSelectSeq NumRange TypeMismatch
53e5220764c3caf6e0f3cdd7cc6a3ae8eb611c06 SeqSelectSeq NumRange TypeMismatch
3c8b291cbe2ceaaa40026a08d0200af5be008f41 SeqSelectSeq TlcSingletonFun TypeMismatch
02d5fda389a9223034c384e3b657819e6ced6da9 SeqSelectSeq TlcSingletonFun TypeMismatch
458e0a8f089ac1a4f96f9f06c54c6831017e4062 SeqSelectSeq TlcExtendFun TypeMismatch
fdae1472022a1ac5829f77e68bd03ce65d2d642a SeqSelectSeq TlcExtendFun TypeMismatch
d694642c400d5ed689b91c6fb90f701a9e3afa47 SeqSelectSeq TlcPermuteFun TypeMismatch
16c36871979495a909519dd962ffb1cb38e69685 SeqSelectSeq TlcPermuteFun TypeMismatch
a113a42af6aeb095edf18f6626f88499b46ac230 SeqSelectSeq BagBagToSet TypeMismatch
e76fde3214b46a4dee26f8038a8745432d0777eb SeqSelectSeq BagBagToSet TypeMismatch
71b115ca62e5d67c3e4bb2d11b4973c2f47f90b8 SeqSelectSeq BagSetToBag TypeMismatch
a33084f229f5a638eb90b1d54c0bab5e3927c230 SeqSelectSeq BagSetToBag TypeMismatch
3e254b14a7150a3fbe1f7e64226267bdd6283d5f SeqSelectSeq BagBagIn TypeMismatch
44ea259bb0598b7cc1ce9f0eb53e401432519522 SeqSelectSeq BagBagIn TypeMismatch
b6f7dae4d19b6368e4087d8e55d6d84267de7946 SeqSelectSeq BagEmptyBag TypeMismatch
625884bacaf1d804658b72f9e12908164908276a SeqSelectSeq BagEmptyBag TypeMismatch
e63fab8c13855050c5f8b214574d77c0f7b23311 SeqSelectSeq BagAddBag TypeMismatch
926f792db186003f87ca42084def9e150dbc482b SeqSelectSeq BagAddBag TypeMismatch
ef2210b6b74af46e0c056fb57e21f2435723218b SeqSelectSeq BagBagSub TypeMismatch
fbd412f9c11bd6afc771310fff50b33c52e7a223 SeqSelectSeq BagBagSub TypeMismatch
357ba87e8a2d07fb23ca870456223316d03cba2d SeqSelectSeq BagCopiesIn TypeMismatch
bbbcce6a6cd138f8d75137af09f6d3e01561cabb SeqSelectSeq BagCopiesIn TypeMismatch
2f52818ce98906875282c841d8ae7193916f8b76 SeqSelectSeq BagSubsetEqBag TypeMismatch
db4f5620c08df334c8e24200db59c9a795d98224 SeqSelectSeq BagSubsetEqBag TypeMismatch
8b057e9ed21cd8df78389c7b33ab925fa66f06a5 SeqSelectSeq BagBagUnion TypeMismatch
b49ee054e45878f193f2e289935390b105344cb3 SeqSelectSeq BagBagUnion TypeMismatch
d18969d9bb27265363ae48d9e51ea5fe6e232f6c SeqSelectSeq BagBagCardinality TypeMismatch
194aa779b488b846e9f0305ede70f4ec85c34b29 SeqSelectSeq BagBagCardinality TypeMismatch
96a4f055681a8a4bae8ee3f30afa32d7f714f515 SeqSelectSeq BagBagOfAll TypeMismatch
44e719054217fc0a3bac806839089558e6775b19 SeqSelectSeq BagBagOfAll TypeMismatch
c96575e5acc0f424934693c11a82967cd2e65de6 SeqSelectSeq BagSubBag TypeMismatch
ffbf3345a964c7830a043063721ab9edc6437913 SeqSelectSeq BagSubBag TypeMismatch
d00b3b0758f57c9442f432c873fc291ae23966f6 SeqSelectSeq FiniteSetsIsFiniteSet TypeMismatch
60757ba3330acb59ef99f1a7dbd653fb98a20846 SeqSelectSeq FiniteSetsIsFiniteSet TypeMismatch
f101955d12340d5ae601ab8478503c4a2fb524e8 SeqSelectSeq FiniteSetsCardinality TypeMismatch
4e33e0366ebc3a81b0f4ce4671ddbab614d3abc0 SeqSelectSeq FiniteSetsCardinality TypeMismatch