Index

Skipped feature combinations by plug feature Boxed

Id Case Feature Plug Feature Skip Reason
ead7b4afc599b011bd8de6c40351652833b50987 OneLineComment Boxed KindMismatch
52bc4de0a41a36da09f6dca0b8def8c85b653d05 OneLineComment Boxed KindMismatch
5cd6692dfc856d21e1faaa6d123c4b866a68faa0 MultiLineComment Boxed KindMismatch
ad7b629e49364128b3f6bd00c8d9d74e3bb796e5 MultiLineComment Boxed KindMismatch
e570e048823fee82bbed9669222164a391ad7925 BoolTrue Boxed KindMismatch
683f5d42ba6f87144a88bf15dba26ae914b9c940 BoolTrue Boxed KindMismatch
3d9206bbc29706423c8d317fc88fd0adc0ab2f48 BoolFalse Boxed KindMismatch
d3f44fd9bfba10d07bdd3037e73e2ef5544c198e BoolFalse Boxed KindMismatch
862adaad6c2da249cbe8765cf840290cd82e074d BoolSet Boxed KindMismatch
48bc8b05b6abcfa68cc7773cc1866b1efc6b38a8 BoolSet Boxed KindMismatch
400f92b602ddde687af938501c3dc208bc32fa16 And Boxed KindMismatch
b8683e3145f9627148fab99e30ac015fada53041 And Boxed KindMismatch
2dae7a1c99ead73bbe2acaea6ffdb7287e38ca0c AndMultiLine Boxed KindMismatch
76b69185fe91ddae080a7a9b3114eb8790c6f6b7 AndMultiLine Boxed KindMismatch
b7ab2f757c7c31e68c5d8b06ed36f9184a0e9b83 Imply Boxed KindMismatch
c7d8015d9c0053fe6bd45d0668af941a6e9593d0 Imply Boxed KindMismatch
3c6cbf1764c391ea37e5c118b47b57d70fcfb432 Not Boxed KindMismatch
14eb6803e255d11aab2cd12a68d34c7cbda04910 Not Boxed KindMismatch
47ed40fdfa74974c11e5432c76c0b0171afc6efd Or Boxed KindMismatch
62c978da9fdb2edda4aa9a740591324437d0f5eb Or Boxed KindMismatch
27456636fbe4447c2e312db908ab0d767956d477 OrMultiLine Boxed KindMismatch
c4bae9876f9887e8956669a2f4dff47ec70537b2 OrMultiLine Boxed KindMismatch
01ccb5922799a1a94183ac13cfec575c53a869c1 Boxed Boxed KindMismatch
46b3aebdc183ad6051a9b1901a5b46012f94c9b2 Boxed Boxed KindMismatch
d26838da376e118fd7b94c1d3a763670531b3578 Eq Boxed KindMismatch
7367ebefa94b954b303220807c01a59be06f517e Eq Boxed KindMismatch
2ca7d92c5fbfb50f5c5d04d7db880f74ea60a162 Ne Boxed KindMismatch
1ea76ee191de69cd7e9762e4a51cd664b7f42358 Ne Boxed KindMismatch
0f005407cc9d2322e92c6620d5e033dfc1bdb9cd Let Boxed KindMismatch
efc2f8e21ffe5fcfbf25b44b69a5df33fdd0d51a Let Boxed KindMismatch
2ca26859f23d42a601a7aaf8ad445e35babc4b26 SetEmpty Boxed KindMismatch
b1a8d0bc1370faacec0339e255577dd79a88009e SetEmpty Boxed KindMismatch
ff8b46e367264ee517093ea1cfcafca8c73774b2 Set0 Boxed KindMismatch
d4c4fdd937889f019b7c39e11e7e0c5938f09dd8 Set0 Boxed KindMismatch
01a3c797368e80f5712a862cac5fe07a2346ecef Set1 Boxed KindMismatch
8c1c6e982196ac07c13d04bca99cf33e0c641f55 Set1 Boxed KindMismatch
9eeb159e56a31df6b48790e9763809841db48a95 Set2 Boxed KindMismatch
28d71f6f3578257fc835785da0ea75322550b23e Set2 Boxed KindMismatch
5660207f263800e7f94a467b7df099a3daf8df11 Set1InDef Boxed KindMismatch
9390a381e27f46a2120118e532129f98b29f239d Set1InDef Boxed KindMismatch
dd0642ffdad9b2686437f8cc86a07230079418e3 Set2InDef Boxed KindMismatch
05a79aa23481ca7ec6031328cfb3f961becee689 Set2InDef Boxed KindMismatch
57662f88e836148f2d9ff2940e12729cf555b16e InDef0 Boxed KindMismatch
8096ff0969df5bba82908b6dd5d78b6d89f3098a InDef0 Boxed KindMismatch
ae1bcd58fa30f09db89f8a500c411b9c6b0dcff1 InDef1 Boxed KindMismatch
9967074e934d9cff52ed2a41de51da71ac83b62f InDef1 Boxed KindMismatch
7ec3ca5968a35c3929b3a20cfa0baff4260eec76 InDef2 Boxed KindMismatch
9113c2cff8292e6d4876fc1e4d8f55b1b8999b26 InDef2 Boxed KindMismatch
a4afeae7ec742e6201de500ea838d14604e2ae48 Fun Boxed KindMismatch
ab65da4ad008d72412fcc43cefdb279781cd6437 Fun Boxed KindMismatch
04179236baae50a26299d277452f706ae78fddab FunInDef Boxed KindMismatch
5f113c665a28e01d863042943619a40a3a5a61e3 FunInDef Boxed KindMismatch
06062cc226a4052496d4dd5c529b0a8d7d92a090 In Boxed KindMismatch
047a4c331e336b99272fa8e6b18c13a1a69f9236 In Boxed KindMismatch
61d54f31d616b338cf01a46440c42cb3652e6630 NotIn Boxed KindMismatch
f65429fd30cc140b311ad029f3be199ffde2756d NotIn Boxed KindMismatch
95b9e4271854769c2679e82b706edb3ff7899856 Exists Boxed KindMismatch
b740146082dcef42a80efb7a99e0f60c8b44b1b9 Exists Boxed KindMismatch
0afd28bdd73fc10af3381a9d9cb7bb48187b8ed0 Forall Boxed KindMismatch
c9b9400223f7fdcf40cbb445af4b32b00655b62d Forall Boxed KindMismatch
54e62892db4a0560d3e8ee3b53f9af12fecd7670 ExistsInDef Boxed KindMismatch
8a020fa6ca949d95c55c8aa4b33eee3f2ff712f8 ExistsInDef Boxed KindMismatch
595f47b5d98fa3fa983c56d2c71df0bddaea116a ForallInDef Boxed KindMismatch
b5ac80fcb82855d5235e0d6fa0f34de1af377a06 ForallInDef Boxed KindMismatch
1cc449694483ca96d4125a014a72502d06ede455 Choose Boxed KindMismatch
7130a14a8d1bdddbf27c43524e32b7ce93634092 Choose Boxed KindMismatch
4bc80b372272621432baea2741dd95fca1ea8c66 ChooseInDef Boxed KindMismatch
b6e4a97001b379178708e1779b776925522f5b0e ChooseInDef Boxed KindMismatch
ef9433baa068c908c74eeb8190f2063aa6925410 Record Boxed KindMismatch
86e7f512dd7e2831a7c6ed3bb543176aff15f114 Record Boxed KindMismatch
4c4c8b9d975dcb6be0daea1c0b83c84b1fdf6725 Tuple Boxed KindMismatch
4b544b503fd658ca290ac298f68b15f0f9637334 Tuple Boxed KindMismatch
28817296784fec225fe7ecc276ad1fa70b12ca9c TupleEmpty Boxed KindMismatch
e6b69ffd1b808d5b68b1b88ca8ec374b1b942f79 TupleEmpty Boxed KindMismatch
2becc2f41af81537ee1a19aa13ae63fbeb4f4309 FunApp Boxed KindMismatch
7d113fda67dcfdd93e57d75a6a2707a47618c6ab FunApp Boxed KindMismatch
142f3a171a459677974d54d77c62127ac58d8b36 Except0 Boxed KindMismatch
d2380f28845ae8d01f6a69499c9f5054c1537a57 Except0 Boxed KindMismatch
ee2bfa63b00fe7397b7b7f12ced4cfa1a28a434b Except1Fun Boxed KindMismatch
0e7504f85c31da491b513d0f06e1db853adeb63f Except1Fun Boxed KindMismatch
a62f98238b32bd0f70557756704be0232248cace Except1FunWithAt Boxed KindMismatch
fdcae5de8511ff843f23bb681baf049f64662b50 Except1FunWithAt Boxed KindMismatch
528d492d20596a33d58531b12647b38811efafde Except1Rec Boxed KindMismatch
ffaf4975966cbfa997468eb551231ecbe3142fd6 Except1Rec Boxed KindMismatch
c0baf11e8eab5b26210977b257deb497cf295c28 Except1RecWithAt Boxed KindMismatch
d706ca740e4911310f526ee877408afd85807d9c Except1RecWithAt Boxed KindMismatch
1ccb99064f9101aea5ab77c1517f4129148cb364 Except2Fun Boxed KindMismatch
161c47c8e446c4703d400a86d4256b6d2df165d1 Except2Fun Boxed KindMismatch
92445f42b8ec95e8f5f9a6abd47dc6b80fd3176b Except2FunTuple Boxed KindMismatch
7d3a1ea3e2d7e694e543fc4bb48e4574036f9e0b Except2FunTuple Boxed KindMismatch
0431febbcca3a5529f8de5a8ce61d0b377087838 Prime Boxed KindMismatch
43b88e477d3514710280f0f0a9cd7d98d0eb74e6 Prime Boxed KindMismatch
19cf31790c640c1d0495d54bf32eb14d0bd6aa47 NumZero Boxed KindMismatch
ab2e25956b597a0cb381b9b4c387d62495287516 NumZero Boxed KindMismatch
d5938c3e9c3cf8881decffbfcfe73e845d815a09 NumOne Boxed KindMismatch
8bb8ddc70edfc8c0d6bf65137ddc8750e997f70b NumOne Boxed KindMismatch
9d2bd95494f6d360184c925785f32b9f0b40205a NumMaxInt Boxed KindMismatch
d5225a5086d0ff352918629cc4ca933f64804192 NumMaxInt Boxed KindMismatch
3b74da63235ab9de5156397adb0f4ffc55f69442 NumUnaryMinus Boxed KindMismatch
11e1e5069c40ad4576cdf2d6fb7007a1e2419305 NumUnaryMinus Boxed KindMismatch
fbcd8d88f6798079e2f54c518c208c7d1355282c NumPlus Boxed KindMismatch
f42014e05eea79bb17bfdff5608d7321ee8395d7 NumPlus Boxed KindMismatch
8c855b00a7c781687dc3a75c9b7c70048dfb944b NumMinus Boxed KindMismatch
f98f000e47942a004b02a67f689dd22d4e066d1c NumMinus Boxed KindMismatch
7f7498b38002d4c9ab0b51c7a9087b43923be3d3 NumMul Boxed KindMismatch
1b49b933c41798e90e0bcb3d8a2d5e253efea827 NumMul Boxed KindMismatch
e00827d415de197e2591763601fabd65d9629645 NumDiv Boxed KindMismatch
0bed06a62b825aa33d48eafbb96a5c98c3e91017 NumDiv Boxed KindMismatch
9a689fa614f881e61e53da13411cfe28f467ab10 NumMod Boxed KindMismatch
6f52a05313ea924c16b82fc54e201cc9311e462b NumMod Boxed KindMismatch
3e3d2063d3e7fdc5256d730abd55351e367cf873 NumPow Boxed KindMismatch
a8c15fac39bdc0dba8f4c24c2bd9c8ac8b8f35eb NumPow Boxed KindMismatch
225ce85a070855f831cdf1fecc891c90e84dd25a NumGt Boxed KindMismatch
3da0296b190306e6d47f63e191e5ad4d12058ca7 NumGt Boxed KindMismatch
d127a0fb1bd1c231f69b54848c9575b073fbe2c5 NumGe Boxed KindMismatch
57586926e015cf8bdaab692f8ccd946ef0ac8cc4 NumGe Boxed KindMismatch
c19c7b547f5fe6d19dfd23bf8c9fe2b63c1b89f9 NumLt Boxed KindMismatch
5f8174ce3e82a00d6a2c4468563af31ae1255dad NumLt Boxed KindMismatch
78795ec428d7126adb979012295d61663c106396 NumLe Boxed KindMismatch
d1c10fcc37eb5f1f4cf5097ded61d140f915a6c7 NumLe Boxed KindMismatch
dbff61563e7b59819ed21ab08885d38876bc5dd4 DefFun Boxed KindMismatch
fd8b61474e5dbbca0b70eb3c571a7ca57eeac91d DefFun Boxed KindMismatch
c04e8d973c77cac37be84054a008de83b594afaf LetDefFun Boxed KindMismatch
686abffff83f35da825a5752cf7e7f484d998b84 LetDefFun Boxed KindMismatch
48500f25a8b08a07131a6a2e5af013cc63064aff DefFunRecursive Boxed KindMismatch
320c386c4e522ace1f94c79ce69450c8b0ea10de DefFunRecursive Boxed KindMismatch
9019ed2d6c7574a96e9d838cb3b588e9f464c5e8 LetDefFunRecursive Boxed KindMismatch
eb9a31025ab9e679e6e57a9f2982df7416546ffb LetDefFunRecursive Boxed KindMismatch
a0854d2f0133610fa85bd3e59e7c8bb3cd42fd2b DefFunInDef Boxed KindMismatch
22e955c206db4bb4e295dd408c5389671a7ce027 DefFunInDef Boxed KindMismatch
c92ece1a92f804e3e852ff227afbb71353792a1c LetDefFunInDef Boxed KindMismatch
604edcd2e8f60838223d7506694a13b0145b16d2 LetDefFunInDef Boxed KindMismatch
7bcc5595e5d88637a6757a2b4df8e0d86a716e2e Variable Boxed KindMismatch
03a536822fac029e15337490b34b042662331bb1 Variable Boxed KindMismatch
bf3fe0e9e6f21ef4aef080ca7baf78fdf872aae9 VariableViewExclude Boxed KindMismatch
a59f6e2e7e219d1b5596d43eefe1415656417d42 VariableViewExclude Boxed KindMismatch
3d4b59454cd24d22fce22d6c1187348da693108e Constant Boxed KindMismatch
55538340ce9a99945ee85b43154c0afa1d8adb9a Constant Boxed KindMismatch
4f926555e7cf8666c03a1443b9ceafecb5b35fa4 ConstantModelValue Boxed KindMismatch
cdd110c328ebc72a959f7b08bfb5e880ea4c01f2 ConstantModelValue Boxed KindMismatch
cc727cd04f6b900e3741ac2ea273142b31bc36c7 ConstantRank1 Boxed KindMismatch
b0ec938088bc40ba63b5e38ada0fb21af1a505a4 ConstantRank1 Boxed KindMismatch
6a4cd2a898aa227ea5c3294e6cdb9ef9bf6d2b83 Enabled Boxed KindMismatch
657f60f11fd71b5574613140e3a8f81760446f30 Enabled Boxed KindMismatch
27becbe97068b7f36a6e8ddd04fce7dfb3a3540a Assume Boxed KindMismatch
07ee2a8143036610645e4ff282dba715e704d9ab Assume Boxed KindMismatch
344d6b9d99b5d5dbb33b92d16e071c5cacb84243 AssumeNamed Boxed KindMismatch
55c8872dec697eb4411a8558ef5158360cec2f11 AssumeNamed Boxed KindMismatch
6553d6a71e7c0d7aea40274df5225cdeaeed6967 Cross2 Boxed KindMismatch
a58841095be6afe5fdf21b94e14ddcf5676ff726 Cross2 Boxed KindMismatch
da7d6d6bf23543772e355d4d7562ced86ff0cdfc Cross3 Boxed KindMismatch
3a15c6895c6c9e9cf82effcec0096dd1baa00f26 Cross3 Boxed KindMismatch
b97caee6098ebab1462b01128d7de2311aad4eb5 FunSet Boxed KindMismatch
8241112ebbf04368e065c54d4f5538666b54c2bc FunSet Boxed KindMismatch
871f80e37348655e445113eb4d697cb3c5a6646a RecordSet Boxed KindMismatch
9d108917661da6351fdd33eae2687b16fca46f85 RecordSet Boxed KindMismatch
83685738d589adcc1461eee831e07a1c9a9d0b26 SetDiff Boxed KindMismatch
81a5fe9bc57b6105e17f86f9b3adf582c621a32b SetDiff Boxed KindMismatch
bbd3a4bfac3f0e13734e7ee0789e6266b4bb81dd SetUnion Boxed KindMismatch
f21713260f9e3da19828239aef1f1dc660c9a93d SetUnion Boxed KindMismatch
dea70a2d54fa685300898020cde6dc0b9c703d9a SetIntersect Boxed KindMismatch
d447158daad2dcf8a561e2e2831e16f1e8146729 SetIntersect Boxed KindMismatch
f634cb460bd104d88a1537ad399c1e5ad04919a6 SubsetEq Boxed KindMismatch
fd1b082a15b5f2a914951ac0681403da2b96bbf9 SubsetEq Boxed KindMismatch
9d674b29408e92cc05129cdafb57aba3eb3ecee5 IfCond Boxed KindMismatch
373ed05ef3d49daa28da44f9bd77252cac4f4e8e IfCond Boxed KindMismatch
b5dc9437a4366de91dd88b1614547cf5ddc39825 IfThen Boxed KindMismatch
628f7f8e7b38228216704085f087379abdeff37e IfThen Boxed KindMismatch
df0367204f3fced4b60d730bc7ff0670b82f2f97 IfElse Boxed KindMismatch
f9ea514b9c7b567def53740aaae7357f49992496 IfElse Boxed KindMismatch
f222d6dee232731cd95ff0eb1e5c60e8d79fba5c Subset Boxed KindMismatch
30b8c318f3cb4e1bd4e9a5b56c2584987fe6805a Subset Boxed KindMismatch
0aa5efaf17ce54dcf894fcf931ec114d42b18dcc Domain Boxed KindMismatch
aa9c8e18a3d91429e14e966d0b07f13197232af0 Domain Boxed KindMismatch
3c11ef717f9dd9d115b5b5f91ba7dfbdffb36147 Union Boxed KindMismatch
c7244d2777bf9d8757741b082bf683bd91d601e2 Union Boxed KindMismatch
8716136dfa1ccd138f75a862ea1f7b41a6159ba0 Unchanged Boxed KindMismatch
9d4cb3406e37aa2d64e770873d73472a4ad1a56c Unchanged Boxed KindMismatch
95a2017af6a315449824e54c2b6691e38cda7819 Equivalence Boxed KindMismatch
4a5a78b452f334e2f9d8619e7a22d414a2f94210 Equivalence Boxed KindMismatch
a5a40842ed9fe8debd5de248513a309ce95e15b4 StringEmpty Boxed KindMismatch
0c807ffb1644adb943fef3fcb47598c85519df90 StringEmpty Boxed KindMismatch
4736cd7084def8dab7c621355454b878e933873d String Boxed KindMismatch
7f1ae284fa9bbad3f9496fcd7baec9de4939ac22 String Boxed KindMismatch
80284fc944bdead76bafbcdca09511563b6aa22a SeqLen Boxed KindMismatch
779da416cbeb09ab529227efe6cf1579ab95c799 SeqLen Boxed KindMismatch
d2608cdeb19360e6518218b1dc95adc07ee7d743 SeqConcat Boxed KindMismatch
eb0b94270469388dbb7930239dedde09ed46dbad SeqConcat Boxed KindMismatch
44c71df82b450c4624cca5b7c2ef02cf214c16d0 SeqSeq Boxed KindMismatch
76b194731eb9a083806c8ad122b1ad5c10cc10f5 SeqSeq Boxed KindMismatch
58b406a02556721b2afe36d73e219597271701fe NatSet Boxed KindMismatch
578ced5ddb2981b9fdfb62bd13219960088dd3e1 NatSet Boxed KindMismatch
28bfa5c44ea7628961c4ed82ab9e1bcd1684ef15 IntSet Boxed KindMismatch
7c353d7fd1f16b1756128c7eaf95b980c1f50c12 IntSet Boxed KindMismatch
962685334d2145a2fb4e9d00237a722ff53d339a StringSet Boxed KindMismatch
9c65c13ce4c858401e69541f61e881a7f8511c5f StringSet Boxed KindMismatch
3b468f21942711413c3f905894f949d705bd9451 SeqSelectSeq Boxed KindMismatch
a0c466cb7cdf8159504547411c239eaffa1014be SeqSelectSeq Boxed KindMismatch
2a8a1dc4a9289cea880f1d5cc60703dd218eaa1a SeqSubSeq Boxed KindMismatch
cdced37a7d7ef322d0eca2b4957d47732babd4a7 SeqSubSeq Boxed KindMismatch
080dee9f1c9bc9d7b377d1bb69c68f995bd79ddd NumRange Boxed KindMismatch
127fc91ad16000e1acdf3ea2a6743ea66bfffaa9 NumRange Boxed KindMismatch
8c502d80299ed64ae498ebbccd8f0c5603418cd3 TlcSingletonFun Boxed KindMismatch
06c69dfdc8b860627de88113f4392b5c7e97c175 TlcSingletonFun Boxed KindMismatch
b5dc3c6171ce373d30d2d4d455b68a0e292802a0 TlcExtendFun Boxed KindMismatch
bd4d402f351a1706449742ebb632ba998b669f3c TlcExtendFun Boxed KindMismatch
5d1655c306d837d604b56ee28cd3ff8aa02979c5 TlcPermuteFun Boxed KindMismatch
bb32bb9e9a2689a867cc8f0efbe13403d22b553b TlcPermuteFun Boxed KindMismatch
79a4e1878850beb9c230a6e4fb381a683f94e911 TlcSortSeq Boxed KindMismatch
bf70ed6f4b928d44989749831ffd85c87045b402 TlcSortSeq Boxed KindMismatch
899124e7a7534617b2325174d4124d8fc6078fba TlcEval Boxed KindMismatch
d664c0e7620a9f9da4b92dd8c94b1a830a463013 TlcEval Boxed KindMismatch
236669dc3a25ef30113877c923d9b554ad1b6068 BagBagToSet Boxed KindMismatch
6d581f8469d3356d110e9222f134b1b0d686093b BagBagToSet Boxed KindMismatch
e1ee648b78c1299103d1820b0664079ae52caac5 BagSetToBag Boxed KindMismatch
91ea3fce7e9dbbf78fd2fadbbf2bbfaa2b15ca1e BagSetToBag Boxed KindMismatch
14159cb750e78d2c7b6143848875d12b3de9749f BagBagIn Boxed KindMismatch
e66dba91c586a7fa6d8223d9cf2378d591ad4598 BagBagIn Boxed KindMismatch
a33c949f3ecd6ef5291cde7117834f62ac4a301e BagEmptyBag Boxed KindMismatch
086d678e5f88bf35e1b634988738775b7e472d3c BagEmptyBag Boxed KindMismatch
765bacf7a9ea20461b4648a32aed566a331fa966 BagAddBag Boxed KindMismatch
d53861b72076fe2cc75c3078d4281f4f96da0678 BagAddBag Boxed KindMismatch
6c820ff9f65bb439287e1ac500f0a51927307db8 BagBagSub Boxed KindMismatch
4da2faec42fadd19885babc72f8bdb0954cc3643 BagBagSub Boxed KindMismatch
ba750d39b14f1e234136cebb68ea84e7bc0c4f79 BagCopiesIn Boxed KindMismatch
fad4a27066860cfd131d5674be05af390eb3a82d BagCopiesIn Boxed KindMismatch
2290d47d6250ed109b5196045f5bb2a6968176a6 BagSubsetEqBag Boxed KindMismatch
da7af8a509467380344a5b36150a67a863e17b1b BagSubsetEqBag Boxed KindMismatch
1e731c98760e703476591f7c5ce480b5a29c2110 BagBagUnion Boxed KindMismatch
3b1a4b0a1d0c7dfaa97cb81d0a2c9ded25fc8c9f BagBagUnion Boxed KindMismatch
7cded3096eb3a9c425edc9aa90494b2df39fff54 BagBagCardinality Boxed KindMismatch
76effafeb28562ad5007fc9e104288d4edf84a52 BagBagCardinality Boxed KindMismatch
e0f5312823677e13be84635500a9823be885489e BagBagOfAll Boxed KindMismatch
f8a32d94472ea2c8ba159954636fe60e0b4e87b1 BagBagOfAll Boxed KindMismatch
14ba303cddf7f76c0a544fa207aab68d5c758adb BagSubBag Boxed KindMismatch
f3a03f80c88baccdaec30b7db74ce7a0c5281fd9 BagSubBag Boxed KindMismatch
96fd1b7dc866c430dc427e4f99924b01480ea027 FiniteSetsIsFiniteSet Boxed KindMismatch
f7fa49430e4c974da0898cf6a44b4077f487fd15 FiniteSetsIsFiniteSet Boxed KindMismatch
f5e355fe571d7613d14ffc16d000417561056603 FiniteSetsCardinality Boxed KindMismatch
ca45f03fb57175a691939f8f3155e8264149b5be FiniteSetsCardinality Boxed KindMismatch
dc2453d6447714f8dc5a64ee8a6ac0da1972a0bd SeqHead Boxed KindMismatch
a6937445e49e73b5b96ad74c2f6744c54eadc8c0 SeqHead Boxed KindMismatch
4ba90e1d4b756a12b0389fda890f35c8a563c5e3 SeqTail Boxed KindMismatch
1cd3dc86259367b6ec47c43b1017e019cdf9c53a SeqTail Boxed KindMismatch
7011a2a803d5d22b5490964b19a5d23eb8c20286 SeqAppend Boxed KindMismatch
0f94db1c7aa72d9a716b0a20b43093d156da2db9 SeqAppend Boxed KindMismatch