| Id | Case Feature | Plug Feature | Skip Reason |
|---|---|---|---|
| 808db406e083eeb35edd581adddc3b1ffb72e754 | FiniteSetsCardinality | BoolTrue | TypeMismatch |
| cccfa9b83829403b35d63929b12b84e74aedf518 | FiniteSetsCardinality | BoolTrue | TypeMismatch |
| ea43196bf18c3bcb64eaef2048e6a2d2c3b0f6da | FiniteSetsCardinality | BoolFalse | TypeMismatch |
| 5f68e10cb26a339a0a44159fff8afa51bbbaa00e | FiniteSetsCardinality | BoolFalse | TypeMismatch |
| 870ccc01408a8128910ea7cc6598ca6b05f30edf | FiniteSetsCardinality | And | TypeMismatch |
| 10370ae144b43676a8de3e9d5882eb70d48f8590 | FiniteSetsCardinality | And | TypeMismatch |
| 51fb65596603af28d29e10e9ada18cf70099fa1f | FiniteSetsCardinality | AndMultiLine | TypeMismatch |
| 8cf2bfe22c061b2e2e19fabb1c74571c95b2a300 | FiniteSetsCardinality | AndMultiLine | TypeMismatch |
| 561afaabfd99fb189614561822e7a7901791d709 | FiniteSetsCardinality | Imply | TypeMismatch |
| a65ce9953a11ec478ae9436fc777c152deff7d6a | FiniteSetsCardinality | Imply | TypeMismatch |
| 2698ed7638040b35ae4d151c29ba542b44d95b20 | FiniteSetsCardinality | Not | TypeMismatch |
| fd24eaad2cfdbb61d9013f028efbbecab39f7ae4 | FiniteSetsCardinality | Not | TypeMismatch |
| f13dd13ecf46bb0470e966935f69c6e6d837bb46 | FiniteSetsCardinality | Or | TypeMismatch |
| fc38da838a746d4e68007e80850e8daa7011959b | FiniteSetsCardinality | Or | TypeMismatch |
| 5e5e5d24b13c12510e6de2caa7d7fa5873210c17 | FiniteSetsCardinality | OrMultiLine | TypeMismatch |
| 518dad3dd3660329361d9bff2f439c1429323225 | FiniteSetsCardinality | OrMultiLine | TypeMismatch |
| 28bcf7c2c247d1e02f2dc71673bccc59cb0ba393 | FiniteSetsCardinality | AndProp | KindMismatch |
| 5e4f053db5bba61618be15078616189db4e2c256 | FiniteSetsCardinality | AndProp | KindMismatch |
| f5e355fe571d7613d14ffc16d000417561056603 | FiniteSetsCardinality | Boxed | KindMismatch |
| ca45f03fb57175a691939f8f3155e8264149b5be | FiniteSetsCardinality | Boxed | KindMismatch |
| 55aa532bb08f4303847d108da372387e52296dda | FiniteSetsCardinality | Eq | TypeMismatch |
| 6d23bce48f6d0028418ce8df5c3d65ce7a8af25f | FiniteSetsCardinality | Eq | TypeMismatch |
| 21afb8264f9bc7ddadf98e15de783a09c83fa494 | FiniteSetsCardinality | Ne | TypeMismatch |
| 842b59fd66f211da4da4e1a622896341fe9b4eff | FiniteSetsCardinality | Ne | TypeMismatch |
| 0dee6fa4e3122f4392a61befdacd0566a93e1949 | FiniteSetsCardinality | Set1InDef | AlreadyCombined |
| 3ab9b992a80eb462fb568ab3cb0675d69a4cc17d | FiniteSetsCardinality | Set1InDef | AlreadyCombined |
| 8dba5071d30bb8e61a2fe81e7c01a956b424a687 | FiniteSetsCardinality | Set2InDef | AlreadyCombined |
| 913dbbf6a4ff40832e2173768daa6dffbfcaa5b2 | FiniteSetsCardinality | Set2InDef | AlreadyCombined |
| ed14bb87f0dd9a12ef4b5b1835b175a9705db709 | FiniteSetsCardinality | InDef0 | TypeMismatch |
| b6237d7133faad1e674e623a950d64e93ae8571f | FiniteSetsCardinality | InDef0 | TypeMismatch |
| 3d9d2642052fe64ba44c5a23aa22faec74040ff2 | FiniteSetsCardinality | InDef1 | TypeMismatch |
| bffd5d7e08e701952ec2ac0c8edfc880389a8fc7 | FiniteSetsCardinality | InDef1 | TypeMismatch |
| 5f04b93d330706f36b193b25f9ab30c6265c3f8d | FiniteSetsCardinality | InDef2 | TypeMismatch |
| 26ff4029aa3ebf70d8073670387b056f19783aa5 | FiniteSetsCardinality | InDef2 | TypeMismatch |
| 438d3a56cc6b2bc302f8318fce30541692cef27a | FiniteSetsCardinality | Fun | TypeMismatch |
| 68fd2910c6a86fbe922a3815a27fb2af6c621d94 | FiniteSetsCardinality | Fun | TypeMismatch |
| 9dc5cba944e65cd5499d8b0e083f5ad539c9c498 | FiniteSetsCardinality | FunInDef | AlreadyCombined |
| ce173b3f3deb42b99484a770ec4275922ca7cf11 | FiniteSetsCardinality | FunInDef | AlreadyCombined |
| 03e83a96a119412a4eae8e1ea9c6b7a2526c153a | FiniteSetsCardinality | In | TypeMismatch |
| f1d12445f61ef327784bb493ede9db228487ec9d | FiniteSetsCardinality | In | TypeMismatch |
| ab23797080d3a1cdba013d3af04a60fa974c27ae | FiniteSetsCardinality | NotIn | TypeMismatch |
| 0d9222443c1de046a19b28502595e9aaf16ab59a | FiniteSetsCardinality | NotIn | TypeMismatch |
| bc7bef071371ab558ee99f2bc4332956898b1c46 | FiniteSetsCardinality | Exists | TypeMismatch |
| 2783bca8f46de9825c60e74c5c5ada7f4cd17f3f | FiniteSetsCardinality | Exists | TypeMismatch |
| dba38c935de4cd3a4606560eee6ae13c824a3550 | FiniteSetsCardinality | Forall | TypeMismatch |
| f7ffb127477411a02015dfd7e91f5fbb27ee6711 | FiniteSetsCardinality | Forall | TypeMismatch |
| 3b9fbb8808885f0bb1481f1e38c27df0d049645b | FiniteSetsCardinality | ExistsInDef | AlreadyCombined |
| 12d632369dacb5d803cae03581b0f47fc1f019af | FiniteSetsCardinality | ExistsInDef | AlreadyCombined |
| b3671f44c2077dc3e62e0f23839f8bfec2da44e1 | FiniteSetsCardinality | ForallInDef | AlreadyCombined |
| 846f429ffaae1786105fa87a55d4e1acfb7f0736 | FiniteSetsCardinality | ForallInDef | AlreadyCombined |
| 6a8d8562a216b25338946129f665ab5b04bc6663 | FiniteSetsCardinality | ChooseInDef | AlreadyCombined |
| 53067599836a97af97eb309bcecfedf3f5dfaeb2 | FiniteSetsCardinality | ChooseInDef | AlreadyCombined |
| c6df7733b534c407500545f436f168f5323aa9c6 | FiniteSetsCardinality | Record | TypeMismatch |
| dc205bd15aa5f786292ba6bb76264cea2d54dcbe | FiniteSetsCardinality | Record | TypeMismatch |
| 762e0b23e7a0d45ebc601907edd99f3916c025ce | FiniteSetsCardinality | Tuple | TypeMismatch |
| fc176862eeab59c01b1ef6c194cb55cf10789691 | FiniteSetsCardinality | Tuple | TypeMismatch |
| 70ebc645d786a0881f7c0dee14ed77ec8d71f057 | FiniteSetsCardinality | TupleEmpty | TypeMismatch |
| 0928efe0cec69330b01f248eccbb172db016f492 | FiniteSetsCardinality | TupleEmpty | TypeMismatch |
| 288cfd07d8c0a1234029c1f670a3967429252ae9 | FiniteSetsCardinality | Except0 | CanNotBePlug |
| 979f656038846ca1f17a3034e2f3a70979ad377e | FiniteSetsCardinality | Except0 | CanNotBePlug |
| 1de1275697efec099c3674cbea9c9e99f5e40ccf | FiniteSetsCardinality | Except1Fun | CanNotBePlug |
| 4d3f9a6abee8640839ba3c864b8d68029f3b3da4 | FiniteSetsCardinality | Except1Fun | CanNotBePlug |
| 079c2df56d125f7d0d10bbca681cc6205904b66c | FiniteSetsCardinality | Except1FunWithAt | CanNotBePlug |
| a9b908ddebfdd53d70bca5e21bb6c6fb04b04154 | FiniteSetsCardinality | Except1FunWithAt | CanNotBePlug |
| 43c8d33e28047e1395316a917b0256a2476cc485 | FiniteSetsCardinality | Except1Rec | CanNotBePlug |
| 2f70d55ead33ae52eca98727a1cbc7689eab1991 | FiniteSetsCardinality | Except1Rec | CanNotBePlug |
| a21a17f2d850c02c291ce5522edaba274c1307d1 | FiniteSetsCardinality | Except1RecWithAt | CanNotBePlug |
| 14aed54f7eee0f7f5cffdb5239d996d41dae1c9b | FiniteSetsCardinality | Except1RecWithAt | CanNotBePlug |
| 17e7571f32517a3603a4f95e637af31581aca484 | FiniteSetsCardinality | Except2Fun | CanNotBePlug |
| a9d8f4c9ad8278f2d3588b9ed663797f976fa5d0 | FiniteSetsCardinality | Except2Fun | CanNotBePlug |
| 91d413094f024019778e48cd6c54df015045bef6 | FiniteSetsCardinality | Except2FunTuple | CanNotBePlug |
| 00aaa4852d35fd396accc83b22b6020b1c3853bd | FiniteSetsCardinality | Except2FunTuple | CanNotBePlug |
| af724653b773f38ecafb0e873cd35d3a3760bb0f | FiniteSetsCardinality | NumZero | TypeMismatch |
| 3f8712c6adadb6fc32ee60e4f73d6e752f9b866b | FiniteSetsCardinality | NumZero | TypeMismatch |
| 0e6d1a8521b708cb301512b1f87178e8dd9b964f | FiniteSetsCardinality | NumOne | TypeMismatch |
| 86cf0b89be9ab90a90a58d4b80196e9d9d6642c9 | FiniteSetsCardinality | NumOne | TypeMismatch |
| c8afaa227ea95f6b7bea5d9bc26c207c6b4e0fd6 | FiniteSetsCardinality | NumMaxInt | TypeMismatch |
| 17a631d9335a8b2373f2eea0af8f5c7f473ab277 | FiniteSetsCardinality | NumMaxInt | TypeMismatch |
| ea601d7cfacdc46fd66d2184925cc53350975acb | FiniteSetsCardinality | NumUnaryMinus | TypeMismatch |
| 18b52bc8491df400d201d5276898c4b0c7283ecd | FiniteSetsCardinality | NumUnaryMinus | TypeMismatch |
| 347ad9ed4b0921e24e1623dae6c310725de192fa | FiniteSetsCardinality | NumPlus | TypeMismatch |
| 00843376a6368ecab24f8dca39b33bb8ccb53143 | FiniteSetsCardinality | NumPlus | TypeMismatch |
| 0a5ad65485ca7d5993b0205d6a7ef39bb6772b55 | FiniteSetsCardinality | NumMinus | TypeMismatch |
| a133cede5d3096f7af6e77c7d7bebb03e3cebb52 | FiniteSetsCardinality | NumMinus | TypeMismatch |
| f7137f42e92c4a044f1a4ddfd899f01d3898702e | FiniteSetsCardinality | NumMul | TypeMismatch |
| 9cdaa2caf0d774e1fffebd2796b8b196edcf83ed | FiniteSetsCardinality | NumMul | TypeMismatch |
| ca08344fe16bebb2adf175fbeaff15e52a4cc3da | FiniteSetsCardinality | NumDiv | TypeMismatch |
| 71c4353688709c4e413f2f355d9ae90365ea1ac6 | FiniteSetsCardinality | NumDiv | TypeMismatch |
| 0171c444b5ed24b1d8a7fdd77776cb9da13c2699 | FiniteSetsCardinality | NumMod | TypeMismatch |
| b57e118993fdda62307fc28281850a1ab10ecaa8 | FiniteSetsCardinality | NumMod | TypeMismatch |
| e1e7096bc101c8847f2d8cf3a3704d01138a1437 | FiniteSetsCardinality | NumPow | TypeMismatch |
| e1ae77e8d3f59d094b477704813c37797c88bc48 | FiniteSetsCardinality | NumPow | TypeMismatch |
| 6cc10206f613524c0d366c1f7f492f2a3b9e5567 | FiniteSetsCardinality | NumGt | TypeMismatch |
| a2a99c1fda6ce839eb2b0a716716aa25f072fe93 | FiniteSetsCardinality | NumGt | TypeMismatch |
| 31007fb021df98d1ccb62eb404d374f29e090b6a | FiniteSetsCardinality | NumGe | TypeMismatch |
| 13af2720d58510c30902caf097822675009472fd | FiniteSetsCardinality | NumGe | TypeMismatch |
| 672c551c93e60ac1eb89cdaeb0c7c6daa9cc2262 | FiniteSetsCardinality | NumLt | TypeMismatch |
| e06fce09938cc78430a304381282a00be15cb63d | FiniteSetsCardinality | NumLt | TypeMismatch |
| 45774a462424b671ccdf2e849da0cd56e089b3fe | FiniteSetsCardinality | NumLe | TypeMismatch |
| 92799e37167a257481639618c88462954406550c | FiniteSetsCardinality | NumLe | TypeMismatch |
| 0d17044af4b1f8dce9a261cb148ea4741bc8de85 | FiniteSetsCardinality | DefFun | TypeMismatch |
| e1cb3f3f0d9e6b6d86f59f96a8a21e3d54434072 | FiniteSetsCardinality | DefFun | TypeMismatch |
| f7f4361369c3d9e1406d6ae363bbcdda50940fa0 | FiniteSetsCardinality | LetDefFun | TypeMismatch |
| 17ee98bdd1cc9bdbeb20cb4be60855876d1d11d4 | FiniteSetsCardinality | LetDefFun | TypeMismatch |
| 4da734e2ff7d85dae01d3403bfb471229714b9f3 | FiniteSetsCardinality | DefFunRecursive | TypeMismatch |
| ad0b2a3bdec20e5fa5217d0b0335e0ea2dc074b6 | FiniteSetsCardinality | DefFunRecursive | TypeMismatch |
| 8c7d0c10d63aaaaf0c7e615bce829ef997a6b921 | FiniteSetsCardinality | LetDefFunRecursive | TypeMismatch |
| 94e54f1fea12607c59aad8d7f59f208ee5d350f9 | FiniteSetsCardinality | LetDefFunRecursive | TypeMismatch |
| 79fbb8a745b66a9d93feb9bac57c87181c505535 | FiniteSetsCardinality | DefFunInDef | AlreadyCombined |
| fe23cd729f6cb76f087a5326693fe23994c1046b | FiniteSetsCardinality | DefFunInDef | AlreadyCombined |
| 294b5411fcbd13115d2c921ad776833af9f2da43 | FiniteSetsCardinality | LetDefFunInDef | AlreadyCombined |
| 1fe4765d21fa2aca9057e086691f9eaaaa90efe5 | FiniteSetsCardinality | LetDefFunInDef | AlreadyCombined |
| 0d1e0fd5a7823c760ca6dd0d07e56f1f33b8be88 | FiniteSetsCardinality | VariableViewExclude | VariableExcludedFromView |
| dffa8eaade352d900dbb45879addae7a89ee276f | FiniteSetsCardinality | VariableViewExclude | VariableExcludedFromView |
| 9bc5ecd4d5a79894dbae178a1eb0265ee74bfda7 | FiniteSetsCardinality | ConstantModelValue | ModelValueCanNotBeUsed |
| fa944ef22b4a9e8f5acda5c0945efd7bdd889d10 | FiniteSetsCardinality | ConstantModelValue | ModelValueCanNotBeUsed |
| 449ab51e3dc121037e7be71365d6d944823eadc3 | FiniteSetsCardinality | Enabled | TypeMismatch |
| 548966c8e9fbc62aadb1ac037c7216ab7006238d | FiniteSetsCardinality | Enabled | TypeMismatch |
| 44fe5495cd68ab10bd356899550805197837bf88 | FiniteSetsCardinality | Assume | AssumeIsNotEmbeddable |
| b47582511449a1844720c6c0958adba139a53d59 | FiniteSetsCardinality | Assume | AssumeIsNotEmbeddable |
| 16d2762473e991ce3402465cc33164845d21c965 | FiniteSetsCardinality | AssumeNamed | AssumeIsNotEmbeddable |
| e556a45934c4d6f2f9c6f5361c452f75334c5397 | FiniteSetsCardinality | AssumeNamed | AssumeIsNotEmbeddable |
| d3a2ee525c7eeba0f11949b59263c681c158501f | FiniteSetsCardinality | Lambda | TypeMismatch |
| ea09ccb688d9e665ecd35be7b237ae0656f3dea0 | FiniteSetsCardinality | Lambda | TypeMismatch |
| 25f9625093afcfec23258aa519a397e8837d743c | FiniteSetsCardinality | SubsetEq | TypeMismatch |
| afb7c6518a18a1af2088b0b933b9e94f18425300 | FiniteSetsCardinality | SubsetEq | TypeMismatch |
| 2c8f36d01de19056e90642b7bdc30459fff33f4c | FiniteSetsCardinality | Unchanged | TypeMismatch |
| ebbd1c4a3e158dbe0613f9e938a1081bc8b7189c | FiniteSetsCardinality | Unchanged | TypeMismatch |
| 636ddf56654690ee7bef98d15518fbc3c9fea838 | FiniteSetsCardinality | Equivalence | TypeMismatch |
| ce33f13640755f9169b76314404dde10e0d7c272 | FiniteSetsCardinality | Equivalence | TypeMismatch |
| 8ecb36e0e6690706cc8d3957624535a792990fbb | FiniteSetsCardinality | StringEmpty | TypeMismatch |
| e81e50392abdf60d88d70d3c844b45fa10647051 | FiniteSetsCardinality | StringEmpty | TypeMismatch |
| 2983782557860b9c460173e8eae530ab425e8532 | FiniteSetsCardinality | String | TypeMismatch |
| 1ca5d5bf8a8f56a061a4f17bc8ed16ee718483c1 | FiniteSetsCardinality | String | TypeMismatch |
| bcef408d9f65b889fa61057a70a51ff43fdf6762 | FiniteSetsCardinality | SeqLen | TypeMismatch |
| 699f7e37a0a2de5cd9afb4bdb8eb7b6a0b856b92 | FiniteSetsCardinality | SeqLen | TypeMismatch |
| aa86f3b5cff9678aa19ee338cb790de10c0176af | FiniteSetsCardinality | SeqConcat | TypeMismatch |
| d3795df2415c60a745983431e885c39626837494 | FiniteSetsCardinality | SeqConcat | TypeMismatch |
| fce19a3cd5bd7dc4128dff7c67a03f9961ea14c9 | FiniteSetsCardinality | SeqSeq | TypeMismatch |
| b07de866daa91fde67d611c9c955a16e1df43ef3 | FiniteSetsCardinality | SeqSeq | TypeMismatch |
| e5dc8c748808eebabb3cac97d403a16186c13964 | FiniteSetsCardinality | NatSet | TypeMismatch |
| ce729589adb544b85352712241938f1e6da7cd7d | FiniteSetsCardinality | NatSet | TypeMismatch |
| 976866b11d9f5a9e89f2e80cae850af6c72e522c | FiniteSetsCardinality | IntSet | TypeMismatch |
| 7bd2d42ff3998865ccabf5fd8769c061c1e67eb8 | FiniteSetsCardinality | IntSet | TypeMismatch |
| 99dc1f6a49f89dc4dae3aaff70b91f004ef4ffa0 | FiniteSetsCardinality | StringSet | TypeMismatch |
| 83e2402c8ff0c6c7c1c953893bf28ad0b4f3652a | FiniteSetsCardinality | StringSet | TypeMismatch |
| 4a467ba6a32951eebc2fe08aa1c02cf7f0961eb8 | FiniteSetsCardinality | SeqSelectSeq | TypeMismatch |
| cc4e2936060b2578000b9528a80bd5ffbef3df3b | FiniteSetsCardinality | SeqSelectSeq | TypeMismatch |
| b7b5714691ea7d5fa41515edda7f319a6f6e5a1b | FiniteSetsCardinality | SeqSubSeq | TypeMismatch |
| 7c0e743738c1bc8b854eeeaa4cf1ded9d37a6a9e | FiniteSetsCardinality | SeqSubSeq | TypeMismatch |
| 222244a087ba23cb534d91fe8ca9144b3c032a3e | FiniteSetsCardinality | TlcSingletonFun | TypeMismatch |
| ac030f764df6f2bb1b859e1fd9eecad9bd77337b | FiniteSetsCardinality | TlcSingletonFun | TypeMismatch |
| ae3841de23975f7a3ac082a6c5fc231f9b9f435f | FiniteSetsCardinality | TlcExtendFun | TypeMismatch |
| e0463837d7b5e940a534df783a88ab97637e7096 | FiniteSetsCardinality | TlcExtendFun | TypeMismatch |
| efaa2ef2b24e2fe3d5f3d295543a6fad84df6a7f | FiniteSetsCardinality | TlcSortSeq | TypeMismatch |
| 631a3d16d31fe0f6c59422cf8c5ac9ed842cfaa5 | FiniteSetsCardinality | TlcSortSeq | TypeMismatch |
| dd769e1589d615fc4c0cd3c01a2cf13b68a953b6 | FiniteSetsCardinality | BagSetToBag | TypeMismatch |
| 32ada5b1a9ed994c485a25cbbcc487709c0d52e3 | FiniteSetsCardinality | BagSetToBag | TypeMismatch |
| 6440797cf557f82425d9fb3173504a0d06c4f417 | FiniteSetsCardinality | BagBagIn | TypeMismatch |
| 5fedcb872ee901af86a3e0f204291a4c23f5fe91 | FiniteSetsCardinality | BagBagIn | TypeMismatch |
| fba8d8362740a29cb662edd04ee32eb9fe36f310 | FiniteSetsCardinality | BagEmptyBag | TypeMismatch |
| 42f71c9fc1575c24b52f79e5a65bd82a68064b51 | FiniteSetsCardinality | BagEmptyBag | TypeMismatch |
| b3c9cf70602ce077a094562b26976c2b59f808ac | FiniteSetsCardinality | BagAddBag | TypeMismatch |
| 11852e1cf87c9045c5ea648d052ceb9b566cd3f0 | FiniteSetsCardinality | BagAddBag | TypeMismatch |
| b0aad42fe9f80911916411cdca173736d889f4fd | FiniteSetsCardinality | BagBagSub | TypeMismatch |
| bef98413270ddde5e58432a5265cef9aaff992c1 | FiniteSetsCardinality | BagBagSub | TypeMismatch |
| d021bdcc898450c8efbeda23454f533aabe789f0 | FiniteSetsCardinality | BagCopiesIn | TypeMismatch |
| 40eb2366525aba9df820ff211671cac158648b48 | FiniteSetsCardinality | BagCopiesIn | TypeMismatch |
| 8fd62de82ccfbcfd850067fb6980975c0383d978 | FiniteSetsCardinality | BagSubsetEqBag | TypeMismatch |
| 7e02b8652c1f877d8ef6827d174fac7ef7741f0e | FiniteSetsCardinality | BagSubsetEqBag | TypeMismatch |
| 3bcc3a64bd357e9e701798913defb58750374118 | FiniteSetsCardinality | BagBagUnion | TypeMismatch |
| f2cf1e4efafce94305c18fad29a89382149b85f8 | FiniteSetsCardinality | BagBagUnion | TypeMismatch |
| 03af95c136ae8cc21af0c5360bce778b4a7e2ef7 | FiniteSetsCardinality | BagBagCardinality | TypeMismatch |
| 32ced0164d5baa34254588754c5c65e08f117d2f | FiniteSetsCardinality | BagBagCardinality | TypeMismatch |
| c003fc102fda369a9c8ea04c903469224ed6f0de | FiniteSetsCardinality | BagBagOfAll | TypeMismatch |
| 01b38861bf6e96f2c2a847692d5cbb2b338ed7d8 | FiniteSetsCardinality | BagBagOfAll | TypeMismatch |
| 70a9d2db4c7e8b6891854ec70dc41c14340893ba | FiniteSetsCardinality | FiniteSetsIsFiniteSet | TypeMismatch |
| a614a156ddd2818c9e96bc2df3ec1a086417547a | FiniteSetsCardinality | FiniteSetsIsFiniteSet | TypeMismatch |
| 52e4dbff3a2fa6efdffad021b4133ba39b52c8ee | FiniteSetsCardinality | FiniteSetsCardinality | TypeMismatch |
| 5afecd97fb7eabca21ce3ee387b662275e1337d6 | FiniteSetsCardinality | FiniteSetsCardinality | TypeMismatch |
| 2cb2a873e0f080e98c96766ff684396626a25d08 | FiniteSetsCardinality | SeqTail | TypeMismatch |
| 8439f39c8129c2fbdb48a4d061c85ddb618f0e4a | FiniteSetsCardinality | SeqTail | TypeMismatch |
| 840cb5950ed4a8372d3ad7a89c5654d5591a32f5 | FiniteSetsCardinality | SeqAppend | TypeMismatch |
| 11aa8d722dd81f62b43545c5eabf106e4649ce6f | FiniteSetsCardinality | SeqAppend | TypeMismatch |