Index

Skipped feature combinations by case feature StringSet

Id Case Feature Plug Feature Skip Reason
ec8176c282a0d9c4955058bd8827f361fc843efa StringSet OneLineComment CanNotBeCase
fa25b177415246d8a492425f3f063484abe27e47 StringSet OneLineComment CanNotBeCase
eefccbe83a8260236ec19d3d6a4d3080c5d7914f StringSet MultiLineComment CanNotBeCase
6abb3405b57fea6b91712bca6756c6784fa82b45 StringSet MultiLineComment CanNotBeCase
92e24ea45d40fe5d58d3fbd249b541defe007719 StringSet BoolTrue CanNotBeCase
88a7bd67aad314599eb9fb8ab006e916620f0a1a StringSet BoolTrue CanNotBeCase
4e7eec55b54d4bd05c0c2aeba233b94072f2f01d StringSet BoolFalse CanNotBeCase
f143bcfd99ad97fa1f34d49a3ff422513551fbc3 StringSet BoolFalse CanNotBeCase
311170a66069313cce28c521ba464eb1631fcf4b StringSet BoolSet CanNotBeCase
61a9cb51a55958226781b9259786ff015e725fd5 StringSet BoolSet CanNotBeCase
f782681947d0307a07a2bc7010aeb4564393365e StringSet And CanNotBeCase
69583fb3df2513feedeb81b7bfd67084f9848a3e StringSet And CanNotBeCase
e9cf07661cde3541029ee068de43e2c0d0a57c72 StringSet AndMultiLine CanNotBeCase
52a361420edc1b421fb79789fdd943487e386972 StringSet AndMultiLine CanNotBeCase
825eb534e2fa3cef85a04fbe3aae8a031c8654c7 StringSet Imply CanNotBeCase
3659e0d5bf1920ee3440d5578b29f247853f5e55 StringSet Imply CanNotBeCase
1e3bf1d2c8249a44ef300aecd352510ca3401489 StringSet Not CanNotBeCase
bcae122408463e2b6fdb6fd9b5f1ce142d343f4e StringSet Not CanNotBeCase
63813fbac79f08dcb15ce0f8bf93c850948cc1c6 StringSet Or CanNotBeCase
7620019bcad7846d6f6ea63cd013eb8610d781df StringSet Or CanNotBeCase
938653f51840c2004456272b0d12276f40907a71 StringSet OrMultiLine CanNotBeCase
0f921745e1389bd1e7614e10133d27462f6f897e StringSet OrMultiLine CanNotBeCase
21be3b6ae4da555ca33e2c820cd96c5c0c0c1a22 StringSet AndProp KindMismatch
0260b1daec71f2bfa3d0019ce021b0bb8a864527 StringSet AndProp KindMismatch
962685334d2145a2fb4e9d00237a722ff53d339a StringSet Boxed KindMismatch
9c65c13ce4c858401e69541f61e881a7f8511c5f StringSet Boxed KindMismatch
e502b2cb918f30d9d6e40c7f139622a0b297d570 StringSet Eq CanNotBeCase
0f5bb148a35b019d20978be9235feb7473a1a7d9 StringSet Eq CanNotBeCase
5c7e65a4045b4e9c47384710034ae0bb72dc976f StringSet Ne CanNotBeCase
453395cb20d82ee9366780972ea36fea202da976 StringSet Ne CanNotBeCase
6bd36b169dd7e26ca6e59bafadff17c37d392f08 StringSet Let CanNotBeCase
a4aa8d6323bbdd3022070943f4d1c6bfd262ce65 StringSet Let CanNotBeCase
058422549498d4828cce1389cc5afb7d4287131a StringSet SetEmpty CanNotBeCase
61bd83362feb3779ef4cd3a3341f6e5b57672fce StringSet SetEmpty CanNotBeCase
932624db675e23982c9bfc1e4d04068ebb7462bd StringSet Set0 CanNotBeCase
7b610596db4dde08e99da4a4978f6039b746ea89 StringSet Set0 CanNotBeCase
d8e0b015b6f0589cde9f0dd710cb7b4e1a848a83 StringSet Set1 CanNotBeCase
b8c1b27007751007be71fb98af211c9273b3cbca StringSet Set1 CanNotBeCase
880ade1b8f04af8ec8d4ece801b23b1f20389076 StringSet Set2 CanNotBeCase
2e3aab981a58e30e4488e106ebc2435f81f49da4 StringSet Set2 CanNotBeCase
288ab7a417d8d7edda7a531d02aa302691f2654b StringSet Set1InDef AlreadyCombined
982ae27f62299cf815ae1b32003a973abce7c12b StringSet Set1InDef AlreadyCombined
74063ea69faaa8e2477fb8c39c9242dfabbaa44b StringSet Set2InDef AlreadyCombined
6f1bb5029622da867e481081e2fbd05a94280130 StringSet Set2InDef AlreadyCombined
1951a962831526a81a49d00809a168f98bd63ddb StringSet InDef0 TypeMismatch
1d3636f1731429d2926c4233f75de11cf13d9516 StringSet InDef0 TypeMismatch
0d58e920556c5fb13192a31e2dd4148d4d2ca998 StringSet InDef1 TypeMismatch
bd2065896bb8f0e1a5d6cf216f34dc9ef368c893 StringSet InDef1 TypeMismatch
cf07ce33cd68bd9ecbd4083ff3db0fe7950b81e5 StringSet InDef2 TypeMismatch
378e39d06d2ddf91421017e3079b8d519648f3dc StringSet InDef2 TypeMismatch
6b8bb7c1b8aeff3f76250b04b7b3cedb89032041 StringSet Fun CanNotBeCase
31d6d2fb5b057d82de0b6fadc3924c0373e19284 StringSet Fun CanNotBeCase
868184c5fb65e85f6f9a104d83417549befc5c48 StringSet FunInDef AlreadyCombined
1e7e04ac9e2a0c13abb5e32553311977fd98b90b StringSet FunInDef AlreadyCombined
f8c5bf1d45d71fd9e5de036630908960c85f8c52 StringSet In CanNotBeCase
0c58b4d53b6b7abd3cd86ace847bbae489bfb47d StringSet In CanNotBeCase
293064cfb5764e899f3ea2046dbae20845133192 StringSet NotIn CanNotBeCase
9f2e22180cfaf0ee450b11d714e85ca41a816586 StringSet NotIn CanNotBeCase
6864a6891d2f5d02bf993ad4586ab189df1538df StringSet Exists CanNotBeCase
6aeb2615c82c96b4326a678127c216d4af64535f StringSet Exists CanNotBeCase
396784aa75600fa175b1ddee307315e834c2db8d StringSet Forall CanNotBeCase
2ebb8626eda6a049a8c7c9a66c0c35c2c9ff40df StringSet Forall CanNotBeCase
18109505f68c2ad8f57b06a17a6ab8d6877d64b6 StringSet ExistsInDef AlreadyCombined
35339eb2c504df8293c835eee0e1929d94bb8102 StringSet ExistsInDef AlreadyCombined
d2030d91e7d3a7637cffce93bf5baa38cad2f403 StringSet ForallInDef AlreadyCombined
73947353dd2e7a07d5373305abee5d233eb26f74 StringSet ForallInDef AlreadyCombined
8b4ce9f22375d196a767153e1113c2c8e07a8ea2 StringSet Choose CanNotBeCase
d5387f62382db5968328305191c23d3e7bf2e53b StringSet Choose CanNotBeCase
7dbb708eeeddd7a8468445fcb2415f2509aa0c09 StringSet ChooseInDef AlreadyCombined
752227feab4567f65e3dd333faef52a5e45ff6ee StringSet ChooseInDef AlreadyCombined
c2c2be48f36bad705aa9d694bdc65c7eeb7aa114 StringSet Record CanNotBeCase
883778ef03e497271fb1b0c5a9ab39ea4dd5f949 StringSet Record CanNotBeCase
7442a886e863598c7138508a0215ea2b8f7940b3 StringSet Tuple CanNotBeCase
7a70b1d1a29097a369278dc7771d20d8e253d41b StringSet Tuple CanNotBeCase
3fbea7ba14d7566d9ac12abf5a014b0c906ef890 StringSet TupleEmpty CanNotBeCase
76ffadeab0e7090e1c4a9653c7a7446ff36c0098 StringSet TupleEmpty CanNotBeCase
927442bd0913c1490a838b9a957a678a181b488e StringSet FunApp CanNotBeCase
44a26c16ff96fd479094c57e7ee83918b0bcd332 StringSet FunApp CanNotBeCase
f3a424e856d352b89eed8826eafeeae74bf86793 StringSet Except0 CanNotBePlug
96798bd396425134a5e0558574ce66f4a6a43d28 StringSet Except0 CanNotBePlug
d604daf0bac898ab07bde90fcf429d1dd2d0b8fb StringSet Except1Fun CanNotBePlug
f7dda5b99e2174c1b44a4c2e26f666ad561fc002 StringSet Except1Fun CanNotBePlug
7f76e8a200fe6349b23746d5708bc06198e0e6f6 StringSet Except1FunWithAt CanNotBePlug
4b299354ed55bd1f4c51a01748de4e5a8692de4b StringSet Except1FunWithAt CanNotBePlug
cc9acbfc0fc6e82e351a97f526c3744e8c3d87ff StringSet Except1Rec CanNotBePlug
49c3d3262b03e6be1e62f1349cb3c446f801722c StringSet Except1Rec CanNotBePlug
0fb8c307e88b847f93ba59870f3c70b24fd15b3d StringSet Except1RecWithAt CanNotBePlug
b383bc07cba556f37a1db69cbaafe4934048b585 StringSet Except1RecWithAt CanNotBePlug
b38ebe2814fc75238267ee1b8252571df578e1c3 StringSet Except2Fun CanNotBePlug
fdd767a93c5b43c05a5b87ba66573951d5ec8d31 StringSet Except2Fun CanNotBePlug
7f1e54a2105db7b41bbd468091c231960363ab27 StringSet Except2FunTuple CanNotBePlug
7b31b2b271380a0ccc917b2dbb70c6999246dc94 StringSet Except2FunTuple CanNotBePlug
fcb3f8121538452000dcfc6db61db1e74c014fba StringSet Prime CanNotBeCase
227cce8c2bed3916795774e55fd400d906f26eb5 StringSet Prime CanNotBeCase
7976ec317b302ad2165171d0b2983637a08e443f StringSet NumZero CanNotBeCase
862bf5fe7477653973f20fcb985238eb2e5e76af StringSet NumZero CanNotBeCase
26a6801e04e10fa6e03cebf4baeb3fbaa015db2f StringSet NumOne CanNotBeCase
84e970d82bc1480fe8a40b9eae7c5b99a519122b StringSet NumOne CanNotBeCase
6e90e9a412489d9aacaa77fea34157754dc12cec StringSet NumMaxInt CanNotBeCase
4936de34cc90bbf131bed99e48d6e1cabe2abd91 StringSet NumMaxInt CanNotBeCase
ead5505ee3a98d38e1a7f0c92735d87ba6312065 StringSet NumUnaryMinus CanNotBeCase
998dfed0477088fd4c1a2b806c708dbb11eb1532 StringSet NumUnaryMinus CanNotBeCase
f5f62ecd4950be5af06739ed137da3263a0c2f65 StringSet NumPlus CanNotBeCase
02ece252e570fd08daba7971f0731aaacfaeef7c StringSet NumPlus CanNotBeCase
861df5bc2a884ecf3d15cad9037dde02cf228886 StringSet NumMinus CanNotBeCase
85ab9d6eb1f00126ad97548b895d1a07e0718243 StringSet NumMinus CanNotBeCase
fcd2cf79d4f64bc7020a656a70f6cb0761d9f333 StringSet NumMul CanNotBeCase
9dc4fa1ff8997238c98ce7d9bd1a036edc69c9ce StringSet NumMul CanNotBeCase
3d7ca6cbd4739519bacd56d6d83ec9160b136c03 StringSet NumDiv CanNotBeCase
607cd6c7506f7dda6975981ca799e3eab7753f22 StringSet NumDiv CanNotBeCase
82f2a05246b264c263f53cdba08902e8a8145340 StringSet NumMod CanNotBeCase
925c290ced94ec695bc3d1e479b6b7d47eac855a StringSet NumMod CanNotBeCase
b4adb6b98e93af5f5562c2e5e0144b3700dd4f6f StringSet NumPow CanNotBeCase
d7eaa85e2c7b778bc3418cea905edd0e8de0065a StringSet NumPow CanNotBeCase
a8e1113f4f4a6f5c0dd0aeb6f88d7702b7b9d5a9 StringSet NumGt CanNotBeCase
a69b9c0b3b69715fbae6d16de9ad6935d03eae3f StringSet NumGt CanNotBeCase
08fac7aa8a428451242f448a317ccf70c7bf149c StringSet NumGe CanNotBeCase
861fccf04109f8c10ed041b46850c60951d4c57e StringSet NumGe CanNotBeCase
7e52dd5f80951bdadd5d7a73bee819cb3cb147bb StringSet NumLt CanNotBeCase
81eaead01803c83774bebb0428b10182fc112852 StringSet NumLt CanNotBeCase
d7d6811d785d3839ae995a087956cf5d19bcbb90 StringSet NumLe CanNotBeCase
747b0849dc40eac64e03d51a42b92aa28a8f1a15 StringSet NumLe CanNotBeCase
06400122ab32d0ce14ec951f2575088b16f3cb53 StringSet DefFun CanNotBeCase
b43fa513e7c2405142156ce77ffc877dcbd95a89 StringSet DefFun CanNotBeCase
72b0e05c262b5cd7befefabf68c3c8fe00f00e50 StringSet LetDefFun CanNotBeCase
48b623ffd65cd47c5c3ebc20e81288144b257a0d StringSet LetDefFun CanNotBeCase
fbbcd43ac38846fdda1acba740b8f909e0898bc1 StringSet DefFunRecursive CanNotBeCase
eeb23e69dd93601f3d339ba0a6d1e2746836b323 StringSet DefFunRecursive CanNotBeCase
325d44a9ec42837e4a3d10d66aa5dd2f705aa939 StringSet LetDefFunRecursive CanNotBeCase
c563e18a6cafb9f6050e98425e0efe87f12bba07 StringSet LetDefFunRecursive CanNotBeCase
bcec854c0c6836e3d1441d3abd32244d85fb7880 StringSet DefFunInDef AlreadyCombined
cd59737f4b0fc42ff23917d1e13cc8ecd0699910 StringSet DefFunInDef AlreadyCombined
ffe46f61ca7ad6c244d14ac6898c7f41a28b03db StringSet LetDefFunInDef AlreadyCombined
97582e09c99055af197470a79fca1d381de67b83 StringSet LetDefFunInDef AlreadyCombined
06cd2d4d55134c47114eb02785cd837677868a9a StringSet Def0 CanNotBeCase
a293e0dc2f0f4ba21f5fee211f2b127a9116fd00 StringSet Def0 CanNotBeCase
45a687e7fa3910a18eee38cc75c3421eb44ed8d1 StringSet LetDef0 CanNotBeCase
5c07f53b8db41924c10e816a52198b2484f03bf9 StringSet LetDef0 CanNotBeCase
ca9aedc772e01d8c758f2f3f46980e45cc4fa4c6 StringSet Def1 CanNotBeCase
330b979ae0f42600e58774823c73b9cf8671ad77 StringSet Def1 CanNotBeCase
969b5cc27faa7fdcc8e17fc6423370e49289a860 StringSet LetDef1 CanNotBeCase
7e8e20310074cf4c345b0b517529f86caa4fdaf3 StringSet LetDef1 CanNotBeCase
9f7915b20f5f255ab80d0ed2a949cdaad0d30424 StringSet Def2 CanNotBeCase
854504e2562385a90089f1c8c03c39762f6c8a1a StringSet Def2 CanNotBeCase
63f0501f3baa5061f366522981a06cd707ba7190 StringSet LetDef2 CanNotBeCase
9dbb9d6b1f0276c7f2e23fefc134910bef546518 StringSet LetDef2 CanNotBeCase
2f57096bcf8c59981166982fed6b7f1c560daef1 StringSet Def1Recursive CanNotBeCase
967a5f9db95d27ff2c5390b1f43cd883e75ea19d StringSet Def1Recursive CanNotBeCase
04cb6d598c9fa7a4b54c1b03f031ec8e9b92c8e6 StringSet LetDef1Recursive CanNotBeCase
0aa0c6a862f3a7405696e46865b361a553f6e7f4 StringSet LetDef1Recursive CanNotBeCase
76086ceeff7e8b6eb1c23abb48190127e046c182 StringSet Extends CanNotBeCase
cd9d0dbfa3b53047b0ea9ecab652a07010a7eea4 StringSet Extends CanNotBeCase
b06a2c7b68be0a833f3ecda1b1232a9d06b3382a StringSet ExtendsInDifferentFolder CanNotBeCase
c1a020462618d7f39ea31bcec1ad6974b43a58b0 StringSet ExtendsInDifferentFolder CanNotBeCase
4e41f29f9cf921bb678ee68d213e5d903919530a StringSet Variable CanNotBeCase
335e6bd2fc599684bc35976af7ef89974bb2b12d StringSet Variable CanNotBeCase
f4532082434f94cdc1a1c8c57fd56268739e60e3 StringSet VariableViewExclude VariableExcludedFromView
64656d5d2a3e4e70feb55c46da8c7f3808721841 StringSet VariableViewExclude VariableExcludedFromView
807d86237688d95d8a482a535ae5148b9d578c7b StringSet Constant CanNotBeCase
3cd1eb97d277d638d1d7c9ae2d58f3eeb106456f StringSet Constant CanNotBeCase
8950e35610e173575a5e6d80a20277131a1ba48c StringSet ConstantModelValue ModelValueCanNotBeUsed
df77b9b7386f0ec13bd891a7e8690186943a3d56 StringSet ConstantModelValue ModelValueCanNotBeUsed
551f48ce396ec61fd3aa1787d0a10eb6021a6efd StringSet ConstantRank1 CanNotBeCase
d2e7c94eb70cb57b76c522613bae0a027962108d StringSet ConstantRank1 CanNotBeCase
7aad368493e51877873cb97d79cfafa3a170e9f6 StringSet Instance CanNotBeCase
1e397a341587d550b683202bec49200101956f4f StringSet Instance CanNotBeCase
a1e377897d6a310e990c1328244d19eb4a461264 StringSet InstanceWith CanNotBeCase
649514bf4bd7e6b04aed0ee20900a6b6e14f3dbb StringSet InstanceWith CanNotBeCase
58966861c0c5344859ce2d7b10f6f701c0a3c494 StringSet InstanceNamed CanNotBeCase
b35660304f7e8a5bfccc85eb8fb82a4ad2d9ed4d StringSet InstanceNamed CanNotBeCase
a8ad18e7b4d0f9c456ac2d6163007927013833f1 StringSet InstanceNamedWith CanNotBeCase
e8898fe65905c0a7e7d1939b7ab779efd4db42de StringSet InstanceNamedWith CanNotBeCase
0e690687fdd118032b9a1fbf12d2d7529a4b0dc4 StringSet InstanceInFolder CanNotBeCase
8f520f5f9b800da76e7cd106ea74912a8d3bdf21 StringSet InstanceInFolder CanNotBeCase
13e48765660c3393d51e12870a5a0bd6c467245e StringSet InstanceWithInFolder CanNotBeCase
78e0ef335c3e7c08316bc0df1ae8659f887a25fd StringSet InstanceWithInFolder CanNotBeCase
4c9d51f0044c65356216c507b503a4633cf2bdad StringSet InstanceNamedInFolder CanNotBeCase
7a922b3fc12ef65f7b3a151f8acfa66d93fc8fa8 StringSet InstanceNamedInFolder CanNotBeCase
2511d3700591514a59a4580bbbe317643dd2d1f0 StringSet InstanceNamedWithInFolder CanNotBeCase
fe9e0bfb9e83937295bd961aa3780c91cd3d2c28 StringSet InstanceNamedWithInFolder CanNotBeCase
adf10b726153d5fe7aa708d1d46632711ab96398 StringSet Enabled CanNotBeCase
14d26c45eb6541a8987637b358ed967bdc765e20 StringSet Enabled CanNotBeCase
b688ed38cb25a5a046e774955d6e5b022f8f172a StringSet Assume AssumeIsNotEmbeddable
5867ef3e65db5153175bbbea9fc88258609962dc StringSet Assume AssumeIsNotEmbeddable
38807efab60da50da09b8b8a04a1dd660fa4b5fe StringSet AssumeNamed AssumeIsNotEmbeddable
f03f603e5b323d6317fd70bc281768effba77b38 StringSet AssumeNamed AssumeIsNotEmbeddable
88d87cb2493f236ddbf27ddf7e931a1eaca9459b StringSet Lambda TypeMismatch
2fb93ef46821e73be8879e4acbc1114b9763fa15 StringSet Lambda TypeMismatch
5991f73d9eb504fd195dcedde28edeefe81a2043 StringSet Cross2 CanNotBeCase
34f9b89b19df174ca8b78f06953260db0357e73f StringSet Cross2 CanNotBeCase
7e628f140f0080dcbf92a73309fd8b0a21cab384 StringSet Cross3 CanNotBeCase
34012bdfbab2865b92772096314729b9e8ed4f4f StringSet Cross3 CanNotBeCase
f9d4ea08eedbba39ddd15c4eeaefdba8f35cca56 StringSet FunSet CanNotBeCase
6150bd31a3f37c7e1830aabea376a2fc3a4ebc35 StringSet FunSet CanNotBeCase
b44e491baf164cd012a4a764c0e61f4c8ef0a3a9 StringSet RecordSet CanNotBeCase
ddd1eda7c28f8c2dd4cc05e3aecc50bbbf8c93b9 StringSet RecordSet CanNotBeCase
84c1e1a8cf7dcb4ed2ad397a401d9f2a753affcf StringSet SetDiff CanNotBeCase
66d67683dba6b8f1e7eb77682d1a34425be33663 StringSet SetDiff CanNotBeCase
0c7ebb0a2e883c7fb20c3120a80e7aff94fef948 StringSet SetUnion CanNotBeCase
35959e10d8b0bbc9fde04329d102eef83dd61ad4 StringSet SetUnion CanNotBeCase
7b8d4f3efc839b8e45c8e78dedab886bc05169c4 StringSet SetIntersect CanNotBeCase
4784772f6fbd503bc745ef933848ec94f094df45 StringSet SetIntersect CanNotBeCase
4b7aefb773f66227e0cbfdf83702572448936896 StringSet SubsetEq CanNotBeCase
6acebcb12ea221b7857bb423cc50ab42acdfa630 StringSet SubsetEq CanNotBeCase
f296ee8f19173f7a3f5e426cd4f60d3d557abd0b StringSet IfCond CanNotBeCase
eaad7b519886bb01c833e50b6cff5a45f5251ed2 StringSet IfCond CanNotBeCase
d1074a85924ece94bf3fe5e142a64b7f545b4342 StringSet IfThen CanNotBeCase
06ac462cafbb4f0ad0bc3b8b4e2a39f9f312309b StringSet IfThen CanNotBeCase
eb2626acabdada3e5df3ca57b22632d4cacd809e StringSet IfElse CanNotBeCase
ece8f37e40d02ca79997f37e858f053d34ec2c89 StringSet IfElse CanNotBeCase
310914608869cea95709342f2349492b64d398ff StringSet Subset CanNotBeCase
ba86cf8672e2d0e22ce20bb947e18c2188f7a7ef StringSet Subset CanNotBeCase
07242ed4531faeb0963c027941ae2da863dab28f StringSet Domain CanNotBeCase
b87e0b990c5dfeca2eb4a22c8558339384834ee6 StringSet Domain CanNotBeCase
07b9177ad7fb02e2f4578fb09f9f5da58d1f1c61 StringSet Union CanNotBeCase
25c346764f81f34334b0e9b836c0298f4d4fc6e7 StringSet Union CanNotBeCase
d4c32293ad8f28b57f01962d3a85f02a2935f11a StringSet Unchanged CanNotBeCase
fb3b4b8f781a90fd2e468fa840a0b8f5b8ed7d75 StringSet Unchanged CanNotBeCase
851bc0976e41a5c896eea03bc3736633f30b31bf StringSet Equivalence CanNotBeCase
c7178b372b945c101c3421950218fef4a2a040d1 StringSet Equivalence CanNotBeCase
03d39335b8be6f5ec8d25d30c7ad2004b7042896 StringSet StringEmpty CanNotBeCase
4fc5ca28b522ae24dc1f9acd053f86a20c6b1349 StringSet StringEmpty CanNotBeCase
e19226abb1e41a29ec6a967ab5d9d5c1bfade8b9 StringSet String CanNotBeCase
f4a39d2d0d16a5b35fd033753d24b513ed648b13 StringSet String CanNotBeCase
ee04941dce80fb9da2c8713a06557953576dafe8 StringSet SeqLen CanNotBeCase
12db29cbf2c3f309011df4c1cd4c724859154110 StringSet SeqLen CanNotBeCase
45a03f5116bc388b51b3956605ffd05b1c901cc1 StringSet SeqConcat CanNotBeCase
47d5f838d9566b8188cd52b7a0d7bb541458a428 StringSet SeqConcat CanNotBeCase
24c4b74d9bbddf024540aa0eff25812f2458a953 StringSet SeqSeq TypeMismatch
222753a5ba4f4a985f0a095b91badd0f327ce7a6 StringSet SeqSeq TypeMismatch
d04458f16871bcf6dc588f1651bd4b3e30ad55e8 StringSet NatSet TypeMismatch
8c534174b0a1204799cf991b220ea7fe767436cd StringSet NatSet TypeMismatch
c8f8580a671c38499713c17a47a80bd849c25997 StringSet IntSet TypeMismatch
47bb27fbad256d5d84939eeff3c23126ecdfdf60 StringSet IntSet TypeMismatch
2bb025e17f29e222a2b6e3dde97e44fcb24d4977 StringSet StringSet TypeMismatch
00ab1dcb15826d2b0230bc1086029ea07e0916da StringSet StringSet TypeMismatch
905202c644d388991874e48fcb990ce2f03ab5f2 StringSet SeqSelectSeq CanNotBeCase
83b698265a7e85ba42e0a92e632419469f53f479 StringSet SeqSelectSeq CanNotBeCase
7758fd33b95d8016bd4827bc426a94e409bbc209 StringSet SeqSubSeq CanNotBeCase
77e4791c93d5693891a9bca611e443aa675fd3e9 StringSet SeqSubSeq CanNotBeCase
38e1fe7b4f29a5b24dd6d878115da0682baba69f StringSet NumRange CanNotBeCase
3ad7f654d9d9fbd9d6ea1818d790bfa951f6493e StringSet NumRange CanNotBeCase
9cbe01f149cc2c4aee1307bf20188c70e8ea94bf StringSet TlcSingletonFun CanNotBeCase
a34a747def4dbf643e916060eab3e4bcdbe13b34 StringSet TlcSingletonFun CanNotBeCase
bef64db3c3dcefb971d6a9601df21bd82c9059ad StringSet TlcExtendFun CanNotBeCase
087927424afe9fbb9a6a6b4d29b3ed97a90ea2e2 StringSet TlcExtendFun CanNotBeCase
203547195a7b07d0e4c02658cd1c23de9fefbc5c StringSet TlcPermuteFun CanNotBeCase
2bd7cc2dea6f7397b2f3b166704838ac8cf941c3 StringSet TlcPermuteFun CanNotBeCase
75b4bbd508bed63ac172cfd9178e7424e491e274 StringSet TlcSortSeq CanNotBeCase
f1c1ca57fb0481afcb2120d7c7116aa15d1329f5 StringSet TlcSortSeq CanNotBeCase
2faf78959894751bf605fbb72592901cfb28e67e StringSet TlcEval CanNotBeCase
286228828d54cb092e29d113592c791392517797 StringSet TlcEval CanNotBeCase
0c71f12ab8cf9e527c4e9427e3df0edf6f998811 StringSet BagBagToSet CanNotBeCase
4e0fc39178505a97f4f2c31ae949b4580539f882 StringSet BagBagToSet CanNotBeCase
69e6706b5f9bf6d9893d0330b05e0e43cdcbfdcd StringSet BagSetToBag CanNotBeCase
2e0841fb7e6184781ac22c13ef7ee0547cbda9ce StringSet BagSetToBag CanNotBeCase
2e3015efa7c769368c2910a8347616440cafc7e9 StringSet BagBagIn CanNotBeCase
d28ac930d50701632f85c98ea9deb4e9bd7e7687 StringSet BagBagIn CanNotBeCase
4347ff6353657d01a6c47df6e1f294186cd62007 StringSet BagEmptyBag CanNotBeCase
6caba1d97b1ad338daa487c3f7057260c73c1cc0 StringSet BagEmptyBag CanNotBeCase
a91d2a195d8664ae0e7c3adc8b17721557cd3000 StringSet BagAddBag CanNotBeCase
7ec7ab2e929669a0ff3430a8732d2c636ad8421f StringSet BagAddBag CanNotBeCase
db60e5723a4595094f0351356b1e8ecf9074d9ac StringSet BagBagSub CanNotBeCase
dd66c22c8f134bda703922c061f3dbf717f9d9e7 StringSet BagBagSub CanNotBeCase
074e6d638800e0f1c7d9681e54283da45a71999c StringSet BagCopiesIn CanNotBeCase
5bad4cbdebf8bfad50f9cceb1374b82ffab35a94 StringSet BagCopiesIn CanNotBeCase
9263c8d5af46676c6d9afd680329303e1c5a43ac StringSet BagSubsetEqBag CanNotBeCase
b2966f4d867ec48c12e5b7a56bf976fb7a784734 StringSet BagSubsetEqBag CanNotBeCase
c6305739e03bec17d3d3c13c526191c78db16187 StringSet BagBagUnion CanNotBeCase
c68dd29af95e247a8d8675ac39c099a75a9cf693 StringSet BagBagUnion CanNotBeCase
3302eee515887799cd891c0b0ded36f7866bafa8 StringSet BagBagCardinality CanNotBeCase
8a5651df1a09fe9ed4fef7287fa5d1f5ffcd6792 StringSet BagBagCardinality CanNotBeCase
07f6444ef092b07ca0b8c73c3555831db1098fa7 StringSet BagBagOfAll CanNotBeCase
63870c4b40f6561033ddb519ee6fd5855a8a0f8c StringSet BagBagOfAll CanNotBeCase
0afc7f82d9197260b12935322f02f8b43e0a36dc StringSet BagSubBag CanNotBeCase
969c118bc061241502efaa1ce19cf4d31f4f1313 StringSet BagSubBag CanNotBeCase
2fcff39df41733fd27cf9d889d340980804aecc8 StringSet FiniteSetsIsFiniteSet CanNotBeCase
01935a481a8386242cc22327d80fe00d3e669db2 StringSet FiniteSetsIsFiniteSet CanNotBeCase
3b9e6f5c53ad8dbd4b237adb02e05f0f377b242f StringSet FiniteSetsCardinality CanNotBeCase
532c58c2bdc5c02cbf9405a55935fc6059d47610 StringSet FiniteSetsCardinality CanNotBeCase
e30d8b207ecac3695b61198b300c0ba230ead509 StringSet SeqHead CanNotBeCase
6c8064817fc9c81fed0df5c9cb51ada417f1e72d StringSet SeqHead CanNotBeCase
b0917876af8104953f6d4ff9c4bebb7abbcd1702 StringSet SeqTail CanNotBeCase
578d02f621ba40cfc430f93e03d70450f4d67ed9 StringSet SeqTail CanNotBeCase
f5605e0fcd5388150efda8d3cfbc9ff1cb858277 StringSet SeqAppend CanNotBeCase
834c412687bbc727b060b8364b1272096394cc63 StringSet SeqAppend CanNotBeCase