Index

Skipped feature combinations by case feature NatSet

Id Case Feature Plug Feature Skip Reason
c8a07371923299b5b179a4d6f95c12f272b0e1b1 NatSet OneLineComment CanNotBeCase
b103466fe7f4a197bca05c2f0597453fd5991d6c NatSet OneLineComment CanNotBeCase
5ccdac7f48354e3b0773b8e5a25410d8f5c817f3 NatSet MultiLineComment CanNotBeCase
665a47928052aae9359d4c347b4ab877e47e4cfd NatSet MultiLineComment CanNotBeCase
8e15e4d59a69ea89d61cdaedcd6ea891a9315f9c NatSet BoolTrue CanNotBeCase
42c38c1159a37f7ab824e62a380ddf2882f4735d NatSet BoolTrue CanNotBeCase
6c663f1cca422b9eacc6f5df797e68a4c6413697 NatSet BoolFalse CanNotBeCase
a7ae53174d39563da168ae732d1c0fd19934a367 NatSet BoolFalse CanNotBeCase
9b8c33bfb174df91252e3f2e2885a108dd969bfe NatSet BoolSet CanNotBeCase
842acea5dcbe265a13d87e7c3935a6bf49dcc953 NatSet BoolSet CanNotBeCase
c9828fc30c08b9fb497a8d2a9bfa73582ffeaa81 NatSet And CanNotBeCase
7f9fbc78660796cd7be468a81e97e92111568bca NatSet And CanNotBeCase
225a3dd5ee731937e75083aae90cf3664039252f NatSet AndMultiLine CanNotBeCase
9e72ccb4ba40d7cd60f4d2a2afe8e02fb5dd3f84 NatSet AndMultiLine CanNotBeCase
ea95f508acb15642f94e138500752fbd7fdc730b NatSet Imply CanNotBeCase
e8ec447c0dd8fb2040c174f76a9a43b1ee5a83a6 NatSet Imply CanNotBeCase
4c1a15a646bbbbaca9484022f36db57d99dc4201 NatSet Not CanNotBeCase
1c4593383f0e5f0da41284af2a4832a9f9fd0679 NatSet Not CanNotBeCase
0f5c88806c98d32852d2d540dd4e4937e42664a3 NatSet Or CanNotBeCase
4aec2a1237db12b69f528193a63d9e8358ca0d15 NatSet Or CanNotBeCase
899f7884d270efe3104825404bb125499cabe001 NatSet OrMultiLine CanNotBeCase
a4c54ded51110a805e17d612a433e93c07f60cca NatSet OrMultiLine CanNotBeCase
a33b17bfb73d05ff7629f2bf506e5c196e68d77e NatSet AndProp KindMismatch
a8eed141e44c3705a641b3fe79d0105c622bd8a8 NatSet AndProp KindMismatch
58b406a02556721b2afe36d73e219597271701fe NatSet Boxed KindMismatch
578ced5ddb2981b9fdfb62bd13219960088dd3e1 NatSet Boxed KindMismatch
bed9dfc3b137392df7d9debaead9c6cbfdaeb7ec NatSet Eq CanNotBeCase
e23f15963689a4606bd499bd531c6c995ea58f8b NatSet Eq CanNotBeCase
232808374d8e0a6457ed8fb489cfa4e2673a8596 NatSet Ne CanNotBeCase
8651c67fdaaf1b45147906462d8f47ed9fe202b4 NatSet Ne CanNotBeCase
87d563b4dc67628258ed277e7f1fa71ba7d6c2f0 NatSet Let CanNotBeCase
561163fae444a9039f3761f880164dbe28bff806 NatSet Let CanNotBeCase
7388b1ba91b63d79c78e18c947eeafe9d7f5c310 NatSet SetEmpty CanNotBeCase
71e585f4d06538fad9cece75f7f3b7c051c70ad8 NatSet SetEmpty CanNotBeCase
bae1ef5c880290880bb63b3c052a24489022232b NatSet Set0 CanNotBeCase
dba7b591bab654868d574dc37bf6a51b4726a927 NatSet Set0 CanNotBeCase
b390126706595e2bea245dac1c8563461543d11c NatSet Set1 CanNotBeCase
1f0d78c402af84e49649cfa092ee525b82a4f382 NatSet Set1 CanNotBeCase
8a74c1daf304fd1c0a7e87cdf514c7368cc32615 NatSet Set2 CanNotBeCase
9737730cc73df62093da2503734ec4fd3fb6e75a NatSet Set2 CanNotBeCase
3c757061df3dfa9fb8634abecf4153964eabd7a0 NatSet Set1InDef AlreadyCombined
5ffffe9a6b388cdddf2a676ec857e47d760b7150 NatSet Set1InDef AlreadyCombined
40d0cb16035fb9ad13bef13880b3f353356b9812 NatSet Set2InDef AlreadyCombined
4f0ce781248273fb9f37326d148c605d120273a3 NatSet Set2InDef AlreadyCombined
6c0350025b128bf5dea72acc5e162318102e108a NatSet InDef0 TypeMismatch
6304cb47a6c4f44c23ccf43afc7421adb24781c6 NatSet InDef0 TypeMismatch
bd582de994868a981ef53b2c1cfcfc97c2c19b1b NatSet InDef1 TypeMismatch
6462a1a90d2a09a8edea3938cfc35785b8affd65 NatSet InDef1 TypeMismatch
96109c08cfd5b2db7856a37600f7e276d1bc7e42 NatSet InDef2 TypeMismatch
c97690f81074fca4c9cc03ae5d02771e84f90c9a NatSet InDef2 TypeMismatch
f32b95f1d1a82b3c6b4e1fb6177b4b3e25188b9a NatSet Fun CanNotBeCase
8d3e3a6f93b72db8b96dbfaa68540a2e102e9191 NatSet Fun CanNotBeCase
aecf72856b9ea3622151351ff1040107f0879288 NatSet FunInDef AlreadyCombined
adda602c9300961d8a1d08d0f588d30d90514d52 NatSet FunInDef AlreadyCombined
35cd79e1a4da1accf9bdf64193687be0e43c2ad8 NatSet In CanNotBeCase
1ffbc35c259c5b056a167206e4f1aae6bb5d8066 NatSet In CanNotBeCase
3ecee49ad821c0c41c552bfd0ca67719a97e7dfa NatSet NotIn CanNotBeCase
96f2e1586bfcb451be8413c694a721210ff55f65 NatSet NotIn CanNotBeCase
1a974ef738877e9611ba854d26b9de67bb976d19 NatSet Exists CanNotBeCase
59c662cb48f4b4d9490dbde62ebb4dfc368ff2a6 NatSet Exists CanNotBeCase
5f00f46e9c5a513484fd9e003ca45a36c4ff94ea NatSet Forall CanNotBeCase
85a317a9f0ceea5f1f520b586457c54072eea567 NatSet Forall CanNotBeCase
57c87230f388936805772e4a5d339aa7835c2a59 NatSet ExistsInDef AlreadyCombined
e0d6f14486c08569de46832700aaae07395681c7 NatSet ExistsInDef AlreadyCombined
ecdfc4e7540045586c2051009a2348a693490f07 NatSet ForallInDef AlreadyCombined
95e6dfe1525d18d8f3835fc614300eb55b3f1610 NatSet ForallInDef AlreadyCombined
87b3a799308292688a8af040b2e28a0f65c5981b NatSet Choose CanNotBeCase
aa01ee4cdcf76e3162fc7fa0155356fcadae21ac NatSet Choose CanNotBeCase
3abac20c7635b8df730cfe742522b70891b2aea0 NatSet ChooseInDef AlreadyCombined
1f95558388fb624b3eba2abb0667c944fbf54594 NatSet ChooseInDef AlreadyCombined
4e8b131c21afdfd2022766ac9c7a483216b03eca NatSet Record CanNotBeCase
685eece91d81bbfb90e786856d1b17c327bdb260 NatSet Record CanNotBeCase
b12705fa0bcb0c28207149f4f116b7929ff18713 NatSet Tuple CanNotBeCase
c5b590c918fd6bd3dba0d5faa72d31e185543ccc NatSet Tuple CanNotBeCase
6b09d9aa96dd7e95ad2abaec78c204729a926b09 NatSet TupleEmpty CanNotBeCase
d58aca181b505285893c594a6a7e153a3f4f3cd4 NatSet TupleEmpty CanNotBeCase
7306d01a52e5a798d02e60cde6be196df0ecf916 NatSet FunApp CanNotBeCase
e9e53df47854b764e8f8dfd4e938d31e92bb1f84 NatSet FunApp CanNotBeCase
203a13629963a21e0763113bb926c2feac24e7f1 NatSet Except0 CanNotBePlug
41a56dca7a2fadb7bcddd7a1fb4fa5fd323e4e40 NatSet Except0 CanNotBePlug
523f479dbc4e060bc2c732c0798bdc58b8ed67c3 NatSet Except1Fun CanNotBePlug
035c75269770bc90fecd84bddd6f39ec94a737ee NatSet Except1Fun CanNotBePlug
5efbcabf6f173309922681ad503b1ed1b2a22294 NatSet Except1FunWithAt CanNotBePlug
68b77500e51adf2ad2a43533f6798d533d338cf4 NatSet Except1FunWithAt CanNotBePlug
bea573264d8e585b092ef0de7f1330f88763dd4d NatSet Except1Rec CanNotBePlug
c6c9cf7e2010171099b923f85f81a39a161c1b7a NatSet Except1Rec CanNotBePlug
04226ef1daed8e771f0ccd975459ccc1b7106b83 NatSet Except1RecWithAt CanNotBePlug
b49d3f5e931fb3888440494d4275fd495f4941cd NatSet Except1RecWithAt CanNotBePlug
414f3160add6f6c9ed697a5e6abb1cb43dab665d NatSet Except2Fun CanNotBePlug
26e43a0a5d49824b51eccf2b8b73760f0743f8aa NatSet Except2Fun CanNotBePlug
2a7b51e394a75bc8ab27f5644a92eb52bad07cc5 NatSet Except2FunTuple CanNotBePlug
69367b9c7ff680a2bb326e7dddb443d0b87fdbb7 NatSet Except2FunTuple CanNotBePlug
c41ff9df78f06f613936365f489f702972beb96c NatSet Prime CanNotBeCase
334fba06d4d075527704c6e02011ef9adc190360 NatSet Prime CanNotBeCase
f46b82dd1e2b93981a41827c7bd5c40b9035185d NatSet NumZero CanNotBeCase
79008df92bca2f6b9717bf3731b561e14f9ad10b NatSet NumZero CanNotBeCase
c14953232bb1261e9dcabc9a8b7eeeb3031f20d9 NatSet NumOne CanNotBeCase
b58525fe3ecc4d484ff17c5751b8b28f0def250e NatSet NumOne CanNotBeCase
81f79b806881dd298bc9a331a6ef48830b1b467b NatSet NumMaxInt CanNotBeCase
bdd333e770aff656f88725ff55babfacd8a70225 NatSet NumMaxInt CanNotBeCase
9a14642acaee9cd6af3ad9832abfefcee2d91a74 NatSet NumUnaryMinus CanNotBeCase
99ac0123ab8b731071a09206e5644befb8476d8c NatSet NumUnaryMinus CanNotBeCase
ec0933337ba2577cedf61df93dd4f33592a3b2dc NatSet NumPlus CanNotBeCase
25e20f50a32baa529862709490ba6329a83fb68e NatSet NumPlus CanNotBeCase
204a6a63a29e0fb6d4c2ce5f0e2b82ed44a1dd01 NatSet NumMinus CanNotBeCase
14235ebc77c4a395f7d5b94d7a09849157a2d89f NatSet NumMinus CanNotBeCase
6d4306a6a8cd4c21f372b2a7e88d4d6ede1f1976 NatSet NumMul CanNotBeCase
38741ee47680a56863aacc48b4bf5cb9b56b8c1c NatSet NumMul CanNotBeCase
f2c0f52a642e23ce1020fcdb65b4703a4830d364 NatSet NumDiv CanNotBeCase
e38b4399afde16a44d51247c33aa44b55e29f3c3 NatSet NumDiv CanNotBeCase
ad606f3a9df916592d0d5bb8b6846e9247f2f5de NatSet NumMod CanNotBeCase
91dd536cebbeddb0384cae2fc6f2e9d676f8eb86 NatSet NumMod CanNotBeCase
5818c2787e79bfbc13fd8d80c4548d08000f8af9 NatSet NumPow CanNotBeCase
ce42e32daf2a205344f4debc2d86f92ca3ab5672 NatSet NumPow CanNotBeCase
dc1b5fb806fee5ab0089e58eec326313c21b1046 NatSet NumGt CanNotBeCase
c707db169e12b8da182e0420b34edb2bbb027ee6 NatSet NumGt CanNotBeCase
8ba398a28aae3de6b4f902bc383d6d8a21d07904 NatSet NumGe CanNotBeCase
db2a1d5b0752d93502a90cd7749df011b4b6d0d6 NatSet NumGe CanNotBeCase
573a430ab211e1afd4e885e6548c032386bb10fc NatSet NumLt CanNotBeCase
42352ef530e7d512dbdcb78f4d2e550f6a9def28 NatSet NumLt CanNotBeCase
9b8aa2d43344d8cd4e0bf023af8ca61cf0b7fb40 NatSet NumLe CanNotBeCase
6788ce2b76eb42536c0ed7d8d7f3eedcf27c0315 NatSet NumLe CanNotBeCase
1f92118bf8fc9e6cd03ca03ae05ba3ae5275fb97 NatSet DefFun CanNotBeCase
f825180b8aab11a9cd38883b07c49d81982ae0bd NatSet DefFun CanNotBeCase
bf6a3f3a6d0ea3820937fccc799e12399b4c46f1 NatSet LetDefFun CanNotBeCase
694e568f4be265f82aeebb9a5b605b94cbd0fbb7 NatSet LetDefFun CanNotBeCase
5221d89ef24d7b5d16be4015fc77700e8575909e NatSet DefFunRecursive CanNotBeCase
1a0f3505f3db1a3a888922540c87241b74d6e443 NatSet DefFunRecursive CanNotBeCase
1b0ffd01cdfcd3d98b670567a7e17d86bc6da80e NatSet LetDefFunRecursive CanNotBeCase
0f1d74749779bada80508637b77773b5f7a71d1c NatSet LetDefFunRecursive CanNotBeCase
5054fbd5bc1895297acbfec114290b627bab8e2f NatSet DefFunInDef AlreadyCombined
b92863531ed024b7a8e02dad4fbf9ec0e235f41e NatSet DefFunInDef AlreadyCombined
51f17737407692ad715f9f83115ba803ca4f8f20 NatSet LetDefFunInDef AlreadyCombined
887027e5b7a0b498133403ed2f106f15418e1c0e NatSet LetDefFunInDef AlreadyCombined
deffb8354d787801207680a2b4e0706a0adf361f NatSet Def0 CanNotBeCase
08a58db0e3e9e263468bd4e85592ee8e4ca34516 NatSet Def0 CanNotBeCase
162afc33006cd93aceb46a8dc84646c5d379da11 NatSet LetDef0 CanNotBeCase
21f43d4875cf5a7b2d6172e3db0d7c4fa56114e6 NatSet LetDef0 CanNotBeCase
dda03d6bcb132a0f5383476b503f29a299ad8558 NatSet Def1 CanNotBeCase
4b81f0a07ca0c3746e463ce8ebc2a848218ae1d3 NatSet Def1 CanNotBeCase
e11c710acec762f2a66080618c3331a9dd8bb92f NatSet LetDef1 CanNotBeCase
8cf224ecccd3e4bba1a01aadfa7f155bf7fc442b NatSet LetDef1 CanNotBeCase
9e60e9ce55ac9c46a164bf54082aa6fcbd72fce9 NatSet Def2 CanNotBeCase
670c5cb568a17101b8490b1ae35d0b91821588f2 NatSet Def2 CanNotBeCase
ced59ca9c08d8093bf0ac6d30669848532162e1c NatSet LetDef2 CanNotBeCase
887ca419980ee44213fe34fad42dedb1c1d872f4 NatSet LetDef2 CanNotBeCase
6239b084b9b46abcaa572dcce484d32405c4d475 NatSet Def1Recursive CanNotBeCase
3cccd35ea00a220c7e3afd8840d67443b1d21de4 NatSet Def1Recursive CanNotBeCase
598a038b6bf822aae6cff660445154fd479b44b2 NatSet LetDef1Recursive CanNotBeCase
c55c5b4874bd0e5743a0fd5db2a4f6373ae9dcff NatSet LetDef1Recursive CanNotBeCase
80d6a275ff5e366fdc643682a9d8e789f6be4368 NatSet Extends CanNotBeCase
11cf626c9185abca6e740239533c21850e69fa35 NatSet Extends CanNotBeCase
687aa1bf6d0e765dcdd24f74cab108128af59fc1 NatSet ExtendsInDifferentFolder CanNotBeCase
dfd740d3072809cb0470b5a4f03a48c26b5d7944 NatSet ExtendsInDifferentFolder CanNotBeCase
3107e413d61065dda3a1d992ba5728e73f17c204 NatSet Variable CanNotBeCase
716a39a83989a9e3dd519aed41d051410ec0d8cc NatSet Variable CanNotBeCase
3934228315b0082c6998f234dfa0a336a6c829e9 NatSet VariableViewExclude VariableExcludedFromView
04b71b99e949053a509a54c1ab04697131b4bdce NatSet VariableViewExclude VariableExcludedFromView
e886fb3fbd40fbb48893371210c7276cbc823e8e NatSet Constant CanNotBeCase
45ce68cfb864712fa5555adeed788524e1bf1833 NatSet Constant CanNotBeCase
7389d16adfa097e1cb4ba891814092f5c7771af9 NatSet ConstantModelValue ModelValueCanNotBeUsed
87572ba8d7db802ccf4503369b72292e74602330 NatSet ConstantModelValue ModelValueCanNotBeUsed
67b3bf8e9dca6c7096ff47acc63d747deb4aad7a NatSet ConstantRank1 CanNotBeCase
d4aa80f8969ec7bc623b78f4c8a5acb7c542524b NatSet ConstantRank1 CanNotBeCase
357560209d6c84bda22ebffabaeaf94f56db6b19 NatSet Instance CanNotBeCase
fa71999edb479da7b2fbb02d2d04afddf0562c29 NatSet Instance CanNotBeCase
d986e8b1392e5e2f493f3b54f05ce1a6c9ee7690 NatSet InstanceWith CanNotBeCase
2270b4b189dbac45526cf7cd5bba20e83728e4d1 NatSet InstanceWith CanNotBeCase
19c7e9e1b2818d61472adb376ed1ecb9c4b9866e NatSet InstanceNamed CanNotBeCase
40ef5a0ea646fb56532a36b031a95fcf6a2e984e NatSet InstanceNamed CanNotBeCase
f37484d520ec4a7dd215277b73d674693c6b43d1 NatSet InstanceNamedWith CanNotBeCase
2b903c24d6704591a0704fd35bb16c0dc4a7d36a NatSet InstanceNamedWith CanNotBeCase
4698a2f34330ded08f9d9a10fc57c9be04a7476b NatSet InstanceInFolder CanNotBeCase
279d09feb5e22f8d4d9c0e463f8101c674f6a6ce NatSet InstanceInFolder CanNotBeCase
6ac224a63e4c30508c75e42246e64e7a18dd7d41 NatSet InstanceWithInFolder CanNotBeCase
3853c900d21430466e2172d432fef7587af8f7a3 NatSet InstanceWithInFolder CanNotBeCase
dc6b040769c6182767fedc70cdb67086233f7d5c NatSet InstanceNamedInFolder CanNotBeCase
430d16df95c7d6be4760dffaf969adb445b44fe3 NatSet InstanceNamedInFolder CanNotBeCase
1e8b728f9b626aaa832abb223228ce73dc66ce8f NatSet InstanceNamedWithInFolder CanNotBeCase
64fbe7765b6876448f150828731d032c82373d7f NatSet InstanceNamedWithInFolder CanNotBeCase
8ec54ee9e3c0607cd9a45bc8ebc29dac08a56d4d NatSet Enabled CanNotBeCase
e522a9177f309810270f6444c627661a73e3a59d NatSet Enabled CanNotBeCase
af144c9215574034c3e3ee571e2f8b4820ed3632 NatSet Assume AssumeIsNotEmbeddable
acd4630db166781dda0cae7c7fd4cd0f2e0b22a8 NatSet Assume AssumeIsNotEmbeddable
ccef6e1170f730abc07149098badeab80d47826c NatSet AssumeNamed AssumeIsNotEmbeddable
03e7d8428a2dda787f3b59089d869e112e040e83 NatSet AssumeNamed AssumeIsNotEmbeddable
e9bbacedf1ce37a2fc279476029b550292a493eb NatSet Lambda TypeMismatch
fdc2a2db03fd9fa02137d6ea30abf3f1618cea8c NatSet Lambda TypeMismatch
fd447f97b8aad560ead1495b5820bebaed74d5fe NatSet Cross2 CanNotBeCase
21bbcfbafa1f2c6e16f764e236d76fb0b7b5744f NatSet Cross2 CanNotBeCase
022c7adec0e6a227549f9912256992e4a209fe69 NatSet Cross3 CanNotBeCase
9582e33e6868d7207bdbd18c3bf7d8072ed526b7 NatSet Cross3 CanNotBeCase
d6966f67b215c4ab9ed81eaa22794e95c9323980 NatSet FunSet CanNotBeCase
30e2caec32938cc36e08dfac87c32789caf9531d NatSet FunSet CanNotBeCase
74ec545706b594db6d6d637d67f10648cad5e2f5 NatSet RecordSet CanNotBeCase
b1094c7f328f7dee1872978d4780480a428ae715 NatSet RecordSet CanNotBeCase
2c86adc0b800a446ca923536859ea8a7aca4b165 NatSet SetDiff CanNotBeCase
8e46938b7eca019cec237935db02362f1c31b8aa NatSet SetDiff CanNotBeCase
9710b0819bfa1d4bce452c3df540311d62ee9a87 NatSet SetUnion CanNotBeCase
75bc105e55bbfec2b315bf01418a0c4951e93cd9 NatSet SetUnion CanNotBeCase
309c86b770d03cc443cb42fb93cbdb97a9d6f8d1 NatSet SetIntersect CanNotBeCase
6d6e9604c106fad7c04cf43208a907a2151be4c3 NatSet SetIntersect CanNotBeCase
de50de245df695750aad8a92c95600720ed60b0f NatSet SubsetEq CanNotBeCase
45a2276c23551ae2307460da7717604e24d61530 NatSet SubsetEq CanNotBeCase
bdf1d47a7bf607f64e131a0e20a2e0d29c770339 NatSet IfCond CanNotBeCase
ac9c2f4c039c5c3d11d97dfd42af9326293d9068 NatSet IfCond CanNotBeCase
b082e67d40290dff0d23cf57b63f89ee12c8bb34 NatSet IfThen CanNotBeCase
e186d38b488d4f7ba6ae6b759ec9c95a0b5d0251 NatSet IfThen CanNotBeCase
b15b182f080e305db35febf24b905bcd118ea2d7 NatSet IfElse CanNotBeCase
fd85fbaba456ffc31c4e1fb7d73ad8cd05f95686 NatSet IfElse CanNotBeCase
04e4d5b9ba4940c37cb2c81c94e83745f3e78913 NatSet Subset CanNotBeCase
c608288d7db49d5532af55813ccb60ba79cc45c8 NatSet Subset CanNotBeCase
20ad60adfeb68b4d84bb49e74b785f3efec16f00 NatSet Domain CanNotBeCase
690e4efea34244ebd870cb4067d7b7589288f31c NatSet Domain CanNotBeCase
e4ac924a4b8f8dd4c1feb4f4b06760115e38cff6 NatSet Union CanNotBeCase
33a7d26cedd02935aa6f91d14f93f6e97941eb1f NatSet Union CanNotBeCase
2d45071f255944f74ef9ce1202a1f03ac8c62e99 NatSet Unchanged CanNotBeCase
a516e674e368cd15accd470a16c11b9a9c65d7de NatSet Unchanged CanNotBeCase
949d5276221dd25547028f4b65032edceadba838 NatSet Equivalence CanNotBeCase
944fd6dce4d9559fc30a441f0c603e541f842c6d NatSet Equivalence CanNotBeCase
50c9764c016735c9d588e34d3f8415ca9b5813d1 NatSet StringEmpty CanNotBeCase
76985014cca22c6aaac6d38aa5e995138267a08a NatSet StringEmpty CanNotBeCase
f45bd118d9565d88439247c733fb85bc025ab976 NatSet String CanNotBeCase
ba24d29087d640e5e8c3db97aea509fc5ba6a9dd NatSet String CanNotBeCase
8cf388dc003258e0bf89886a44ec474347de5885 NatSet SeqLen CanNotBeCase
da68b64fc1ea9f8eadc902d260f806432c0c1b42 NatSet SeqLen CanNotBeCase
a12ee0366c6b0703dedb226e5c248ff2ab3a5ff2 NatSet SeqConcat CanNotBeCase
a8869c1e7318988aba6e3d8acc5300ab409396a1 NatSet SeqConcat CanNotBeCase
fa3a3f98db1876a08aacfbccb776b8a33ce7a37e NatSet SeqSeq TypeMismatch
75d695b563db92e0f89a4f0a742bb3600b441d58 NatSet SeqSeq TypeMismatch
d6f01175548b26a17c8b4eebc01c82c9f80fc069 NatSet NatSet TypeMismatch
60b93255644ee3e9318f6fcaf95688f69c39ff47 NatSet NatSet TypeMismatch
0e94fff4f12f06cdad923edcfd52bbe1d4f6df56 NatSet IntSet TypeMismatch
e81d28a0661bd369671c5923636d1ac5faf89b96 NatSet IntSet TypeMismatch
811abec2580de3f5d69af7d1afed79e09932eeb0 NatSet StringSet TypeMismatch
eb72b13f786de8f264958a54cc28b3490f2ff168 NatSet StringSet TypeMismatch
0530c89f7079d3e54a4f8cfeedb814de31689e53 NatSet SeqSelectSeq CanNotBeCase
403988f0ba847193f8d7950b892975ee96a91147 NatSet SeqSelectSeq CanNotBeCase
28c72ea3af80af0ececa2d5c2a1ef8c721a09bde NatSet SeqSubSeq CanNotBeCase
2f773bc7b94a26e9ccf00fb33f9d2ab67caf2d7f NatSet SeqSubSeq CanNotBeCase
e6a81d9a3c775cf400392eb7d9b5a614e6d4a977 NatSet NumRange CanNotBeCase
6f4b36af3dc928124262ceb714156f18e7f0c19d NatSet NumRange CanNotBeCase
fa13f31d6b9058de218b7caa49312953973a5247 NatSet TlcSingletonFun CanNotBeCase
2e0ac9f7f84f4fe7104661919453be8dd6e29a22 NatSet TlcSingletonFun CanNotBeCase
a5fe47f93fe4d9891b889a0a86d80c373a145644 NatSet TlcExtendFun CanNotBeCase
c9b9b337be6f423f2048974728e9ea8ddb6f796f NatSet TlcExtendFun CanNotBeCase
681d802fdd3d4c7055304b51d98c363b18685f8c NatSet TlcPermuteFun CanNotBeCase
017ecc1258ddb48556b3370d9ea72282e33da6fc NatSet TlcPermuteFun CanNotBeCase
56071ee2a0d1bb8e2725636292f1f44301f75689 NatSet TlcSortSeq CanNotBeCase
00876141079179fa7382dd861ed58a4936111982 NatSet TlcSortSeq CanNotBeCase
6ad06f9f0e29d3c24cc3ba7ea0d497f17407e352 NatSet TlcEval CanNotBeCase
07004b12b3ce9bd6b59389fdab9634de2b41375e NatSet TlcEval CanNotBeCase
d37af01ffe62e5d8fdac21e815cdaeae5294b57d NatSet BagBagToSet CanNotBeCase
4fd46f5c49827e8b86876310f63de32ff52b1936 NatSet BagBagToSet CanNotBeCase
f08d7abbea7d9bfa3f7316bef14a6aa885575465 NatSet BagSetToBag CanNotBeCase
535794c202413e4134eaa988c1ecaa7672beac85 NatSet BagSetToBag CanNotBeCase
7beb13fe5e1d4ffa39367bb1b0950cf3972034f8 NatSet BagBagIn CanNotBeCase
23a55da0543fd5cd4b55fba86ecadb24a96af424 NatSet BagBagIn CanNotBeCase
6162875c728bdbd0bf241bc02ebaca4160d1bdf9 NatSet BagEmptyBag CanNotBeCase
5dfa6b993a1e4e237f5a4777f7f6d3877ed836fd NatSet BagEmptyBag CanNotBeCase
3f3a4682f4651da0d96827dd8c15f1a444fa2b41 NatSet BagAddBag CanNotBeCase
6433e6f7aa9ca3dbc4013fb0f2f6332758793b19 NatSet BagAddBag CanNotBeCase
da11b0774a4f7779e93f3989422042ff16a01074 NatSet BagBagSub CanNotBeCase
9cb9c0612782c34d7fa38a819b7cfa44da49c8d5 NatSet BagBagSub CanNotBeCase
c727118f2bb8e93adfc4a17ad10aaeec1e33f0a2 NatSet BagCopiesIn CanNotBeCase
0d5724202cf91a5d73614569e2bcc84ee290c091 NatSet BagCopiesIn CanNotBeCase
d281149158652969da11ba623c064bc591aa93ff NatSet BagSubsetEqBag CanNotBeCase
f1a32cf065194a9316aef7bcea517a35323226c9 NatSet BagSubsetEqBag CanNotBeCase
fc3359252086da77fe2d6fd66aea7aca319f4704 NatSet BagBagUnion CanNotBeCase
9a357bae8ae5e81a7065e2cd1531bcf2cb2b40d4 NatSet BagBagUnion CanNotBeCase
e165b48ba230576f69220460a2da576ba28b1d28 NatSet BagBagCardinality CanNotBeCase
862505e2b0d7110943f2d7dd3bbfae0e142149ef NatSet BagBagCardinality CanNotBeCase
9911b1864e07cc723c9f630f1c8d1c2930ea13ab NatSet BagBagOfAll CanNotBeCase
0676dd4698aeffeb83ff716a79b3d64bd47f5b7d NatSet BagBagOfAll CanNotBeCase
8bb40ab20a025100d3cddfb077d4b0b6d947d2ee NatSet BagSubBag CanNotBeCase
b41238efefa9cfa72a59046927bb883d3838ae34 NatSet BagSubBag CanNotBeCase
ab31fcb3f2668dcf8cea73d78e53db4817bcef35 NatSet FiniteSetsIsFiniteSet CanNotBeCase
80f63c084649419644655b49fba376337e9379bf NatSet FiniteSetsIsFiniteSet CanNotBeCase
48873e53c13172b071f8ebdbf76b9d9ac1d6e647 NatSet FiniteSetsCardinality CanNotBeCase
d1eb59059d4f378a6c69793625ea5a8cd59e805d NatSet FiniteSetsCardinality CanNotBeCase
bf3ea1c764a3357102d689603b8f1c4956a59fbb NatSet SeqHead CanNotBeCase
308bdc6199695f7eb254394e1e72dae333c4263d NatSet SeqHead CanNotBeCase
46956377571c2df605b1f8bf7a8bbbf7d941e7e9 NatSet SeqTail CanNotBeCase
ca88539631738198c3561ba88df403aac29ec8b4 NatSet SeqTail CanNotBeCase
5f5461d94e9f3f617d86ba52ee8c77c19dba1ba5 NatSet SeqAppend CanNotBeCase
f5be91af1251002d65fd0c4b8e3bdd4d2c0e0e6a NatSet SeqAppend CanNotBeCase