Index

Skipped feature combinations by case feature BoolSet

Id Case Feature Plug Feature Skip Reason
2222e1c15d5dcb2258815bb6d9fbbdb390c6af7d BoolSet OneLineComment CanNotBeCase
bcdf217a0b0f3ba3d393430e87c3b3caac38326b BoolSet OneLineComment CanNotBeCase
8ff44c9cc22c35a29b029998160f7c0b98b0a9fb BoolSet MultiLineComment CanNotBeCase
f1e728802d8ad07ff7ad6ae54aff21f9514001c5 BoolSet MultiLineComment CanNotBeCase
90db36d707eef94e9c1082127266561b10a9604b BoolSet BoolTrue CanNotBeCase
54aabc73cb9af93e9d73df117e5397081c5a8c98 BoolSet BoolTrue CanNotBeCase
dcd3073f883f7a04d581517baabb14380080892d BoolSet BoolFalse CanNotBeCase
cd557e62447de37fbaf37169a801307ba9239373 BoolSet BoolFalse CanNotBeCase
3eb9e0ec824fba950e0bbeecd66e9393bd3963d0 BoolSet BoolSet CanNotBeCase
07e00c94615b3a602c69a2cdf5362938ebc4e2d7 BoolSet BoolSet CanNotBeCase
3274f86be1bbeea5d3d9b721b65de773cf171bc6 BoolSet And CanNotBeCase
b65c384362d41be6b59c46fa6995ddc82e7c545c BoolSet And CanNotBeCase
82ee88b084907f6ee2bcfa0de06c3b58c33a5b27 BoolSet AndMultiLine CanNotBeCase
0a400a0d9b898b939baaf7369000a178a11d25f8 BoolSet AndMultiLine CanNotBeCase
b22fa1f795bbc57e1c32ccc69e0f89a8fb766851 BoolSet Imply CanNotBeCase
0276d2e37a6ca27c784c0418f4c6675ec86e2764 BoolSet Imply CanNotBeCase
140e264b37decdfc580607789841b58557ce6a2c BoolSet Not CanNotBeCase
3c833a739e8c49f82b700e1d847fab9bf5469836 BoolSet Not CanNotBeCase
dfbe39e9623d0094b288b5411121c6bb9d4fd0ff BoolSet Or CanNotBeCase
68258039e7cd55c0d7fdae5431abd216a252e719 BoolSet Or CanNotBeCase
b83807f5a513acc364ead6b52e8bd36eb521ac58 BoolSet OrMultiLine CanNotBeCase
25091532aa2ccfe8cd6da9145200443331b0ce69 BoolSet OrMultiLine CanNotBeCase
412dc68cad3790653d3b9adc33c8dabd49087770 BoolSet AndProp KindMismatch
84203ddd55a2fe64a7e0f1639304795d575d3bf3 BoolSet AndProp KindMismatch
862adaad6c2da249cbe8765cf840290cd82e074d BoolSet Boxed KindMismatch
48bc8b05b6abcfa68cc7773cc1866b1efc6b38a8 BoolSet Boxed KindMismatch
59e1dea0755aba2a72b88a10911f4eddb4ac21ed BoolSet Eq CanNotBeCase
231e1c91c81f9bde6e75653e5c1378b2fc99cf51 BoolSet Eq CanNotBeCase
d5b735811c4947db6fc86f129e69c0d5c7f8a591 BoolSet Ne CanNotBeCase
42a56c555da13dd82590ea3f67ff3723334b5258 BoolSet Ne CanNotBeCase
1453883fef068cd975d56e1a38b713ebfd28d1d4 BoolSet Let CanNotBeCase
5a50a29cbc47c8bbc71da19ecc9c7ee0daa692e8 BoolSet Let CanNotBeCase
258162ad5b1bd4cb56fe4593f4ef70b0fccf4dfb BoolSet SetEmpty CanNotBeCase
093e072de8fea66670aaaa9e8e00aa175ea1faa0 BoolSet SetEmpty CanNotBeCase
f9cc80884948a7bf6d7bd2314fc1086dfe8d0429 BoolSet Set0 CanNotBeCase
8fa1c1072ae81c2200d2f6717d6617889ed40407 BoolSet Set0 CanNotBeCase
abb5fee2f8ed8c9db7f95c57fe49c7f1972f28e0 BoolSet Set1 CanNotBeCase
44cea39ebb184c4a31d1da3a1d641b7b15144d5c BoolSet Set1 CanNotBeCase
b444d6ed0ca1cb8b49bb613aca36314e4b9cdbd6 BoolSet Set2 CanNotBeCase
dc2f3588468494dcf73679e929404235c64d44ff BoolSet Set2 CanNotBeCase
189da89949b0fdee01f449c16fd1c085e6847e99 BoolSet Set1InDef AlreadyCombined
5106686a0854c071d44783fb9489b26439b8e96f BoolSet Set1InDef AlreadyCombined
13cdad06306a8f97683a6903807ff5edc2a8729d BoolSet Set2InDef AlreadyCombined
5edc1403037f3925d9890f0aa8778b52c482f3fd BoolSet Set2InDef AlreadyCombined
f1be59373f4b0d94901c1a0597c45e24162629f6 BoolSet InDef0 TypeMismatch
5b79df9a66d462f7b257b13eb37ae362ead0cbc8 BoolSet InDef0 TypeMismatch
51eb4ab6a8795a3353aed9d3a47d6c7164458e61 BoolSet InDef1 TypeMismatch
c071ac73e05c24c742ad4c3c56887a1fde285b5f BoolSet InDef1 TypeMismatch
34107dbb75a4e06020b64022ca5cab86cb015dfc BoolSet InDef2 TypeMismatch
043c4633e8b0eb1074d28062bff5729e062da631 BoolSet InDef2 TypeMismatch
5ed61f6188a6a8a5e344af3675fc4e483e02e7a8 BoolSet Fun CanNotBeCase
d7c0154ff9452c705e2ceae50ad03a07eb29f02c BoolSet Fun CanNotBeCase
de04eb497b377aabc503a08c8fdfd73ccd8d3852 BoolSet FunInDef AlreadyCombined
0c721934fe9b9040821ee67f3c148e2c84577f58 BoolSet FunInDef AlreadyCombined
9b844b08dd78113919a8e49cc5ee3109f48c6213 BoolSet In CanNotBeCase
95532ea2511324f9bd408a7dbfd8d362ed8fd5d7 BoolSet In CanNotBeCase
389c9aa3a489d00c291cd05f4c6332910816033f BoolSet NotIn CanNotBeCase
ba4346877027bfc66e47daedaee0e9c08c967b76 BoolSet NotIn CanNotBeCase
79903ebbc607b5445251f79ce3ae6262f7e8676f BoolSet Exists CanNotBeCase
2cb5ef841c76f7b6d7b6ed72863bd05309fe85cb BoolSet Exists CanNotBeCase
676fb2abb589598f0cf9534b97bc838b484b2573 BoolSet Forall CanNotBeCase
1db17aac85bd775167affdd476f716039007e583 BoolSet Forall CanNotBeCase
f570631b7201823236a6b042fcdf3e62bca5030d BoolSet ExistsInDef AlreadyCombined
3c7950c20ccdec27d2d00d150584bf9418e12ac8 BoolSet ExistsInDef AlreadyCombined
d6978c744ca94c89096283a7b8f089fed6e0009d BoolSet ForallInDef AlreadyCombined
e93cc8e6cfe8eb8e3c1d85ad6e46f01768d84120 BoolSet ForallInDef AlreadyCombined
1cc507527e834c0df6df554ff4e68b112ba9d821 BoolSet Choose CanNotBeCase
89072640a7e9c9eef62d6a63d4312d62379294cb BoolSet Choose CanNotBeCase
1bb0084f396db9f317964ea4def03b94d5340ae8 BoolSet ChooseInDef AlreadyCombined
63d6ab90460d980b5a103a29d1826848f82c1a25 BoolSet ChooseInDef AlreadyCombined
6127756f8b81780bdc2a400a5ee51b836b7ccaac BoolSet Record CanNotBeCase
3805c16922bacdd742e48a0a7f6a72e287793a2c BoolSet Record CanNotBeCase
71d11f5f24ae48f9a5fd723fe59937354822403c BoolSet Tuple CanNotBeCase
9509f401d5fe4c46d476e98ac4bcfa9da7ccdb71 BoolSet Tuple CanNotBeCase
bb69789dc11c02f14124ee9f18f242c04fbd15b6 BoolSet TupleEmpty CanNotBeCase
9616a35cfaa3ce65f510a336b8da835896b221fc BoolSet TupleEmpty CanNotBeCase
d23cf945da80f919561665926b1f714acc7a91be BoolSet FunApp CanNotBeCase
259ee381c3d09cb6015932f33394a27ca1b86bce BoolSet FunApp CanNotBeCase
42eb7789170fd3f5e3c850a3ba480469df389da7 BoolSet Except0 CanNotBePlug
ac6bb396ee1b0ed4014274e6ed2bf5c1ac8d290c BoolSet Except0 CanNotBePlug
8ba40d98dc8634a3f4444909d3222626f38dc90e BoolSet Except1Fun CanNotBePlug
6f147eb14e314ec23e94a1ab44bc20111c758eed BoolSet Except1Fun CanNotBePlug
2af324ba2794cb2f8c0a2ecfab71cd70bb7efc90 BoolSet Except1FunWithAt CanNotBePlug
bdbf32b3b77db1d64be8333fa9b0a1b9ab8a3eaf BoolSet Except1FunWithAt CanNotBePlug
a209ec627e64f5aa5914546568d1934899cd764b BoolSet Except1Rec CanNotBePlug
e191da414eb707e633146092242a8a924c6da13e BoolSet Except1Rec CanNotBePlug
b6ef0edebb9f2704bcbcad54c9026a0d8e8792ca BoolSet Except1RecWithAt CanNotBePlug
c155627d739674da2f3639e497ed80656365db4c BoolSet Except1RecWithAt CanNotBePlug
526a16552357957ead06556d5ae800cb875f7cca BoolSet Except2Fun CanNotBePlug
64b1f1486bfde8181605b02fb4f18e4bcbfd0298 BoolSet Except2Fun CanNotBePlug
b0609ec99ed25e67661405317a8238ec6c3a99e4 BoolSet Except2FunTuple CanNotBePlug
1b5c58976d2f747b624fea043a69f038047b205d BoolSet Except2FunTuple CanNotBePlug
b4b623886fb03fea414c0a2d5482c050c29e900a BoolSet Prime CanNotBeCase
647209d0796f15b51bc7057648d538dd0a8bb591 BoolSet Prime CanNotBeCase
59b4d3d2fc4edd4ef5eca9e261895e1e31107d4e BoolSet NumZero CanNotBeCase
aa88481682e273c6e9ec3e07415a2947749fe96c BoolSet NumZero CanNotBeCase
fe5e63a038f67bec91b369884fce79e501fb9a35 BoolSet NumOne CanNotBeCase
55aaf4ec5cf16455c4885f15b9953fb35dcde9a8 BoolSet NumOne CanNotBeCase
c728dcbec764235182510a573e788f8906daa674 BoolSet NumMaxInt CanNotBeCase
16c53f287681421ba1ebd6554b3719eb6da8e16f BoolSet NumMaxInt CanNotBeCase
74b75697d98a5989cd6da59431a88b5ec4fd87d4 BoolSet NumUnaryMinus CanNotBeCase
deb26cc5f75f5839389b76cf52590111c2d38b0c BoolSet NumUnaryMinus CanNotBeCase
7bec7aba3fb7f2bf770e72053bca45aaa7240be2 BoolSet NumPlus CanNotBeCase
8f20f0bee0b7705636ad9ee8f3184ea75900c231 BoolSet NumPlus CanNotBeCase
af070744c43fe849e69702753d4efa938ec4e4f0 BoolSet NumMinus CanNotBeCase
c613e0051a0eebbbfae8ecc767d00a50c4b196bd BoolSet NumMinus CanNotBeCase
62cb8369c5676e5b7471115662069cbb70390635 BoolSet NumMul CanNotBeCase
5bcb061291ae46ac49ce0497c9da5fb903d21c0b BoolSet NumMul CanNotBeCase
f4e40d43825ce369da433f814fdc75e9500ff3ed BoolSet NumDiv CanNotBeCase
6a50b461da03ab844283560359b3309aec3ce53c BoolSet NumDiv CanNotBeCase
f5728f8fcbb0c40ed5b178768a73554c57ec694c BoolSet NumMod CanNotBeCase
4e2fc7db8dcdb98560804ea0a12844a7dcc92f71 BoolSet NumMod CanNotBeCase
c063b83c902a6c638463e2267d5cbf5cfbf0b0d5 BoolSet NumPow CanNotBeCase
5ca4ebdf965ce400f7aa6ff78521d61221eb9b9f BoolSet NumPow CanNotBeCase
4b9b27ac70053e912a58ec50dc0118c48ed19b60 BoolSet NumGt CanNotBeCase
49ecce7f2e515798a631f7dc78f3f88bfd6d30b4 BoolSet NumGt CanNotBeCase
b286b4ebec88b8b15c3554dd48ba8325dbcc1b98 BoolSet NumGe CanNotBeCase
e035181def369c7a0229cae8d6b6c59037523dd9 BoolSet NumGe CanNotBeCase
738d33ea963283fa2a7281957ed6faedf56aea82 BoolSet NumLt CanNotBeCase
7e4812cdb1ecf047266af60bc3c74b82df3e7cbf BoolSet NumLt CanNotBeCase
df426fde5f258dd5856a7dc56f98ee63e31f3e1f BoolSet NumLe CanNotBeCase
1df71820362b349d3d2d2238fe101dc5e74388b1 BoolSet NumLe CanNotBeCase
697ecaf571e3d1e4360d379a212e0e8eea567062 BoolSet DefFun CanNotBeCase
d632f63bab0fcc4b8dde12c5f79f82dffcd36b01 BoolSet DefFun CanNotBeCase
7392fa639eb67f87f2e4bebac6f7fb08244f46c9 BoolSet LetDefFun CanNotBeCase
dddb448877c8bdeb54588223c4c7022c8f81716f BoolSet LetDefFun CanNotBeCase
3b5ce9544a1ab998f45f2765540e5b5499aded13 BoolSet DefFunRecursive CanNotBeCase
86f2094551d075dcc545d0c5d4c5e3b1fca549d4 BoolSet DefFunRecursive CanNotBeCase
c4200070ccf9d90ea0f266370f0dd13ee23de839 BoolSet LetDefFunRecursive CanNotBeCase
f4b9ffac5057acec78f8195fa770adff16cee7cc BoolSet LetDefFunRecursive CanNotBeCase
5dae10c864ba7072e3fd138f60c0cb5d62b91e78 BoolSet DefFunInDef AlreadyCombined
e4fea5ad03397c1f8841f3c2cc41aa68fac9a6d1 BoolSet DefFunInDef AlreadyCombined
1d69ec1ccb5c4a14dec5f0fb0f97c471af1049b5 BoolSet LetDefFunInDef AlreadyCombined
83f1be2c63b1cf63f6bdc28920b031bb7d1eebcb BoolSet LetDefFunInDef AlreadyCombined
4c78d72684093d1798e5a8764a372fc791d2b73f BoolSet Def0 CanNotBeCase
8d6bb704da052e5a33a8ef9cf966c8e80b8a9521 BoolSet Def0 CanNotBeCase
97081cc912a520550da872f9cb4abb549a6f8a24 BoolSet LetDef0 CanNotBeCase
573309578703adc7fb07a5672f9b6a030ecb5b8f BoolSet LetDef0 CanNotBeCase
8336b27cb0164d6cad962adb0b0cac1c4a3e332c BoolSet Def1 CanNotBeCase
e6711a9c43b62bd936b4223ef245d30fd91b058e BoolSet Def1 CanNotBeCase
aa38fdccb7e92e4c03f2581efd442765f2e9877e BoolSet LetDef1 CanNotBeCase
741634979860a4c063c08a0ef0824030dcab281a BoolSet LetDef1 CanNotBeCase
b13f2f177533928087b27795f152d7daccab0dc5 BoolSet Def2 CanNotBeCase
42c3067f12d2269a06454e2f48cf157af6c95879 BoolSet Def2 CanNotBeCase
b10f8411409ae4ac174f7e4046c69ed437573caf BoolSet LetDef2 CanNotBeCase
440946f88560b0b1ebcd6b4567220c5c98cb7958 BoolSet LetDef2 CanNotBeCase
d5f54ca139c5f93730cbf6ff36f1a5d8a2994ec9 BoolSet Def1Recursive CanNotBeCase
74b64a2a8d5e752cb8cf48d0f200e669d69f8a9b BoolSet Def1Recursive CanNotBeCase
01d8336624cd1b7c021dcb925512aea5a8a24bf1 BoolSet LetDef1Recursive CanNotBeCase
4b50a57a145e657e96ed26d6b5980faf999b60cd BoolSet LetDef1Recursive CanNotBeCase
f999773eeae6161c2a5a8d3a7c4e83ad21d91a86 BoolSet Extends CanNotBeCase
e864d3f5f76116ef49ad1cad995f9f1611db5f4c BoolSet Extends CanNotBeCase
68c55de11abc522466937799b2d91ef105bff7b9 BoolSet ExtendsInDifferentFolder CanNotBeCase
691fe768c8559fd28156c214537f2c2c71ce3fd8 BoolSet ExtendsInDifferentFolder CanNotBeCase
bcff6605239a25b2c4242b12ffe2b2aa12d75eac BoolSet Variable CanNotBeCase
0a6bb8861029093f6647f7df9a3e8bde7493e83b BoolSet Variable CanNotBeCase
ec8e3a8350fe3227a769314c6271abb290b9f3f7 BoolSet VariableViewExclude VariableExcludedFromView
d07995ec8443f656c0c6e12325cbcae228b505ee BoolSet VariableViewExclude VariableExcludedFromView
5e8f4aca4f59271997def1ebe58be72c97601909 BoolSet Constant CanNotBeCase
c99259ae068c99cd2891587361d495f12dd0e745 BoolSet Constant CanNotBeCase
a012bfcbfd773ee85095056bf10961b12df79004 BoolSet ConstantModelValue ModelValueCanNotBeUsed
441ca63c9ae29f58b77c79afa2f3a6fb8c02c380 BoolSet ConstantModelValue ModelValueCanNotBeUsed
4cdc00cdffbad3a4f0c075572579842ba389aa37 BoolSet ConstantRank1 CanNotBeCase
ca8070d77ae7da37dae5ef3c98f96a8ff5458850 BoolSet ConstantRank1 CanNotBeCase
d6f4a32da1fff2babb8dc062a16a4342fbb838bd BoolSet Instance CanNotBeCase
cc6bf6c304968f5f9f3989249760b3b0f8f1e165 BoolSet Instance CanNotBeCase
065038db767627e2ba04092206637e988d9598b7 BoolSet InstanceWith CanNotBeCase
f295fdbd92c1df18ab45cc0f2da0e73ca75dbaa5 BoolSet InstanceWith CanNotBeCase
dfd003645b73f70cd825195ac3b18a4e9edf5691 BoolSet InstanceNamed CanNotBeCase
9a540c231997219eeae37c211b2b14837f0ff5a2 BoolSet InstanceNamed CanNotBeCase
0a9cd510ca8af25dcd706dfec30f8813f088105e BoolSet InstanceNamedWith CanNotBeCase
c69e0928e3473d54457fc693dcdf67b1558d8278 BoolSet InstanceNamedWith CanNotBeCase
43a35f3ecbba2981b47fbe87cb12da7f6b425a8b BoolSet InstanceInFolder CanNotBeCase
2f233d1c07e3ce787a1e4274e7b93306af211b06 BoolSet InstanceInFolder CanNotBeCase
4de67faccd0afd409eef4683bd9bdc960368d598 BoolSet InstanceWithInFolder CanNotBeCase
fd0706b337bcc2f0dc8a715a7186ce815827df03 BoolSet InstanceWithInFolder CanNotBeCase
a57fcc15eb7a06e83c67f3b6eb945c649a8ad73b BoolSet InstanceNamedInFolder CanNotBeCase
6999cf0d6776984cf784c57027fbb929f036e6e9 BoolSet InstanceNamedInFolder CanNotBeCase
0646c4a8efb9554b1a015121bf26d92fe6f5770f BoolSet InstanceNamedWithInFolder CanNotBeCase
4a91d88cdc6af6c1687ede457712b2a6c699b9a9 BoolSet InstanceNamedWithInFolder CanNotBeCase
47048b4c869d082aabad8b8bc379e38da9c87e70 BoolSet Enabled CanNotBeCase
031da6af385ec0f295a08d6e0f2f7d7504a58926 BoolSet Enabled CanNotBeCase
0c7f06baffba4f45d373e88aa9809e580893959c BoolSet Assume AssumeIsNotEmbeddable
f727ae056593d1a2aed208fb2ec2afeafb48d3ea BoolSet Assume AssumeIsNotEmbeddable
4cf1a27c4243c1770df22d7468111c6ca5414ef3 BoolSet AssumeNamed AssumeIsNotEmbeddable
896ce596989593c69e2266715370a76ab01eff19 BoolSet AssumeNamed AssumeIsNotEmbeddable
d4ed7aefd04c7b5454a1040eb485231cbfa5df53 BoolSet Lambda TypeMismatch
76928551f52ec7e01aa589d146730ff246e2e37a BoolSet Lambda TypeMismatch
40398a0ea569204561283a228829349534002076 BoolSet Cross2 CanNotBeCase
c95946698389db09d73fcfcb381d440f32ecd13b BoolSet Cross2 CanNotBeCase
c1175515489cd3bb6ace12caf44f42b2e8ac9478 BoolSet Cross3 CanNotBeCase
1f9b9e703ffb2707013a404a78bc5faa2e80cf87 BoolSet Cross3 CanNotBeCase
bbc25a16b9997c483e594baad6703fc8732ab366 BoolSet FunSet CanNotBeCase
10b02796f951271ddf5e19d8cc68be2db90c07a6 BoolSet FunSet CanNotBeCase
79be36633aac76c68edb044778698d72922cbb1b BoolSet RecordSet CanNotBeCase
9e600e66dc6dc4075499ddc52de0017570b4b12c BoolSet RecordSet CanNotBeCase
90981fe5e7850a52d07c4eab629e99d221ccc37b BoolSet SetDiff CanNotBeCase
e6ad0d481cf62284b5bb6458c570dd37751883d2 BoolSet SetDiff CanNotBeCase
1a6a7755850d903ce0b93cd91d260bb6268895a3 BoolSet SetUnion CanNotBeCase
d25a226671da69b6ed2282cc36bed0e7302ce863 BoolSet SetUnion CanNotBeCase
f0e0e901a550e78dc2f75e98efdb0ac68785538a BoolSet SetIntersect CanNotBeCase
b9703c50576b3d58028b22f43eea8ffe7b8562a0 BoolSet SetIntersect CanNotBeCase
a7dc75591bf3b54c4fb85bc2b66af2bd1e97f227 BoolSet SubsetEq CanNotBeCase
fe1a22074a822a0fed1d8d52dabf25c3dcf21c1b BoolSet SubsetEq CanNotBeCase
318a67896d1d7642fa4d101e898add75731af3c3 BoolSet IfCond CanNotBeCase
7ee6b4fcf5bc0d4c8cc745de6ff621134cef4173 BoolSet IfCond CanNotBeCase
9e99b040587ece6c642ae4c59e00927b1db3cbdb BoolSet IfThen CanNotBeCase
0ef9700308da95d2ec84b51466d410d9a7bd9911 BoolSet IfThen CanNotBeCase
8a9f08357f121ec136858c6b579354b2e322d4c1 BoolSet IfElse CanNotBeCase
e5a500ef2e325d789e8f0b60d898181058a0431f BoolSet IfElse CanNotBeCase
d31d558e06bc6b1951718332f635e9cd3e920b15 BoolSet Subset CanNotBeCase
89084508dde004709e5b0b8b74df5b5302e39ff0 BoolSet Subset CanNotBeCase
1673cf6ee827910c18a5c0f0070306ff80ba089b BoolSet Domain CanNotBeCase
df98d7a7343e7ea56956274a5b696be68311b4b4 BoolSet Domain CanNotBeCase
bf2128963a70c034f278c6f0c843b342d4ace6e4 BoolSet Union CanNotBeCase
8f6ef1f7aa89f5ecf693eedb99652545f9ec6c65 BoolSet Union CanNotBeCase
c1179f1c4168aeb0c00629a572873e304471983e BoolSet Unchanged CanNotBeCase
ef2ac251b7b1871b19bb5902f65cbb8ce01531e1 BoolSet Unchanged CanNotBeCase
9331d7a50d91ffc3785048fcbd179b49a6c704c1 BoolSet Equivalence CanNotBeCase
57dee10ff77408e891683892412f2945903be82f BoolSet Equivalence CanNotBeCase
062de3e3ab78c51c4c84dcfe676af3db05f4ae02 BoolSet StringEmpty CanNotBeCase
1224984a643cb5a8c79115580f4496e13c01fe8f BoolSet StringEmpty CanNotBeCase
24614b7024f34e7d720e6c07ce4fc493e078bb38 BoolSet String CanNotBeCase
ce467ee4e6ab940fed2862d886ad912526528748 BoolSet String CanNotBeCase
8af29cf9e75e94496e5113220e858a9c63aa22c9 BoolSet SeqLen CanNotBeCase
5c2cfe691eaf6382d51a59bdefc3ac8054fd5b7f BoolSet SeqLen CanNotBeCase
22039ba84ff1cbccdc1143289aa2e004f130403f BoolSet SeqConcat CanNotBeCase
72ae99faa6a7cbcd23ae06e5fba9e590dff29528 BoolSet SeqConcat CanNotBeCase
4e2609e160784d330751a5d678a6d25602629f99 BoolSet SeqSeq TypeMismatch
f9a4f4a282cc55d088f57c37dc480dc8bc77cc3b BoolSet SeqSeq TypeMismatch
1b10e0d52fdaa15e74503ab6ea2d160eb8c8df9e BoolSet NatSet TypeMismatch
400aee885a7a2811fc8ad86040715417507e5ca9 BoolSet NatSet TypeMismatch
cfcf753830e5198df4bfba1b8c087a84ebc0bb05 BoolSet IntSet TypeMismatch
16f662ebe22cc4d5a086af166252fc36144f7c84 BoolSet IntSet TypeMismatch
41ed107219faf3e9a3fe5382e7e79e6121cc8f96 BoolSet StringSet TypeMismatch
f9fed61955d0005b275388dd43dcd9056a71b941 BoolSet StringSet TypeMismatch
76105c0343e2e91fe8ead44e182b0853727d47f6 BoolSet SeqSelectSeq CanNotBeCase
58415cd78a84e71d75635024e3cde27f7f313a12 BoolSet SeqSelectSeq CanNotBeCase
38da915b22ae426c03df94b5896c492a653aeea8 BoolSet SeqSubSeq CanNotBeCase
909c8e91a427013611244ef3a3a2b9d695727f5e BoolSet SeqSubSeq CanNotBeCase
3990cb48039492faa4d69da6a62b7683542c7368 BoolSet NumRange CanNotBeCase
5f7bc2c013eeb43858cf318bb4a9af46368f9d68 BoolSet NumRange CanNotBeCase
6bdb2bfc50710651df2e37f451e2c17de3ad67fb BoolSet TlcSingletonFun CanNotBeCase
1391e06df6fec22dfe19e08ae1e63c051708fd3c BoolSet TlcSingletonFun CanNotBeCase
73a7541149b7165d33ba4ec7234c6c1e581923a5 BoolSet TlcExtendFun CanNotBeCase
271877ee19d3d747290470cc7849ef063b97babe BoolSet TlcExtendFun CanNotBeCase
fe494d7b34861ac6214dac1745eebd539e352221 BoolSet TlcPermuteFun CanNotBeCase
fab3245b8761bea5c847b185c9cdfb890c3397f2 BoolSet TlcPermuteFun CanNotBeCase
c090d123b58844f3d8b92222212fcd6748563d56 BoolSet TlcSortSeq CanNotBeCase
663de61b26eed2dfa6340f66da92ba38afcf129b BoolSet TlcSortSeq CanNotBeCase
b637957855b8e6828aff9e27b9c63098fdd7b686 BoolSet TlcEval CanNotBeCase
b875c5389f90e460908ed70e3de3e66cc9696dbb BoolSet TlcEval CanNotBeCase
94da9386398c4469187e4b56aa239d68ec1b45e9 BoolSet BagBagToSet CanNotBeCase
fa26432b010b13d277d12476fb069f7c13f3952a BoolSet BagBagToSet CanNotBeCase
8bc86b47b3e0fa9b7bcb46a64495c31d0a7f16b6 BoolSet BagSetToBag CanNotBeCase
97bb83b802ebf26b9927cffd941c5aefd2c345ac BoolSet BagSetToBag CanNotBeCase
0b43caa44bfbae21ab5bd242cec3c3cdb45d8121 BoolSet BagBagIn CanNotBeCase
f34b65e92243f6cdd6c45033f86daa8a1c86e84e BoolSet BagBagIn CanNotBeCase
dd635e0f9c38adb5a0f7c9a4c26e94ffac63f46e BoolSet BagEmptyBag CanNotBeCase
e1f3189df8dc87084a8b80eef484669a88582396 BoolSet BagEmptyBag CanNotBeCase
b6f4a01be32b5b019f73443ad695075c85f73d5d BoolSet BagAddBag CanNotBeCase
438f740d94bff6093d7508e6d8318fc7b386cd45 BoolSet BagAddBag CanNotBeCase
d4011d75d6f60922c9b54839e5f94d8eb5446284 BoolSet BagBagSub CanNotBeCase
f6cc399d203e0218ae9c68728291aa98428b0f89 BoolSet BagBagSub CanNotBeCase
8d42424484d4238167b04b72e863ba32ae1ba440 BoolSet BagCopiesIn CanNotBeCase
a087c819a2b6fd396a1b0903018da220e17ccc0a BoolSet BagCopiesIn CanNotBeCase
e577e890efb573904fecba83d352799136d9f04e BoolSet BagSubsetEqBag CanNotBeCase
56b8369e9179bfcc99d26f2eb147a2c1fcaeeeba BoolSet BagSubsetEqBag CanNotBeCase
b985dfdd55596fcaa2defe43ff6699c484deebb0 BoolSet BagBagUnion CanNotBeCase
7363610bd958d88fe26ba4545829797cd918cda9 BoolSet BagBagUnion CanNotBeCase
d2e6bfc8071d434e3496123a67b00886daba955b BoolSet BagBagCardinality CanNotBeCase
16a942e9654610adf3aed1a858ef8b6f4f9c9b1b BoolSet BagBagCardinality CanNotBeCase
80a58cdead137fbbb889448f6c051892bf1a8dc8 BoolSet BagBagOfAll CanNotBeCase
69f01ec455384eb951813457e56fc1590710d4f4 BoolSet BagBagOfAll CanNotBeCase
7b2539cd2234efa48516d127305b1a17d2ac1e6b BoolSet BagSubBag CanNotBeCase
f68a7e7084e6801f38822a0a527c77c3906f6d04 BoolSet BagSubBag CanNotBeCase
bb5c9dcc170b5281aa86f04aab70e83843f02364 BoolSet FiniteSetsIsFiniteSet CanNotBeCase
3d3f1de8fddd772358e67623fc5caf9317c1e5c2 BoolSet FiniteSetsIsFiniteSet CanNotBeCase
f9d11ad4c8e629cd6e33036ca8c3893f8f58b560 BoolSet FiniteSetsCardinality CanNotBeCase
da11bdf35d24ec81c82e17548d147927ef953c90 BoolSet FiniteSetsCardinality CanNotBeCase
71db21cd560ab460d604bf7532bf0ef19bed5e03 BoolSet SeqHead CanNotBeCase
dc4cbeca5892c7ad97628ca6bbf5b1e88021cd0f BoolSet SeqHead CanNotBeCase
8f4620473344f27003a9898149b7037bb191907c BoolSet SeqTail CanNotBeCase
5fb88a9d83b7eb413a6ed7efa22a0ff40cdd4a4a BoolSet SeqTail CanNotBeCase
ed0b5d01a2fccdc64ef47084b7a80940441856cb BoolSet SeqAppend CanNotBeCase
e8a227eff34461b98e647e5efcf5b1c09afd75c1 BoolSet SeqAppend CanNotBeCase