Index

Skipped feature combinations by case feature BagBagOfAll

Id Case Feature Plug Feature Skip Reason
2c80f28c897457942b443388c8f3d43a658657ba BagBagOfAll BoolTrue TypeMismatch
cbf2e187879ee4c9d35d153f58ad25590a13f6ee BagBagOfAll BoolTrue TypeMismatch
e3dc4449caa3f464b43716b8f199cb6ded64057e BagBagOfAll BoolFalse TypeMismatch
f13d5f999009042b3de9e20e1ec5b34ae5f4a6f4 BagBagOfAll BoolFalse TypeMismatch
ec47fd024e0d8250274b2d7aa7bff71e76799ff7 BagBagOfAll BoolSet TypeMismatch
68c6142627e90af55dc1ce6891c1dadeaa9ba860 BagBagOfAll BoolSet TypeMismatch
2c89c7d1bcca6fa00f496d5d85cdb1e42af69227 BagBagOfAll And TypeMismatch
67e10208f74512fc8fb1912fafa7fe5baca89944 BagBagOfAll And TypeMismatch
8ee90e349f7b1c4525575367eb8eccf1de39b75d BagBagOfAll AndMultiLine TypeMismatch
2575e088b6add754061cb4fe5bc798cbb3065360 BagBagOfAll AndMultiLine TypeMismatch
22b2532dabac4cb6247b1260039b8bf99261708b BagBagOfAll Imply TypeMismatch
323beaeac87d0a7ffa676f06a110e99cb1ecdc0c BagBagOfAll Imply TypeMismatch
312821bea599b246c844faf896d6164146bf4d80 BagBagOfAll Not TypeMismatch
1a2a400d44472d8e4c2d93a8cd5dd45787f987b3 BagBagOfAll Not TypeMismatch
dbd85f58ad39e5d058e6b6bf85dc41fec7845d72 BagBagOfAll Or TypeMismatch
4118ea0cac876ab7abc71876a698de9ee82433e7 BagBagOfAll Or TypeMismatch
2ea0a90928046db654ff871d89e5a220617bf6c5 BagBagOfAll OrMultiLine TypeMismatch
8d26420f2cca04bf21c0b17a5801021efa4314f4 BagBagOfAll OrMultiLine TypeMismatch
c6c87b0bf05ba5e99ce7382cd0d05b64995b1d72 BagBagOfAll AndProp KindMismatch
6cb1238e2ffcd82e1ac2e1f2676261bf43c9c593 BagBagOfAll AndProp KindMismatch
e0f5312823677e13be84635500a9823be885489e BagBagOfAll Boxed KindMismatch
f8a32d94472ea2c8ba159954636fe60e0b4e87b1 BagBagOfAll Boxed KindMismatch
1aa4d8cfad8dae59a83b065a2cdb1d0c5bc5845f BagBagOfAll Eq TypeMismatch
e0bb7cdad513b700c2bb0878042cf9d277300725 BagBagOfAll Eq TypeMismatch
3024473907b83d2b5e9c4002691d7649ebfcb616 BagBagOfAll Ne TypeMismatch
2b6752a716325920bdb56355398191858dd0642f BagBagOfAll Ne TypeMismatch
0acb1ff29a7d9050612eb3c4c7bdd25b4ee9b9ba BagBagOfAll SetEmpty TypeMismatch
cb6cc8c126934f764df3549efd181f86352b4556 BagBagOfAll SetEmpty TypeMismatch
952fec6e93dacfa9aa8e18a25299040f9d25fb10 BagBagOfAll Set0 TypeMismatch
0e0755a2f08e91f472e281c8b5b34956d3ca0b2c BagBagOfAll Set0 TypeMismatch
a671243516e05ce775c2d019c0425580005e6c29 BagBagOfAll Set1 TypeMismatch
c182e445682dd07c701b8611f439bb12f08ed235 BagBagOfAll Set1 TypeMismatch
d474b7fe6fa4238f1b05dc79f8634155ec1f408a BagBagOfAll Set2 TypeMismatch
9a26d480d0b3ed62693640f5407de8070dde5957 BagBagOfAll Set2 TypeMismatch
561a4ce5c6d374ee99c3584c3ae27d42725ca862 BagBagOfAll Set1InDef AlreadyCombined
1c126912a551d917f06cb0adc3b03940f719b038 BagBagOfAll Set1InDef AlreadyCombined
7e2904e1185bfb5a9124afa0041f399918699812 BagBagOfAll Set2InDef AlreadyCombined
e39513a218ab856cd90919b87b0a93f2bcf444b9 BagBagOfAll Set2InDef AlreadyCombined
f49b9d85ce836d76dd888568dbce26e42033ca0e BagBagOfAll InDef0 TypeMismatch
2b91c7eac7c509c988fe81a4b91339147ed4acdb BagBagOfAll InDef0 TypeMismatch
8aa6cd721a07de901d5f2887e4ff81ea51de4332 BagBagOfAll InDef1 TypeMismatch
8207dd557e5c62b2d7f824477c876692a1fb34d0 BagBagOfAll InDef1 TypeMismatch
8335f9540f25fed03b3b71ef7e31fe95571ba6c6 BagBagOfAll InDef2 TypeMismatch
0a5c7fa6e5ce3ddac8d8c3f52b7bcb9053b9bc78 BagBagOfAll InDef2 TypeMismatch
172eed8fe69ad6439433d5db04d2b18f83c56d4c BagBagOfAll Fun TypeMismatch
532354975015d313370d41dd17df3955afac1d02 BagBagOfAll Fun TypeMismatch
40bfac862d43f089d4a832bdcdca9c973a61616e BagBagOfAll FunInDef AlreadyCombined
80eb403dba0605aeb23d728c970c37f39cf16c08 BagBagOfAll FunInDef AlreadyCombined
186c5c1fbe566a66f20bf4370f1bda50100e42e9 BagBagOfAll In TypeMismatch
899ca4c89d092cfc49ee3fe504570b669d1abb5a BagBagOfAll In TypeMismatch
0362151655e50bcb0824318912f15bb96a47e7fb BagBagOfAll NotIn TypeMismatch
f19040f5a6231a1ed0bb3d878d67b4cfee28ba93 BagBagOfAll NotIn TypeMismatch
ded736522a44fa035ac18acbcd63f99d099b2aba BagBagOfAll Exists TypeMismatch
31dfdd11eee18a05d6b73841845718e161f5eb5b BagBagOfAll Exists TypeMismatch
7c8563b3e53ad1fd9320d91339c609f4c1a9d17e BagBagOfAll Forall TypeMismatch
d5aa65ae2a7100f77a496ee558c117781596739a BagBagOfAll Forall TypeMismatch
f257357c813285b541caf6eee3c350a0aa2b696c BagBagOfAll ExistsInDef AlreadyCombined
dd386ac08882218ca66b12fb1da4e58d20376d04 BagBagOfAll ExistsInDef AlreadyCombined
e8cd8838f79e06ef06200620d68801d87c9b7e6e BagBagOfAll ForallInDef AlreadyCombined
e126c77e1f5ce4fdfcd269df62d9a1fc233b9fef BagBagOfAll ForallInDef AlreadyCombined
369e22c747902adf8f1fe1259a889909ed12f9b4 BagBagOfAll ChooseInDef AlreadyCombined
66f29b120cf4231a38f0665a86b61fbe34017510 BagBagOfAll ChooseInDef AlreadyCombined
919370fc8cd9223ed2d2bdfe30e97497679cd685 BagBagOfAll Record TypeMismatch
819c95e48387b459f838c2b85409ca56414b035d BagBagOfAll Record TypeMismatch
0022f2727854320e95e4bb8c5ad5cc5bc143627f BagBagOfAll Tuple TypeMismatch
c43671fdb0ae9beecfab79c42c7469cf2a7a990e BagBagOfAll Tuple TypeMismatch
54827e73303125297676cc0f1d9571261b5c0552 BagBagOfAll TupleEmpty TypeMismatch
f5b701077d077e5234be0b21be36b052d3c1e478 BagBagOfAll TupleEmpty TypeMismatch
c68d30321c46a979b6590f729ce58c9ce051c67c BagBagOfAll Except0 CanNotBePlug
8b75aa86a0f837c327e53244f2511f8e29f8e677 BagBagOfAll Except0 CanNotBePlug
dd0adce2253033f67800ba51622c44f489ab14aa BagBagOfAll Except1Fun CanNotBePlug
67352c10e49f5a253977f2849b769c345d4c1775 BagBagOfAll Except1Fun CanNotBePlug
d30fb8f4bec91d3d243dbaf24aad0f7aa35318f5 BagBagOfAll Except1FunWithAt CanNotBePlug
a3f609f0e607cd72070669e794cb4e775f488483 BagBagOfAll Except1FunWithAt CanNotBePlug
70b84c32c2cdfce4e70a93492b256c6c45ba95eb BagBagOfAll Except1Rec CanNotBePlug
6bece8f8abab8bc74e349665f17ff5f3260c83c0 BagBagOfAll Except1Rec CanNotBePlug
7cc400699d0ea4eb1ec4e4fc4205c31486bc47a3 BagBagOfAll Except1RecWithAt CanNotBePlug
4b67f3d50edb07d2d8d553e4d785c7a530f2737b BagBagOfAll Except1RecWithAt CanNotBePlug
6d833ac9369b32e69edc1faf327bc3a6a10c1a92 BagBagOfAll Except2Fun CanNotBePlug
ac7e357af5a15dc6aefec1deaba6a88e42b0fd79 BagBagOfAll Except2Fun CanNotBePlug
03e9ddd5950251378aff1566b62b2200c1683e6e BagBagOfAll Except2FunTuple CanNotBePlug
c041a6f247931e00e03fadab47ffa836d908aeeb BagBagOfAll Except2FunTuple CanNotBePlug
467a8a22133787eb9b8e5b1998b976a26fa56c2b BagBagOfAll NumZero TypeMismatch
aa47bd1f3c652a2421c3844f0c5ccc15e051b6b7 BagBagOfAll NumZero TypeMismatch
1b669c196ae1a3c94da34c6a5a4f249fe5e2bb55 BagBagOfAll NumOne TypeMismatch
142b9f06bd64efb516c0ada983fa7df080a15857 BagBagOfAll NumOne TypeMismatch
3f2823d32a392eeca2588601fc28caa816a53492 BagBagOfAll NumMaxInt TypeMismatch
7b3d904998675cae7a03f44fcb8740fbeca4bbd8 BagBagOfAll NumMaxInt TypeMismatch
e612f0d8a21e6843c54c0133198b2b9b5a2f00aa BagBagOfAll NumUnaryMinus TypeMismatch
39135c3c38a999943453c606593eb1fc49ebe2d8 BagBagOfAll NumUnaryMinus TypeMismatch
73b67edba2692a272c0f94bfc695d47f5f5d59fa BagBagOfAll NumPlus TypeMismatch
a454d155b8dd4c55a81126c9a58aaf0a20ab0826 BagBagOfAll NumPlus TypeMismatch
189c0f69eec5b2688d70b22c03927ea1537ccda6 BagBagOfAll NumMinus TypeMismatch
0b461af6dc057c20fa9ca5e68cb5a88ff8828138 BagBagOfAll NumMinus TypeMismatch
7b6bfd601071b94f5dbb288e2bb0b18177668f48 BagBagOfAll NumMul TypeMismatch
4ccc486be4b4fa90fc45b290eb6ed1c1410912f0 BagBagOfAll NumMul TypeMismatch
5fc238d76a1fdeb8608c59ded60f3e035d70c137 BagBagOfAll NumDiv TypeMismatch
16f055cc8f0bd1b6247bd61f0c04528b2208f74a BagBagOfAll NumDiv TypeMismatch
b4cb3d2680b8aa040b03207ebdb2fa3f350b97bf BagBagOfAll NumMod TypeMismatch
4ad507ae152177f0cbcaddef346b9395668d46dc BagBagOfAll NumMod TypeMismatch
16d9ba73e06bed3dfbda3f4393a91d9376216705 BagBagOfAll NumPow TypeMismatch
7de00bbe07d7f7229ba8249d9f03a2fbd61140d8 BagBagOfAll NumPow TypeMismatch
158efb5052f6a90b39cab8983e6749d52f023c6c BagBagOfAll NumGt TypeMismatch
925e301401a169d5028edbdc19871fe9f99d27bf BagBagOfAll NumGt TypeMismatch
3452f71479199c641fc35b88274f739950ae5544 BagBagOfAll NumGe TypeMismatch
883042a2132480944b1aff0928f88b474d9e2220 BagBagOfAll NumGe TypeMismatch
e91c231f3966ebeb876585318ecad2cd795d051c BagBagOfAll NumLt TypeMismatch
fefe97042288d7ef19daa9ebab97f5908a5a01ec BagBagOfAll NumLt TypeMismatch
67e5c1ba9d6edad9717173060f4e105a2b232328 BagBagOfAll NumLe TypeMismatch
2f419d83aa8c0b793b6c95042b8fe01a99ae670f BagBagOfAll NumLe TypeMismatch
04831b604971f985d5b8223af3a851b84e1ae202 BagBagOfAll DefFun TypeMismatch
d43c7dfab0637c9efc300ab3489fc64aff3bc854 BagBagOfAll DefFun TypeMismatch
0d9d285a5175f3382243780c2ffc1512c7e5c63e BagBagOfAll LetDefFun TypeMismatch
697401633c6f82f0b1dd777d147b888f49d6fa6a BagBagOfAll LetDefFun TypeMismatch
1f2bc5b7023af7c780e8e7bcdfa8fc6317c8b094 BagBagOfAll DefFunRecursive TypeMismatch
8d9135cab09c401ba194a6c7d4c4961b8ce4d215 BagBagOfAll DefFunRecursive TypeMismatch
13370a8ff4a1c46b484846d7cb1f0fe3b18de3b5 BagBagOfAll LetDefFunRecursive TypeMismatch
8a7cdb2a8f231cde4b1960767669a7614fd4d16f BagBagOfAll LetDefFunRecursive TypeMismatch
3d509e36ccf2b2c5c4dd772fa6f1c2d8ed78d035 BagBagOfAll DefFunInDef AlreadyCombined
9dd2c646666f4678464bd86432466534a2eff003 BagBagOfAll DefFunInDef AlreadyCombined
dacc8e194d431ca2c41daff6c1a8865e6cb64925 BagBagOfAll LetDefFunInDef AlreadyCombined
13a2f345fe9c4ea722f9211759a0e83423ad8d74 BagBagOfAll LetDefFunInDef AlreadyCombined
002706ddbf77f76acd95611b2b92e809eb7d1991 BagBagOfAll VariableViewExclude VariableExcludedFromView
52061a11068abd3f5d4b99c9e603c9147b8edd31 BagBagOfAll VariableViewExclude VariableExcludedFromView
27f0653ceb97133626be3a1737dfe9ae33351785 BagBagOfAll ConstantModelValue ModelValueCanNotBeUsed
9b8e3365931e28ddf0a03bea2a2ce633b10e39aa BagBagOfAll ConstantModelValue ModelValueCanNotBeUsed
c7b84d14b811f6658e6fde3e9a84f1a31fb92d08 BagBagOfAll Enabled TypeMismatch
7f87486aa51a5f4490f2337d9eaa15875471bfb9 BagBagOfAll Enabled TypeMismatch
3f97eb2a77784e9d605377c7fefb2848813bdad7 BagBagOfAll Assume AssumeIsNotEmbeddable
5f5de1f6c97840fdcb320a67356fc1a02804acd5 BagBagOfAll Assume AssumeIsNotEmbeddable
9181d5cc3089ad3e66b4f6dfd2a688caa112b658 BagBagOfAll AssumeNamed AssumeIsNotEmbeddable
f11518d63b95d2ab1c57fa37d7ce5b8125082762 BagBagOfAll AssumeNamed AssumeIsNotEmbeddable
1916b9875d07b9897a2fdd8149625e78feaf9cef BagBagOfAll Lambda TypeMismatch
bc7f348e5ec7fd90b0813ec65abdaab19656b19d BagBagOfAll Lambda TypeMismatch
02a1eb20df1436cd62d861f183a6b776ac254188 BagBagOfAll Cross2 TypeMismatch
0e8eb48444e8ad173233a1f34992865da10a6d2f BagBagOfAll Cross2 TypeMismatch
bec0ca12cb9b050cf033c99990172048f2791206 BagBagOfAll Cross3 TypeMismatch
47eb3854f7c3766ed010de17c876397b1f323caf BagBagOfAll Cross3 TypeMismatch
4dfefca8d42e57671a442a2a01276aa23efde633 BagBagOfAll FunSet TypeMismatch
27d2befae95e1fd1418b6e05a23ccd8400b4c470 BagBagOfAll FunSet TypeMismatch
45b8c471016278a654d8aae9efaf6880255c81be BagBagOfAll RecordSet TypeMismatch
518bfabfa37b60231944d0ebdc9ec55cfd999e70 BagBagOfAll RecordSet TypeMismatch
49bd63fcd626c816113e0259c9b89f7416a15b6b BagBagOfAll SetDiff TypeMismatch
a6d7e081f5400f8c5f932a213310fdc3b93b57c0 BagBagOfAll SetDiff TypeMismatch
ac3d92f176ea28688fb90296ef07e15f25933b08 BagBagOfAll SetUnion TypeMismatch
3950973ac5094e586596f1f2a112a2d957cbff2e BagBagOfAll SetUnion TypeMismatch
76197727b3fdb3e3e4263b47ed104ec8bc48bff7 BagBagOfAll SetIntersect TypeMismatch
4456b69fd15b5ee54b5ff8d1800780c16f674d51 BagBagOfAll SetIntersect TypeMismatch
4dfdad4f380aea6fbab589c09df8bffa19d58b42 BagBagOfAll SubsetEq TypeMismatch
35dee189d9abe260f95932e3af3f5d2c81a1517c BagBagOfAll SubsetEq TypeMismatch
8aad5750b44c9ac54a36ade4a61d21284d8956d3 BagBagOfAll Subset TypeMismatch
3eb9394ae65c85b24263e3272f9b5dafe8114a81 BagBagOfAll Subset TypeMismatch
6d5f69d13c9d3448c29ef874f41ddfe6968dbe16 BagBagOfAll Domain TypeMismatch
f52efab3be9e48b47c91f973d55fffc83877ae0b BagBagOfAll Domain TypeMismatch
fa8a64c2138c8cc38ac37eeba3395cddd1463385 BagBagOfAll Union TypeMismatch
f18763c7c67680a0f5c195cbfbc067b835106317 BagBagOfAll Union TypeMismatch
db3fe91a564d519de93dbc8d8e6d92f4dc8d6842 BagBagOfAll Unchanged TypeMismatch
a8fc1cd73398c35b6e962011036e171eb23ad04b BagBagOfAll Unchanged TypeMismatch
41fbc7bbf2c53f01a54e7db25473f763e30d8381 BagBagOfAll Equivalence TypeMismatch
efe13ff7d69fed056e9a193a5fc9b164532beeab BagBagOfAll Equivalence TypeMismatch
67b455bf346a49e3d12a01b59b8017c969f8988d BagBagOfAll StringEmpty TypeMismatch
072204fcc0f3b72ed593158c1cba340730bdd005 BagBagOfAll StringEmpty TypeMismatch
2c723cd203c144fc71cbc42758e9e1604b52ccbc BagBagOfAll String TypeMismatch
63fe31669723ad4b738fc0f5517c37b9c31bd705 BagBagOfAll String TypeMismatch
71bb6ca7019cef95c58547505701857bd7acd5ea BagBagOfAll SeqLen TypeMismatch
c694e54ac3e5220b1c6686c980c98a029b41cb13 BagBagOfAll SeqLen TypeMismatch
0009eb2cd55e5adbccd96f7711f9293133def186 BagBagOfAll SeqConcat TypeMismatch
aef88d4dcbc922831a3d8b7b5dee052cd34b5fa2 BagBagOfAll SeqConcat TypeMismatch
7614a38a07eade882c8c8234d145b212b337aaeb BagBagOfAll SeqSeq TypeMismatch
e727d31aaf92d79ccd86cf714515f03ec243c1ca BagBagOfAll SeqSeq TypeMismatch
47d3136f62f67b008141f25336f8ec1d6ad96d0d BagBagOfAll NatSet TypeMismatch
31d07c6acfa29fe0fb5a7afed1e35c10f7e4b9c8 BagBagOfAll NatSet TypeMismatch
e78a2c3f14f8d59db24806073ab6a107a6ec793c BagBagOfAll IntSet TypeMismatch
88ab7fbfe761ec7de7efd6efbed0143d17f96067 BagBagOfAll IntSet TypeMismatch
68350a59dac0ebe124ee6fb11f3ecf49c63042d8 BagBagOfAll StringSet TypeMismatch
21eb366bec8b535713101e6f8324a4b5da45a473 BagBagOfAll StringSet TypeMismatch
df8f3574f86675ddd1126e96f1c20839b65541a2 BagBagOfAll SeqSelectSeq TypeMismatch
36531794da6a1fcb0c932f13ba9d067f34dcb4c9 BagBagOfAll SeqSelectSeq TypeMismatch
a60871502a360c0a8efb2b838331f0ea5a956e6a BagBagOfAll SeqSubSeq TypeMismatch
581c7283733eee8b97876a806b90f5c394d5b186 BagBagOfAll SeqSubSeq TypeMismatch
e6b9dfc321bab7547d2b7b58c6a2099e5972c21c BagBagOfAll NumRange TypeMismatch
9733df8d2fc45d9bcd7489e1d32890c076bfac78 BagBagOfAll NumRange TypeMismatch
9de98ff73af8dfce3984148aa1bd191769bde879 BagBagOfAll TlcSingletonFun TypeMismatch
4d135ad9bf906e9e4aa884166a666c0db384df80 BagBagOfAll TlcSingletonFun TypeMismatch
8c44560f158956ae386bebedd040e061675176ec BagBagOfAll TlcExtendFun TypeMismatch
423d68496416a57a1ae9bb7d8308233cf1619bad BagBagOfAll TlcExtendFun TypeMismatch
1c64960f71abe6a2e0dc331a1bdce7b2db4dc9c0 BagBagOfAll TlcPermuteFun TypeMismatch
8a2dd29c28da20e810dd99853473069228c379f9 BagBagOfAll TlcPermuteFun TypeMismatch
1c7c946982db20375c4341c1c9acda70cee95274 BagBagOfAll TlcSortSeq TypeMismatch
740c988b5e3d4755bef24e65dd98bdb9c8b52a31 BagBagOfAll TlcSortSeq TypeMismatch
511bd8f8fe86db6931acb19d1e0c70b299c5c38d BagBagOfAll BagBagToSet TypeMismatch
fe2a12531d454f43b038f4311e9f813d76d8b8ac BagBagOfAll BagBagToSet TypeMismatch
d6f46099d4288c14f12d310c4c6782e68431583b BagBagOfAll BagBagIn TypeMismatch
6adad9bb99a6fd9bd9967a43bcfe3d2bd5450a4f BagBagOfAll BagBagIn TypeMismatch
aaa1e7c0b9253be6add318186b9f4009239bbd64 BagBagOfAll BagCopiesIn TypeMismatch
28d9919af45bb1e5b7692ea27e7e7789215db4b4 BagBagOfAll BagCopiesIn TypeMismatch
dea371f1cc8039093290f3fb14b5c1b6381304cb BagBagOfAll BagSubsetEqBag TypeMismatch
d8edd4ce8e9b63f8e21662976b81eeb3eba3124e BagBagOfAll BagSubsetEqBag TypeMismatch
f31371e4925b9af65e34449f87358aabe43f3cd1 BagBagOfAll BagBagCardinality TypeMismatch
5ae67bb11f874b8134956414e456528e87247ead BagBagOfAll BagBagCardinality TypeMismatch
2830db2944bdf815e6bf23d4e36b2efd2b62c7a1 BagBagOfAll BagSubBag TypeMismatch
5243a399dbaa30ef66d5b3c0f417cfb8751bcaf3 BagBagOfAll BagSubBag TypeMismatch
c2aa24f5c306a3bef9b433215b9e5723ef616083 BagBagOfAll FiniteSetsIsFiniteSet TypeMismatch
09e7bf5c47ac84ae1802f92fc7b5a9955c62d3aa BagBagOfAll FiniteSetsIsFiniteSet TypeMismatch
2223b5cd8051718cb2dea4ed90f0b4c3be02f1ee BagBagOfAll FiniteSetsCardinality TypeMismatch
9da0794d6976547e8e6297f364cb7bb5a910f6b9 BagBagOfAll FiniteSetsCardinality TypeMismatch
41bddbe8543e4b45c36275eccd94f981c38fe768 BagBagOfAll SeqTail TypeMismatch
645d6a18e2e22e13960d1d6f99569de1189b1878 BagBagOfAll SeqTail TypeMismatch
65418d86469ff46608ef13a15a98bb48e2a0750b BagBagOfAll SeqAppend TypeMismatch
e94baa8e90c9b01fd9407bfc65b1ce7a1077089e BagBagOfAll SeqAppend TypeMismatch