Index

Skipped feature combinations by case feature InDef1

Id Case Feature Plug Feature Skip Reason
44725093cb2c49a374494e7a2e0d9935a9b2e20e InDef1 OneLineComment CanNotBeCase
320fa80b37c56ddbda23130bb60943f6a51a3520 InDef1 OneLineComment CanNotBeCase
d07b8ac4961a1ebcda408a73b0c0bfca9c1c44a0 InDef1 MultiLineComment CanNotBeCase
4b1ce0b297801c0632641d897f12e97cff375a0b InDef1 MultiLineComment CanNotBeCase
55ff37039be0c626dc703be986a158563c2e80ff InDef1 BoolTrue CanNotBeCase
afcb17ae3392909a71ed067fba30c40dc6701848 InDef1 BoolTrue CanNotBeCase
f1a23f6b48f0decf5ef19687a2a65c24c6608db0 InDef1 BoolFalse CanNotBeCase
6947b81e6c2e8184a19815b14f844e23fe09a2db InDef1 BoolFalse CanNotBeCase
3150d9a0b6a8fa52f73115dcb2928cb28e75b01d InDef1 BoolSet CanNotBeCase
a075de82f67bf9d673b8552651f4ca42edea23f7 InDef1 BoolSet CanNotBeCase
06352a470992469145b09c110fd6756c24937f05 InDef1 And CanNotBeCase
6d977bd847e818f28d6b8c5aa203ea3d5fb21c96 InDef1 And CanNotBeCase
25d076471302e4a0c443d304adbe467da2cafd7a InDef1 AndMultiLine CanNotBeCase
95e867e6c989840a320dcd6924fef488fdc0504c InDef1 AndMultiLine CanNotBeCase
81ea5ae48e1d9d3e8bcd024e4f3ac81a51a93819 InDef1 Imply CanNotBeCase
ff92a2dae7e8da0a38f4ec52a9e67e6ed1361558 InDef1 Imply CanNotBeCase
ffcb8b40a86463e2728619b1bd52e921fe2e41c2 InDef1 Not CanNotBeCase
afe60821d2bf0c5b658e5f6829eb65587d3a5133 InDef1 Not CanNotBeCase
d43550945a9740081ce188e66c2876b858c908be InDef1 Or CanNotBeCase
68d12615e33aa49a4316a4b997555da4b666ce70 InDef1 Or CanNotBeCase
7b21de46d9541ae6e50cfbc1836cae4cfa79e3df InDef1 OrMultiLine CanNotBeCase
a6b3eb5b56ad558187ae9a90b3db5586b56e8319 InDef1 OrMultiLine CanNotBeCase
5de0e7da7d371838ec8786c651ab5f54d0c5fe41 InDef1 AndProp KindMismatch
4fc5da6fefe8bb4f1301355124a66daca4257c1a InDef1 AndProp KindMismatch
ae1bcd58fa30f09db89f8a500c411b9c6b0dcff1 InDef1 Boxed KindMismatch
9967074e934d9cff52ed2a41de51da71ac83b62f InDef1 Boxed KindMismatch
976c0f13dee82d9e68e6df9df480eb14bd5d0868 InDef1 Eq CanNotBeCase
ce075d384b961c7450b7d9d9d586bd3aa3703e67 InDef1 Eq CanNotBeCase
cee1f01ef5b01a1dbed3a2843571119bfa310301 InDef1 Ne CanNotBeCase
baf5f9981ce36971f984707cece68eb600b8db6f InDef1 Ne CanNotBeCase
8ae3ed71523d38457887a0ce2c5c46d8587275f5 InDef1 Let CanNotBeCase
79e381502f6b20a0451c103e9a4bf5aeffccab04 InDef1 Let CanNotBeCase
60ba17d25c51071478b20be4643acb2d43d242e1 InDef1 SetEmpty CanNotBeCase
25adfc1898937af2eb08fcc7f6cc735e1ea2688a InDef1 SetEmpty CanNotBeCase
2073528f639b5b46aa5ff8aa0c5a3818aa670ef2 InDef1 Set0 CanNotBeCase
88c3f4fef0b38a8744e282f3e01c11ec5fb0f2bd InDef1 Set0 CanNotBeCase
8d45065933b3a031409f467146a0556278c56e8b InDef1 Set1 CanNotBeCase
1318f008a1b6095810589841e59e38037d3e30d9 InDef1 Set1 CanNotBeCase
cb963d4d69411e9bd3c90704fe8334609d31afce InDef1 Set2 CanNotBeCase
ba12a92d56910983e4824efeea57b1e3f9854ec1 InDef1 Set2 CanNotBeCase
eb8f43a38cfd08a9bd06dac646cf7346c1cad55e InDef1 Set1InDef AlreadyCombined
c0d18bf2a41d0f65bcf1a4ae0a990bcc91bb887d InDef1 Set1InDef AlreadyCombined
126b81b86b5a9e1a5d202445b4d67300dcb9f7e2 InDef1 Set2InDef AlreadyCombined
4204c251b02eb544605984774718eeecd4ea192c InDef1 Set2InDef AlreadyCombined
2a0c3aca8dd8fc7a117a8257dfb14e8f0ee73e41 InDef1 InDef0 TypeMismatch
28dfa3a401440940a7bda8994120c482db3648b2 InDef1 InDef0 TypeMismatch
31ac2d9e323cc29305c636d63c8726f8d4f36e30 InDef1 InDef1 TypeMismatch
8dc10d4db01c3523f6b95d7779d4b97b87f8bbcc InDef1 InDef1 TypeMismatch
e2a8e62b6ae0e4d9ac2669baef3a813e4d736042 InDef1 InDef2 TypeMismatch
9ba60a2ff2bbb1487b6d0c7c420e2144a9721a52 InDef1 InDef2 TypeMismatch
1e088dbf14bf1d6e20c3d7228c3435c3c701a182 InDef1 Fun CanNotBeCase
cd6e7151fe44cd5b30a21bf00ceb04a7a36ba189 InDef1 Fun CanNotBeCase
77e9cb3d638e8def646891bcdc79e9021a6ad417 InDef1 FunInDef AlreadyCombined
ae77f3b444bc8db34785b12704a7201de64178b7 InDef1 FunInDef AlreadyCombined
7681fe2b5ab5e3f43c9d185fd74246e0528961aa InDef1 In CanNotBeCase
ca07d42e95beb69dbbc19cd2a433695b401fe2ad InDef1 In CanNotBeCase
a0876613056e736ff3e12f06aba311bb11b63691 InDef1 NotIn CanNotBeCase
3673c50bb7cd4c337f1f501c7b8a85a17d52f44f InDef1 NotIn CanNotBeCase
cb1639f8ec44f3bc4f2549e94fb25267cd895a39 InDef1 Exists CanNotBeCase
a4f708769b28d332f6e5d1c30135e92ce0a4eade InDef1 Exists CanNotBeCase
7b1dd014917e87c13be9eb9cdacdc0b51a32096c InDef1 Forall CanNotBeCase
5598f42a77a163c72daca6fb71592c338cc1ae67 InDef1 Forall CanNotBeCase
8a4bc0e5fc57603b98a3299f2f3684deae927c67 InDef1 ExistsInDef AlreadyCombined
e60ed6945e545d902414b1cb29d46e8bc8ddc1f9 InDef1 ExistsInDef AlreadyCombined
8d0aba98d9bbbaf1d42cf8dd4867af68bd56ef88 InDef1 ForallInDef AlreadyCombined
cf0b1ebe70fdf4e60f8bec089b0afc7b93005c62 InDef1 ForallInDef AlreadyCombined
9dc341e2d5837c297d3ff0fa245c0d7709a2cf88 InDef1 Choose CanNotBeCase
012c55b430f8ce07ac9e053b6429cfc1e667a4bf InDef1 Choose CanNotBeCase
1829cc91e7fb7e83ec61c73d784fe1b803287b8f InDef1 ChooseInDef AlreadyCombined
562d1f57a9c74c19300990c259d96b469c68204f InDef1 ChooseInDef AlreadyCombined
52a6c20908c13e8e1430e6df0c4f0b8734e6232a InDef1 Record CanNotBeCase
c9299ea93a5418bced7274524a49a5eb916287e0 InDef1 Record CanNotBeCase
71052f43a0e4989e3e0ddec526b2ec3deef2d2c1 InDef1 Tuple CanNotBeCase
1b7f298d10b2a4c5e1228ee30c3923864b8cd18f InDef1 Tuple CanNotBeCase
7affdad8afa5c07ba536d7a5b4e224f19e832a6d InDef1 TupleEmpty CanNotBeCase
090452a4de789fc5766ec4ceb15c6f93eb204db4 InDef1 TupleEmpty CanNotBeCase
e464a59d645fce1cfb89d024e66f1d7ffd566c49 InDef1 FunApp CanNotBeCase
5628cc63d4ed4b0de4b354a021da2c8e5153f9fb InDef1 FunApp CanNotBeCase
1eb5758f0c1338a0dfa509a0301c905e5b4977eb InDef1 Except0 CanNotBePlug
94026776c24be8307f3d80531507f518d4b43440 InDef1 Except0 CanNotBePlug
ae0f809f3a9d52bfb3157368f62b74e6a7fa10f8 InDef1 Except1Fun CanNotBePlug
29eafcbdbed9e943bd8657d125fa7e520a84d2f0 InDef1 Except1Fun CanNotBePlug
db7a5cb5bfd44bfa8429799574ef4629ce8f6be9 InDef1 Except1FunWithAt CanNotBePlug
4069fa3921b7a1e5ef56f4e8ccfc1558fc95423d InDef1 Except1FunWithAt CanNotBePlug
77e2b41b73377e6212a9bf04847f0def8492aafe InDef1 Except1Rec CanNotBePlug
960b30cc77e251f598c5f46de68a1b9dc57eeb44 InDef1 Except1Rec CanNotBePlug
e5c32932e983a27e655e0fc3cab58c2ce8fb18f3 InDef1 Except1RecWithAt CanNotBePlug
bdf8103efd991bc1856c000c5d3be710c672e8c8 InDef1 Except1RecWithAt CanNotBePlug
5b5db6c0e8ce35aee3ed97b87e05ff64e2f4ea80 InDef1 Except2Fun CanNotBePlug
352ba59e93bf5c3eba3098fb0b8a6cafdea3e0a1 InDef1 Except2Fun CanNotBePlug
a5ce652655083596b609c14b3bce6ca743d18c07 InDef1 Except2FunTuple CanNotBePlug
a12c949a2fb8d12191b6285cb51380c3f0fa82b3 InDef1 Except2FunTuple CanNotBePlug
a4dd001b9af068239d4ed23758e6c3865f3511b3 InDef1 Prime KindMismatch
40a9d661c06749fb6344916f9f52399c8861e753 InDef1 Prime KindMismatch
cff16d5f1ed40eb69bf53f6ce35ae0c3fe9b0f33 InDef1 NumZero CanNotBeCase
ca6cb53da08d1ced4ec92a444d84c2ef0873b145 InDef1 NumZero CanNotBeCase
3fc1fff6902e5af52b0509e256df5f219ceec820 InDef1 NumOne CanNotBeCase
5b0fcb81f39d4c0bf2b42a1e24f1d80a7ed5f6fc InDef1 NumOne CanNotBeCase
804c4230c8cc05cfcd2807bcc41c0725843b357d InDef1 NumMaxInt CanNotBeCase
3a3314bef429fb9a95a4a548ecd679972cbce5ad InDef1 NumMaxInt CanNotBeCase
ce85842e7b65b78d26a56cd580b073c3e897fb38 InDef1 NumUnaryMinus CanNotBeCase
e18815c5866fd10085b5b92808e421e8a41e2e80 InDef1 NumUnaryMinus CanNotBeCase
c9036a86e2b2fc127a9049c5fc236d369400fce2 InDef1 NumPlus CanNotBeCase
8094c9a2d07810e3ff6303cbd04f6a573f65422a InDef1 NumPlus CanNotBeCase
cda4b288de71bd60aee85f195f59e5b8c610f19e InDef1 NumMinus CanNotBeCase
321c16da637909a2e0f11c2f6556347619a69421 InDef1 NumMinus CanNotBeCase
b80da825b127d00a8361a87167fed97dd73a6d55 InDef1 NumMul CanNotBeCase
3865ea7c4825fe92608c3e49cce3f35994f29d20 InDef1 NumMul CanNotBeCase
047a74ae2045bb5a8f9376bd4620c55a9751b617 InDef1 NumDiv CanNotBeCase
4357a778b861ceb09e0317537ae3667c289b9310 InDef1 NumDiv CanNotBeCase
0f1caaca9f0764d8d63c2045ca02005f44292e3e InDef1 NumMod CanNotBeCase
7c91595284ad738889690b0981b760558fb785e2 InDef1 NumMod CanNotBeCase
6d74bc3e38ed2141f32646cd36dc25f7afae6cd8 InDef1 NumPow CanNotBeCase
204bc5aa02386ed21a08dd1615123a259d7c0ffd InDef1 NumPow CanNotBeCase
6a9ceacbbd83c56b4f93e5ee24d40c0e4b3e245a InDef1 NumGt CanNotBeCase
66e86f41d2b0d5e3772eda659b0be8a2f149533b InDef1 NumGt CanNotBeCase
e41665714ad89fc234a865f6fd136b28b37bda62 InDef1 NumGe CanNotBeCase
3596f30d8116a14e416360140861bc617a6e726a InDef1 NumGe CanNotBeCase
adc940a3d69d3acb46dd410b0708b0fcda268c01 InDef1 NumLt CanNotBeCase
dcc384d001883112fc035e46463c5f0ebcf421d1 InDef1 NumLt CanNotBeCase
1fa494e5cd11e1a61d2fece5cef45e034a5e1fe7 InDef1 NumLe CanNotBeCase
bca1d81e3570bb45e2716fe978800d266446f6db InDef1 NumLe CanNotBeCase
372271d1624778a33c48a35816bd9afd201965ba InDef1 DefFun CanNotBeCase
f705ada3a17f2a09a24bbfff07cb21578d40b0ae InDef1 DefFun CanNotBeCase
34c15ce65dc8c079e2953620f17dc4e50bfa1c00 InDef1 LetDefFun CanNotBeCase
117643254dc6560f522579c78f83063e822f222a InDef1 LetDefFun CanNotBeCase
4a8cbf994d179f87a5dcc300b86d2f89b6a47600 InDef1 DefFunRecursive CanNotBeCase
df2741720fbb1568781709a5d66c3ccd0818238e InDef1 DefFunRecursive CanNotBeCase
64243c33382d815029a03365490ae1dc4e40841d InDef1 LetDefFunRecursive CanNotBeCase
1df832ee8f4984836d5a6eef7d2290bae7de00f6 InDef1 LetDefFunRecursive CanNotBeCase
7c70fca22d4a6a594bb705ff6014f2a74188c73a InDef1 DefFunInDef AlreadyCombined
df3662ff09bd7f56e9ab3d1ac0b7d176757a85da InDef1 DefFunInDef AlreadyCombined
5c891382c9ae1e462e15ecb4a957bd8c5108a815 InDef1 LetDefFunInDef AlreadyCombined
bd65776c2b59a03112d5d25a98b852add97544b7 InDef1 LetDefFunInDef AlreadyCombined
4a638dc3959a3c37787a081a5014723b6980295f InDef1 Def0 CanNotBeCase
a9360a08b6a1f0e6d3526487882b5e59e4557e34 InDef1 Def0 CanNotBeCase
c2ea283bb6861ebf8faef390625f14c943ec88e2 InDef1 LetDef0 CanNotBeCase
cd5bd14e1092aeb8f351c04f2a592b06dadbd86f InDef1 LetDef0 CanNotBeCase
10c0e93b693b8a895b0c68278b0b63223501aa2e InDef1 Def1 CanNotBeCase
a0fd97711e1964116c3376d5b9651aca3212f55f InDef1 Def1 CanNotBeCase
7a764cc08078f0a5b8a0e1477116c042681fa964 InDef1 LetDef1 CanNotBeCase
e7b21b9d720ad9391eb6f94e2513fe132827050e InDef1 LetDef1 CanNotBeCase
e461ee120385af4552fb60273fc9ea5aa8ee8cb5 InDef1 Def2 CanNotBeCase
1a693df5901fc17601d61b41c33bf7ca5a22fb10 InDef1 Def2 CanNotBeCase
8486325b0184a9454170195926afdf8a1e82cde8 InDef1 LetDef2 CanNotBeCase
0ea1085bd45904d1ffd1f021ea2df13ab5d4c2ab InDef1 LetDef2 CanNotBeCase
2181bfa3fe0a4e798946ef263ed9602e51c61338 InDef1 Def1Recursive CanNotBeCase
c3c2c033ec97787e3c957d9727062b65c2e7a3cc InDef1 Def1Recursive CanNotBeCase
e068defe85760e8242691d96c43159e615b8c97e InDef1 LetDef1Recursive CanNotBeCase
37b6d143fc8695c7e524869a1358a7a4477bddbe InDef1 LetDef1Recursive CanNotBeCase
931ced1f9a0236f1129337d71c87770aa0ebe167 InDef1 Extends CanNotBeCase
152235b76f5ae63805667d32472b563292858e60 InDef1 Extends CanNotBeCase
c7e998993beb4ceb1d2d024ddc3d372538db008c InDef1 ExtendsInDifferentFolder CanNotBeCase
492cd6e97746ebd549ddd1e75ad92e10597a291a InDef1 ExtendsInDifferentFolder CanNotBeCase
6c25b5aebad74e6f4e562edb68adc781342de8e9 InDef1 Variable KindMismatch
c354377f478361e234b9824375969968536ad064 InDef1 Variable KindMismatch
54e4d44abaa9d67b8b2dbc511002ed85c48590a2 InDef1 VariableViewExclude VariableExcludedFromView
126fe7d70d502366ce4def82d8670d6793b0903c InDef1 VariableViewExclude VariableExcludedFromView
ba5e31a5568351079832e1b37feaa47b74360f24 InDef1 Constant KindMismatch
a18af1df1cbac111ae0b7f4c4483a2b99f630713 InDef1 Constant KindMismatch
d04569c6ca0ff03864acba65036633a408fbbc96 InDef1 ConstantModelValue ModelValueCanNotBeUsed
c65fa111208edb6d7e1f1de5626f200ef8f9e1fc InDef1 ConstantModelValue ModelValueCanNotBeUsed
01e54a3664ae5e3db4ac01e2a7fed1972e3c90db InDef1 ConstantRank1 KindMismatch
209fc6baa5ae70fe7c6b43f51e4462984a386181 InDef1 ConstantRank1 KindMismatch
1c6a0a3651ee7bf45b9b88c3aba2a4bb4d999dce InDef1 Instance CanNotBeCase
8f038fc29c4920d204090af16be9905f038167f6 InDef1 Instance CanNotBeCase
7fccd019ead461cb75fa241de8dbd6f33a782489 InDef1 InstanceWith CanNotBeCase
4c2c3ec1f80aa0c670d9c86d279b4f256ad820b2 InDef1 InstanceWith CanNotBeCase
5daa13269374d458b18c15e79b5fa33834aa8bda InDef1 InstanceNamed CanNotBeCase
5ecca8633bf3d9c46ddd4f7ccb7201e88a9ae12d InDef1 InstanceNamed CanNotBeCase
276334ae36f13898a691178630d0770c500f1dac InDef1 InstanceNamedWith CanNotBeCase
d9069656e78a6d6b1783faf6ae289301a0f1b69c InDef1 InstanceNamedWith CanNotBeCase
a5b7b1efc317487eda2278299585bf0f5a8a6594 InDef1 InstanceInFolder CanNotBeCase
6361be0130c2b6e778d6645bb72a10535ee04a9d InDef1 InstanceInFolder CanNotBeCase
d3d6043d6abccf48f833de390cf1bbf56fb6b872 InDef1 InstanceWithInFolder CanNotBeCase
2f80030f9323155c38e05c1b31398ad2234822b3 InDef1 InstanceWithInFolder CanNotBeCase
f475d00890417e52168c869196202201d781ac60 InDef1 InstanceNamedInFolder CanNotBeCase
2ba07e2b51431a36e149f9fd21289aaef81b6289 InDef1 InstanceNamedInFolder CanNotBeCase
9ce91eba72ba380233bb6eb1645cfbb0673dafbc InDef1 InstanceNamedWithInFolder CanNotBeCase
39d0e7a577c1e1e5bd154f3491efda4cc6afc330 InDef1 InstanceNamedWithInFolder CanNotBeCase
af5eec2649310ad099344e6d6de38fee58c2e233 InDef1 Enabled CanNotBeCase
46b9ec30876a07b7bcf931a603ee9bf6de6e92a9 InDef1 Enabled CanNotBeCase
8acf202cae19a20b291aaa05568e069e9962771e InDef1 Assume AssumeIsNotEmbeddable
294bd812a25d868b4d34387e5ee82236152233e1 InDef1 Assume AssumeIsNotEmbeddable
4d7a1eddc1cfb217cb265d00adb717358f9a373d InDef1 AssumeNamed AssumeIsNotEmbeddable
9f5c1c9290dce31c983c3b7c857b545c6b5a2af0 InDef1 AssumeNamed AssumeIsNotEmbeddable
c4c170d2d3e2ff6ede4ec4ccebf5e519a761acf3 InDef1 Lambda TypeMismatch
fe243ceaeb13858c4db5ca1a7840f7725435147e InDef1 Lambda TypeMismatch
e47b74ceaae3fab357541d48b0b7318bd592daf1 InDef1 Cross2 CanNotBeCase
80ba7066e897d4c528b9ce3435e710a8884442e9 InDef1 Cross2 CanNotBeCase
4f7b2a3d631d19d8abbb0d9427b8733fc15dc586 InDef1 Cross3 CanNotBeCase
c8dfcabac0fe20a89197715708360dbb3e8baf74 InDef1 Cross3 CanNotBeCase
d7e4e7b4fa5dae82344d78166f326e313cbe291e InDef1 FunSet CanNotBeCase
7d0e81f4f8e99e82be2d98dcfc05d590a73ba088 InDef1 FunSet CanNotBeCase
2a70452fe6a718ce5f1ae9a6703207e6c97161d1 InDef1 RecordSet CanNotBeCase
a571a364234b8370ad5305ee5aaeaeeecbbce13a InDef1 RecordSet CanNotBeCase
c3f1552c439bf4c8afadb14e3e87e05db6453de0 InDef1 SetDiff CanNotBeCase
2ecca0ae074aff85a5ffc36be6a77579810e8434 InDef1 SetDiff CanNotBeCase
96b90f49dcf74b658272d9cda4141bc0e383ae4d InDef1 SetUnion CanNotBeCase
f0405c5f290a1042e6834ced4a52cf834b89aace InDef1 SetUnion CanNotBeCase
7eca5b139b81124a8e705659fc95b8591663a607 InDef1 SetIntersect CanNotBeCase
f4606a5838308ec5e7a8a71c71ade56360137134 InDef1 SetIntersect CanNotBeCase
79cd9621024863a30bff8584068075a30d3613a7 InDef1 SubsetEq CanNotBeCase
634f0b69b2788745f50c9016bf02aed4f6d06d85 InDef1 SubsetEq CanNotBeCase
3845ef41f3db81d11551caa76306f1115e1df1a2 InDef1 IfCond CanNotBeCase
e719ade8c6682548c3d8c68fd72cfec98748ebe8 InDef1 IfCond CanNotBeCase
455b8aacc0470124cb7bcf2636755b3d77986acb InDef1 IfThen CanNotBeCase
1951fb53ed0a084a907478c60e4a98fa1701ca48 InDef1 IfThen CanNotBeCase
16e53a026e5fc12fcb34673394e90d00cdb4dd3e InDef1 IfElse CanNotBeCase
0f8c8c23f8d10757d287ff1a1263517549155993 InDef1 IfElse CanNotBeCase
e5654b47a1b4c5999fd5e9a4efbc9b4f3e4304bb InDef1 Subset CanNotBeCase
689447efb217834ada19012aee4ad3ed12da9f38 InDef1 Subset CanNotBeCase
5cbdbf11f77e032f9cdc30584dfa5c592f4d0b14 InDef1 Domain CanNotBeCase
245c9f6fd978b6fcb9187b3ad09906d34774d5ef InDef1 Domain CanNotBeCase
58aa5f4b9d1c0a79deb8e2013908428a3abf9dae InDef1 Union CanNotBeCase
9fc42aa38a554eb8dd2b7a4c8ca807ce5573459b InDef1 Union CanNotBeCase
ffef9981c4bc3ecbae3fa431f5a3075ae6dbc4bc InDef1 Unchanged KindMismatch
5a0bb1638827a27202bcae87252755bd9fad1a7f InDef1 Unchanged KindMismatch
754b344803171ea8a91881d5a2ae69291da31c70 InDef1 Equivalence CanNotBeCase
0af522fa7e0e298222a82aebf8d0cf20cf24899f InDef1 Equivalence CanNotBeCase
a9a6152cfadcad4dd0bf01b058dd95e98560710b InDef1 StringEmpty CanNotBeCase
b4cb0df241ee5d23f49516f46a91d678a016f35c InDef1 StringEmpty CanNotBeCase
2bf0fd9d6d5dbee034271283edc4282cc6c8becd InDef1 String CanNotBeCase
68b6755f0a5ae17195debebd4149f45b21722a7f InDef1 String CanNotBeCase
6cd13d4b2916bdc25aea1a73163d8d551af5878f InDef1 SeqLen CanNotBeCase
ba84d4f4c86fce642fee3a2e6fc036d1744c1e45 InDef1 SeqLen CanNotBeCase
daf2da94afce27a0aa96842bb804e0b1dda61d52 InDef1 SeqConcat CanNotBeCase
f3a75a1ad910621e42b99d2f01399202a14c9912 InDef1 SeqConcat CanNotBeCase
0cd544a60cbc6843cece97e5d61a644988c82e24 InDef1 SeqSeq TypeMismatch
583df614b6c18777c81117ab848cfd5e24dc4597 InDef1 SeqSeq TypeMismatch
2f2f443536c6f6658c7855313e68f645239b073b InDef1 NatSet TypeMismatch
2fdf878e85d64ff18ed9fdb1a369ff9edeb4aaad InDef1 NatSet TypeMismatch
dd03118dcd8b7f4a5db5e098e8698c9e131fd72a InDef1 IntSet TypeMismatch
7b73536fe9e7129a429e9f09244f6cff68a69358 InDef1 IntSet TypeMismatch
9269c30637268eabfa32d4fa0c9af1591e7e9d56 InDef1 StringSet TypeMismatch
f403476471baeb6c38f69d4c83068610f883faac InDef1 StringSet TypeMismatch
3e53e3cac774f1aaca22993a8082990ed503d727 InDef1 SeqSelectSeq CanNotBeCase
b9da9301681691a88440afeb2656d0e4c1cb5cbb InDef1 SeqSelectSeq CanNotBeCase
18a18eb97e5c175def20d0cee5cd032fe9d1ffaa InDef1 SeqSubSeq CanNotBeCase
e9af14b427b3096c18c9f2c200180c1d1f5d86fe InDef1 SeqSubSeq CanNotBeCase
54947d0df1d7c63ab8c0acd72bc6344dca57fe0e InDef1 NumRange CanNotBeCase
889af2e118e02f6df0ab942d6f8001f4bea773e0 InDef1 NumRange CanNotBeCase
3638b552db9b717aac87a3ca941a130366a76ba0 InDef1 TlcSingletonFun CanNotBeCase
83bab95566f052ba1decae0f817646aa484b5610 InDef1 TlcSingletonFun CanNotBeCase
d35b9b573c7419240d8928324d3c7d9ee6aff50f InDef1 TlcExtendFun CanNotBeCase
e29cc759be532dbb0dbe6b7a5313fba70cc63299 InDef1 TlcExtendFun CanNotBeCase
5db9ab53c5fc22d13bed85dcf0d946b6b4e3baa7 InDef1 TlcPermuteFun CanNotBeCase
1b68e400b39ece79a92529fc90b46fddecc15b54 InDef1 TlcPermuteFun CanNotBeCase
7378a877afb3fbf9ce20af13c43ce84822d18eb5 InDef1 TlcSortSeq CanNotBeCase
fd0985b4b132d1fe61c609cf6149ad5de259b03c InDef1 TlcSortSeq CanNotBeCase
3b74325bf00fdb2576930f5051c1f70adacd84c8 InDef1 TlcEval CanNotBeCase
d3f5504f21d16a4b79a27cd5d50de4ed6d0e02f7 InDef1 TlcEval CanNotBeCase
b134855fc4a74cc204786ec67dc16ef56062adb1 InDef1 BagBagToSet CanNotBeCase
8cc1414c115bdaad02ca953d838f5321556c6ead InDef1 BagBagToSet CanNotBeCase
f6583b50e6ec92666a4916f8fd5fe03f761f9feb InDef1 BagSetToBag CanNotBeCase
1ed491ad0b084cded00cb75f40e9554499de6ef8 InDef1 BagSetToBag CanNotBeCase
878b9fed6f07175cef476cc51c575481c8fddab6 InDef1 BagBagIn CanNotBeCase
4de417fbdda706c61f061de8a00bbb6bf31df5ce InDef1 BagBagIn CanNotBeCase
648295e809882c9b040b11aacad888da710d2f8e InDef1 BagEmptyBag CanNotBeCase
1241da4188e46647333fdebb3d4d538992db8d39 InDef1 BagEmptyBag CanNotBeCase
535ce7586dc0332227c714edf3cd1a2c56b54e19 InDef1 BagAddBag CanNotBeCase
29ff501ad2e18e509a72f89053a3a9dbf95b7112 InDef1 BagAddBag CanNotBeCase
9114db6ff7bf0bd9b81549a65919fc91d8e07083 InDef1 BagBagSub CanNotBeCase
f58b35af634f4fb800515008328235269dafa476 InDef1 BagBagSub CanNotBeCase
60757ece53b213b3262dfc8eff80ba5e4f00c069 InDef1 BagCopiesIn CanNotBeCase
59aba6b43669767b813ff21010c1d56211262b3b InDef1 BagCopiesIn CanNotBeCase
ea90f73b8c7b2bb9cee956e09d427cf6e114f414 InDef1 BagSubsetEqBag CanNotBeCase
ce6787b7da67803c51a6e6db3f21f82d04fed57d InDef1 BagSubsetEqBag CanNotBeCase
fbb6e4173d5113e86c3a047b3134092328a1ac1f InDef1 BagBagUnion CanNotBeCase
d3134a219d61d86668d33cb245c5b839dfcdb57a InDef1 BagBagUnion CanNotBeCase
d40400d7790d851238097f782a2e5619aa06d048 InDef1 BagBagCardinality CanNotBeCase
cbae316ac5cfb5475121f6c9eb6ba0aae4b0e4c6 InDef1 BagBagCardinality CanNotBeCase
f758ca1e9d440a1ec0e5b3307586e55190558aa1 InDef1 BagBagOfAll CanNotBeCase
892cf32b1cb9589aae3e728b1c7d3562aaee0bf9 InDef1 BagBagOfAll CanNotBeCase
ebc213bc951d7d11287db5afe47836fe7f8497f7 InDef1 BagSubBag CanNotBeCase
12b16da5591fe0aa9f8fb51c0ac42d735bcdac41 InDef1 BagSubBag CanNotBeCase
ee350ff4ea88b5c8e2c2bd4582aba11a7741203d InDef1 FiniteSetsIsFiniteSet CanNotBeCase
a912591dd54242d562b6c45800be69e842ada514 InDef1 FiniteSetsIsFiniteSet CanNotBeCase
65b5136ccb9cc498e18b9c506ae3b1d765f87f5e InDef1 FiniteSetsCardinality CanNotBeCase
1278a1a5945af4f7080f9390e2de1773fd9aaeee InDef1 FiniteSetsCardinality CanNotBeCase
3ae4008e52b63101b5aef3785490b49d06aa2bd1 InDef1 SeqHead CanNotBeCase
b013ebb0ee7a3ab335e6af43fbbb5062f3b3f01f InDef1 SeqHead CanNotBeCase
7f8197c78d5cc7203328b45e46a23f87ed93775c InDef1 SeqTail CanNotBeCase
f9dd4bb1de09d370e0c6d7a453bdbefff9744956 InDef1 SeqTail CanNotBeCase
52b9c2448060644925ae578cf9d9160153e00d98 InDef1 SeqAppend CanNotBeCase
ad6f72e58091033c7affd3acd36344abfade2d86 InDef1 SeqAppend CanNotBeCase