Index

Skipped feature combinations by case feature InDef2

Id Case Feature Plug Feature Skip Reason
28ad2007c341d759c52c47bf84e4ef933c1a3efa InDef2 OneLineComment CanNotBeCase
909c8ca967d46bc9115b076e78fd5c7f3ac8293a InDef2 OneLineComment CanNotBeCase
2121efd4adc658e7949eb2731576fd37319b59ac InDef2 MultiLineComment CanNotBeCase
35747f4777473c59645d6b117175d5b257afc531 InDef2 MultiLineComment CanNotBeCase
97f8e7e2b0f7d6089e2b38dcb588b52a0561d011 InDef2 BoolTrue CanNotBeCase
4f742dd4e19a5121d04187d4dc7c9fe4c57aa8b4 InDef2 BoolTrue CanNotBeCase
531c59132c821b25a2257619eebe0e9afe13e442 InDef2 BoolFalse CanNotBeCase
c28199cf551de18dc6b3728e98f5ce8876138b42 InDef2 BoolFalse CanNotBeCase
b0b11a2ad6f6552ff3839e88892d9bccc5e76460 InDef2 BoolSet CanNotBeCase
5064248a3915ec18b53a2a5d99b127f35dd92e4b InDef2 BoolSet CanNotBeCase
fcd1be00ccf64e72543f33e23104449fad2bb2a0 InDef2 And CanNotBeCase
063f387a2f73a67a998dbf8c279637dcdef49755 InDef2 And CanNotBeCase
11a6f48dd4e0f1b9f500ac59e1b918b103ed989b InDef2 AndMultiLine CanNotBeCase
444b202f371c4c0ad58353f34703a3a3de996c68 InDef2 AndMultiLine CanNotBeCase
cc298e9311c0b0cb445d6b68d7923162ef2a5c1a InDef2 Imply CanNotBeCase
b4cea583b6d905fb5e7f7c2a284ecd1c939974b8 InDef2 Imply CanNotBeCase
674ef33c3bcd853e4b82ac37d34eb788530133a8 InDef2 Not CanNotBeCase
0f2f5b8fef93d9f77b68b303396cc6f7b857994b InDef2 Not CanNotBeCase
546751479a4c58c6f1d99cfcd510a4b33c300070 InDef2 Or CanNotBeCase
6ff04b06a3e7ab5bae7056b965d051fbb08b8d7b InDef2 Or CanNotBeCase
e28da145205bee2eb00f3e9cb80488a894067c76 InDef2 OrMultiLine CanNotBeCase
eb6e99762f8f04da675cd25af5005dfd4ba1ea9c InDef2 OrMultiLine CanNotBeCase
96249d5ea157864d1f05588f7d003320e4af9cbe InDef2 AndProp KindMismatch
c4edda52fb3093ccb8140a3bb055d663c4c56162 InDef2 AndProp KindMismatch
7ec3ca5968a35c3929b3a20cfa0baff4260eec76 InDef2 Boxed KindMismatch
9113c2cff8292e6d4876fc1e4d8f55b1b8999b26 InDef2 Boxed KindMismatch
2900dd561ee781174a2d192384b5e3850d26d8a3 InDef2 Eq CanNotBeCase
7d975d01d7a474592aeac29ae3f6ea6a9c57496c InDef2 Eq CanNotBeCase
629b0df89884c9e8020200fa1948e071635c4a1c InDef2 Ne CanNotBeCase
34cbdb06e21411b446abb277b16c092caff7b63d InDef2 Ne CanNotBeCase
579feafd208ec1c6c2dcd4ec381f737dfea1300e InDef2 Let CanNotBeCase
8cac27bcdd1c4503e42fecfba162e0c158aad94a InDef2 Let CanNotBeCase
e521088beeb42edbc7cf64faa503144d189938ec InDef2 SetEmpty CanNotBeCase
71d879fba5e130419d668dfe7ece16cefcb357ed InDef2 SetEmpty CanNotBeCase
3f58786e38939451a9aa831122a6b33682f5fa34 InDef2 Set0 CanNotBeCase
176792ad89c165b66e9d7601d50e9d65960cf6cf InDef2 Set0 CanNotBeCase
f1cca92ad73cd6b6cb096a9b4810bcf6e3bd0d99 InDef2 Set1 CanNotBeCase
f6ef9f3fd67ebd7fd63632f0cc82654e1077f51e InDef2 Set1 CanNotBeCase
7c855095369fc5791af306208f22f30fa3b17aa5 InDef2 Set2 CanNotBeCase
ba49c5b83272681d8923eb947a08c9742c3de307 InDef2 Set2 CanNotBeCase
b8ae0a7cd67f2356e74696bbfd69fa17ffab2d2e InDef2 Set1InDef AlreadyCombined
5ff89c61111c5a5876b56c7ba604230dae0bf75e InDef2 Set1InDef AlreadyCombined
283c2079c2b9d806aa3413e5761028301d505008 InDef2 Set2InDef AlreadyCombined
bee67d628f810c5723e56d3dcb59538abb8fec06 InDef2 Set2InDef AlreadyCombined
cd8110294de45387e56ed9e9fd6d4b720c57cb1c InDef2 InDef0 TypeMismatch
13ce2056bd8ed3b204c234cfcd2e73e6a33fec3e InDef2 InDef0 TypeMismatch
44db1ccd2004c1501f537b8a80fb8f1922a49338 InDef2 InDef1 TypeMismatch
34aaed10ce741e2a7e387305e1ed69edc6a2e548 InDef2 InDef1 TypeMismatch
8e4a57f1fbb83f2450f3aafd510c1fb0b2465c6d InDef2 InDef2 TypeMismatch
3ee7e25c4a97aba3f9d31ba60b0f0d6d0a7e1315 InDef2 InDef2 TypeMismatch
a626441dbcf00dc6f54e8859b10c06bb336aa8bf InDef2 Fun CanNotBeCase
b57488a160cbe8fe87e0326de0747bda9453b28d InDef2 Fun CanNotBeCase
d8ee6cf84396f2bc65257e0269e0867f9e892e33 InDef2 FunInDef AlreadyCombined
b65d92ad9419a65316ac42b93a5696b7871d47b4 InDef2 FunInDef AlreadyCombined
00da768e1ba7269599775bc7ab692ab9d83cb212 InDef2 In CanNotBeCase
7b5ccb4e64c5532d2275bd9849cb8e398e017472 InDef2 In CanNotBeCase
31e68561e2eaf95d042e448ba62063e5506c2b1d InDef2 NotIn CanNotBeCase
1e2a9eabea3ca71e39b7e61c2c674451b24986c2 InDef2 NotIn CanNotBeCase
26502fd8bb7ee19704d5d33e11ba81c8b95cfd60 InDef2 Exists CanNotBeCase
4881eebdb4ea41c79ca75371d6a850c5fcc50a16 InDef2 Exists CanNotBeCase
5c917086e9534db0d478c7a78228a3640d0c922e InDef2 Forall CanNotBeCase
ecaa3f873b6ecf6c8a001da6eb7ae6328853cb67 InDef2 Forall CanNotBeCase
d3629ddaa2a01bbcdcf4bf46d2f0b11912d99438 InDef2 ExistsInDef AlreadyCombined
fb5b068a1a1719781e3e462201dbcda141823c66 InDef2 ExistsInDef AlreadyCombined
511cc3ab5547083ed4cf3921c71bbe04d45af896 InDef2 ForallInDef AlreadyCombined
09c0a048862b89235cd3465d168c7e4553782da7 InDef2 ForallInDef AlreadyCombined
84cd767769a143c6bfc1914e25eb2794286b962e InDef2 Choose CanNotBeCase
add00c72add6e8939ad67f143b06090e86422fdd InDef2 Choose CanNotBeCase
4fcda3abd1352fcc2d40cda7afda7bf784230425 InDef2 ChooseInDef AlreadyCombined
64e6d8a26819a614a7af6c21a5922a53cc10a67e InDef2 ChooseInDef AlreadyCombined
386758c4dc0143eaea80bed04d5c5c133974b5db InDef2 Record CanNotBeCase
302cc1d56d3ce7b2042847b08ddec4c50b514d93 InDef2 Record CanNotBeCase
a1ade93b83c54c4a80f8a4abc052402af735f293 InDef2 Tuple CanNotBeCase
10581513712a910632090733d4439b68a5c40aaf InDef2 Tuple CanNotBeCase
d64191aa2b2f9325168186cc16bfb0504943554c InDef2 TupleEmpty CanNotBeCase
0d06f1a3210c1621eb453363f951942880205a0f InDef2 TupleEmpty CanNotBeCase
23019581761bffef301ccfb16ed9968881d21010 InDef2 FunApp CanNotBeCase
42ad53b22b61cede72b6f9d6dfa81e92e50242b2 InDef2 FunApp CanNotBeCase
373bde0eff704e778e6bcbc23fc4168b3ae50d6d InDef2 Except0 CanNotBePlug
5dab2c08d586000e3ece7c87203fc8f29c124e25 InDef2 Except0 CanNotBePlug
8c1e652f2e04524d3ebde6403fd33d39b108c0fb InDef2 Except1Fun CanNotBePlug
4cbd834d4c49bf376b60fdcd8178ca46e3c231e1 InDef2 Except1Fun CanNotBePlug
687cf665d972eb492cf748b16b0b527019970609 InDef2 Except1FunWithAt CanNotBePlug
02f396be8cac43407153ce399274d8a13747482e InDef2 Except1FunWithAt CanNotBePlug
16b9cfe01d4baf38a5b5f9e40f7c40c90aa23d82 InDef2 Except1Rec CanNotBePlug
c430dcd47c1502c54d01c7da764571bfe483454b InDef2 Except1Rec CanNotBePlug
d5230cb7a11cb5501ca76090df00d3d51c8a4a42 InDef2 Except1RecWithAt CanNotBePlug
c01b74e59d2dc577cd53fc62a8c58763f77eec80 InDef2 Except1RecWithAt CanNotBePlug
daedc3272998ceaa7ef5428bfa245b98fdd916e0 InDef2 Except2Fun CanNotBePlug
b81fb4ddb31f2726b445371b66e7522c318ffa6e InDef2 Except2Fun CanNotBePlug
9e831355fb2979f103c2f8cfcde8fe0f633489ce InDef2 Except2FunTuple CanNotBePlug
72caba6d9e19689c91efc206f842f5f33e4f3989 InDef2 Except2FunTuple CanNotBePlug
eed56a6a67db33da89c35a3a7df454dba116962a InDef2 Prime KindMismatch
3253331909fcdd15dade0d73c4cafa065f807d5b InDef2 Prime KindMismatch
04ad4900bbe9a3813ba3a03e8ea371236ee6b60a InDef2 NumZero CanNotBeCase
1b241adf5c4bfb063b9b8844a07771bcd4055e24 InDef2 NumZero CanNotBeCase
728d9dde51f8c0fd510da0a94e403cc0fbdf1c08 InDef2 NumOne CanNotBeCase
31dd8329e235622c0ed10cb3aec3ba2e172f7e9a InDef2 NumOne CanNotBeCase
a31495e8c3d06c8d7495daffaf30599218bf32a0 InDef2 NumMaxInt CanNotBeCase
70128a1b8359fdc5e7394a8c4c3662312bb8b482 InDef2 NumMaxInt CanNotBeCase
aabc5e2dff714209849747e3794a48904793680a InDef2 NumUnaryMinus CanNotBeCase
5a9004315d9c1b0e2232fed73707761c5ad0c9b4 InDef2 NumUnaryMinus CanNotBeCase
74dd8e297a18639c28ebaf993f1d403792fbf991 InDef2 NumPlus CanNotBeCase
c6a2c94bedf50e970cf1e7d1a650e7913efeb569 InDef2 NumPlus CanNotBeCase
9cd8471867dd639d125d50b928c271609cf5881b InDef2 NumMinus CanNotBeCase
d3e26df309a09998924ded7d828078667834f333 InDef2 NumMinus CanNotBeCase
50d759a92a898e703145b98c8b9b1e96719ddb12 InDef2 NumMul CanNotBeCase
433fcfe8b186cd66ce1e963006e6333709397040 InDef2 NumMul CanNotBeCase
4117072e2a1379fc90ad5d209b7e9e633fb1f620 InDef2 NumDiv CanNotBeCase
1bb96e81ef7a20a27f5afa669a7a4f1c518c7109 InDef2 NumDiv CanNotBeCase
7e6f8ac1ea4feadf9e4098ea7538af1339d45132 InDef2 NumMod CanNotBeCase
c24b4e398b9391175821a6581a9edf46e68684c4 InDef2 NumMod CanNotBeCase
b78c46e3d91df4565673abfb019582ced2e9af3b InDef2 NumPow CanNotBeCase
87e8311cc30e31e8469088d3d147e8dd97844a37 InDef2 NumPow CanNotBeCase
eb1afdc6c600403a4d445ae4dd1db07c2c4cdcf0 InDef2 NumGt CanNotBeCase
20c08cfe4129e3fdcbdedbc4de2016064026d7c9 InDef2 NumGt CanNotBeCase
0c5e5e43998267f0ad774a1071edba2521edf1f7 InDef2 NumGe CanNotBeCase
276f51b20d68e4dc3ab5b45c9029b1e34b578526 InDef2 NumGe CanNotBeCase
94198d08589355d897bc72683e577cdebfa324ee InDef2 NumLt CanNotBeCase
97adf8996a53625e0c3d3851d5f6394d5c822a9b InDef2 NumLt CanNotBeCase
afce49292793f3a88f4df172e3e79b5946d8a266 InDef2 NumLe CanNotBeCase
245021a10b458f483e360055fb4226e8fdcab6a7 InDef2 NumLe CanNotBeCase
29a32bb399e3969668c4afbc58d8f02604973413 InDef2 DefFun CanNotBeCase
289565f3eaaf876287894c0bccb8f302ac770fa0 InDef2 DefFun CanNotBeCase
b5b10580b50718e88649d5f9cf4a3022902eb9ab InDef2 LetDefFun CanNotBeCase
fce3117889277f6478ef86a0edd684f6f8e2f102 InDef2 LetDefFun CanNotBeCase
8e424be71bbe07810dc087ad4958a21af51bddfd InDef2 DefFunRecursive CanNotBeCase
bbd4c61e603cf75aaa2f40e26f01e091c11917ad InDef2 DefFunRecursive CanNotBeCase
a9cfb8ca5bc884397650d2cb72da232cfc1ad6dd InDef2 LetDefFunRecursive CanNotBeCase
d6a826afc701c9d780850694002b942dd7cdfa63 InDef2 LetDefFunRecursive CanNotBeCase
a18cb201a86146d3a497a183f551107e6b5de0f6 InDef2 DefFunInDef AlreadyCombined
7058e3487355fd7e83d0dfc3441dbfddfe46396b InDef2 DefFunInDef AlreadyCombined
295c86d94e73c0f1d877d82350a73b9099c33d15 InDef2 LetDefFunInDef AlreadyCombined
512762926b9d52a3931272b7ed91ed7ec8f84da4 InDef2 LetDefFunInDef AlreadyCombined
3656083682994f52aef8ab97251f4d777be3764c InDef2 Def0 CanNotBeCase
49710d2f79f5d0c3da8470f184b93ec8809a603c InDef2 Def0 CanNotBeCase
4e34175900e5cefc7f00b39d327e9fee1c71d04b InDef2 LetDef0 CanNotBeCase
14022d5e27fc7f532e7a18a224cc4d219cfe2b12 InDef2 LetDef0 CanNotBeCase
a9405286a5bc2e476af2f04e6f694b2e3f577ed4 InDef2 Def1 CanNotBeCase
a4cb54d904db20a87c7676e6a1491d3a1f25d842 InDef2 Def1 CanNotBeCase
634ee3c0bfcab097b977de4bc320000e0707d030 InDef2 LetDef1 CanNotBeCase
052449190c7d53930dbf12e50b6b859c2ce0b904 InDef2 LetDef1 CanNotBeCase
941a91c797c588150c9792c6492dfec7e07e6a51 InDef2 Def2 CanNotBeCase
9c542cba2227c2ba39b1c15a59b27ab377392dd3 InDef2 Def2 CanNotBeCase
db0bf71cb1a658f35540bba6160967503e2268c5 InDef2 LetDef2 CanNotBeCase
2807fdb3b4c32f53964d79b4ccf9841d430650e0 InDef2 LetDef2 CanNotBeCase
77f5cbad2fa518c2244a537848877fd55226978b InDef2 Def1Recursive CanNotBeCase
25f1e33ec4f29fb77ebb8f005a348096b1121942 InDef2 Def1Recursive CanNotBeCase
001581ee872e9e3dbbf461ff97036d378d72fd05 InDef2 LetDef1Recursive CanNotBeCase
cc165207c6b7386a1f2e9e40bd30b5c5f8d41b81 InDef2 LetDef1Recursive CanNotBeCase
62066df07d3c0f5d2302cc9f7010055d1779c3b7 InDef2 Extends CanNotBeCase
df2255ac84057ec352a0c90994832ee6c91a335f InDef2 Extends CanNotBeCase
2751a08b77bd53de7960b6c9b6c69c140f15e8a3 InDef2 ExtendsInDifferentFolder CanNotBeCase
100c520ee13b43c8d14a95c600783247a60e628c InDef2 ExtendsInDifferentFolder CanNotBeCase
da923b8dd7e509a160d74c80ee6773e74666ea1b InDef2 Variable KindMismatch
d2727ec6ad84c2508193e55619f48839bc256825 InDef2 Variable KindMismatch
a21facbd1a9c43ee0427be4eb35e55dec7442a0a InDef2 VariableViewExclude VariableExcludedFromView
3378ce95eae98dd1ca4c1e5272c4a6ab5fa04086 InDef2 VariableViewExclude VariableExcludedFromView
39c9f1ef0113795769f8e2c002d77823b6be1fbc InDef2 Constant KindMismatch
f8b7eb0eef1e7e4624fb4544ee92db8dbc5959b1 InDef2 Constant KindMismatch
1aa7c0986be9563b2fa5bdc4740250d734afbf83 InDef2 ConstantModelValue ModelValueCanNotBeUsed
330d32e043462ce217f8f97b85da634e0154b270 InDef2 ConstantModelValue ModelValueCanNotBeUsed
1f16ee6e0e512e0bae0f986e11c2eb529b316019 InDef2 ConstantRank1 KindMismatch
782aa0d0e15bbba86b32b82bcc99c26792e5a4b6 InDef2 ConstantRank1 KindMismatch
308dfffad06ad36491360acccc3675161ebaf286 InDef2 Instance CanNotBeCase
b7c3607f9d85cc9174867deabc3162e421c9d18c InDef2 Instance CanNotBeCase
e1af0ce0fe1418bd48107ebf2921337d650a41a9 InDef2 InstanceWith CanNotBeCase
62d86f06950c5070d276e9c68eb17e7a98b9b421 InDef2 InstanceWith CanNotBeCase
a901ee699a153b5902e75c9771ca0d24291e3572 InDef2 InstanceNamed CanNotBeCase
76390c083e8207e239ee7566c8367c3c2e8e3326 InDef2 InstanceNamed CanNotBeCase
bd8256e8c628eeae114eeaa3e9169afb9f3ea272 InDef2 InstanceNamedWith CanNotBeCase
850efbd88c85d558e7e99f06c778332dd1d2cd92 InDef2 InstanceNamedWith CanNotBeCase
a00a9951eef953ddbd3feb03138ab4d313eb6226 InDef2 InstanceInFolder CanNotBeCase
5687a3965f2c483a727cc66cfd10b91743caf8bd InDef2 InstanceInFolder CanNotBeCase
fb5f6f81a6f08d339a444429cfb3ede0132694a2 InDef2 InstanceWithInFolder CanNotBeCase
19c6e4ad4fc545e0a77488ff5b7e75cd6b47f59b InDef2 InstanceWithInFolder CanNotBeCase
d7b48c7e444a9fd538dcdcc51c7123b695d08d6e InDef2 InstanceNamedInFolder CanNotBeCase
7c76216dfc361cd401b3792b00e5abc5637dcbc4 InDef2 InstanceNamedInFolder CanNotBeCase
05975a9f0c30dcb746f335079884a15e9a9801ed InDef2 InstanceNamedWithInFolder CanNotBeCase
82975e2f088e6a6832c02added2d1481a74da365 InDef2 InstanceNamedWithInFolder CanNotBeCase
e073f5b4a9f889cb710411181fa91921bddd95bb InDef2 Enabled CanNotBeCase
064f123ecdde13783f6db2d8899643f5ca7e01e8 InDef2 Enabled CanNotBeCase
c400e0e4dd69daaa10697f1651668998948d0cc2 InDef2 Assume AssumeIsNotEmbeddable
88e40335ee826a882f296ba3843dad142136b748 InDef2 Assume AssumeIsNotEmbeddable
6b09622aabcf8bf2dd8abce71e024b7c472be9dc InDef2 AssumeNamed AssumeIsNotEmbeddable
b6aebf2ce283252bb8a1853d2399332bf9d182d9 InDef2 AssumeNamed AssumeIsNotEmbeddable
9c19285c48e03e6dff6ec31667c124cd38393cad InDef2 Lambda TypeMismatch
f60e9eb497f3aa1c4f50f9a8a728013f9b590c27 InDef2 Lambda TypeMismatch
e647c37b6f8546d98604feb455a2405b1e6c1ca5 InDef2 Cross2 CanNotBeCase
5aa909fb5d4795bca78a655afbda6566d3a6728c InDef2 Cross2 CanNotBeCase
57eb30a3ecbd9b266df471875938016b5941fdec InDef2 Cross3 CanNotBeCase
00efd1e6de00384692e010818625dd216bde017c InDef2 Cross3 CanNotBeCase
f580fe4d069d42a05f4e487c32c8bf27ea92be3c InDef2 FunSet CanNotBeCase
6e1963fd4e38b3fa0d8224df2b37331651687725 InDef2 FunSet CanNotBeCase
9401f4752a555930f2ae2e486c7b14e3351f6bdf InDef2 RecordSet CanNotBeCase
dd30658ad6d13db7eb0fa60aa3053640ef4fb16d InDef2 RecordSet CanNotBeCase
f34913b669a19e752c7438697b887209fc0eb413 InDef2 SetDiff CanNotBeCase
c2b0f5db2b59764b16675d87ca6e6c078d1ad6fa InDef2 SetDiff CanNotBeCase
a18ee00f930f7c521d4d674ed9f9d0c5d22b9e80 InDef2 SetUnion CanNotBeCase
95b00469409f4c692bceef4a8071c2c987a2cb08 InDef2 SetUnion CanNotBeCase
f60a66c4e4004ae65e6b044c83af6ddeb401fea7 InDef2 SetIntersect CanNotBeCase
003bb701097f63fe80d77b9af4d71b39a97019a6 InDef2 SetIntersect CanNotBeCase
e2d1414c77a60790062bdef5f1e50ae88d0a89c5 InDef2 SubsetEq CanNotBeCase
d0c3b7ffcc869a3ddff797dab327fb0dbb50b46b InDef2 SubsetEq CanNotBeCase
44a3f19eb66a86c80cdbff546252d41e1bbe0348 InDef2 IfCond CanNotBeCase
1f3bc695391c2f7f6ca5886018d773ae8bf1c178 InDef2 IfCond CanNotBeCase
238d4e6b6d3ec6dd6b82989fdb722273f3d582fb InDef2 IfThen CanNotBeCase
3db6ef3de42fc2783433f28a6dc424ee3e4b84b5 InDef2 IfThen CanNotBeCase
bd4ad05e04268efa5885079a6d2ab32846c5d392 InDef2 IfElse CanNotBeCase
79ed54b9a56e9355edb69245e2a1351480c9a117 InDef2 IfElse CanNotBeCase
f4c1ea3493ebdd1cd8ec540a73277663ba5ba3e0 InDef2 Subset CanNotBeCase
a823c1a74020933f482914cc418e978352935b97 InDef2 Subset CanNotBeCase
11ecc1d313038f65ea9a24d52a12efe1ac033d7a InDef2 Domain CanNotBeCase
e14d3d288ab3e70fdd93c58723dc9e297608ff34 InDef2 Domain CanNotBeCase
4b143cbea1eeb97ab9e7f73771d4d4df2f1e56b3 InDef2 Union CanNotBeCase
61f85329eff9105207033aec88410068b08208ba InDef2 Union CanNotBeCase
ad327214e7e313bccc8ebb680d95272f35355d92 InDef2 Unchanged KindMismatch
1021ee7a5a4cb06d163f5bae89fc1a21090c697c InDef2 Unchanged KindMismatch
8384670343f8a72ca33719c2ec4adace5c2ccf54 InDef2 Equivalence CanNotBeCase
cb185cfd0ae7cb3260f2e192bc7bbbd818b05d2f InDef2 Equivalence CanNotBeCase
70dc0540247b72adb122f35d2c6c065e76cafe26 InDef2 StringEmpty CanNotBeCase
8d0a154f8d7a498d46bfd9fa0e8311fb20b68937 InDef2 StringEmpty CanNotBeCase
991e6fc34b468aa15796c7e1fabf06d6d9763bf2 InDef2 String CanNotBeCase
9e1beb28c58da7bc727b3d8ac00407f5d513317f InDef2 String CanNotBeCase
875ace59f3aa373755f36bcbcf2f62f8683ef2c3 InDef2 SeqLen CanNotBeCase
3f0c1e4f7c7ccc1b7005e9045353eb52ba175fd8 InDef2 SeqLen CanNotBeCase
aeffcbe1b6a6f9f62fe857e54d5cf4f72d094b20 InDef2 SeqConcat CanNotBeCase
3d665b74bd8edafee8b9d55a08fa82179391dce5 InDef2 SeqConcat CanNotBeCase
b2100426fef10bb6eacb8da645bd9cb21da63873 InDef2 SeqSeq TypeMismatch
3e9e84d5d8d7febc0f56e7229a6f2a447558a2ad InDef2 SeqSeq TypeMismatch
7db7261d1a55df488c640c8a7e8dc2319944affb InDef2 NatSet TypeMismatch
728c885d579d097aaea3d6e48a2be334333c13ac InDef2 NatSet TypeMismatch
e26ddcb72f1953458895e8852ca963d860614e53 InDef2 IntSet TypeMismatch
4b653709d54cd2a2a83020e716d504e6a52e402e InDef2 IntSet TypeMismatch
ec1c6197e0b9ee0568818ad83fc9324d0b9d0200 InDef2 StringSet TypeMismatch
5c8c57f2f3dce2164ba686c4a7e3236fb1297506 InDef2 StringSet TypeMismatch
50e70ab5d6696bf6bae4e7af5d9bb462d7d3867f InDef2 SeqSelectSeq CanNotBeCase
ec8da2b5176a787c0ea11b402ae6e4a99cb95742 InDef2 SeqSelectSeq CanNotBeCase
0f80380aeb5bead538e4f9430e583a628662e644 InDef2 SeqSubSeq CanNotBeCase
65bf218d1f5835875ef3a21a0d25f56513ac1b62 InDef2 SeqSubSeq CanNotBeCase
e6967fd7ab678731ca5a13dc7120ef44998c4465 InDef2 NumRange CanNotBeCase
09898178874cd9d4cbd888fbc95d05be9cbf2ec7 InDef2 NumRange CanNotBeCase
7d523c930da108be0d314fc4117cee3a502fb775 InDef2 TlcSingletonFun CanNotBeCase
047fb5ae0e70be891d1fe51b0e437b167b0fc36a InDef2 TlcSingletonFun CanNotBeCase
962099d64a6a8d6798bff41199c8b0d8dac738d4 InDef2 TlcExtendFun CanNotBeCase
f487ce2e5b5182b5ebf09d2f2595d557ab33ba59 InDef2 TlcExtendFun CanNotBeCase
fb49cb5f5297c339135df14843033039465ac9d8 InDef2 TlcPermuteFun CanNotBeCase
04ba752724725caf9409c9eb814a5a4aac9097d5 InDef2 TlcPermuteFun CanNotBeCase
753de238fa66d2d4b3a7358c1d31fbf38dce2781 InDef2 TlcSortSeq CanNotBeCase
ccd650045c7e2d5c978bcbf85ded2ffd43f42160 InDef2 TlcSortSeq CanNotBeCase
2c848e391122afbdad90c05881750e09f55fdd6e InDef2 TlcEval CanNotBeCase
70540f1bf10ebd89a55dbc5da9898417c091d019 InDef2 TlcEval CanNotBeCase
833406f66a59acac2ecfca60f3087f0dbbc17e9e InDef2 BagBagToSet CanNotBeCase
c51c752102035a9999777d7b1d3b879f6e321cd8 InDef2 BagBagToSet CanNotBeCase
9f1c215859c8a0a716d55ab91e4e556ca0724af0 InDef2 BagSetToBag CanNotBeCase
50fb6f4a28e62085714172fec55c6e03cb816551 InDef2 BagSetToBag CanNotBeCase
c0fb6f5d921769fab9a7f3d0f47e69901b3c1135 InDef2 BagBagIn CanNotBeCase
e158c8399481974ea109577beaa82095b5188d42 InDef2 BagBagIn CanNotBeCase
4760f2438009adc8b38f31e678eac539921d7331 InDef2 BagEmptyBag CanNotBeCase
5dffd023e59a18f4785336e59e3d9abbf6d0d07d InDef2 BagEmptyBag CanNotBeCase
aafe819de88e7ecc967503f2545c9757b0b50289 InDef2 BagAddBag CanNotBeCase
8100bba0152a4228e7382223274825be9a26086a InDef2 BagAddBag CanNotBeCase
30885c4176285bc777c797db3c4bf7b8adfce157 InDef2 BagBagSub CanNotBeCase
bcc7506656dc741c1bfbfa5f7952c4ac71c1c298 InDef2 BagBagSub CanNotBeCase
3b55226bc2dd08593f26a61c157e68da1d48e633 InDef2 BagCopiesIn CanNotBeCase
ceac74bf98c072a4be15686ff67bdb4958e2801d InDef2 BagCopiesIn CanNotBeCase
64c358294b0a13a4e69580a390c8d435983a78a6 InDef2 BagSubsetEqBag CanNotBeCase
29165aed89ddb123fca9ac9757a81cfbe5671846 InDef2 BagSubsetEqBag CanNotBeCase
78916f8f3ac33844c0ee7ab409c50e204ab63814 InDef2 BagBagUnion CanNotBeCase
fb6521a4aaeffd8d07a3f4f511b16192c6e2dd97 InDef2 BagBagUnion CanNotBeCase
bde419c2a48d615774b950a319af5110080a507f InDef2 BagBagCardinality CanNotBeCase
56d5ded3b5a57a21eceabd6a38966b0d0bce0455 InDef2 BagBagCardinality CanNotBeCase
32d261f5fe75a2bdd72e2eca3781639caefe0144 InDef2 BagBagOfAll CanNotBeCase
be6c3e2bdfc7b2840297dc02ee618f9fe44b705c InDef2 BagBagOfAll CanNotBeCase
bd26cf32c785761bfae98f518fe3685c7644e032 InDef2 BagSubBag CanNotBeCase
0ba42845dc608ecd6a2bd3e5486327e661502a32 InDef2 BagSubBag CanNotBeCase
3850f9f52678e15881407a8938ee9eb6628b7d0f InDef2 FiniteSetsIsFiniteSet CanNotBeCase
706b48a614ab1eab298b6e29189f4e6079dcdd4d InDef2 FiniteSetsIsFiniteSet CanNotBeCase
e23c5c0f1f2bd039fa63c07bc1fdda555159e0ac InDef2 FiniteSetsCardinality CanNotBeCase
2b6b5190742b6ffc41bb5092ee5184eff51674d3 InDef2 FiniteSetsCardinality CanNotBeCase
43f40f0023f47ecf6ac0b5aca9eec4973ca9cf53 InDef2 SeqHead CanNotBeCase
3a84e87b2aa53737f46e681064e09e2a761d1537 InDef2 SeqHead CanNotBeCase
583c0e477ae0e910e2010b25b7c85212526762cf InDef2 SeqTail CanNotBeCase
ecfe6d2a8230dd8aaf90a4ac563280030d11f5d4 InDef2 SeqTail CanNotBeCase
ad19e1d5b8ae9f47b1d006a4201fa926c7c021cf InDef2 SeqAppend CanNotBeCase
5f2b262c474fcd3a4aa11f6d1cb055b8368936ee InDef2 SeqAppend CanNotBeCase