Index

Skipped feature combinations by case feature SetEmpty

Id Case Feature Plug Feature Skip Reason
c9c704b2397ae2235abd7f9d59bdb050a552d23c SetEmpty OneLineComment CanNotBeCase
779e8ad724df1a6f3f42b77f48813c8a9d408cd4 SetEmpty OneLineComment CanNotBeCase
0171b9f8feaddf3930bbabd308fec282ffcac70d SetEmpty MultiLineComment CanNotBeCase
43a66c6365286457931bba2f58bbacc01af749e5 SetEmpty MultiLineComment CanNotBeCase
50be814035b37f7b851c0d84249477ac6b38c27e SetEmpty BoolTrue CanNotBeCase
a16bca324cc21ef7e9743a5abc6a929f06e114a5 SetEmpty BoolTrue CanNotBeCase
8a2bdf1a19b1b08cd7913e896ccda620dcf6a219 SetEmpty BoolFalse CanNotBeCase
833a146cec4783102aa52d25f453e6749f74f883 SetEmpty BoolFalse CanNotBeCase
546ec9affc8f410eb8ad807a24072091b1bccd07 SetEmpty BoolSet CanNotBeCase
1daa9aba5b21b1cf400ab6e23afa0b6b84a9170e SetEmpty BoolSet CanNotBeCase
4af6e69abbfdf15af5a624c7c9aad76c7bc30c08 SetEmpty And CanNotBeCase
d6b8010206f4d3524c90bc653c85624702de54b3 SetEmpty And CanNotBeCase
4fcc5d5efb9aea24d91bb2c4ec77bc9e8ae22e69 SetEmpty AndMultiLine CanNotBeCase
530cba9380b864f9fe38548f2785039013c92cff SetEmpty AndMultiLine CanNotBeCase
0c61030d846715482e14f52d818e86513530246b SetEmpty Imply CanNotBeCase
ce364a98f66d0042a163ee60aa7f053da17aaec9 SetEmpty Imply CanNotBeCase
5d20cc35af76f7945dbb05f79dc4cbf3d2b2bbe4 SetEmpty Not CanNotBeCase
ce6a8272b990173791a10f1546c9f3df013b90e1 SetEmpty Not CanNotBeCase
baa61bf6c95413c72727e650d3e65d312cbe430b SetEmpty Or CanNotBeCase
07d9581ddc1e564c0476a5019b8a3f58bb0b7704 SetEmpty Or CanNotBeCase
9ebd71a6e53d4ea21756a46ca371370bf6861bc9 SetEmpty OrMultiLine CanNotBeCase
b615b9c8140091a173a7238f611f9c3877289bb3 SetEmpty OrMultiLine CanNotBeCase
2aa84ff4a8d66c1803724930d26da561af13c854 SetEmpty AndProp KindMismatch
aa6e4e96e5c61b7033fed908a8d355ea93c8be1e SetEmpty AndProp KindMismatch
2ca26859f23d42a601a7aaf8ad445e35babc4b26 SetEmpty Boxed KindMismatch
b1a8d0bc1370faacec0339e255577dd79a88009e SetEmpty Boxed KindMismatch
09dd7975a3fb769720bdf5dd222dc6f5d7516d77 SetEmpty Eq CanNotBeCase
49a10f26f4693903570fc2325bf119b674a708e0 SetEmpty Eq CanNotBeCase
bd451cbecc9148eed4ba9cb7a14be768a481d5e8 SetEmpty Ne CanNotBeCase
bad73a4eefd3f22190f52b763a5935795776b7ff SetEmpty Ne CanNotBeCase
c690d72c37e3617875094b188cec74b78615c182 SetEmpty Let CanNotBeCase
77d29cdcbe2067fb77de13eca7a6e349c9f2efff SetEmpty Let CanNotBeCase
b7c8cfe061a1a28c220186ca1ae22609c62e61fd SetEmpty SetEmpty CanNotBeCase
38e536948868348161d42fb03eed84f5729115c5 SetEmpty SetEmpty CanNotBeCase
e71a1c898b8d8f1b06c8d47995f5d66824d5fc3d SetEmpty Set0 CanNotBeCase
3ec32a765c1a7c63d5a11fb44f996e89922bc0b3 SetEmpty Set0 CanNotBeCase
a89bb0d62329d2718916711c1146ed4b6983a40d SetEmpty Set1 CanNotBeCase
a385231029b19d269332ffd2b39249d83a7942c0 SetEmpty Set1 CanNotBeCase
bc2bfbbf5d3445b8e3cf5ebe7977d6cf380eac62 SetEmpty Set2 CanNotBeCase
175537fcb5cfe5a6270154e6775110b576873ec3 SetEmpty Set2 CanNotBeCase
127b594aa7fb3033864ebd5289ef0794f9cfa08b SetEmpty Set1InDef AlreadyCombined
0068cfdca91903c36b888a6216057592b4423e0b SetEmpty Set1InDef AlreadyCombined
458cfe3eee936468f979bedfe3bd93126770ea1f SetEmpty Set2InDef AlreadyCombined
f0e8a56c661d1d746ce5bf6ce044dcee38271c25 SetEmpty Set2InDef AlreadyCombined
8f3c4e63aa48627ea552f03365c2c99298a2d25c SetEmpty InDef0 TypeMismatch
d330d3d301e7c5024e907847b964ef00da8159fc SetEmpty InDef0 TypeMismatch
243ef781a1581a702f6dca5f0d67ef7ae096ffb6 SetEmpty InDef1 TypeMismatch
6fee60bab8d3827ca31d56ed8df1edb666102de3 SetEmpty InDef1 TypeMismatch
d7da0b56df0372c044806204777192d2fc5afc02 SetEmpty InDef2 TypeMismatch
2b67be6539d8bfd882e2833bc89423c7093810a8 SetEmpty InDef2 TypeMismatch
2bfc72ab1440f94155f2ab3f5f8f5cf962fc25af SetEmpty Fun CanNotBeCase
86174b2ddc9f55084b528bec83f5d9f562cb0931 SetEmpty Fun CanNotBeCase
a60fb761b77236a04ffed3e56a79a2a49635009e SetEmpty FunInDef AlreadyCombined
243f240e58ccb562771d7499b64ad5ca0e7d2f6a SetEmpty FunInDef AlreadyCombined
2bb0475695f91c0dc4d0799523e7b702f63f61d0 SetEmpty In CanNotBeCase
b82221d81a271a71d795a19755ab776a0a5b0343 SetEmpty In CanNotBeCase
e992500f40f6d256fbe4e06833589de6be75281e SetEmpty NotIn CanNotBeCase
249b67c822a64f16707125236eca6db0f7ac23dd SetEmpty NotIn CanNotBeCase
86dfa7cda1e51f486a9e5db9c9b1ff4df9efb76c SetEmpty Exists CanNotBeCase
bc83ccc24e2f1c6b17b60e1050f580f153073a6b SetEmpty Exists CanNotBeCase
2fc2e2d1dbfe75ec60d946d73bb8cf3c80c6599f SetEmpty Forall CanNotBeCase
eb851763286ea241bf79ca336946935593524802 SetEmpty Forall CanNotBeCase
53989526eddb6c5f63917dc115d41f86a090b347 SetEmpty ExistsInDef AlreadyCombined
9dce83e06fece5ff582320f32ca31f48cae76415 SetEmpty ExistsInDef AlreadyCombined
6421d19d49b7578129997ce41dc9acf815c80188 SetEmpty ForallInDef AlreadyCombined
fbc6933b8cef1965a3ab6282e1a65a831c66eae7 SetEmpty ForallInDef AlreadyCombined
3fe62b6fba7cd0aad822ece4cd9c2e3f74cc612c SetEmpty Choose CanNotBeCase
b0e0e8f583d872f6ae8871707d0660e37c34fcad SetEmpty Choose CanNotBeCase
75fb8f959ee23b06c79aa48920dd809b6ebfce2c SetEmpty ChooseInDef AlreadyCombined
82578b15357f5463a0c33e2dba58b14e1ab27910 SetEmpty ChooseInDef AlreadyCombined
2fda2623534b15b131c658e1d6024df0aa74ecbd SetEmpty Record CanNotBeCase
4073e11cf39cef9dc44d5644ec21dffedd5bb882 SetEmpty Record CanNotBeCase
7f6258316e771cb73625b17a8769158fec1482d4 SetEmpty Tuple CanNotBeCase
cc5cb8bbed0576ea35ea9bae7263bdd5642b8191 SetEmpty Tuple CanNotBeCase
b74d058c4fc317f3e17c1aaf2dc47061e69d827f SetEmpty TupleEmpty CanNotBeCase
44c2a88e74ced876a271afce16d19df94a9cb10a SetEmpty TupleEmpty CanNotBeCase
e8797ea3adf6e1fbcdb8032b2f7aedfcb324245f SetEmpty FunApp CanNotBeCase
6a085cab34b5199e99b67f7f7073eb473a517e61 SetEmpty FunApp CanNotBeCase
735fee4171cabb935b831877d690b06e0a7ed370 SetEmpty Except0 CanNotBePlug
45ce62b57cff8f592fd2228f2cee02aaf9009722 SetEmpty Except0 CanNotBePlug
c5673e5c0bc00a8c443cc2c2310b60d75c35b056 SetEmpty Except1Fun CanNotBePlug
2f5298448c898c459ae77f311ea9b2370dd9cf27 SetEmpty Except1Fun CanNotBePlug
c3d2847965ec4dba2de6f0cd8b4e99b8d97d26ed SetEmpty Except1FunWithAt CanNotBePlug
98fe01a131ce985b98712bc731c29c7a99d89281 SetEmpty Except1FunWithAt CanNotBePlug
976268c1a291dc08a678379e0d78724f9966c826 SetEmpty Except1Rec CanNotBePlug
186599e13854e892b36d4dd10088f4af23637a49 SetEmpty Except1Rec CanNotBePlug
9d53a3531a8cdc9d687e7abd58e88c9803a1701a SetEmpty Except1RecWithAt CanNotBePlug
cef5ea2749e2dff611a16102d60e4c0de55c9987 SetEmpty Except1RecWithAt CanNotBePlug
9dbfb283faf50af2146820d77407d1a562cac10b SetEmpty Except2Fun CanNotBePlug
dc67795a66ba2a8ca827aac548e84d3f71f05cac SetEmpty Except2Fun CanNotBePlug
30692cb5f7de2c314f91e3c39087be3a3ce30477 SetEmpty Except2FunTuple CanNotBePlug
899dc67f499ffadeb610e87b70029eb8e4ca7505 SetEmpty Except2FunTuple CanNotBePlug
5cb5843191af2dfa6b2584c5d7f43956dd875528 SetEmpty Prime CanNotBeCase
f11a5597b7c58b5222668e565013a8443fbc5af2 SetEmpty Prime CanNotBeCase
028b860149602856fa49c53a7fb56b8ba575730f SetEmpty NumZero CanNotBeCase
9bf9bd61c1f36c755ee8383b455fa9291f37b589 SetEmpty NumZero CanNotBeCase
e0888005c734328fe8ae9ec0a324e82bb74431a4 SetEmpty NumOne CanNotBeCase
bebbd9e91fa62345f8eba079c01edb125cbdbc10 SetEmpty NumOne CanNotBeCase
e9f180fc305874f9ee7b9fe77edad5ab7fcab8c1 SetEmpty NumMaxInt CanNotBeCase
174afca7423668631c12e34a6919670430ef9949 SetEmpty NumMaxInt CanNotBeCase
bb04c3b37678c047a1a7db031fff82b9259a0d6d SetEmpty NumUnaryMinus CanNotBeCase
fbb6ca863f283b628d74bba97885b71bedfdf9fc SetEmpty NumUnaryMinus CanNotBeCase
d7cc9df15ff9d84bac18591aa2843682d6ff852a SetEmpty NumPlus CanNotBeCase
1c33e2343d1e8917de59c464520381c0a1c95159 SetEmpty NumPlus CanNotBeCase
fd4d336b7ea44af789d5da1bbbdd5569e37cc6d8 SetEmpty NumMinus CanNotBeCase
d8679453c1d2053cdc25c661b8d3933e2cb7ec88 SetEmpty NumMinus CanNotBeCase
d8310226a8bdb70cc4a00028386fb8a6b702706e SetEmpty NumMul CanNotBeCase
51f6e04161cfe73d99cce5fac9c3b9069adf37e7 SetEmpty NumMul CanNotBeCase
9d81502d0671e8234e695ee7749d5b76b4bb7ebd SetEmpty NumDiv CanNotBeCase
72396dde1258454de981d9783f6d938f6a914c59 SetEmpty NumDiv CanNotBeCase
87c13887208aa31a07ff4fb40fd45c2b4e7bf4de SetEmpty NumMod CanNotBeCase
2d1a72b68c2fbe297c2c19c0a99211e31ea863e3 SetEmpty NumMod CanNotBeCase
2439cbbdb406acd5a89cd4a86a526f698319bec3 SetEmpty NumPow CanNotBeCase
b35c47173645c4bdbe1ac605096481e2e2d195dd SetEmpty NumPow CanNotBeCase
d30ad81ff82804d212a0e5c8df6e444932b9eb84 SetEmpty NumGt CanNotBeCase
03f0fd3066641815052cfbc916f23bdea1176aa2 SetEmpty NumGt CanNotBeCase
8136189ce9c0886ae7a3fb3daf0c099028ad2b73 SetEmpty NumGe CanNotBeCase
6a91bb01f0e4042da6af8b98f86b3948b9dd244d SetEmpty NumGe CanNotBeCase
349e07bf89be83481fe4d941a9d40fc4488e60bf SetEmpty NumLt CanNotBeCase
f3eb0e6e2432b99e7b71ba58a77e2cdd45862a86 SetEmpty NumLt CanNotBeCase
14407d30108dd590ec30b96f2f8a98be074462c2 SetEmpty NumLe CanNotBeCase
3a8f0919058d276b424f1d253c13bf7c9d1dcf20 SetEmpty NumLe CanNotBeCase
4414fc885c8398806195a98ab6bf13a91a62fac2 SetEmpty DefFun CanNotBeCase
fb5618075015ce99df155aff3cf1b40764b3dd71 SetEmpty DefFun CanNotBeCase
52e5c029120bad5db3490795b573aa859c3acd98 SetEmpty LetDefFun CanNotBeCase
e67b4898d17bfdecd7c2612dddd704c13dda6c93 SetEmpty LetDefFun CanNotBeCase
86d8846c46af229717756f42f337b5f10b934ce4 SetEmpty DefFunRecursive CanNotBeCase
8e83e693812b8de6d487fa9bc642ab663be345d5 SetEmpty DefFunRecursive CanNotBeCase
19ff3ae3f0335f27225c7388c94e921c0e2a19c5 SetEmpty LetDefFunRecursive CanNotBeCase
1656921c17f2859b854e6dbad5db3dd4fcc8c1a5 SetEmpty LetDefFunRecursive CanNotBeCase
9785137354164e4c1851b122e671165e941ec559 SetEmpty DefFunInDef AlreadyCombined
474e0e372349031760fba07b82b52b8f1cc0344a SetEmpty DefFunInDef AlreadyCombined
77500fd132602fc94f733d6082c70d65570bb93e SetEmpty LetDefFunInDef AlreadyCombined
d0ea765c3476e80b8b72fd07599c3cc4f1a14c75 SetEmpty LetDefFunInDef AlreadyCombined
80c86ebfc9594203b0e1ac5f00e6e07883763f57 SetEmpty Def0 CanNotBeCase
528352bacc4a2bd59d99bab1c7244f951e2e4d44 SetEmpty Def0 CanNotBeCase
b7bd2b28dff46c8270f570f4533be2095f077e8a SetEmpty LetDef0 CanNotBeCase
136ea3ee9f7c8a711f76dca998b9b2106e12967d SetEmpty LetDef0 CanNotBeCase
06078d5b95bf44588126b5860b20aeede1a5ae32 SetEmpty Def1 CanNotBeCase
ebd9949f607979a8eb2f4a5d25aed2d3cf56237c SetEmpty Def1 CanNotBeCase
76e26ec308c277256d297e1eb76aaed727280b11 SetEmpty LetDef1 CanNotBeCase
9d2570ef6e3ab50139da8bb2fa84c0e51dbd7f54 SetEmpty LetDef1 CanNotBeCase
2aa59e5ff7a7ad5fbba7ca52376f40ee2c4e9d4a SetEmpty Def2 CanNotBeCase
76e8e90b716efec1b8e8147134942c0728283992 SetEmpty Def2 CanNotBeCase
5a0d9ef618c1532f872dcfa75d1bdc4bbb7f6ea4 SetEmpty LetDef2 CanNotBeCase
7638fcc2f446f489bdd30aaa1ca4b0dbb57e4494 SetEmpty LetDef2 CanNotBeCase
b0831ab59858ce87089561d8816ef6f35210414f SetEmpty Def1Recursive CanNotBeCase
e91cd97f22b9c62ed107dc24023e85fbaae7fab6 SetEmpty Def1Recursive CanNotBeCase
3d30c9a36626c3439a3d45191d8df95b577c57e8 SetEmpty LetDef1Recursive CanNotBeCase
54fec450c390f119fd2bd02adf11fe3dba1564b1 SetEmpty LetDef1Recursive CanNotBeCase
5f0fa92676456573efc9b02d9a5ad2caac9cd95a SetEmpty Extends CanNotBeCase
fe20852aefd5961ff144957622b31bfd794a2090 SetEmpty Extends CanNotBeCase
54768829c255a4a4b0612b907966a0115608eead SetEmpty ExtendsInDifferentFolder CanNotBeCase
8a25e1e350a80f8d9e37cae3bb390e9b14b552cd SetEmpty ExtendsInDifferentFolder CanNotBeCase
de690f62e0111522ad439dea55717aa0c1ae4ddb SetEmpty Variable CanNotBeCase
53f51dc01b14ac53526cea0026c2353b48837a01 SetEmpty Variable CanNotBeCase
8c65c9472d6d86ed33f133691fdddc64b03fb5dd SetEmpty VariableViewExclude VariableExcludedFromView
3ec00c65246033d4eb2025f24d9e5241f9b80c1d SetEmpty VariableViewExclude VariableExcludedFromView
5e9a7deb321d7b3f0ed392ed047bdd3ac47ad32c SetEmpty Constant CanNotBeCase
c421c0882bd7d9d0ab5d704ec04d9b706383bf0a SetEmpty Constant CanNotBeCase
8a8a05bab67dc472b352cffc10cebc8c133b1c06 SetEmpty ConstantModelValue ModelValueCanNotBeUsed
959e4436ef40b98e1988c5be379cbb08fbcdc4f9 SetEmpty ConstantModelValue ModelValueCanNotBeUsed
81af097c1891c9c6588b5f3baf72d20c72fba323 SetEmpty ConstantRank1 CanNotBeCase
9774b05cbaa0910f4e58d189697dd3b2e6659eb2 SetEmpty ConstantRank1 CanNotBeCase
d27ae56cdc975c66cba4302948fabf6bc1c048db SetEmpty Instance CanNotBeCase
ad49b8baf76a452f979fe4b800db4716c5cf73d8 SetEmpty Instance CanNotBeCase
88f1efa2c3bd77dd496d0a1caadf65223bb9481c SetEmpty InstanceWith CanNotBeCase
a1d4405e9acd3fb63ea56c5ad3c36540dbe33b6d SetEmpty InstanceWith CanNotBeCase
4a4f1d738133928d557621633fcb10d152a66d7f SetEmpty InstanceNamed CanNotBeCase
09278083dde2a1295c20fccf45eeb37d10d4f914 SetEmpty InstanceNamed CanNotBeCase
d4b14da139888bec7085ca99c28c887069d2de0a SetEmpty InstanceNamedWith CanNotBeCase
0874d473017f3191cbedaee19e96a43a41c04417 SetEmpty InstanceNamedWith CanNotBeCase
edda60d4d773e6a48c581c6a7a1a28d8db4c527f SetEmpty InstanceInFolder CanNotBeCase
ff87cd2eb2077915f56c8ab08c25ea85ed280854 SetEmpty InstanceInFolder CanNotBeCase
ee3ae6c7ee5a0cc0f458043a8ae86625cd8c22d8 SetEmpty InstanceWithInFolder CanNotBeCase
a7a2eeff0a73a4b93a0874e44bdba61e16a0a12e SetEmpty InstanceWithInFolder CanNotBeCase
2025efeacd3a6a01ec769fcd436d622fa812ae45 SetEmpty InstanceNamedInFolder CanNotBeCase
3c9ebe545595c4533f79cdaa45cb3404db50d1f5 SetEmpty InstanceNamedInFolder CanNotBeCase
c267446cc1283d1fd10c56e0af666264e0142d16 SetEmpty InstanceNamedWithInFolder CanNotBeCase
55a7d08a6f9fccc4f9f4024686c2997d783f2a59 SetEmpty InstanceNamedWithInFolder CanNotBeCase
f520c828f68f1ac96d2cf739f578d605ee8ab0c1 SetEmpty Enabled CanNotBeCase
f2b1cd4c2ad4b0cfe9b8c1f4490e1ab0f199cf18 SetEmpty Enabled CanNotBeCase
84239fbe5cd7733047517e67ce1e88e2c1ef008c SetEmpty Assume AssumeIsNotEmbeddable
c62871ae13e6dba814dc30473caeb49aa48556be SetEmpty Assume AssumeIsNotEmbeddable
a027755b7fa95587d2aa59ce360e40d03881e687 SetEmpty AssumeNamed AssumeIsNotEmbeddable
3e87fa5311bb9cdc6da96b64d28976809686fca8 SetEmpty AssumeNamed AssumeIsNotEmbeddable
99e412539da5ffb29f097a584780033c0e8970dd SetEmpty Lambda TypeMismatch
8c262dade93c44ea1b638cffa92032ba822cf5de SetEmpty Lambda TypeMismatch
e4f62d5f9d62af642ba3296a3e6e5e6f15aab64d SetEmpty Cross2 CanNotBeCase
704cdf49ee60adaa975ae557aa97e11d0d09b3dd SetEmpty Cross2 CanNotBeCase
5d8486c448daaf21fd9fe3c5e0b3c7b3745ea25b SetEmpty Cross3 CanNotBeCase
4d4b183c255af3baf283b6b96c3048871793f94f SetEmpty Cross3 CanNotBeCase
bb1814971c5422296f14943dc04632a8456559aa SetEmpty FunSet CanNotBeCase
64dd302549e0b26d9374754ae333289c8a1924fe SetEmpty FunSet CanNotBeCase
0846940473181b90e0ecea69f8db8ee8a84ecd7f SetEmpty RecordSet CanNotBeCase
82473bf94c115a0419879673856906d1bef3010d SetEmpty RecordSet CanNotBeCase
9230fc067ac49b3e671e650fdf552e64326f4b68 SetEmpty SetDiff CanNotBeCase
5e39f8bbe0f9310e0527c0b45693aa0c1964d4f0 SetEmpty SetDiff CanNotBeCase
0a0d324687741a4a1bf360040eaea6286dcafad8 SetEmpty SetUnion CanNotBeCase
5c3021a1905e3b59dceb96e3074021add777547a SetEmpty SetUnion CanNotBeCase
b7d951cdc2201edefc094121b83ec40e59a7d764 SetEmpty SetIntersect CanNotBeCase
ecc7ea3896e621a9563a7660932b55d726b6980d SetEmpty SetIntersect CanNotBeCase
b8d34001569102901431fd10fe1b51fb16a560d6 SetEmpty SubsetEq CanNotBeCase
359dbced03523b73c32d175381e153675cccef88 SetEmpty SubsetEq CanNotBeCase
316e8a5d5dabb1e1e5e39bc746c6a0256e70dc31 SetEmpty IfCond CanNotBeCase
859c905e3483cffdc655cd25dbefff399c81950f SetEmpty IfCond CanNotBeCase
6708e3ba75897e1d6a5556d238d0c6bf5796a62e SetEmpty IfThen CanNotBeCase
752835e26515decd6fb8be1862a1dbe0c6193eb4 SetEmpty IfThen CanNotBeCase
f497d517e624cc900860f450a7082e31bfb92f6b SetEmpty IfElse CanNotBeCase
c6d464d28ea4b68d2df0b37f0c272af0d3ed2cd8 SetEmpty IfElse CanNotBeCase
3c69157375e85aafd73940090289d486e432cfba SetEmpty Subset CanNotBeCase
baceb30fc35344b3bf9befc40ee4033bf60166a4 SetEmpty Subset CanNotBeCase
b51b2f21237c14003f8aa6bc1b684c291778bbdb SetEmpty Domain CanNotBeCase
950fe2455da69e70395737cfe679614457e2f20a SetEmpty Domain CanNotBeCase
3561b84c952f282c4a322f5bab3117a1b72ba9bd SetEmpty Union CanNotBeCase
ed5aabff9bfc25a86513ad8194f544eba2f90a7a SetEmpty Union CanNotBeCase
f180e49e68593e7570772a871312853a4399b073 SetEmpty Unchanged CanNotBeCase
6189d635c9618d5564e0fa7b00a7f4ac7be75728 SetEmpty Unchanged CanNotBeCase
5e0795c78cba668da6f65928574dc304a08ffa21 SetEmpty Equivalence CanNotBeCase
2a1963d66fa2c456a2b1e5c96fbb9c643499ce9d SetEmpty Equivalence CanNotBeCase
1ea770ba626a81ba8f53f4dd1df8229bc67efb12 SetEmpty StringEmpty CanNotBeCase
95129abf3da0facef981e8d16165a62d20629963 SetEmpty StringEmpty CanNotBeCase
b33eb4d623aebff09fe6072799d17f63b693fcb9 SetEmpty String CanNotBeCase
d2f6c5b31db54cbc36d62b19d48684cff3ebf5fd SetEmpty String CanNotBeCase
d671cc3cfbd9498fd44a5ab0635f7d67fbf772ac SetEmpty SeqLen CanNotBeCase
df2541306062cb21153582e1407ce0ee5edcccf0 SetEmpty SeqLen CanNotBeCase
6a60eb849bdac03a11cdd34befdc0d9c48f20258 SetEmpty SeqConcat CanNotBeCase
a0120496cfc4081c0f00d1e3b12b51d50cfff26b SetEmpty SeqConcat CanNotBeCase
131584156e1b183e902a9a3ff1834872f324879f SetEmpty SeqSeq TypeMismatch
a940cb71e9ff1736e1286933b66ce107a5145c34 SetEmpty SeqSeq TypeMismatch
74d819639650fc811708da002a0861696056c357 SetEmpty NatSet TypeMismatch
acc5cbc8bfccb4917b009ed4c5fab327351465ba SetEmpty NatSet TypeMismatch
611341b1d5e85b904c278b023d4506b01647daf4 SetEmpty IntSet TypeMismatch
5ee163251703821688c95160d543af206970f5e0 SetEmpty IntSet TypeMismatch
e2fbacff85a0fdec9596c6c16674da7b8e1549b0 SetEmpty StringSet TypeMismatch
ab9632261c86bc980bfd62f792bfaf22fd7b780a SetEmpty StringSet TypeMismatch
f6fa38ef1275c7723a54ae2eaa31d369d7b2990b SetEmpty SeqSelectSeq CanNotBeCase
b2b7e0916f23f764bcfc5c2541c7a9273dd6f279 SetEmpty SeqSelectSeq CanNotBeCase
846684dbc4a2e6adbe842c057290158ba9ce600c SetEmpty SeqSubSeq CanNotBeCase
4eac27590734425023a19ff420ff61257db1967c SetEmpty SeqSubSeq CanNotBeCase
33d6f64697c276a68d6447d405ab61de95540284 SetEmpty NumRange CanNotBeCase
5c93280c79a42128459dd92af8b0585008c42899 SetEmpty NumRange CanNotBeCase
dab8196ca422edf3a6c494410ca27593cdf5b129 SetEmpty TlcSingletonFun CanNotBeCase
ce306f47be6d345a543d62984ec3448cc419d58d SetEmpty TlcSingletonFun CanNotBeCase
47f8b6a8d097552459ee3c2e9bab83ccdd800d4e SetEmpty TlcExtendFun CanNotBeCase
0f74407b3af26be33bf48dfc0ee4662d4bff4ea4 SetEmpty TlcExtendFun CanNotBeCase
184e412ca22abd9b1e193ac045b7a8dede9511df SetEmpty TlcPermuteFun CanNotBeCase
ae2af8cdd039912c93cc9b88aafbeb071f0b1eb5 SetEmpty TlcPermuteFun CanNotBeCase
607bcb52b206564cec176ed024842b43efdc1fdd SetEmpty TlcSortSeq CanNotBeCase
8e956978d9517ed6bb9347af2969b73a49150173 SetEmpty TlcSortSeq CanNotBeCase
35c99159d6a9820f3a40f628486607411d9b9298 SetEmpty TlcEval CanNotBeCase
072e2e1a160a6bf1368a382922d61a46d3fc7531 SetEmpty TlcEval CanNotBeCase
f7f0987aa2d8640aa997c908b096426ceef7cb82 SetEmpty BagBagToSet CanNotBeCase
19d6a29e49d58db989018cc74f655c47b83bd158 SetEmpty BagBagToSet CanNotBeCase
4a0fdc775de3bf686670df21955581df53678560 SetEmpty BagSetToBag CanNotBeCase
7c899f4ecdb5fee6514a189887a69b78bb13d123 SetEmpty BagSetToBag CanNotBeCase
4168662570bea5feb89116dbbc3c9ab20bdb948b SetEmpty BagBagIn CanNotBeCase
65d0669ea4a2a9f7cd01ffe2ff453bb08d582698 SetEmpty BagBagIn CanNotBeCase
a92d1bac610b85a7dd5e31b7512fd05d134e75a9 SetEmpty BagEmptyBag CanNotBeCase
fc942c32aa72033c2b5b4acd868d66b8bc2f60c4 SetEmpty BagEmptyBag CanNotBeCase
38ec6dc9854a2dc4cc226b5c1be79894388c212d SetEmpty BagAddBag CanNotBeCase
745e894a7ade7eb8dbc7dbfe164999a005d58186 SetEmpty BagAddBag CanNotBeCase
efdc08979267ff7a4e058d16e80c5d0aac92bf4f SetEmpty BagBagSub CanNotBeCase
4c0897c70e2c6f6faa1c5c8f2fe2a82736fe27dd SetEmpty BagBagSub CanNotBeCase
79bb06630da3095614edd6f632b89b508ed02bfb SetEmpty BagCopiesIn CanNotBeCase
b12ed47e899c3a7cf69d54eb1f4e1feb9c43774a SetEmpty BagCopiesIn CanNotBeCase
b714ab5316449744cb2ee4f98eefb0d08e4d059c SetEmpty BagSubsetEqBag CanNotBeCase
ace8ebed7bc8cfc0a19ba453374c657988e94aed SetEmpty BagSubsetEqBag CanNotBeCase
6d548b4503bafd1eb87dad3f35bbdb99c25ec2a9 SetEmpty BagBagUnion CanNotBeCase
9833fd44c8fc2f50c4a301822984876ca1bb1f88 SetEmpty BagBagUnion CanNotBeCase
ddfc3ac6716f8303ddc4c2ffa645c39db977b157 SetEmpty BagBagCardinality CanNotBeCase
5bf6ee619bf6d51b50d2a6e35e8e8223d2e79dc7 SetEmpty BagBagCardinality CanNotBeCase
990386268e3781e452dc7370056fd57258234c20 SetEmpty BagBagOfAll CanNotBeCase
b785bc6c541f2e4bc22faa7550815494ea0ae756 SetEmpty BagBagOfAll CanNotBeCase
8ebc4313dc81a918fc963ac7ac3af44c15acf784 SetEmpty BagSubBag CanNotBeCase
95ec7c8878e26a7d4c2064c6f5b55b32c9a55c47 SetEmpty BagSubBag CanNotBeCase
682d34b15e8cff974c8fd4c9620ad04141666f2b SetEmpty FiniteSetsIsFiniteSet CanNotBeCase
6c6b1a7cca218a8900cf3f46da9021745d390262 SetEmpty FiniteSetsIsFiniteSet CanNotBeCase
29f693d1436175a78177b68f2f5f42b7b6679508 SetEmpty FiniteSetsCardinality CanNotBeCase
cfd63786887cf6cd6cf34cc3bdef9c20b378cf51 SetEmpty FiniteSetsCardinality CanNotBeCase
8b8b4f5b20bd30870d2d6149ab0035bd433cceff SetEmpty SeqHead CanNotBeCase
9afe9735b9f73c85ff5cd7ac2f0672cbb8618bd3 SetEmpty SeqHead CanNotBeCase
f849c31175589eecb63f1a04926151bb19cebc34 SetEmpty SeqTail CanNotBeCase
5fec91881a1b9c569ed549d461685fca017001e9 SetEmpty SeqTail CanNotBeCase
ea7e40aae1f8a021dd4b65a8f6a577d7dd253cac SetEmpty SeqAppend CanNotBeCase
e00178e69ae269e2c0b2edf10b4d690a66d6b2ba SetEmpty SeqAppend CanNotBeCase