Index

Skipped feature combinations by case feature IntSet

Id Case Feature Plug Feature Skip Reason
52f8cd77af5a3f7eece0c8b0d3a5df708652d352 IntSet OneLineComment CanNotBeCase
cb1b605dc7cf20129b5d22406084babd158d0835 IntSet OneLineComment CanNotBeCase
4cbd0a8c46c289a6b6606205e01a555ec1173dfd IntSet MultiLineComment CanNotBeCase
a4b7235c4ab11de535b1952eb131222227d47ab4 IntSet MultiLineComment CanNotBeCase
b2546684743fc803ec243a5c5940c283821a43df IntSet BoolTrue CanNotBeCase
2fd8575d44b03837321a685becab3985434adbca IntSet BoolTrue CanNotBeCase
ceb7c13be10bd5cbe57ce227f48a788db669879f IntSet BoolFalse CanNotBeCase
e7e0a716f217b23f9939139a80dd99fe8184a8e2 IntSet BoolFalse CanNotBeCase
a6224dc7a7f30fda6d0eef52d11227073b0ac123 IntSet BoolSet CanNotBeCase
9e2420ac7aacd115c9a8adb9aa6aa504e22033bf IntSet BoolSet CanNotBeCase
af635cc06bbe14835366e572c5c93d0170345043 IntSet And CanNotBeCase
2408a02862daa29117cafc8d695cc33becdcba38 IntSet And CanNotBeCase
ad667ce3c6a4ee729448339027cf5dca61dec083 IntSet AndMultiLine CanNotBeCase
5fe2e6e6d09828d76dcba3432b09e78ec10585de IntSet AndMultiLine CanNotBeCase
26d5a157547ee0eea936e16ad28a84a07d562f56 IntSet Imply CanNotBeCase
2e858cffb64af25899ada6884e601580d2812c1f IntSet Imply CanNotBeCase
8df609331196419ab258db3e9d5873cacc497362 IntSet Not CanNotBeCase
9db30c78f7982cb8b86e8b3d4b80f8097f6d9bb7 IntSet Not CanNotBeCase
3dd557998537ab934900d7613f23ac61ce68c739 IntSet Or CanNotBeCase
7f9d602a6bffcd1fd2e3905ad864f417a3662c47 IntSet Or CanNotBeCase
d059b1865731cad3ef3050d7a8048f9f14d4c718 IntSet OrMultiLine CanNotBeCase
c5241f6fc9b85fd5b7dc2a46db23a839240a3004 IntSet OrMultiLine CanNotBeCase
5fa50334c65bf7c1215d1eede796d1e3e524892a IntSet AndProp KindMismatch
8a61e817c7d5d8397a2d8ce4955589eff7513049 IntSet AndProp KindMismatch
28bfa5c44ea7628961c4ed82ab9e1bcd1684ef15 IntSet Boxed KindMismatch
7c353d7fd1f16b1756128c7eaf95b980c1f50c12 IntSet Boxed KindMismatch
bdaf3f01b7b7e044a7c26ba810455546a9cd5d12 IntSet Eq CanNotBeCase
dcaaa3df825f656e02aa50438499395d1cab8149 IntSet Eq CanNotBeCase
13b72855b540687ab28bdc84a0ee4660233ea868 IntSet Ne CanNotBeCase
be54e70a33474cdb82cd92aa25703f7699114c0a IntSet Ne CanNotBeCase
fe5478a2608cb82928e5a0c5c4eb3c0bbe0e8fa5 IntSet Let CanNotBeCase
843e88c72a33284eab64d5e088c3f099ff53f268 IntSet Let CanNotBeCase
bbe39791669256788852435b60462e1625b495a2 IntSet SetEmpty CanNotBeCase
3119004992f9d652abbcce9a0ff87b35903be6c7 IntSet SetEmpty CanNotBeCase
425ce4326cc22af53967cc83edf46716f99329fb IntSet Set0 CanNotBeCase
d49115aa1ab4657165c524333ddd3c151ad1f112 IntSet Set0 CanNotBeCase
f71196aa6dae6ed97e54e44253dbd57aa13b9676 IntSet Set1 CanNotBeCase
bbc040745ea79b9d03a2e9c42e97e189dce20792 IntSet Set1 CanNotBeCase
f45498921baf040452d1dca2431306641e9b7d48 IntSet Set2 CanNotBeCase
039ab7007421b7d529e9d046fceaceee9d1130cc IntSet Set2 CanNotBeCase
b80dfd8f5a209ae7a77ee72951ad3d92b4480bca IntSet Set1InDef AlreadyCombined
f1e1b9b2de9637ba36419ab5bcb7f161980c6c1c IntSet Set1InDef AlreadyCombined
7f2064ce2135aba9736f07d2a64340ffa2ff7b62 IntSet Set2InDef AlreadyCombined
e98f93a85a187bcc4502e420cb454c2167ff63e8 IntSet Set2InDef AlreadyCombined
b7b4fe87a901a05ea0c800dfd08611e828060a85 IntSet InDef0 TypeMismatch
3d9ae9befa88e6535efd55e6daba2463dcccbed8 IntSet InDef0 TypeMismatch
1b5df2b7cd1d7a2fee98c456d98a1551e5b2dacc IntSet InDef1 TypeMismatch
37d0f672e9b3fefef547698052c433b51f232a8b IntSet InDef1 TypeMismatch
07733f2f62763220a0d7f6baf59df987751ce308 IntSet InDef2 TypeMismatch
2bade1535cf5b6412815ed3e26ee7fe4a37bcc43 IntSet InDef2 TypeMismatch
02b5c9d9a233958a1e0fd2e14107d71d62bd4525 IntSet Fun CanNotBeCase
6e5211819d20e18cd8b7a83f40f12086fe2df507 IntSet Fun CanNotBeCase
b3ae8751baa0fb2eae34251df2de2eff8c5e53c0 IntSet FunInDef AlreadyCombined
c23ff1cd2cb45f14bb647e5aa32d1a5314e35453 IntSet FunInDef AlreadyCombined
dd06af79c0c0d7f45035e9258126956f38e3c283 IntSet In CanNotBeCase
ca2bdcd93ad3e35a2849166e45b0985f6fc76bf3 IntSet In CanNotBeCase
264002e4960434a9a5968989b25dc052b7356e8a IntSet NotIn CanNotBeCase
d32137ceac23f003e0dfaff027fc0bf4afb8c4d4 IntSet NotIn CanNotBeCase
e274c5a67dfbbafe23205f886fa135f2a0093545 IntSet Exists CanNotBeCase
24f9ebbe7f772928c8b73706cff4f0680cb979e7 IntSet Exists CanNotBeCase
e8b2073e6067cf680d28227e932e2a90cc91ca08 IntSet Forall CanNotBeCase
758d3e08c62bd33f943b4fde67c22c36889c1ad0 IntSet Forall CanNotBeCase
0f6db2858a1c927b6ee7fb90f0ecd499e20119c6 IntSet ExistsInDef AlreadyCombined
f0277ff6c62b29b7c8eb8d455ce49453976ffebc IntSet ExistsInDef AlreadyCombined
78ce6d0f4207a823a4414be4b33470c3439df942 IntSet ForallInDef AlreadyCombined
0f9cb137aed15be30d0c3810857907eda2052c81 IntSet ForallInDef AlreadyCombined
afa20c8e2226c749df77d77da11c189972a7de56 IntSet Choose CanNotBeCase
e1abec79166bbd5ca69e851499f5ff98a76dd09d IntSet Choose CanNotBeCase
6c8d619073a039aa6339ec43a15a72d75e13616c IntSet ChooseInDef AlreadyCombined
e0ff3997f3f0022ce93c223d9031a234b027a1b9 IntSet ChooseInDef AlreadyCombined
a767eead987e694d6a3489aab5f695b5d145c045 IntSet Record CanNotBeCase
54884f7897201471bcee6d8822a6745f9b9bf0da IntSet Record CanNotBeCase
74c87490e4b8ec66b5371226cf373698d7365ed5 IntSet Tuple CanNotBeCase
e05f587aebc533b1aaff6aca844508e9b5c0338d IntSet Tuple CanNotBeCase
285f6d33e14903ae33d59fe1036b91b7b7a0b99a IntSet TupleEmpty CanNotBeCase
66363fdaf753286e93322dd8f9f5fc76b50a8d95 IntSet TupleEmpty CanNotBeCase
21e1920212d0db6db9ff92f8f001dc99ce77ce2b IntSet FunApp CanNotBeCase
60288316c48aeac89463c1ee3379bf3037821686 IntSet FunApp CanNotBeCase
76884b2d27164415c2496d0f5399ef009de749c1 IntSet Except0 CanNotBePlug
af976fd57b5a09d476689ce6bb8ce90ce91bb66c IntSet Except0 CanNotBePlug
5c552e605c8327eff63b7f596a1beb5aa4cb482e IntSet Except1Fun CanNotBePlug
2a9bf844148abb3ba10ed1468657ad13d139d245 IntSet Except1Fun CanNotBePlug
f9c9b96a08d039e154c4c3dc8952a49c4befb7ce IntSet Except1FunWithAt CanNotBePlug
001bc0fa27269bb4cf474e34a1c8879a6728a66d IntSet Except1FunWithAt CanNotBePlug
33505eafe65688865ed746d1716a00d54a650fab IntSet Except1Rec CanNotBePlug
c04e250c5c8a92c8cc6669cf8cf481a8d31e8bdf IntSet Except1Rec CanNotBePlug
55f2756151176359ccc9cb210c7c2de19da61fa8 IntSet Except1RecWithAt CanNotBePlug
83073d2cc6a5bd4484444627acc00da8d48997a7 IntSet Except1RecWithAt CanNotBePlug
8eacf1cb733030d3fc628fe6d3c814248ac60be3 IntSet Except2Fun CanNotBePlug
037bbcbdab6e7f64f92da85785ebd2802b00c3b1 IntSet Except2Fun CanNotBePlug
4a3fea100ed215bd82d50bb462cebe0909b9aab5 IntSet Except2FunTuple CanNotBePlug
71dccba745fec611113e9401ab96a1513a626c57 IntSet Except2FunTuple CanNotBePlug
2fbb5e271c2cbc08a2a1fd341769270f28ba82a8 IntSet Prime CanNotBeCase
44c1e2957c7a2672a2fc5b29fbe220eb8ea14316 IntSet Prime CanNotBeCase
edc65534d2d14dae7d1f1dc45b0961e7aa63abcf IntSet NumZero CanNotBeCase
6b6b784e208065f0e7432bca4714481b1aad73a8 IntSet NumZero CanNotBeCase
5211e535f733760cb0211ec4ddcbd8f40ef84c9d IntSet NumOne CanNotBeCase
c0f1920fc633c84da1b1813affb5d2475d612fdc IntSet NumOne CanNotBeCase
76fc15d0c8e3c2b997b85dd3a0c5e89595fa46cf IntSet NumMaxInt CanNotBeCase
952ff28d55cad38967e743ce99d4022f425cb098 IntSet NumMaxInt CanNotBeCase
222267b3384899c67b85f79db3257ece7f55f0f1 IntSet NumUnaryMinus CanNotBeCase
5c7e2632aab1d8be95654b4e6ded6bd6c66633a3 IntSet NumUnaryMinus CanNotBeCase
cce1e6a77790ecbba87d1b53517aa77fe0bb87c5 IntSet NumPlus CanNotBeCase
af8ce22e42208e04df4119d17c59e98c88305aac IntSet NumPlus CanNotBeCase
6cb57847ae2617a26e54dd8570b9eadf75537aa0 IntSet NumMinus CanNotBeCase
5c3ca1273d05633396e2df480d9072356ff49c59 IntSet NumMinus CanNotBeCase
c6fa94e33188dbca4ee88013b62c42c318699a3e IntSet NumMul CanNotBeCase
0eba48ca654cd9e7f4eabfe20faba323773fcdce IntSet NumMul CanNotBeCase
1220cdfc78d2374a9a2ecc92c3f96f5e2ca9def4 IntSet NumDiv CanNotBeCase
43cd5d356e29e62bd74d32b7ebaf1da69ed5e186 IntSet NumDiv CanNotBeCase
801a7c4d9ada85cc6446995acb6c1aeb5cf93648 IntSet NumMod CanNotBeCase
cbcd6f2bdddd9adafcaccd7debdc358be8d72d06 IntSet NumMod CanNotBeCase
3f010f2bdf834d12e30ac6007a2c0f6436275deb IntSet NumPow CanNotBeCase
31870bf6813e8ef415d8a2f6ce0163446ee96828 IntSet NumPow CanNotBeCase
2e2ed26865b56f0ac9614cccf81dbaa32c9b05e7 IntSet NumGt CanNotBeCase
870ac67e0018026121ed1d69ff84123ddd0d947a IntSet NumGt CanNotBeCase
ed12b7afafde41c86a792ee5e87dcc20399dc609 IntSet NumGe CanNotBeCase
aedd40c18c7d899d4b1f5f9a845864cec155f1cb IntSet NumGe CanNotBeCase
0c7a8d84785013fcd00e41d21de4777a889663a5 IntSet NumLt CanNotBeCase
3b019a6516f8eca214622ba0800b62f9d269a572 IntSet NumLt CanNotBeCase
8ad39112b9187ed92e6bd41663483590228e7548 IntSet NumLe CanNotBeCase
245eaf1d6eede0a5c9436b4377287a9ebb2d58b7 IntSet NumLe CanNotBeCase
8d66a717b21fca6bdda9beabfabaece6b6bff239 IntSet DefFun CanNotBeCase
4c48cefec5bef1388b7c52519d72800f57b681a0 IntSet DefFun CanNotBeCase
c1b8a89aa636abba203940724465c3c772b85997 IntSet LetDefFun CanNotBeCase
eb3585f8a9e72caf7ec2106b35ff908c60545442 IntSet LetDefFun CanNotBeCase
15431bb26fcbf30fde2f5ca464b59c162e118c55 IntSet DefFunRecursive CanNotBeCase
1846af45746a9a1cef12e41e0474ac327ed18b09 IntSet DefFunRecursive CanNotBeCase
88611f05fc0a0320faf83c074b808843d38a2044 IntSet LetDefFunRecursive CanNotBeCase
40d5f14a0fb7d1e22f45b1c8be6d6e67a7553829 IntSet LetDefFunRecursive CanNotBeCase
be68e3ec0e7e568967fea364ab3678f0ef431f02 IntSet DefFunInDef AlreadyCombined
0083efebb829c79e88b08368662faaa273ed4aa2 IntSet DefFunInDef AlreadyCombined
cfd763139412aa4d8218046aedf54a76ddfbd270 IntSet LetDefFunInDef AlreadyCombined
a81fb74dd4b167f8511fc1bb5c5025f707f9e4d0 IntSet LetDefFunInDef AlreadyCombined
42fe73146a1b582fac691e8e5a1ba41c42e4aad7 IntSet Def0 CanNotBeCase
14c4f8bbc290bed2d5eb41c64f44c4a3694911ff IntSet Def0 CanNotBeCase
c8c004202dfa2caf0f3ac07426e71feb7dcb39a7 IntSet LetDef0 CanNotBeCase
a46ebf2cb62c82e9d30d2ebaf120e88807a42ee2 IntSet LetDef0 CanNotBeCase
dd887f84881b4fa498d16648a8f3daeeb163e8a7 IntSet Def1 CanNotBeCase
c0db7ff1543a741a7f9bc58333e27f99a5d6f8ab IntSet Def1 CanNotBeCase
0327707865f280a0bd4a00910fc7af9ae9ba35f7 IntSet LetDef1 CanNotBeCase
962df563d945c241e4755f0d201986ae1e165691 IntSet LetDef1 CanNotBeCase
880861d228d81832c2cd039845f3bb4aff4faf19 IntSet Def2 CanNotBeCase
b9a5e9108a88e1e98d571b6c26a50a2786bc07ec IntSet Def2 CanNotBeCase
a380f79f69e4df272e0e6c19463443d331aff27f IntSet LetDef2 CanNotBeCase
335a4890dbd020624fbc253cbd663c90d2bc7cda IntSet LetDef2 CanNotBeCase
8f445cfc4447afe1c1b1b3e078ca093efc8eea7f IntSet Def1Recursive CanNotBeCase
6a6bcad13ddab335bfbe85dcf8f4bcf2fb6190fa IntSet Def1Recursive CanNotBeCase
d06b0cc87de0b0151bbb5b10d284d6c0fb866b2c IntSet LetDef1Recursive CanNotBeCase
6fe71563a4ca668b7e19f05188f05a2f7ab3519c IntSet LetDef1Recursive CanNotBeCase
642f00abd8faffb8307afc80fe0faca44eafd939 IntSet Extends CanNotBeCase
241c4b20e2c121cfa561de41b891b4c196e372d3 IntSet Extends CanNotBeCase
682edad54531e10d167f6a85c3de60c01a309f8b IntSet ExtendsInDifferentFolder CanNotBeCase
4442cd891797bb3abb62ef154089d34fcbb7a4f0 IntSet ExtendsInDifferentFolder CanNotBeCase
473824f0e0cb020d956e650a6400ec88eab52dc9 IntSet Variable CanNotBeCase
9e25efc520444456f6c4417729d5957548979631 IntSet Variable CanNotBeCase
972db31ec525e38aee33cf9d7124d1a8cfb9efc3 IntSet VariableViewExclude VariableExcludedFromView
21e0a9e6537ffce098ba4fd0e26e7a6987f712bc IntSet VariableViewExclude VariableExcludedFromView
9bf938b3bc8107e2b617c8ea0d279a6f47435ba0 IntSet Constant CanNotBeCase
2a40afb4330daa3b00d776e0ed59668c3a12b213 IntSet Constant CanNotBeCase
ef339def02910b69c920036e4e90afad4681ccbf IntSet ConstantModelValue ModelValueCanNotBeUsed
3e02ee6e1e4abc2d904375b504aabaacf738e4af IntSet ConstantModelValue ModelValueCanNotBeUsed
fc7591adf68b8dc46fb6fa9767b86fc22fdb4160 IntSet ConstantRank1 CanNotBeCase
a5f97d1afad3f810417aeb079dd6e4964a6c71b3 IntSet ConstantRank1 CanNotBeCase
5aa7dcdd0c55c71fabf824b6b5a4dd7835ba3cf1 IntSet Instance CanNotBeCase
09107af3e7bd8de8f68e8660f0709157130a4d4d IntSet Instance CanNotBeCase
12e1605a27ba0c39558f77c698ad2f35fa99793a IntSet InstanceWith CanNotBeCase
bb36464b727359f7b86817ac35342ff49d721680 IntSet InstanceWith CanNotBeCase
c2311b88ddb9a3a445630896dfa7272fdd05bc07 IntSet InstanceNamed CanNotBeCase
3349c549a7e0e40a98ac4ee4156d8c863306cac2 IntSet InstanceNamed CanNotBeCase
8ef374feac928310689e94cab4fa588fc9092be1 IntSet InstanceNamedWith CanNotBeCase
f875a3c62fb71817b42747c9dd350d60583d899c IntSet InstanceNamedWith CanNotBeCase
11edb2e61a3ccfd08aee7cd7aef3e8768c930580 IntSet InstanceInFolder CanNotBeCase
27fdc0d932f34dd7e449cd73a50ab8887ca8cdeb IntSet InstanceInFolder CanNotBeCase
b84a880b6f965c412d9681423a1533a0f952a761 IntSet InstanceWithInFolder CanNotBeCase
1a56826f6d85c4b799a28b289d89ce756cea6d8f IntSet InstanceWithInFolder CanNotBeCase
c5e152191e7d356631116365d3af6e190670f292 IntSet InstanceNamedInFolder CanNotBeCase
37bd846f41d72a78b36866beb8329ffd8767fea3 IntSet InstanceNamedInFolder CanNotBeCase
d67a6b9b632114e87f98d1401c5c1caa8bf912bf IntSet InstanceNamedWithInFolder CanNotBeCase
d4889d4c6c340a263df65261d7f9b5124453d6be IntSet InstanceNamedWithInFolder CanNotBeCase
053a4df995e15a335b2f3d2252ba460414529ece IntSet Enabled CanNotBeCase
3ee37f6582b984f01b71b52e7373a6430157d486 IntSet Enabled CanNotBeCase
3ce712c03bb56b6846fa442a0607c1d4c27cbf1d IntSet Assume AssumeIsNotEmbeddable
d6aa588717da075ea12b4a130e88bba455bb499b IntSet Assume AssumeIsNotEmbeddable
e524acce2c503d35fdd98d5f38b48911a79c3e7b IntSet AssumeNamed AssumeIsNotEmbeddable
1b6acb85139cc848eeb94a3ddcdb1a9fd9dc2631 IntSet AssumeNamed AssumeIsNotEmbeddable
cc8b28ac411a8a0040e5d5e86adf2e985a2a1d66 IntSet Lambda TypeMismatch
69857bc4a65715a763aaa9d008004385727c3acc IntSet Lambda TypeMismatch
58a7309692a1b7fe78af88b18dacc281aac96dfe IntSet Cross2 CanNotBeCase
974577c080d0e4487478fab0f209020a6c476a19 IntSet Cross2 CanNotBeCase
3b0d8387f8abecc93c93d7cc5052d757e44009c0 IntSet Cross3 CanNotBeCase
ce6035e23dda2892896f66ce91b167ca4f992976 IntSet Cross3 CanNotBeCase
abd000dafec116fba2fe783b2b70269738ee2aec IntSet FunSet CanNotBeCase
ea57ed28d2a5424311ff0cf0f5f2eb72504407a4 IntSet FunSet CanNotBeCase
afb2cd68153bd147bdbc58fe177ac4488ce7fc71 IntSet RecordSet CanNotBeCase
be45de9b0a0b3021bfbb1f55aad6a87f598608cc IntSet RecordSet CanNotBeCase
c8ea0726784d2959fac6f25ddc4aee8f405177a2 IntSet SetDiff CanNotBeCase
247124d49bf70faeed55d19b0c75b1bbc9c3a9fa IntSet SetDiff CanNotBeCase
dd99642c5a0a7c93eb3e51dfb5ec295c1d12c959 IntSet SetUnion CanNotBeCase
e6787586f5a5bf92fe7f2853a2b7b9eb4eddd251 IntSet SetUnion CanNotBeCase
a00132d30dc5d76486c89c8100a00bb76de9312d IntSet SetIntersect CanNotBeCase
bfbf1c7cd309ef7123e14f7b6e61bc750a854b2d IntSet SetIntersect CanNotBeCase
2494b995038393546a626c6a20a7514472480cf9 IntSet SubsetEq CanNotBeCase
bd5098fe6f5fd08e210318fc85fcb0642c7fe2f5 IntSet SubsetEq CanNotBeCase
73ddb6225c3055fff9fb34c22955398c3a88eaf3 IntSet IfCond CanNotBeCase
a50e6fd73697cfc097c34e52521cfe6189f5f539 IntSet IfCond CanNotBeCase
687a6879ad6c7c076f719c30a20de02ecac7a31e IntSet IfThen CanNotBeCase
620100d3078a273a4c0e539b9f0948f5ce524438 IntSet IfThen CanNotBeCase
36b96a2f722cabce6364030bf97965e072cd61f2 IntSet IfElse CanNotBeCase
8fe5773308b2bc57298cf0be18946a2185d6370f IntSet IfElse CanNotBeCase
41e625e88488d424cb801e125bc404bbae64b33e IntSet Subset CanNotBeCase
e0a798d3a32d618faed358f58afccf6587688e78 IntSet Subset CanNotBeCase
24d1ea12611b216a3aa4d5e87d42d99a741e6b64 IntSet Domain CanNotBeCase
0183885811c0cef25a46123345346657ceb3ee57 IntSet Domain CanNotBeCase
83fed045a63611d4d0225ff9bc55fb13e87b8205 IntSet Union CanNotBeCase
ef698cd1a354e4b63a02fa678e9e5279d97617db IntSet Union CanNotBeCase
b41006a9a8cb06224618ed6361b06de67bb75961 IntSet Unchanged CanNotBeCase
55f3b914d124d8d85ec2ee57ba32e679f94bcf5b IntSet Unchanged CanNotBeCase
057f6f250e5a00892c087a0c6a87a424f408ec0c IntSet Equivalence CanNotBeCase
be436f40e03e0a5ffe558655b661193657d7a873 IntSet Equivalence CanNotBeCase
983335493f91eea4cee18ca9f0247a28e42c87fb IntSet StringEmpty CanNotBeCase
16403e20034da51dd0073879de3048a4ffcc789f IntSet StringEmpty CanNotBeCase
c7b7708290d9394d0d3d744a162ae2453564e9e4 IntSet String CanNotBeCase
4215d155e1c0e6f3046dad969f1e6342a37f5c3d IntSet String CanNotBeCase
bef34609ebb1c4558292f622853add499c6efe12 IntSet SeqLen CanNotBeCase
6d9048ae3f911cc001b201936ed88c8b3491a31b IntSet SeqLen CanNotBeCase
037384dcfb3519a6874011398f086b93c23c3f38 IntSet SeqConcat CanNotBeCase
7fc18c4410349be0decbe29067cedf66d95131e5 IntSet SeqConcat CanNotBeCase
658727b8a303e0e7d466728dbc374f86b9d49c4d IntSet SeqSeq TypeMismatch
5285ed4a384aa52d9ffd64838d87e7dd8656c2db IntSet SeqSeq TypeMismatch
e74d52e5b92add0bd49991151e08181615065661 IntSet NatSet TypeMismatch
713691b7be47c5b0cda040043173ae1e1a4e89ae IntSet NatSet TypeMismatch
3bca5a4509650527906e1e7989a160566ebd06ba IntSet IntSet TypeMismatch
af265975bcaa4e6af815672ee02beb960d9a783b IntSet IntSet TypeMismatch
87880bed7e265fc1b6d90135c11ae8e838a0ac28 IntSet StringSet TypeMismatch
6efcc6db1c88991b8eb2eceaaf4fc940afbc9995 IntSet StringSet TypeMismatch
99e7c5f31f9be14e076354a02149f330785a34d6 IntSet SeqSelectSeq CanNotBeCase
771a1d66e08b02a05d8079f8b868b1cca7b16456 IntSet SeqSelectSeq CanNotBeCase
7adde12f7ebc569047f57ff007c99b9abcc5683d IntSet SeqSubSeq CanNotBeCase
265a23f3e90b114071211ac00533eaaa15e78226 IntSet SeqSubSeq CanNotBeCase
1adb0138889aa2ee6f926c6518c8ffd2e4af43fd IntSet NumRange CanNotBeCase
d5c635ae3f557d3d885415b74cbc70aa4afd116c IntSet NumRange CanNotBeCase
7f4b72b08d42dab0911eac4fd495dbe10d1534b5 IntSet TlcSingletonFun CanNotBeCase
4a93d0b843638f3a6470532c4eb488beae433c35 IntSet TlcSingletonFun CanNotBeCase
024d8c420b627565e65d2f4dd37cb30df3f545d9 IntSet TlcExtendFun CanNotBeCase
cad8448e5143bc27a71a5d10f348521e91309420 IntSet TlcExtendFun CanNotBeCase
1c3ba1dd1adb2f32169c4e0411da96dfae4820f1 IntSet TlcPermuteFun CanNotBeCase
5ac9a028fcc508af741e312cd7385c0acfa8eedc IntSet TlcPermuteFun CanNotBeCase
eb21fa975e43bafbade615b8b03ea5b36c836720 IntSet TlcSortSeq CanNotBeCase
72e946f0f1075939c9fe126640dd48400e7741ec IntSet TlcSortSeq CanNotBeCase
3410feba30b624431a2ae570ca527987c1bc33d9 IntSet TlcEval CanNotBeCase
f89c3684bf37e20cc58bb5d3a1a8508dcc14b2a5 IntSet TlcEval CanNotBeCase
3aa4e0f937f73847a80dbc8d3296b9e99a4a2cea IntSet BagBagToSet CanNotBeCase
9e5372ae66892197ff99718f9804f16277753c86 IntSet BagBagToSet CanNotBeCase
cb8d2d69ef720818e42bc391c5e7e7afe10a7925 IntSet BagSetToBag CanNotBeCase
68df1b71791c197b290edbac4d645abf8ec91882 IntSet BagSetToBag CanNotBeCase
b7385275ff1ee647622d639a1efe12bc2f7d8114 IntSet BagBagIn CanNotBeCase
bdd38149031209398fffd41da3bfe367a7fd2737 IntSet BagBagIn CanNotBeCase
5091b67097ce200df57e5d34453e5c83a7faf220 IntSet BagEmptyBag CanNotBeCase
d05d0db2dafacbf0aab027b3a2611bcd7ee61a7d IntSet BagEmptyBag CanNotBeCase
4d6abdb567baea9ec3836cbd64fbab49c96d87be IntSet BagAddBag CanNotBeCase
f0cd94de596e25f71bba110016cbcfdb7e60428c IntSet BagAddBag CanNotBeCase
fdd3d94d446135c51e7c33be4749f51509202ee6 IntSet BagBagSub CanNotBeCase
430d85c87e2847ce85acf959f18daff6e081fc35 IntSet BagBagSub CanNotBeCase
058cf7bd57d997f7fed0ee05e3ced769f3ebc6c1 IntSet BagCopiesIn CanNotBeCase
5fdb84b5edbc4a0e3daf875b3fd3569388c93aff IntSet BagCopiesIn CanNotBeCase
3c4248085b65e37d8dcd20016bd1d8a220c719c5 IntSet BagSubsetEqBag CanNotBeCase
82542eab57046533951ae5cc66e72007ef6d0dcd IntSet BagSubsetEqBag CanNotBeCase
fe73be476b89bf8efd8e4b15d63fe68c261f8827 IntSet BagBagUnion CanNotBeCase
a2f75aa12161e7a93aaed42fb35f94d02074b1ee IntSet BagBagUnion CanNotBeCase
1d029aa74b873e578aadb7d0892e0ff520b89951 IntSet BagBagCardinality CanNotBeCase
effd7817487db2536b89d5efa96cdbd3addd9106 IntSet BagBagCardinality CanNotBeCase
2cd9772b200c127d8d915364adf1f3045d9b0894 IntSet BagBagOfAll CanNotBeCase
2484c01b20992d9039665888620a2d8caffa81d6 IntSet BagBagOfAll CanNotBeCase
14a4a06e684028069fadbe85443be37dce7f277c IntSet BagSubBag CanNotBeCase
a316209b221c5143ffed84b1a715c01664f14bcc IntSet BagSubBag CanNotBeCase
3a84d82f18cd82c0fd2daff359e846e06ab67e3d IntSet FiniteSetsIsFiniteSet CanNotBeCase
00eaef114cc43c887e6f64faa1d45af73a3be15e IntSet FiniteSetsIsFiniteSet CanNotBeCase
728adde07456070467c4d7170d2712ad4255d969 IntSet FiniteSetsCardinality CanNotBeCase
dec8e45eee8df6afb7dab698c7a72548c0ef673d IntSet FiniteSetsCardinality CanNotBeCase
3a982b5c89af743524f8b02ad331069ebad89f1c IntSet SeqHead CanNotBeCase
0fef70427b75c50252e9bddf0b9d0d9e37ca6f43 IntSet SeqHead CanNotBeCase
1a22a45fd4ccfcf2534f55f5636deb1e0cafe85e IntSet SeqTail CanNotBeCase
46c65ab99e8d15e08e7680f25c19f12333c413d2 IntSet SeqTail CanNotBeCase
71d958499022da2511e25d192fef558f0ddf5e28 IntSet SeqAppend CanNotBeCase
b24f033a90c32f74c772d199eedf910e4690447f IntSet SeqAppend CanNotBeCase