Index

Skipped feature combinations by case feature BagSubsetEqBag

Id Case Feature Plug Feature Skip Reason
7482e08901d1c8878a381fe16e2f73ecdef9fc01 BagSubsetEqBag BoolTrue TypeMismatch
4281efa44acd8e610cadb488b61b34e7394482ac BagSubsetEqBag BoolTrue TypeMismatch
4539217269a218efde2021f108dc9044805475f9 BagSubsetEqBag BoolFalse TypeMismatch
5720c2aac83dc567c3bbe8592f90a4400eba04a0 BagSubsetEqBag BoolFalse TypeMismatch
c308a03973c35ef2ff9dbf75066d196274e2f48a BagSubsetEqBag BoolSet TypeMismatch
39c0cba8693d4adc8eeec6d2f1e912e778ef40b7 BagSubsetEqBag BoolSet TypeMismatch
5f967abdbcdfdee0a59432d80f7aaec70ce4a720 BagSubsetEqBag And TypeMismatch
9a4d1efd118da3eed0fc6fe06311172207779548 BagSubsetEqBag And TypeMismatch
3060c233821820a42ab2c8cc4ac0738e7951351a BagSubsetEqBag AndMultiLine TypeMismatch
77261ef5ac39265a89996dc57b6b015010aac740 BagSubsetEqBag AndMultiLine TypeMismatch
f8a428bd01fca243043f9e8ee94c4ec16d4703f2 BagSubsetEqBag Imply TypeMismatch
629f4a85580b8e5a82a65b01bdf42597ea238602 BagSubsetEqBag Imply TypeMismatch
2e0c35b8bffdbcb7f8990de9d8edc3a613ff3023 BagSubsetEqBag Not TypeMismatch
db30ef9a9cc33c095b3be91522bc22921c563fbb BagSubsetEqBag Not TypeMismatch
d51f231fd34382408c5be8fdbc31c01a22e7e6e8 BagSubsetEqBag Or TypeMismatch
a5d9b5d30714a69cd7c47ac01208bc2a3b50a4e1 BagSubsetEqBag Or TypeMismatch
bf90164d2462b1aa3cd1e9c50ad785b264ee6a5c BagSubsetEqBag OrMultiLine TypeMismatch
94f4742481068bc616d610c878e4cb14db6d5d11 BagSubsetEqBag OrMultiLine TypeMismatch
d69564050829384c8c8ef04068ad92171121f410 BagSubsetEqBag AndProp KindMismatch
cdd1885323184a83d67c45bcd15c9349e128abad BagSubsetEqBag AndProp KindMismatch
2290d47d6250ed109b5196045f5bb2a6968176a6 BagSubsetEqBag Boxed KindMismatch
da7af8a509467380344a5b36150a67a863e17b1b BagSubsetEqBag Boxed KindMismatch
abff43f83bda3b9f0b38f3e43b1f66d46f1ab66a BagSubsetEqBag Eq TypeMismatch
d033410f950b3deab0cb2545a3e66192835954bc BagSubsetEqBag Eq TypeMismatch
24ed63f165675448608e66f79580548df08ae192 BagSubsetEqBag Ne TypeMismatch
5144d8fe8aae16bbcd41473af38f7432bac8f78a BagSubsetEqBag Ne TypeMismatch
e4f046fb495114be1a1f7be707d25d79b5429b87 BagSubsetEqBag SetEmpty TypeMismatch
6523262209c0e685199d2b8ff10f61d0746261a4 BagSubsetEqBag SetEmpty TypeMismatch
0054a53ff04531955455c0925c131e4d708ccde7 BagSubsetEqBag Set0 TypeMismatch
dfeb49614bbbbd15d717a3fd5a3afd52d6d9cbc3 BagSubsetEqBag Set0 TypeMismatch
a239f2014f047baf830442f90aca66f6e76231d5 BagSubsetEqBag Set1 TypeMismatch
52e98b65e8ae6917869ea3f47f6cca86c49ac29d BagSubsetEqBag Set1 TypeMismatch
13b7970f9abcd31b7de704b13f1256f71bb8ba67 BagSubsetEqBag Set2 TypeMismatch
3c3b047b453570ae0a27556c044c85e5c2f38d3f BagSubsetEqBag Set2 TypeMismatch
740cf90ba909f6aab76cc3c40f9845d58aaa0f91 BagSubsetEqBag Set1InDef AlreadyCombined
0001f943a344edfa81d28eb0aff002a5eef16fb5 BagSubsetEqBag Set1InDef AlreadyCombined
ad8d81e655d4b02cc7eb5e5b26e5c325ba13e9ae BagSubsetEqBag Set2InDef AlreadyCombined
9b7a3480d6d204d63d560ef60469186b3edf8f4a BagSubsetEqBag Set2InDef AlreadyCombined
d5a0b0a1399a03a7dcf5d920e635a912e94447b3 BagSubsetEqBag InDef0 TypeMismatch
020b22d7fb7c6fc60134a3f36d3fd0ee6ea711c4 BagSubsetEqBag InDef0 TypeMismatch
83f00587e69f605f29cca9036b221ce8cbabc208 BagSubsetEqBag InDef1 TypeMismatch
927fc4903567624dea121af35a0d87c0885f343a BagSubsetEqBag InDef1 TypeMismatch
50bfc43f1ce2acf8fb330e30b4882ae123d43dd9 BagSubsetEqBag InDef2 TypeMismatch
ce380c572050f02b98137d9cc6200014c2412c89 BagSubsetEqBag InDef2 TypeMismatch
7f01f270b9ebccb876cce2b5ef6f21f690d4d94a BagSubsetEqBag Fun TypeMismatch
673877d715c3399c46a7221a19bd54202de027c7 BagSubsetEqBag Fun TypeMismatch
30816201f839cd4d54b037a3f782d10e73db7af1 BagSubsetEqBag FunInDef AlreadyCombined
322520b4283f20c22095ef2319331e13329389b5 BagSubsetEqBag FunInDef AlreadyCombined
cd143968be281d93e89e7f4c0b95c2dfc64acd85 BagSubsetEqBag In TypeMismatch
e8e5ad6d48ddcc99ec3b2e0fbea72f0fa2365f5c BagSubsetEqBag In TypeMismatch
a99981e014ef543a910b328a4069902eb7b9a370 BagSubsetEqBag NotIn TypeMismatch
d983424cf4574fa421c484b80c47174ab3eccf40 BagSubsetEqBag NotIn TypeMismatch
34a68085e17de8db3a065b635df74d23e8863d0e BagSubsetEqBag Exists TypeMismatch
134743d6338c4bbcd2ac1f89b36104374c5b3a9c BagSubsetEqBag Exists TypeMismatch
74c3c3c466742ecba8e9c0303f487bc311562a8a BagSubsetEqBag Forall TypeMismatch
22695cecddc1e47d996fc183f85546008805ffc5 BagSubsetEqBag Forall TypeMismatch
873890a93ad864cb0d4ec75feddb77f61821416a BagSubsetEqBag ExistsInDef AlreadyCombined
699952c83542e506561570c2252f97f164acdc20 BagSubsetEqBag ExistsInDef AlreadyCombined
bcb20beef55325df107e7b69380a91a93305863f BagSubsetEqBag ForallInDef AlreadyCombined
bdc80ea30ce1926d939513ee1b8d29e642b56954 BagSubsetEqBag ForallInDef AlreadyCombined
cd7998b2043c81e96493bda43b3f78e6caaf9fa7 BagSubsetEqBag ChooseInDef AlreadyCombined
496a99fd0ed0ae5b202e8a5e021327577d287a47 BagSubsetEqBag ChooseInDef AlreadyCombined
f2a2f4019028b30e14ab68e1b57b7798921fe6ac BagSubsetEqBag Record TypeMismatch
9d97e37df5ca48fe0abc0cec12ece0ac096113e9 BagSubsetEqBag Record TypeMismatch
dd0c8b6d73168356f3c61b4273896fadb59e93b3 BagSubsetEqBag Tuple TypeMismatch
15e3cb321e294f13d3797d9c7c024fda34721ee6 BagSubsetEqBag Tuple TypeMismatch
1ffd0b624c2fbdfb41ae492acab356bef34a2d85 BagSubsetEqBag TupleEmpty TypeMismatch
a3c57931fa1e7d878771ff7daf1e9a7867944621 BagSubsetEqBag TupleEmpty TypeMismatch
4afbcfbabed0baaf3c5e4b96119c441621b9aa36 BagSubsetEqBag Except0 CanNotBePlug
598814fb6e1f1049ed6f9e7b5a18c01e7c9f6df6 BagSubsetEqBag Except0 CanNotBePlug
6d85ee016f16b4f7020e34042198485fbbb04287 BagSubsetEqBag Except1Fun CanNotBePlug
19ce91cee3d491cbcf17c377df204ae00bc0b838 BagSubsetEqBag Except1Fun CanNotBePlug
d53c25ecf01180d0f9f09ebd09e420c5ead9403c BagSubsetEqBag Except1FunWithAt CanNotBePlug
73f5444d63cb5f05e0f3b6d1cca4c4b3bf27787f BagSubsetEqBag Except1FunWithAt CanNotBePlug
ca4046f22cffecb6a4ff0817acfc8a8b07bec8fa BagSubsetEqBag Except1Rec CanNotBePlug
7dc675b68dc6c6890d7ffff1d6c8bebe9787492d BagSubsetEqBag Except1Rec CanNotBePlug
3f891212634083847acbf1f84d184852532de0c5 BagSubsetEqBag Except1RecWithAt CanNotBePlug
c95b5ec89248fa664898fa36de5999b3fec5bd64 BagSubsetEqBag Except1RecWithAt CanNotBePlug
587c2963178c28395ef7f75df083618a793bd463 BagSubsetEqBag Except2Fun CanNotBePlug
19d8b6d1d88fa74732cf578ac987c120e16c9c1a BagSubsetEqBag Except2Fun CanNotBePlug
47bb7d50e7bed76df1143a70a85ab5a2630c0745 BagSubsetEqBag Except2FunTuple CanNotBePlug
654e62090acc38971f306a239e153bdc4df3c66a BagSubsetEqBag Except2FunTuple CanNotBePlug
7809eeec8fc70fa3f92164055a2aac2fcad1890d BagSubsetEqBag NumZero TypeMismatch
59c7cec68fa0ba7cce603b84d518b70e729df202 BagSubsetEqBag NumZero TypeMismatch
d3a4b947dd0365d20e2c0ed512918750345de2f3 BagSubsetEqBag NumOne TypeMismatch
617603fe75e0fc63d8a441cfffeede8dc007a05b BagSubsetEqBag NumOne TypeMismatch
27221a598514f143581f4ae0ca12ea899a778a3b BagSubsetEqBag NumMaxInt TypeMismatch
0e0d5758d9b1b15eacd66afd3958f8e6bb9742eb BagSubsetEqBag NumMaxInt TypeMismatch
9532277cbeeadba6c827847b4f7b1453539595ec BagSubsetEqBag NumUnaryMinus TypeMismatch
7e7186184fb9ddfbacbaeaae25874292f4f4e1a1 BagSubsetEqBag NumUnaryMinus TypeMismatch
07aa1602cb227a85187bbbfb2f670804f6d7ad53 BagSubsetEqBag NumPlus TypeMismatch
c21d0a6128422511a656a73c679e4916e8b68f96 BagSubsetEqBag NumPlus TypeMismatch
ecb2a915fbee55209311d93f338e2c4e11b83c81 BagSubsetEqBag NumMinus TypeMismatch
ae89bdfd0acacc5763d36c1a1ecb9e5fb8c5e8bb BagSubsetEqBag NumMinus TypeMismatch
c0605494d5f1bfe33ae15ca299aa7efa5507610f BagSubsetEqBag NumMul TypeMismatch
dfccffa6cdc9448488a9c8530faafb0331a3adee BagSubsetEqBag NumMul TypeMismatch
27ee86c27c70e52e026d6ca2e1517ece1c5772cc BagSubsetEqBag NumDiv TypeMismatch
c868c6ffc3833d58c47ec568455c6b39e91c98cf BagSubsetEqBag NumDiv TypeMismatch
1dc6f8ec229ebad2bf1652bec2c4bf19e26551a6 BagSubsetEqBag NumMod TypeMismatch
e3022ea67d2a058b5f8ecab84bf8cab5c4823e1c BagSubsetEqBag NumMod TypeMismatch
ccab9cb3f56d5258685830ab68d5f474deb47888 BagSubsetEqBag NumPow TypeMismatch
6876ba465503af6dcdb9aedcaa3ea324b39ddc0b BagSubsetEqBag NumPow TypeMismatch
d51a1e3bf5ddb82f34551d782aff4c273b4073df BagSubsetEqBag NumGt TypeMismatch
20aa354be1d2a309cdb080bc122e85130cde0c59 BagSubsetEqBag NumGt TypeMismatch
77f537826003e55feefb29d0e614415fd91d55dc BagSubsetEqBag NumGe TypeMismatch
3091746944342c505d486b064ea877ee77401c23 BagSubsetEqBag NumGe TypeMismatch
3b10afb5915a0b43b44e6281990e19e1d987c74d BagSubsetEqBag NumLt TypeMismatch
40635db6fb231ad6f0f41a4056231803f07e80c2 BagSubsetEqBag NumLt TypeMismatch
6fcfae055c790c015926d2cdb04dc6ab67e70812 BagSubsetEqBag NumLe TypeMismatch
fcc3c831990533d8795e4143949ba62879deb9de BagSubsetEqBag NumLe TypeMismatch
5e13d848ebed08e3915f2c6f826dc449419d9d45 BagSubsetEqBag DefFun TypeMismatch
5383e9d3d2bd9bbe23ba7e32fb6d2e952422d3df BagSubsetEqBag DefFun TypeMismatch
5557d8b62f5d6197b9680f66cd45b1dadfaae020 BagSubsetEqBag LetDefFun TypeMismatch
97b6f3dd01e1406036ca28d377454fd374af8f26 BagSubsetEqBag LetDefFun TypeMismatch
e85aa84f3ffb0236ef3cc4f9b385f40a255392b3 BagSubsetEqBag DefFunRecursive TypeMismatch
63455da3ae86ee734579b089fd94f3584f35823a BagSubsetEqBag DefFunRecursive TypeMismatch
7e44a0cce6d942869064ac8bc6578afdde214135 BagSubsetEqBag LetDefFunRecursive TypeMismatch
fbfa6399e2421d1be764301032de76cd2f614392 BagSubsetEqBag LetDefFunRecursive TypeMismatch
7f450020ac2cc073620d3ea041c9c268bc6ddb59 BagSubsetEqBag DefFunInDef AlreadyCombined
5f9d8774317c203d6646ceec0f5af6c853b02dd4 BagSubsetEqBag DefFunInDef AlreadyCombined
ad15019f7c6c14382b851558841c4ebb4d8b1d02 BagSubsetEqBag LetDefFunInDef AlreadyCombined
9680428fd00e02db28188b32ea6995cdc5381eea BagSubsetEqBag LetDefFunInDef AlreadyCombined
7c90ececff49a1eee43272e40b33e9be27fe6365 BagSubsetEqBag VariableViewExclude VariableExcludedFromView
ed180ca4a3bd079a72e34408b2350cf4199708d8 BagSubsetEqBag VariableViewExclude VariableExcludedFromView
820498962686c80bcf99676ba05aa069a23a0ca1 BagSubsetEqBag ConstantModelValue ModelValueCanNotBeUsed
85b4df0ac98386a421cad9b8265778a9d5a7d339 BagSubsetEqBag ConstantModelValue ModelValueCanNotBeUsed
53d75335a2980ae50e9fcc3c25fb3973304ccf5a BagSubsetEqBag Enabled TypeMismatch
686d178b4458565e3ac969f3ba2043cfeacdb556 BagSubsetEqBag Enabled TypeMismatch
0a81e74d12aa1eb0a48d9a7c12b53d7db2aa4627 BagSubsetEqBag Assume AssumeIsNotEmbeddable
70827f36505bb1e41d2c0a47dfd29dc166d1d6d8 BagSubsetEqBag Assume AssumeIsNotEmbeddable
065d8cf023fd8acbfdcd2c2d60cc6178ff96798e BagSubsetEqBag AssumeNamed AssumeIsNotEmbeddable
6fde6052ef6f6ca06c496e192aefd4ed9c2e312a BagSubsetEqBag AssumeNamed AssumeIsNotEmbeddable
e3d5ce7840b724fbbffd66bd45e64863a6f82d42 BagSubsetEqBag Lambda TypeMismatch
7ba553c17ff5536bc0857f6ead12daca9efde1ac BagSubsetEqBag Lambda TypeMismatch
b09b63af26a0333d47c34e60acc9bc848e913f3e BagSubsetEqBag Cross2 TypeMismatch
0375ad221018f5e125a60a26fd83da72c1e6aff5 BagSubsetEqBag Cross2 TypeMismatch
374cbf46ca7b6b681c37b61bd3bf04dafb3babb6 BagSubsetEqBag Cross3 TypeMismatch
5cdad07b4080a1ac6b9fba5b4ec091c62d64876b BagSubsetEqBag Cross3 TypeMismatch
24ca46634bdcdb69f815ec482db55956d79f7a2a BagSubsetEqBag FunSet TypeMismatch
346c3d95ea7bcc6c1f545909f968a8d920b90958 BagSubsetEqBag FunSet TypeMismatch
9c7a60c4d8d8a31ee283cd37b6cee504f132a5d7 BagSubsetEqBag RecordSet TypeMismatch
5aceb95713d4a5c64cd2e8800b1d2aec9355fbda BagSubsetEqBag RecordSet TypeMismatch
59987b23d81996581f5c2f93eeb32283cc20224d BagSubsetEqBag SetDiff TypeMismatch
bac5886fcdf5c7c046803036473da89e066f7c8c BagSubsetEqBag SetDiff TypeMismatch
586c9913686eebe41491ab72bc00dd6228a56b2a BagSubsetEqBag SetUnion TypeMismatch
f7b3ebead0cb8d7a74b6e73e46a3cfe8d4bab12b BagSubsetEqBag SetUnion TypeMismatch
4862a3c88c4880e5e52de2a8ad9008e72fe91616 BagSubsetEqBag SetIntersect TypeMismatch
24790e50312ffc07ff7f550ff0c3605c1341dc59 BagSubsetEqBag SetIntersect TypeMismatch
33bb21b7cc32d3c6bbfd38eecf98405262f579bb BagSubsetEqBag SubsetEq TypeMismatch
409da055fdc165951c57ffca9cdbf7676eb1e761 BagSubsetEqBag SubsetEq TypeMismatch
fc418e1bb743d230e49cb50ff82d044d176c576b BagSubsetEqBag Subset TypeMismatch
ffdaddd58eb160ca59089bb0d5591715d4215a7c BagSubsetEqBag Subset TypeMismatch
bb6c553211c832b629f52eb88499ea03f38a7e84 BagSubsetEqBag Domain TypeMismatch
07022765fc966444bf44d219d13323b64b191dfb BagSubsetEqBag Domain TypeMismatch
8980527dd5dbb5383b9fa73995c3d2460fd8f300 BagSubsetEqBag Union TypeMismatch
0566763c84f575fb11fa5508821df15a059b11b6 BagSubsetEqBag Union TypeMismatch
99f349f154c87f10e38b0065daaef28b101c4b16 BagSubsetEqBag Unchanged TypeMismatch
9eab700dead524a7612af63e91cd9a1817e1848c BagSubsetEqBag Unchanged TypeMismatch
fe41eb6f6d7414d8488a8d115b93a6a0bef2215e BagSubsetEqBag Equivalence TypeMismatch
b46e861223ea4366d3df2c6a2941ee3f778d939a BagSubsetEqBag Equivalence TypeMismatch
519a26174f5c56b6421957c4c7758feac6827aaf BagSubsetEqBag StringEmpty TypeMismatch
2075994d58311b0010d66acc69704f5dd79e71fb BagSubsetEqBag StringEmpty TypeMismatch
971b246f2f5c74c3ce18838cddfe1e6d7af8d035 BagSubsetEqBag String TypeMismatch
c8fe39777b847182ff43df6787de174769932f03 BagSubsetEqBag String TypeMismatch
1b0b71ef8a1d8fbc5523ed5193929d9481034b14 BagSubsetEqBag SeqLen TypeMismatch
72be7c4d42a71f1d0ab5f98c4bdcc2f2cc711d64 BagSubsetEqBag SeqLen TypeMismatch
2d368c9c8ee7ee64a37d6893d9df1556f7bd9677 BagSubsetEqBag SeqConcat TypeMismatch
192885f907001130731be0ad6aaa82114f6486c8 BagSubsetEqBag SeqConcat TypeMismatch
6f2bc3e87a255367b8ed500a6a300d2159ab5cf3 BagSubsetEqBag SeqSeq TypeMismatch
d7d8ecf1f1243cb3821f123b5e0b7bef2ee9b94d BagSubsetEqBag SeqSeq TypeMismatch
f42d6b8c445ad247ffb22c1cc32c3609208d0121 BagSubsetEqBag NatSet TypeMismatch
357b819d512aeae32c681bbe1a12ec3a2a66376a BagSubsetEqBag NatSet TypeMismatch
7a991601c922dd926189a764b1a53725d5cdabda BagSubsetEqBag IntSet TypeMismatch
d6a9ceaec9b06a2ade51a8ea467bb449845894da BagSubsetEqBag IntSet TypeMismatch
36b535e3bfd0e35fa74f9f73e407f84caafca068 BagSubsetEqBag StringSet TypeMismatch
1f4ecbd58e8dd78771162b3a254614182b7a5750 BagSubsetEqBag StringSet TypeMismatch
d61ce11c2dce1b74cdba948163c848dcb56a2bba BagSubsetEqBag SeqSelectSeq TypeMismatch
5f59f8b5d354422600d01691266dba2937a92e38 BagSubsetEqBag SeqSelectSeq TypeMismatch
ded205032a76861a2c62fb6cdf066a0a790486cf BagSubsetEqBag SeqSubSeq TypeMismatch
46a482ed63ace18a61757406cb592d9b8c37c34b BagSubsetEqBag SeqSubSeq TypeMismatch
f46c569cacd5836582ddbfbbfe68e22410c2e976 BagSubsetEqBag NumRange TypeMismatch
9db8e7eac958368d96ecab0040e2e4490bd9c217 BagSubsetEqBag NumRange TypeMismatch
268f47c459e5e19edc4f23e4f2091c554dc93313 BagSubsetEqBag TlcSingletonFun TypeMismatch
d5382e2810e4c6cfac67cc75a7cce75f900bf7e8 BagSubsetEqBag TlcSingletonFun TypeMismatch
8323e98dfc7bbc064ac10a962b4f59d36f39bb61 BagSubsetEqBag TlcExtendFun TypeMismatch
bef01410db04cc0baa7e942990fa9c3f95e358e1 BagSubsetEqBag TlcExtendFun TypeMismatch
7c9214d817e5e631d1cb3505eee5614958dd1354 BagSubsetEqBag TlcPermuteFun TypeMismatch
0facf31abbca083444af0a898694e2ba2deddc20 BagSubsetEqBag TlcPermuteFun TypeMismatch
638bb83593f15f66da7d74acc54dc656ba037d9f BagSubsetEqBag TlcSortSeq TypeMismatch
622f161a493fba1046c6e50e908a5576c6cfd789 BagSubsetEqBag TlcSortSeq TypeMismatch
54c2c4f57ff3c48ccb91fcb6b6bc3e616eb0cf95 BagSubsetEqBag BagBagToSet TypeMismatch
0fd111609a636cbbab508d0ceb15ed00478e08fb BagSubsetEqBag BagBagToSet TypeMismatch
4d896a3d832a62a9eada53ac4056870be39df5df BagSubsetEqBag BagBagIn TypeMismatch
23a79479d3a5eca05fa40a6be64ce336e9f57ba5 BagSubsetEqBag BagBagIn TypeMismatch
5df04304144d890a22dc4fa10f00a9b48d471128 BagSubsetEqBag BagCopiesIn TypeMismatch
e4300e88924d8ead65323153cb111e7f308801bd BagSubsetEqBag BagCopiesIn TypeMismatch
26088b7e568ceaa0ca698e49159ff2a2a409b5ec BagSubsetEqBag BagSubsetEqBag TypeMismatch
0c9fe974023dcad0111dc0d04762c3792f3901da BagSubsetEqBag BagSubsetEqBag TypeMismatch
984b614e5806c81ba783beb9be5f1b486d475aa6 BagSubsetEqBag BagBagCardinality TypeMismatch
9f68b6f14f1aa0de6fe9dbd96aab775077d9180d BagSubsetEqBag BagBagCardinality TypeMismatch
ef3866603400b9a4a0ce3efd54b11880ffe55d5b BagSubsetEqBag BagSubBag TypeMismatch
8ea405234c5cf2ffc2bddfecd1bf6ec189a24023 BagSubsetEqBag BagSubBag TypeMismatch
2f41ea3926597f3d8b4d27e1d450c878ec5a0349 BagSubsetEqBag FiniteSetsIsFiniteSet TypeMismatch
454346ed7f7b1bb58976d9303eca907aecedff51 BagSubsetEqBag FiniteSetsIsFiniteSet TypeMismatch
1436290560971629cc8d205acce20f25632a1179 BagSubsetEqBag FiniteSetsCardinality TypeMismatch
a94d81c1ca76c58c576b8ed4f18075413c4cd54d BagSubsetEqBag FiniteSetsCardinality TypeMismatch
92d30e52c885a1f42e5f101bcf5eb10a782e5f23 BagSubsetEqBag SeqTail TypeMismatch
216335153718e7dace07887bc139c77426995815 BagSubsetEqBag SeqTail TypeMismatch
9ac87bc2909e86a6eafda4fabe413389da157652 BagSubsetEqBag SeqAppend TypeMismatch
58875e07fca79fbab6e011a16dc765cd5c2998dc BagSubsetEqBag SeqAppend TypeMismatch