Index

Skipped feature combinations by case feature TupleEmpty

Id Case Feature Plug Feature Skip Reason
15d33d41a585db44b76ea447eb3583e0ba7f65e5 TupleEmpty OneLineComment CanNotBeCase
21201ba749b626dd316400d1961651d9593c7cf9 TupleEmpty OneLineComment CanNotBeCase
a69fdb0fb9211abb1e91ee859a10cce3275e258a TupleEmpty MultiLineComment CanNotBeCase
322e4146d5449f385ef1ba0ab7ff2d79a7f88c4b TupleEmpty MultiLineComment CanNotBeCase
78d4ff30b7d9fc2752565c843206abcb35a6bb1d TupleEmpty BoolTrue CanNotBeCase
6f13b8dc13d3c5ff6a0f62505e83889078c6b63c TupleEmpty BoolTrue CanNotBeCase
3c73027f5b8b7d9555382357fdfb99b8b4460d5b TupleEmpty BoolFalse CanNotBeCase
b7b10354549b1da92c43e5e9247aad58ddbfd46a TupleEmpty BoolFalse CanNotBeCase
c096caa97dca1d5400eb8d8a430b17c02f87f2dd TupleEmpty BoolSet CanNotBeCase
467b6c7a7a45d8e49d1b4cc71f139bd71887fb69 TupleEmpty BoolSet CanNotBeCase
009446f16c61ee0b364c09c904798d652666a365 TupleEmpty And CanNotBeCase
f931b87593caf1002cfaa9856d8b9dd7d30dba89 TupleEmpty And CanNotBeCase
bc94fdea38078c451d1bdf2333172497e219e378 TupleEmpty AndMultiLine CanNotBeCase
cf0dae35bf9d1bde34c500ab4585d41183e26eb5 TupleEmpty AndMultiLine CanNotBeCase
923a67665f4a1b7e9a4c7a2f16dd608b4e9fd376 TupleEmpty Imply CanNotBeCase
3f37e1ee824995bb38f25bea37d3f3839229ba8f TupleEmpty Imply CanNotBeCase
9eac7aeb858424f9464f9757f4ce2902e7aa9105 TupleEmpty Not CanNotBeCase
076addb7788079026d07e3cddf5e8424caad494c TupleEmpty Not CanNotBeCase
fb8ed6c248e2e96b1ff8eb50894a75c0d66c88c5 TupleEmpty Or CanNotBeCase
18209649595dd79d388db6a9482403d48cbbf2b9 TupleEmpty Or CanNotBeCase
dede7b00528ce9eb277988394891b721ac3db389 TupleEmpty OrMultiLine CanNotBeCase
cfed245c389dd5710eb52ddef36c7416fb571815 TupleEmpty OrMultiLine CanNotBeCase
dd14b414b2f2c8a464389d8b3e1d18f19eb15bb7 TupleEmpty AndProp KindMismatch
3026d3da4aef6ab62cf84ad1e1f3451ce1984b63 TupleEmpty AndProp KindMismatch
28817296784fec225fe7ecc276ad1fa70b12ca9c TupleEmpty Boxed KindMismatch
e6b69ffd1b808d5b68b1b88ca8ec374b1b942f79 TupleEmpty Boxed KindMismatch
4ed7577d4954a4a8ab48f0bc1e8ed19723a763b7 TupleEmpty Eq CanNotBeCase
ad4d05315d5aa9d0fcded3f8abbdca7abcfd919c TupleEmpty Eq CanNotBeCase
6f745b78be09d4ed158bc6e31eca019133507338 TupleEmpty Ne CanNotBeCase
3fe9b715f526c4da0a68c995dc16f333f3dcb799 TupleEmpty Ne CanNotBeCase
81860c4a7da153d531571f4f253b772f21a03b38 TupleEmpty Let CanNotBeCase
558936ca10e9113d54633918cd7204b8f17a8408 TupleEmpty Let CanNotBeCase
2bbf135e45b462c5c1330e7ee401d9010d96c8b2 TupleEmpty SetEmpty CanNotBeCase
7b2085df294c396fb4d5cd2d0f629d7677d11a4e TupleEmpty SetEmpty CanNotBeCase
82678b7ef6ac470bb01cd9153f84f58e0285bf90 TupleEmpty Set0 CanNotBeCase
fab72a9b030a81c6699d2996e213125121ab0f8b TupleEmpty Set0 CanNotBeCase
7b7a4c4ba8b95163c3b9cf0df80a929e241abcb9 TupleEmpty Set1 CanNotBeCase
df90f9879ec04031a6152fb5748a31b84cebdcba TupleEmpty Set1 CanNotBeCase
cb79e74a99c51210718d4b4cd8df3d13e24b08d4 TupleEmpty Set2 CanNotBeCase
49d0a2d7b9bb808596bea557f65c92bab430ee98 TupleEmpty Set2 CanNotBeCase
4a9d39f81bb7cf61ac1f735980086642440ef7d6 TupleEmpty Set1InDef AlreadyCombined
49fc7ee188dde527e58fdf12ef3610f6e222ab44 TupleEmpty Set1InDef AlreadyCombined
d17c5c52084788165aba233504b182d6cd1a833a TupleEmpty Set2InDef AlreadyCombined
5c4f20821532fe004d943e46ccb3f2e94ab51f4a TupleEmpty Set2InDef AlreadyCombined
480c2a7d67899ded9ec525ed323e72c64612a229 TupleEmpty InDef0 TypeMismatch
8c0654d5591d3ef77b91439b3b3f1fa26a544b31 TupleEmpty InDef0 TypeMismatch
b4ca811ed7d92469da4c2f52a01616997be99541 TupleEmpty InDef1 TypeMismatch
46e24274d4053dd8afc808775cf3508d86f0a8e4 TupleEmpty InDef1 TypeMismatch
8a861552ff6abfa0920ce09cedc5d82d2955a8c7 TupleEmpty InDef2 TypeMismatch
7d816cdf1b4e2cc2f426d2c26f9f1edb5efb9514 TupleEmpty InDef2 TypeMismatch
8b12f484190346ef8656c45d1d91cc0e7a9cd4fb TupleEmpty Fun CanNotBeCase
38f808a5b66e46f19f840335f22ff5217b2fcd22 TupleEmpty Fun CanNotBeCase
5c4ab86f987df3cceac41bcc184f4ee4a8bd4c43 TupleEmpty FunInDef AlreadyCombined
82ddf38914d335d399315cf9bc1ab2772ab3df84 TupleEmpty FunInDef AlreadyCombined
e4ec25c5e95f5601ec54ca58818ccedf6b0eaa65 TupleEmpty In CanNotBeCase
7227c3020f5bf07b443f8fee8b9e90bb248c7d4a TupleEmpty In CanNotBeCase
7ae1aa78e36d5b3b2626ed56f11859a882890d97 TupleEmpty NotIn CanNotBeCase
d992d45491b21f37ac6ff8dc2d71da7eb994ef0d TupleEmpty NotIn CanNotBeCase
896fd202e03f8875c54d75d99c622ba9f208fe98 TupleEmpty Exists CanNotBeCase
8e68f349cfe8538669cfe7aa1d69c4fb3468ccaf TupleEmpty Exists CanNotBeCase
ede9f62baddaea3d8fecfcff199c631e2fbfa2ae TupleEmpty Forall CanNotBeCase
61db90f58609c9fa83a8140f1914db83f0dee765 TupleEmpty Forall CanNotBeCase
e03dd3f2c48ae8f4ab3e5400cb9172295c58bb2a TupleEmpty ExistsInDef AlreadyCombined
2d43a60797d88907e6ad8b185774ec16a679f14a TupleEmpty ExistsInDef AlreadyCombined
8847220025bbb8fa388d4e347f5f50f648656a8b TupleEmpty ForallInDef AlreadyCombined
e8a81f1e351f0d37868647ad644015aa63b9500f TupleEmpty ForallInDef AlreadyCombined
c93e1faca94bdff57b34c4a68a0f3090793157ff TupleEmpty Choose CanNotBeCase
72020871f6435831b690ab297d168eebaa808f38 TupleEmpty Choose CanNotBeCase
91ce1b413b70c1c2be949b381f328e5d420f040b TupleEmpty ChooseInDef AlreadyCombined
0c0b3f5b38d36778d11310f195e30249295484d3 TupleEmpty ChooseInDef AlreadyCombined
f030b4d81fd95a5548bba436d00275a40b5c5d0f TupleEmpty Record CanNotBeCase
aecf282c06bd5db816e900d3e93068fa1b4ac999 TupleEmpty Record CanNotBeCase
f2c69b143bd2cad85ff4616b616b628a9f1a2713 TupleEmpty Tuple CanNotBeCase
a063fa3008800ab05ddb90a5986365ae65de9dd8 TupleEmpty Tuple CanNotBeCase
eae6436f08b81883d3ad454bf3cc4a4358ba5470 TupleEmpty TupleEmpty CanNotBeCase
9cc9e6f30b1b5917acd7fd535c8c88972fdb3d57 TupleEmpty TupleEmpty CanNotBeCase
ea815c6163d31a09023c208db3e125afad4b06d7 TupleEmpty FunApp CanNotBeCase
347e43269b5c9ceff8b622ebb8922b3af9457e6f TupleEmpty FunApp CanNotBeCase
a123676944362e95c9a790dc887895160737b62a TupleEmpty Except0 CanNotBePlug
74d95bee04f6dbb9d67e0134bac7e54d55079750 TupleEmpty Except0 CanNotBePlug
afbf866be9878052ffc89745c28afe03db49b3f7 TupleEmpty Except1Fun CanNotBePlug
52c0444eedf0a216997f35a6cc59149cc376c8b1 TupleEmpty Except1Fun CanNotBePlug
3b529f5b14700437ed9c90a1ecaa9611a24dc77b TupleEmpty Except1FunWithAt CanNotBePlug
7ed4b066f05995aec77d12f58b266938fdfc7fc8 TupleEmpty Except1FunWithAt CanNotBePlug
cdda714d6611e2ed06f8e45ea47010f546f265c7 TupleEmpty Except1Rec CanNotBePlug
25c6583c109c50f5f4fe1a4be08a53273018ba30 TupleEmpty Except1Rec CanNotBePlug
cd34e2d63a350c073f302468c4f416ad79553cb6 TupleEmpty Except1RecWithAt CanNotBePlug
7a635dfc94b378c2fc7043a94ff5de6a72e24599 TupleEmpty Except1RecWithAt CanNotBePlug
7dac938446c0885dc738ddf07e7c9ad8d012c8ec TupleEmpty Except2Fun CanNotBePlug
2d88ae27b26acd7eee16bb461a04135482a81a44 TupleEmpty Except2Fun CanNotBePlug
d4aab565bff6e25aee48c3952a992073bff61628 TupleEmpty Except2FunTuple CanNotBePlug
5baa23005361e3fe75371e9b04cfe17193d3c07b TupleEmpty Except2FunTuple CanNotBePlug
c75243f184a2c600fbc99043a1bb3cd5075dda2d TupleEmpty Prime CanNotBeCase
6d18d8300ebb04bd3cdf0e5f29d26169b556f916 TupleEmpty Prime CanNotBeCase
1a37ffd31f68b074f3c1792c4eecec427d7705d6 TupleEmpty NumZero CanNotBeCase
fd3093a8e5a14283c0a96d8e1e5d709ceafd44bd TupleEmpty NumZero CanNotBeCase
2674de12b0d4d5595f93676d0eaaf6edd292836a TupleEmpty NumOne CanNotBeCase
629322e9006be45ae49c510d6c932bbda5014b34 TupleEmpty NumOne CanNotBeCase
fcd4f76268a521e219d0df24e24061568239ffc3 TupleEmpty NumMaxInt CanNotBeCase
d224341db42aeb5562b7ff71e21615142ee27fb4 TupleEmpty NumMaxInt CanNotBeCase
d2edec693aa2889e82db51abb321fbf766f7c76c TupleEmpty NumUnaryMinus CanNotBeCase
4e3ce9d7a5a11d4e5821fbaa249187e12dcad983 TupleEmpty NumUnaryMinus CanNotBeCase
d45465bb2abe75946cd30f6d248cb333ae145f0f TupleEmpty NumPlus CanNotBeCase
3cd4fc7e65e7e21d3317213bb5c92b1ff477ed00 TupleEmpty NumPlus CanNotBeCase
e7877a0b047090280cf9c2c18571d4f834f41d62 TupleEmpty NumMinus CanNotBeCase
f6ff179f9cfd2167a0bf04b6bf7109f342fed1a8 TupleEmpty NumMinus CanNotBeCase
33cce1f3189fff93ae5ba7aa29d3a3762b76ce27 TupleEmpty NumMul CanNotBeCase
48c96e6fa7c63c0d18e4414912db5921b48247ec TupleEmpty NumMul CanNotBeCase
a2b1b132f24e57ba8348e3527cd5b12ad2f61290 TupleEmpty NumDiv CanNotBeCase
f41f1fbfd5b7c3e72a2ff60440e3fc8f60a9ecec TupleEmpty NumDiv CanNotBeCase
85b6a6aa066bb85d89fb5745ea36c0e7a9f8ca70 TupleEmpty NumMod CanNotBeCase
4c8c7bee499680dd930719d9d0788d9d745d54e0 TupleEmpty NumMod CanNotBeCase
850b0b2d482d827b484365a79d2b34aecaa1816c TupleEmpty NumPow CanNotBeCase
13ee8900227ef2c54a3a52e34c2094fe0c26f68e TupleEmpty NumPow CanNotBeCase
0c0e65d4f948eb26188c4753c19bda5c547a4489 TupleEmpty NumGt CanNotBeCase
1d845cefe9146c9bba39f834f00fca166efa2dee TupleEmpty NumGt CanNotBeCase
709438e07d5c5f56fcb9d03422a8ef26d8f07ea1 TupleEmpty NumGe CanNotBeCase
349e015cb63b17c4d0ee6673bf183ee413757f02 TupleEmpty NumGe CanNotBeCase
78ace2ef6632b3b508c450b235f0c8213a7f39cd TupleEmpty NumLt CanNotBeCase
ff6aed3a2b0ce698fa6a83682c9c81db57fe4087 TupleEmpty NumLt CanNotBeCase
bcde1a9ee7f6175d7183421c929eb9f2a759c654 TupleEmpty NumLe CanNotBeCase
8ba1a81ba972fa3ff531a0bf80cc2c4447207bae TupleEmpty NumLe CanNotBeCase
95219bf4772dc054cda13b7a72ca80997aeddeaf TupleEmpty DefFun CanNotBeCase
880530276e4fb36cdede10d28f372ef55a1e06c4 TupleEmpty DefFun CanNotBeCase
7a953640986e42bdd49cc92005ba655377796a7f TupleEmpty LetDefFun CanNotBeCase
70cc6540617225c2fcda55146a8c56295330c7b4 TupleEmpty LetDefFun CanNotBeCase
dbc5587e7bb3504f542b924de21e9398159c46b1 TupleEmpty DefFunRecursive CanNotBeCase
5a80c0079288d7269e8b39229da3712fb1486456 TupleEmpty DefFunRecursive CanNotBeCase
d8a5060ae25f1288108c28bc326b698005e91ca0 TupleEmpty LetDefFunRecursive CanNotBeCase
d6b867332ec8588d64941423eac398da07cb337d TupleEmpty LetDefFunRecursive CanNotBeCase
388331f6c89fcc72f5daa7e6c35318add2cb5ce7 TupleEmpty DefFunInDef AlreadyCombined
8d8ec5c465f960d8fe8956c513c4c5c06813415d TupleEmpty DefFunInDef AlreadyCombined
8917eb7b2fc62787a6fbcb7e9b30b51ef2dc364c TupleEmpty LetDefFunInDef AlreadyCombined
30eb6bcf3b9925490e428ff159dc12ceffa9244e TupleEmpty LetDefFunInDef AlreadyCombined
16f44b7e873149935efe6d5ba8dc673bce036f03 TupleEmpty Def0 CanNotBeCase
347e2dbdc74b8393b1e502b8d1b984685b094e1d TupleEmpty Def0 CanNotBeCase
afdc3be60c186cc941335303a8ed59ce018bc567 TupleEmpty LetDef0 CanNotBeCase
df3b694f860ae1ec0595dfe628889177225c6e5d TupleEmpty LetDef0 CanNotBeCase
78b5fe6ad5f37d21fc45e48d48b65b0b651690bb TupleEmpty Def1 CanNotBeCase
2c9bd78e1d39070283dedb2c714100f5b70420ea TupleEmpty Def1 CanNotBeCase
d3f7c9029cc66407a4921b11b4483ba958877779 TupleEmpty LetDef1 CanNotBeCase
41bd20055a833a7319bb05de58b9d2036810bbbc TupleEmpty LetDef1 CanNotBeCase
61310306820390a31636e53eded0b17df2b85a6e TupleEmpty Def2 CanNotBeCase
37a89efe898b564805b5407eaef5ed0634174b90 TupleEmpty Def2 CanNotBeCase
a3a327e77bb658d180f809e6446f74ac3641d332 TupleEmpty LetDef2 CanNotBeCase
fdda52c71bb52e3037ffd98ef7e5a5f2a0bc1107 TupleEmpty LetDef2 CanNotBeCase
9d7ad3545888a138471cd2e0c36d1d39ff10bd71 TupleEmpty Def1Recursive CanNotBeCase
178d002abd61f3c60cdbd44868e47d2f30700375 TupleEmpty Def1Recursive CanNotBeCase
03b2ca324e49bc47a683adaaee2e52e91013a92d TupleEmpty LetDef1Recursive CanNotBeCase
5accea10b0bf99644c037246046d17706e116a9c TupleEmpty LetDef1Recursive CanNotBeCase
d1000ca11e784fb8cce449b90b6a7528edb18f1c TupleEmpty Extends CanNotBeCase
2ad5af5abf3fac5c992a90ed7f66763a2a5c6231 TupleEmpty Extends CanNotBeCase
b7d69d267f64b3e8d6d53a880e2bd0870535710b TupleEmpty ExtendsInDifferentFolder CanNotBeCase
6c2c095e7253b5aad129a7971ca5993423d8aa68 TupleEmpty ExtendsInDifferentFolder CanNotBeCase
8620769f7e53e9b383a7d1d7c344474b8c0fd652 TupleEmpty Variable CanNotBeCase
5c6031aef4f126454484dba6af7c8cd9cbf96db9 TupleEmpty Variable CanNotBeCase
5441623796bad6c4e97a5470a6f4cfd73ed42c83 TupleEmpty VariableViewExclude VariableExcludedFromView
9415ae759beec5e98b6dd3d2d7914d2fd2439a43 TupleEmpty VariableViewExclude VariableExcludedFromView
deada47fc1b5614ba7754f099d53c56ffcf67023 TupleEmpty Constant CanNotBeCase
8fa328c3e1bb0c7a50b357f70e56d3d7d0c09d84 TupleEmpty Constant CanNotBeCase
bdbcdfce59eb40cdd467484795b3ddc454ed6007 TupleEmpty ConstantModelValue ModelValueCanNotBeUsed
22ed268d09c5ae4341a1797385cbefbd33d143d6 TupleEmpty ConstantModelValue ModelValueCanNotBeUsed
8b5a80464030f53d63f2bfc5b2ed65337871b2a5 TupleEmpty ConstantRank1 CanNotBeCase
2010381e0913fb3033517607dcd751048c030c26 TupleEmpty ConstantRank1 CanNotBeCase
01aed4861b1da12eaca1f14b416cbb860c743fbd TupleEmpty Instance CanNotBeCase
89faceba909d83d0a7917d297f0d81c5916b5c4b TupleEmpty Instance CanNotBeCase
c3fd28ed70ef50af8de462c752705ec620020c47 TupleEmpty InstanceWith CanNotBeCase
f1f8bc35984b204f53345d41da33f81c3f717917 TupleEmpty InstanceWith CanNotBeCase
c3a715a3a0a90372b750682d61d91f8241bcaad0 TupleEmpty InstanceNamed CanNotBeCase
09bdb8dd52eb511f51ddcdd24fc7c733bd7270da TupleEmpty InstanceNamed CanNotBeCase
7cb35dff56132e91ac1e5f961cae6203eeb6c428 TupleEmpty InstanceNamedWith CanNotBeCase
13ec188c3a574bc0b1833a71ed91185d6e6fd319 TupleEmpty InstanceNamedWith CanNotBeCase
eda5d4a1009ce86d5675981c4772dab69b6d6006 TupleEmpty InstanceInFolder CanNotBeCase
983e7ddd1c98ab9e2d8fa78c7c91fd78e0dc4407 TupleEmpty InstanceInFolder CanNotBeCase
dea4d05b49d8aeaeb7949367aa429e830010fb34 TupleEmpty InstanceWithInFolder CanNotBeCase
3426a8853382b045c0bfb40fc69dc708d9e5e2a3 TupleEmpty InstanceWithInFolder CanNotBeCase
96ca8bff7df7ea188d69cefd02ca89b4663bce30 TupleEmpty InstanceNamedInFolder CanNotBeCase
0a6199096d0bbf7d68c32c8807917cfbc30ff4eb TupleEmpty InstanceNamedInFolder CanNotBeCase
29ae43e370d95266a5a90e9dab192bde37fc4d1c TupleEmpty InstanceNamedWithInFolder CanNotBeCase
2f26ead99c9ed7a5f7e9218b489ca3bd9de852a1 TupleEmpty InstanceNamedWithInFolder CanNotBeCase
9b47289fc71eb41dfa322cfa7043adc427d62381 TupleEmpty Enabled CanNotBeCase
3337416845a1c7d0df09e982597b907ed4b6afc7 TupleEmpty Enabled CanNotBeCase
2cf8930b0f4655c233e23aaa420d272079e0252e TupleEmpty Assume AssumeIsNotEmbeddable
1907f4f72690965ffcfa25fb67fce02c29493c17 TupleEmpty Assume AssumeIsNotEmbeddable
a61f01fe17c7e9ac6c58c4025e3d163a670cb0a9 TupleEmpty AssumeNamed AssumeIsNotEmbeddable
8dc45eefaa5fe2f0ae303991dd48a05707c8ca9b TupleEmpty AssumeNamed AssumeIsNotEmbeddable
f581c692717c1bb07f61c068a3db95acc821f178 TupleEmpty Lambda TypeMismatch
aeddd30ca97bdc6aeeae23f7520c30f171d84101 TupleEmpty Lambda TypeMismatch
87d4a3ef74cfff1e3d11e383d8d096729e11a59b TupleEmpty Cross2 CanNotBeCase
a5708c5f98a67943d3705755ee3d599b037091c9 TupleEmpty Cross2 CanNotBeCase
3c2796d57175cc6e317624d72e4ca8d631f89e1b TupleEmpty Cross3 CanNotBeCase
6d6be37c5cdf567d3d3329be936d577ddcaa3984 TupleEmpty Cross3 CanNotBeCase
5177a8bb9dfb34c6d36ebc0001ceddec2d334bb1 TupleEmpty FunSet CanNotBeCase
c3421a16427713e047618f02f25024e4f44ac811 TupleEmpty FunSet CanNotBeCase
a373227c42215f4980e7b3a7b80a25498e80fe0e TupleEmpty RecordSet CanNotBeCase
f9c7f4e8fdd37e9d320d6babd5094305a993befe TupleEmpty RecordSet CanNotBeCase
a0f1762c104fe72a36f159ac87985a1f7e12394f TupleEmpty SetDiff CanNotBeCase
4e1b3a0bb4810d2b3fd013af61dbb39d0b5ff1fc TupleEmpty SetDiff CanNotBeCase
134e5e3c351b144b4a8f71b19f655bdcaa893523 TupleEmpty SetUnion CanNotBeCase
e81ea8d88a1b89a658e71a9bd13946dd9af3217e TupleEmpty SetUnion CanNotBeCase
502ef701635d7a7607a8c11974c9356421e2e34d TupleEmpty SetIntersect CanNotBeCase
16a0c5ea91f9a5254016b57e0674ef6af1ae8dc3 TupleEmpty SetIntersect CanNotBeCase
f7478779bdac39be9b195a2d4d4a89c25b205057 TupleEmpty SubsetEq CanNotBeCase
6c7f446b923bfb257c9a6e7b687063f2c6320671 TupleEmpty SubsetEq CanNotBeCase
bc4b5d170cb3e4c2d682fdeb9efa92d61267076b TupleEmpty IfCond CanNotBeCase
eeddbf1e4887227791b31e4efdf521c186980d0e TupleEmpty IfCond CanNotBeCase
de127ce9c038190110a3dbb7914c1bd7dffca9f5 TupleEmpty IfThen CanNotBeCase
d75bd5fc3bfd9eb76a2138f7b7a55a2819acc7b1 TupleEmpty IfThen CanNotBeCase
0f47de90f76af78571bd597e90125cc2ca3a450c TupleEmpty IfElse CanNotBeCase
6f789ebc5e11e5e884b6aa795ca5115d8279ac23 TupleEmpty IfElse CanNotBeCase
4aa8f06131456e285a4ce66f1cdfa40a75edf916 TupleEmpty Subset CanNotBeCase
6f1007bea6ab4a3f9caec5c6e52e463518e3abfe TupleEmpty Subset CanNotBeCase
5286b8a0c03e211cb60a046746385088567a634e TupleEmpty Domain CanNotBeCase
949531c8a2fefa54012a707f988b0b72031cbd73 TupleEmpty Domain CanNotBeCase
dc7fa69a6e29546f00a4684f7f3d28c6e2131d59 TupleEmpty Union CanNotBeCase
16bcc9584a6f7994ec8c46b5d5ab1a0abc7ee331 TupleEmpty Union CanNotBeCase
952b304c1aa301fe8fa0f06f360bfa0b54c290ce TupleEmpty Unchanged CanNotBeCase
07ec4d49dd3f1a4862dcd12b0f7affd45b0438e5 TupleEmpty Unchanged CanNotBeCase
84ff4ec4580d66c70ffa5b5cf460808b791513a7 TupleEmpty Equivalence CanNotBeCase
eb7aa5961ca2ce9bfc5274c14ac88825ee2e44de TupleEmpty Equivalence CanNotBeCase
6f727825ad805163d115f6bfe85af9475a77f91f TupleEmpty StringEmpty CanNotBeCase
73a19ac324ff65933e3085b599b6503175e89765 TupleEmpty StringEmpty CanNotBeCase
4df37c4ddeb18e2186897ee0c4379bc58f5d1f1f TupleEmpty String CanNotBeCase
897a73e7da6712b15bbf698588d253d0be4af796 TupleEmpty String CanNotBeCase
eaeeca9080060a1be1bb6b8069d4e48726104a62 TupleEmpty SeqLen CanNotBeCase
43358d57f6e7a36759ef737906fa2c9d30fd874d TupleEmpty SeqLen CanNotBeCase
9cb529c7779dea662bf4cf3879aa02cd6a30c7fe TupleEmpty SeqConcat CanNotBeCase
23f107ad49b1b026217f9613800dce00bde4690f TupleEmpty SeqConcat CanNotBeCase
7437cd3d74ee4d8e4c221f0bbe717ea721d804ea TupleEmpty SeqSeq TypeMismatch
be3d3dad2e82431fb65aca1542afe9a2c332339b TupleEmpty SeqSeq TypeMismatch
aebe23695ac570a244b493bff5cd1941916efbf7 TupleEmpty NatSet TypeMismatch
c32d6b644d83e464adb8815b6d875be8e1026d4c TupleEmpty NatSet TypeMismatch
4e6b4dff5fd5daf37e7f7930b62de475fc2cfa24 TupleEmpty IntSet TypeMismatch
25a77f17914e99f8a7a2f3f99b7a56b829dc70b9 TupleEmpty IntSet TypeMismatch
2f06a7a7127217812aae6aa586965b1c180714fd TupleEmpty StringSet TypeMismatch
afafe8d839f6febf5524c4a7b88d22ecd76cd218 TupleEmpty StringSet TypeMismatch
7a9d3d84fdea8bab1e5797e5d04ad11e32a1e245 TupleEmpty SeqSelectSeq CanNotBeCase
a54e0ee5371e1a7783ea0c083cf3914f5ada3cfb TupleEmpty SeqSelectSeq CanNotBeCase
46d747fce6ae707ec62b128c3edd1cb7b65fd961 TupleEmpty SeqSubSeq CanNotBeCase
f54c344d117ba5fddab848d6fea36a6aa066c6f3 TupleEmpty SeqSubSeq CanNotBeCase
3fc24ebeb5988925671c9eca45bb9aaca821546a TupleEmpty NumRange CanNotBeCase
af87341adf08fcf662936b97e6ded19fd5aa48d8 TupleEmpty NumRange CanNotBeCase
18c71d23c68071cebfd6ba1591094e2ab4f905e6 TupleEmpty TlcSingletonFun CanNotBeCase
94493bcdd75b6b1e29a2604f74158cbc070c1664 TupleEmpty TlcSingletonFun CanNotBeCase
0283ec5284ad6044265f1fe7defe99de1be79735 TupleEmpty TlcExtendFun CanNotBeCase
9bbdfd2e6429152ad25306a0ae7f70185c7d6d83 TupleEmpty TlcExtendFun CanNotBeCase
31fafb1633ef2a328ff779799a0700b00b490141 TupleEmpty TlcPermuteFun CanNotBeCase
bf0cd557f7a08060c2c93c4c9b4a9839385939ec TupleEmpty TlcPermuteFun CanNotBeCase
7ce266b92675e91bb995ff43568d06856e6aafa5 TupleEmpty TlcSortSeq CanNotBeCase
8b7bdf060aa176b1f59e30363325380c83934b19 TupleEmpty TlcSortSeq CanNotBeCase
db94a559bf8c17cb2a671b128f4d9b0d7245dbf8 TupleEmpty TlcEval CanNotBeCase
2768a83f37c1b9b956a9e63632d2a254473c2468 TupleEmpty TlcEval CanNotBeCase
d951da6575d2d700c536d9317d9da528a1c12ff5 TupleEmpty BagBagToSet CanNotBeCase
73182f70eb9a3f53dd158f6e7ba480cc830a9557 TupleEmpty BagBagToSet CanNotBeCase
f91d2f83f0d3b6bd054e3ae8754a6ea50993dfcd TupleEmpty BagSetToBag CanNotBeCase
d8b5c9ef82367fe4e4a993298c1e8554b96e3d5b TupleEmpty BagSetToBag CanNotBeCase
2d76f0f5b82127fa37a071de390c4a7971e43b32 TupleEmpty BagBagIn CanNotBeCase
51f26d957611c116207cc8a94dcd8b5de75be9ed TupleEmpty BagBagIn CanNotBeCase
080bbbfce52bd8da2d30c67eebaf63d018e19d10 TupleEmpty BagEmptyBag CanNotBeCase
84b45ebffa4edb46ec3f28671004f0dab0c4e739 TupleEmpty BagEmptyBag CanNotBeCase
08d107e35e42669efa3c6a05219a06b374d767fb TupleEmpty BagAddBag CanNotBeCase
2a17b4a2157fe6988635c0905008a10b550e2f0b TupleEmpty BagAddBag CanNotBeCase
c1b8c55cbf06274953d50b6bde1eeabdb4d11690 TupleEmpty BagBagSub CanNotBeCase
0dd25d5b30e420728c1d3ba6048e5b61017dfece TupleEmpty BagBagSub CanNotBeCase
612fef6b56636f25af0f7b2a35bfbb757f950ffa TupleEmpty BagCopiesIn CanNotBeCase
3ed01139f3b5875b652dae4b5f4e67cb213446cc TupleEmpty BagCopiesIn CanNotBeCase
b3e3ec493035c72325e8abfd9e19c515ee47958c TupleEmpty BagSubsetEqBag CanNotBeCase
6f64fd1654415e0c36c7299885b0897b0eba33e4 TupleEmpty BagSubsetEqBag CanNotBeCase
a1fce0bbc4765b1444547d1687a3f650fd3d9206 TupleEmpty BagBagUnion CanNotBeCase
1fd40f312e6dfe3f1959a1e6c52ce9a2f24a6347 TupleEmpty BagBagUnion CanNotBeCase
ab7030319e66a4d7d593ee4306397e9e8334953d TupleEmpty BagBagCardinality CanNotBeCase
74026f15f80c8f266896292c4e6546cdc01a779c TupleEmpty BagBagCardinality CanNotBeCase
8faf2ec24acd0f24a509a606a2f6b1cf05c1b4b0 TupleEmpty BagBagOfAll CanNotBeCase
3b67e388cc050c06da785e58b063b3357c715ad1 TupleEmpty BagBagOfAll CanNotBeCase
1123b2db3db53ebc814dc245725332e162cadbc7 TupleEmpty BagSubBag CanNotBeCase
d6cccf7be3f6a1e8b1d58a490e6a6779a6bbf2eb TupleEmpty BagSubBag CanNotBeCase
b3bf5a069e7101f1fa7df6f0b9c28137cec9ecba TupleEmpty FiniteSetsIsFiniteSet CanNotBeCase
8475ca462280752a4c88eba97906eb9aff19ed94 TupleEmpty FiniteSetsIsFiniteSet CanNotBeCase
c8854c8e86089060cfdb15fae4eb356419e051a6 TupleEmpty FiniteSetsCardinality CanNotBeCase
3e653978f4bca08e98a735284a735cd20bd802cd TupleEmpty FiniteSetsCardinality CanNotBeCase
8db20cd95780ebb8daea7911c94422364701a558 TupleEmpty SeqHead CanNotBeCase
655f4f037a7b0254564de47016d108b804635da7 TupleEmpty SeqHead CanNotBeCase
009b5d375adc81773481cb629415ebcc394eab9a TupleEmpty SeqTail CanNotBeCase
cede781b0cbf10fce95a85bc1177f5c0e00d95d8 TupleEmpty SeqTail CanNotBeCase
c701f744d05b45c3444a6518ba09cd15e4b81a29 TupleEmpty SeqAppend CanNotBeCase
78edf98a6cbe30f110654a7d9d459821ef2f81cf TupleEmpty SeqAppend CanNotBeCase