Index

Skipped feature combinations by plug feature SeqSeq

Id Case Feature Plug Feature Skip Reason
ad449de229c964634df96ff439ab888ec0935f0f OneLineComment SeqSeq TypeMismatch
b1fbd783d79b1a5c7082d50e91adb71d68b8b561 OneLineComment SeqSeq TypeMismatch
b609255b7ddaa8ecae8866880f06c6aa02de520e MultiLineComment SeqSeq TypeMismatch
c7f2b1f311bf4fa25a0da15d2e038c813ce44910 MultiLineComment SeqSeq TypeMismatch
1c444c181778e32aea12d634f7a7d91b5e842ca9 BoolTrue SeqSeq TypeMismatch
9be9999e2d94ecbc56433046286bb31c22066f9e BoolTrue SeqSeq TypeMismatch
7a550b8412089613ffcd24bde1c53f8901daecfa BoolFalse SeqSeq TypeMismatch
5ba1a928699571933bf23ba44bbdeff01531a809 BoolFalse SeqSeq TypeMismatch
4e2609e160784d330751a5d678a6d25602629f99 BoolSet SeqSeq TypeMismatch
f9a4f4a282cc55d088f57c37dc480dc8bc77cc3b BoolSet SeqSeq TypeMismatch
0a4efe14c2adc29b50fae827540293d5b07feaf9 And SeqSeq TypeMismatch
8fdc9f1155c638d79fe2f19278d54aafd8b399ee And SeqSeq TypeMismatch
8f36edb92cd2111c385dc2af808dc1c9dd354027 AndMultiLine SeqSeq TypeMismatch
b00407675c2ab33e2ff2e501c81b3389c2890388 AndMultiLine SeqSeq TypeMismatch
83e4b84b1fbfdd14c2a9398adc2dc586292f770c Imply SeqSeq TypeMismatch
efe13ad7b650b3bae8aec71d01bde5263e3282a3 Imply SeqSeq TypeMismatch
6de4125d6a6bc0587e8a5dc5959c9cb33bbcbebd Not SeqSeq TypeMismatch
340f5ef6d7038ebc139a6db98c277d857ce618cb Not SeqSeq TypeMismatch
b5d98931b94e7e5c2ca6192737b809a48704c175 Or SeqSeq TypeMismatch
c1ed929ed69f603838f08e919f6f720eac107dac Or SeqSeq TypeMismatch
7add53944f59176719fd0ea261933ec6cf0d74c5 OrMultiLine SeqSeq TypeMismatch
ed3769eb4d49e1d60ff87b84971d5edc2e5d9772 OrMultiLine SeqSeq TypeMismatch
8794df410320493322d9fffc2dbe65341e2a69a9 AndProp SeqSeq TypeMismatch
4acba1a208052b6ff382edb913c6b6bdee287a6f AndProp SeqSeq TypeMismatch
0911b9d2350079fa0dc39100a369c7f3c4a9f335 Boxed SeqSeq TypeMismatch
818293ef8cfd9baf0b6b916eb7b61fb427f9af64 Boxed SeqSeq TypeMismatch
d170b6a91cf85937bb1547c1cc87933921271f88 Eq SeqSeq TypeMismatch
d5576ab4d5cf2f4017ac713495274a5426dffa87 Eq SeqSeq TypeMismatch
35fe26f636464ce8972a20a61e32a304dbcad17d Ne SeqSeq TypeMismatch
a7c6006a9a927f2819e8917f5d6c1cb14c58e52e Ne SeqSeq TypeMismatch
b6bc7f159b8fc2e9968aea0e9684f12fb695c7af Let SeqSeq TypeMismatch
8fa465714dffac9828c4ad96677f517739fddac8 Let SeqSeq TypeMismatch
131584156e1b183e902a9a3ff1834872f324879f SetEmpty SeqSeq TypeMismatch
a940cb71e9ff1736e1286933b66ce107a5145c34 SetEmpty SeqSeq TypeMismatch
3897e16e67dc6b7cf9d93e6ad98bacbb159deca7 Set0 SeqSeq TypeMismatch
a876c8f6ef924fb96e08f9ce2ebd9a36164afa07 Set0 SeqSeq TypeMismatch
ad08a64bcbdd44bfef097bdf7b57ec87fc979b0a Set1 SeqSeq TypeMismatch
8c35ff35120f4e2680704d7fd0413e390ecc63e4 Set1 SeqSeq TypeMismatch
61b2f0c17a37867d605756d814fd39d2bb7bb6a6 Set2 SeqSeq TypeMismatch
e8426670f95df93676568283d3f66da6d2b6a9be Set2 SeqSeq TypeMismatch
fb4b84a92445913017dcb5b49aa412867386fdbb Set1InDef SeqSeq TypeMismatch
41a44f8f2fe8de86c1c3fef1143d77a680092014 Set1InDef SeqSeq TypeMismatch
b8428ba9557366ea8329e5560adc5d1de7ef5e13 Set2InDef SeqSeq TypeMismatch
8d3d54bfe683f17d36da7e0314823ad53456d110 Set2InDef SeqSeq TypeMismatch
fd64078218873731c250f45565eb7f77ffc0150e InDef0 SeqSeq TypeMismatch
fb8562b0afd2b7201b356dfe19296fe2ef6f9ed6 InDef0 SeqSeq TypeMismatch
0cd544a60cbc6843cece97e5d61a644988c82e24 InDef1 SeqSeq TypeMismatch
583df614b6c18777c81117ab848cfd5e24dc4597 InDef1 SeqSeq TypeMismatch
b2100426fef10bb6eacb8da645bd9cb21da63873 InDef2 SeqSeq TypeMismatch
3e9e84d5d8d7febc0f56e7229a6f2a447558a2ad InDef2 SeqSeq TypeMismatch
638b8047418d34ebdbcc2603559b39a2e0c29284 Fun SeqSeq TypeMismatch
2e67e1b30d293567fe75d651c37854e9839962d7 Fun SeqSeq TypeMismatch
83092a58324ac373b59d30758e3f7641de17ed9d FunInDef SeqSeq TypeMismatch
b24ef4d0e8a55e3481faaf570a5a13d43d3e5501 FunInDef SeqSeq TypeMismatch
708fdd25de8bb450e86d89c34c819933649ca928 Exists SeqSeq TypeMismatch
a83ed65f5675aee3af33945b628ded08c1ae8874 Exists SeqSeq TypeMismatch
bcd46cc7dafe7b6940de19ea27987d01bf764b24 Forall SeqSeq TypeMismatch
7363adf1620e76d5af2b9121de715f3897051478 Forall SeqSeq TypeMismatch
e3771341ac175390555ba765f3f26f68bcfe030e ExistsInDef SeqSeq TypeMismatch
94d39267b7b926cbf129e86fcc516e64c32a18fe ExistsInDef SeqSeq TypeMismatch
d13c4fe47ab359b72f99d78cb060d397767dabfa ForallInDef SeqSeq TypeMismatch
89262c15a5189a0d46947642487bb0074c9b65bb ForallInDef SeqSeq TypeMismatch
33f3f8a5a2d97e40b06ab9d18b747c41995fa3e9 Choose SeqSeq TypeMismatch
0d87dc75180aea36e275426a15ec1e8d79e2e76c Choose SeqSeq TypeMismatch
7d937817ebd143e81e13d7d023105cf02a88bddb ChooseInDef SeqSeq TypeMismatch
88f69f58ce66eaa8197cba59e1150698ac3b66c3 ChooseInDef SeqSeq TypeMismatch
c654fdd2cf4c58303580c91803d577123b723b28 Record SeqSeq TypeMismatch
00cf96d9baecc94dc0444f4b9558bb97c0fa6555 Record SeqSeq TypeMismatch
1dbfb807494b697d95614f1132275a7cc7ef19a6 Tuple SeqSeq TypeMismatch
d31cc3e94ae9b677609f8b58c929c41f14499c02 Tuple SeqSeq TypeMismatch
7437cd3d74ee4d8e4c221f0bbe717ea721d804ea TupleEmpty SeqSeq TypeMismatch
be3d3dad2e82431fb65aca1542afe9a2c332339b TupleEmpty SeqSeq TypeMismatch
26ffad8bbe3ac6bda0986ddb1681d76f7810e30b FunApp SeqSeq TypeMismatch
71c9e9be655c299dd2c1721d9a4acc6ec48362c9 FunApp SeqSeq TypeMismatch
e419e8546f04cdde463112b1d8b4ca5e5758ef5d Except0 SeqSeq TypeMismatch
93526b7a6bdb95328b23dcb380310222e879970a Except0 SeqSeq TypeMismatch
f82db7b3ce250f97fabeb35c4087856ad05201fe Except1Fun SeqSeq TypeMismatch
2e76bc97755c741790dd68c54cab0672fac0d84e Except1Fun SeqSeq TypeMismatch
402b30190033583e9bc8c5332ccccfce1b946317 Except1FunWithAt SeqSeq TypeMismatch
8b26f9cd565dff73e718402a0eaf6cf3c16c3981 Except1FunWithAt SeqSeq TypeMismatch
d6666b1b9abe107e5dc6c402da465fc9a600ec32 Except1Rec SeqSeq TypeMismatch
6fd80281db944aa1125cfed8c607da11407a3849 Except1Rec SeqSeq TypeMismatch
570a4ba74a20ee289d9fb896411f67f5fbb10721 Except1RecWithAt SeqSeq TypeMismatch
af1eca569390a46cf43c53ef7dea3d94beb5c37b Except1RecWithAt SeqSeq TypeMismatch
27e2d5bf7741d4aef7de3849b8c8c22af9d95708 Except2Fun SeqSeq TypeMismatch
9afd9a6050d924d7af940ede7e8fe643392cf8ae Except2Fun SeqSeq TypeMismatch
6fbf53eb077ba17ee6ff2c237d381761e56c1d3c Except2FunTuple SeqSeq TypeMismatch
bdc64cf815d7bad8329b5ebcb622b84f4ab64194 Except2FunTuple SeqSeq TypeMismatch
12a63997ab22e1d73e9c953f4ecfe476fe2e86f9 Prime SeqSeq TypeMismatch
1124f468c13cd669471cdbe5678b6318f051bba5 Prime SeqSeq TypeMismatch
099a1b8e693ce3c3e627e1c406ebfb66c1e0b4bd NumZero SeqSeq TypeMismatch
99bbc87191629c9aef6421cf7d812f8eccc3a10a NumZero SeqSeq TypeMismatch
2e6c4c1dc93c215be85ed057ba45202d0c98c301 NumOne SeqSeq TypeMismatch
62f0505e7889badede5b1192f3ce958b22a01377 NumOne SeqSeq TypeMismatch
042054d1a4991edcdf54ea07bf73b50a53ff57f6 NumMaxInt SeqSeq TypeMismatch
f67d3c63770d89373e6e8ba5f00564a94f1b8114 NumMaxInt SeqSeq TypeMismatch
caafbf18b39d0319b565bbae651355396c461e63 NumUnaryMinus SeqSeq TypeMismatch
85ef0f3a38950f77f3457c321b804538754e66c8 NumUnaryMinus SeqSeq TypeMismatch
924077e6fdec6d3f1dbcfb9e35fe8f12f237bea8 NumPlus SeqSeq TypeMismatch
01591894af085d04e2749124230e9abb9acddbaf NumPlus SeqSeq TypeMismatch
62f42ac59bf879cae8bd43a46bdbac82ad9c817e NumMinus SeqSeq TypeMismatch
8a3bb2a164d95e720f1cad243a6124ad8926ffcd NumMinus SeqSeq TypeMismatch
9d1da54aa4c09e337d2337b2e0405306f1dd9f6b NumMul SeqSeq TypeMismatch
1b00f7c5889bb1d3f29632336f1c8e6fdc95b74a NumMul SeqSeq TypeMismatch
7622a0d7e304bd633f064435b78f923383fe8d5e NumDiv SeqSeq TypeMismatch
80ff9d5e3915fccd0855fa501d17f28e85814f74 NumDiv SeqSeq TypeMismatch
d12f2dd12e942d57a0f5fc445524470fb26a1ad3 NumMod SeqSeq TypeMismatch
08cd4717ec380995e8cffe54fbb20cc07ee66f99 NumMod SeqSeq TypeMismatch
e6aa80fc0a1ba81091c4ef16913c42e884117085 NumPow SeqSeq TypeMismatch
7f129e4d098edc3ecc4d38442d09bbdc7715ba34 NumPow SeqSeq TypeMismatch
80d47356f32c80cfd87d377208816bd492b27524 NumGt SeqSeq TypeMismatch
34e90493fff604fa6686474d556870980df81a9f NumGt SeqSeq TypeMismatch
27b0232f8f4072bec62b2765dc9f78a1383d5cd0 NumGe SeqSeq TypeMismatch
1dac63c5f4c8cc7251f29e63391fabe2a5491c1b NumGe SeqSeq TypeMismatch
ee65fa30920394dc9f36f8ccbbb4d8b2bb150be2 NumLt SeqSeq TypeMismatch
752f88fd571548822cbff1e930be06b0fab4b6ef NumLt SeqSeq TypeMismatch
bc6ee24574d2386a70cb0cbedc25c407366543a0 NumLe SeqSeq TypeMismatch
3129985182170e8755a281f7c76b63d5acc717c6 NumLe SeqSeq TypeMismatch
193ef6769fe5a294baf8d3b0355317119f639652 DefFun SeqSeq TypeMismatch
ba9639dac64dd2bc28bd014754074277d34bd4fb DefFun SeqSeq TypeMismatch
d3fa5e4bf8b0bc5df147e4c67686b978016b88b5 LetDefFun SeqSeq TypeMismatch
a7c3cbbd7754bf700d78eec494ddb2fa4caaa15d LetDefFun SeqSeq TypeMismatch
0e8bf15cbad8912c0ccb2afce507821ad3e3efe3 DefFunRecursive SeqSeq TypeMismatch
738d535682a56321fdde4c792f77a42204bea652 DefFunRecursive SeqSeq TypeMismatch
c1b6b4cfddc4b2bc2d4c9bdbb2a85812c896972a LetDefFunRecursive SeqSeq TypeMismatch
9b3ea2d022314e4ed93eb71434c1755bead199eb LetDefFunRecursive SeqSeq TypeMismatch
27114747df1c76f0c83f919273dfbbe5ff6d9bea DefFunInDef SeqSeq TypeMismatch
b5f260e32037d718f70609c0839b29dac338d5b5 DefFunInDef SeqSeq TypeMismatch
2fabaedc89741764a1a5cda4be4014978f853b70 LetDefFunInDef SeqSeq TypeMismatch
c892cff392f4c95e29d85c06402199e5c486e1d4 LetDefFunInDef SeqSeq TypeMismatch
a3470e69e682d8075d4b8c97df5ad9c6d553e2e2 Def0 SeqSeq TypeMismatch
7aa7fd2312a0a4570c0b5e5b8f0a39f92c448c84 Def0 SeqSeq TypeMismatch
6d4bef8da069efbb331dcfd89421656dd4946432 LetDef0 SeqSeq TypeMismatch
55a470a9f71eab06b0fa6485653f4c869818b237 LetDef0 SeqSeq TypeMismatch
44ecb42035970ae8eb6eabf10321834070dd89a5 Def1 SeqSeq TypeMismatch
dfdf8ef510f8f3bbf66c41c43ca36a3b17c377e3 Def1 SeqSeq TypeMismatch
0ac59bbfd6007c201799df8a7223ea984ab9393a LetDef1 SeqSeq TypeMismatch
a586543861b266b0ed103d24fda1b5b10a2ec778 LetDef1 SeqSeq TypeMismatch
6a6acffc4c7233a192c7fe8321d1a47c5ff75298 Def2 SeqSeq TypeMismatch
0fa9339c0b71a1ff6bb805ce988ff9fbec00ffb5 Def2 SeqSeq TypeMismatch
41b552a742d3f5b324f393188f8266b81e66607c LetDef2 SeqSeq TypeMismatch
12b71e6de1017bbcb7fd28f8d28922bb57a379b2 LetDef2 SeqSeq TypeMismatch
2141037734a378544620dfc70fb0e8635addda2b Def1Recursive SeqSeq TypeMismatch
144899cd7f2a45d384b1c8d8b011d02034efba5e Def1Recursive SeqSeq TypeMismatch
186c21db99892c6dc589fa0d9ca635d52b6534a9 LetDef1Recursive SeqSeq TypeMismatch
719fdaff0773a4c3069f98d6069da0594ce18e0b LetDef1Recursive SeqSeq TypeMismatch
7628b1c8ec4b6ca9309da5c76062889c1e873101 Extends SeqSeq TypeMismatch
072bd736f9640023286bb13206166f9fed1cb2b2 Extends SeqSeq TypeMismatch
a2ab33255c24e56578a64d392f4a7fc0d4980f34 ExtendsInDifferentFolder SeqSeq TypeMismatch
f2333bdd7bd3156c7ad30a95dbe0316970cbe6e3 ExtendsInDifferentFolder SeqSeq TypeMismatch
59b601c1f7eb5aad0c7746d99b1598f8186ed2c8 Variable SeqSeq TypeMismatch
733da108cdeeb307adb3ebc2587c3acbc607ba89 Variable SeqSeq TypeMismatch
ed5e26013271ed3e887d28da11966191aaa4fc21 VariableViewExclude SeqSeq TypeMismatch
51086212234dc7d69be81751af663589e6272422 VariableViewExclude SeqSeq TypeMismatch
d43116ac99f5fb4598f2f340a29bc5bbe3fb9ca4 Constant SeqSeq TypeMismatch
013eb89a1c97e249804729089a712e7a1feff510 Constant SeqSeq TypeMismatch
a587745b02fe57e88fa68b8a2ad0c9ed92dda088 ConstantModelValue SeqSeq TypeMismatch
f514ebb59e82c5eb871b6cf7e2b3d688d4b94365 ConstantModelValue SeqSeq TypeMismatch
fb6157cdd16df720e47041a31a6371b6d6158db1 ConstantRank1 SeqSeq TypeMismatch
5c6d45ddf1651ed3dd9ec7b557b5e4ba6c5f7c2b ConstantRank1 SeqSeq TypeMismatch
92a86945b0ee1c25d002a3f7bd2b3180f8aa0ecd Instance SeqSeq TypeMismatch
5ec9f389b5dc65b886b28ecbfb33f45c0bf5ead9 Instance SeqSeq TypeMismatch
9a84fd8e75849812292ce74c5459032daa5eddd3 InstanceWith SeqSeq TypeMismatch
21a159f2b31b9c5aa7b96ecc539122c420ecb7a8 InstanceWith SeqSeq TypeMismatch
188898b772644e1774651e96f642c583240f45fb InstanceNamed SeqSeq TypeMismatch
eea90a3563077ee2fa0491507753f41cc18b2087 InstanceNamed SeqSeq TypeMismatch
19d39df6fd80cac4dbdc256ae3ee107e682d7973 InstanceNamedWith SeqSeq TypeMismatch
ef8042f672a93f014de14ca8d88dc9e821f499e3 InstanceNamedWith SeqSeq TypeMismatch
bad1aeb49a21baf37d39fefc694a6befb32da13d InstanceInFolder SeqSeq TypeMismatch
47e25fe59b2c93dab9dcee696165ca545b6aa5d1 InstanceInFolder SeqSeq TypeMismatch
cc450e40664032654d4c29e36b1576c874f5adf0 InstanceWithInFolder SeqSeq TypeMismatch
984e507ad06cfc7cf8ff358faad261397918c121 InstanceWithInFolder SeqSeq TypeMismatch
451b55ff8d301e7e508c4f8e9ba78de2d8151cdd InstanceNamedInFolder SeqSeq TypeMismatch
6a913c17a35d2853312a14d4421d0e11a139c64a InstanceNamedInFolder SeqSeq TypeMismatch
024733131a0fb12fdf748c9f048487cd2223bb83 InstanceNamedWithInFolder SeqSeq TypeMismatch
4fd868eed1889ed7d6cae72db9efa47f7c30bde8 InstanceNamedWithInFolder SeqSeq TypeMismatch
7ec52837ec813384a7e76b04cbc393d0c655a97b Enabled SeqSeq TypeMismatch
fbcab862defc5be842f73aa23189646133393b20 Enabled SeqSeq TypeMismatch
689148eb21ea882095e0dfdfa75fbbc0eef76740 Assume SeqSeq TypeMismatch
209c864954e6aa2bf89665c82209b089d940bcfb Assume SeqSeq TypeMismatch
e0299913545d97f7225078fc346275cf9059a97b AssumeNamed SeqSeq TypeMismatch
81a3b18424ba8c8a51b1da05b00773fad4b51cbe AssumeNamed SeqSeq TypeMismatch
1e0a44ccdcc63c6733ead5c04769629d0c83a881 Lambda SeqSeq TypeMismatch
064f0828981b29eaf0a177c615e70852bb0de24c Lambda SeqSeq TypeMismatch
ea7f4cb284baf47cdd06a6fc211b8a3c5517fd8f Cross2 SeqSeq TypeMismatch
df021f45017be4beb2a666178825f42f74bb691e Cross2 SeqSeq TypeMismatch
6d9aa7154d0bb9fb9fec715ae754f17ab6409c09 Cross3 SeqSeq TypeMismatch
3a03a360da15d11500b01adff8bf6b789fc38820 Cross3 SeqSeq TypeMismatch
39ed3a0b990efaa5bb14dd93f6599cbe5832b692 SetDiff SeqSeq TypeMismatch
7b2891dc9e171786f6c710d3d9f5338066fc56de SetDiff SeqSeq TypeMismatch
c8c58e2be86cab68be4493205c0d43872fc87654 SetUnion SeqSeq TypeMismatch
f203407689bbdc9ef1a3161e1e941ecec61b1553 SetUnion SeqSeq TypeMismatch
4a367e131c91bcc404e292f947d5c1114d20926e SetIntersect SeqSeq TypeMismatch
506d28b69fe485d5ec8faf3d51d6a394c8642276 SetIntersect SeqSeq TypeMismatch
8aa7e765d55420d4dafb70c062ecd34e4283f0c0 SubsetEq SeqSeq TypeMismatch
b44c297472cab6f396cca9ae90d791102202378e SubsetEq SeqSeq TypeMismatch
aa0254f4907449091858bca286d53f2fa4b5fc79 IfCond SeqSeq TypeMismatch
b1de9c3823e504634b6962596bd1faf08634522f IfCond SeqSeq TypeMismatch
52b96b8ce941eaaedb1e4c4ff35aa8491c2bba39 IfThen SeqSeq TypeMismatch
893e4353cc5b6c6870e9767393faa3c3bfcc4cb9 IfThen SeqSeq TypeMismatch
c2418d0565b1304ee004412a9703827d316ce997 IfElse SeqSeq TypeMismatch
e26b9ca71a1bc4d8c48737b9881fef7187ad0cef IfElse SeqSeq TypeMismatch
e4ac824b5f99ebfefcc74090281ed889635ea153 Subset SeqSeq TypeMismatch
684683d89057305464fc627221500d7e4987f3ec Subset SeqSeq TypeMismatch
1328da1d609f060c94b7753f641aa0b31211c13e Domain SeqSeq TypeMismatch
2f2ececff717616e8494ef9921041f3375fd15a7 Domain SeqSeq TypeMismatch
434d9ee50702c203645386c0d67ab3424917e8df Union SeqSeq TypeMismatch
7984247ef4aac9babdb60f49a288f3cdb0d5f677 Union SeqSeq TypeMismatch
5ee0d34506a7a3a48537491271277bccb0649b52 Unchanged SeqSeq TypeMismatch
038a2debf3544d5b34a26d1aa6c18def72d300c9 Unchanged SeqSeq TypeMismatch
c5e15eb1ee1117d8f71985406e9db95d0d2a44c3 Equivalence SeqSeq TypeMismatch
c0e50dad684b0f8c2b1001af136db56aa9782222 Equivalence SeqSeq TypeMismatch
0d862e43e43a3d0c416e6ab0104b234e04a8a0f0 StringEmpty SeqSeq TypeMismatch
c0e46bd0ac767300593ba1c1b0e2cc99caee4a08 StringEmpty SeqSeq TypeMismatch
9541a361f01dd6eaba166fd76b2d4347c54b0c35 String SeqSeq TypeMismatch
d33c2fa683240a3a9caaa6ceddf9ba443d306168 String SeqSeq TypeMismatch
1cb75aaffe3930eee7e2c09d822ee878ef781055 SeqLen SeqSeq TypeMismatch
7a16f5d76c33db939529c4e4a842f5947dbc42fb SeqLen SeqSeq TypeMismatch
47c11e229aff535dca75491e392641d78df9b60b SeqConcat SeqSeq TypeMismatch
81809aca408554a8456f87cc49e203ec5c03f00b SeqConcat SeqSeq TypeMismatch
fa3a3f98db1876a08aacfbccb776b8a33ce7a37e NatSet SeqSeq TypeMismatch
75d695b563db92e0f89a4f0a742bb3600b441d58 NatSet SeqSeq TypeMismatch
658727b8a303e0e7d466728dbc374f86b9d49c4d IntSet SeqSeq TypeMismatch
5285ed4a384aa52d9ffd64838d87e7dd8656c2db IntSet SeqSeq TypeMismatch
24c4b74d9bbddf024540aa0eff25812f2458a953 StringSet SeqSeq TypeMismatch
222753a5ba4f4a985f0a095b91badd0f327ce7a6 StringSet SeqSeq TypeMismatch
d1b1e2baf8c6d316f4bb6a97b6ae8c2493045735 SeqSelectSeq SeqSeq TypeMismatch
8020559abb8eedf4e3e4a2d6d9e889d25e523a11 SeqSelectSeq SeqSeq TypeMismatch
4aaec6484fc3ceb455091f421f387b2b4fc368cf SeqSubSeq SeqSeq TypeMismatch
0f8fa7afa5818b233bb43542e705cc6261f013ea SeqSubSeq SeqSeq TypeMismatch
26e06c835c0138f18a785b96de97e177b9756aa3 NumRange SeqSeq TypeMismatch
e4f0ff6b2644521f27b682851363e30b46fb65e6 NumRange SeqSeq TypeMismatch
dddcc547a4dd3d0b642015e25986fefd52d16fe4 TlcSingletonFun SeqSeq TypeMismatch
d8b480085b97620a64c326e58817efaf7a0d21bf TlcSingletonFun SeqSeq TypeMismatch
8b517a38b92dde098a1706f7dac601e2bc842bfa TlcExtendFun SeqSeq TypeMismatch
c927620f8f704fbd3a9d6d4358a0652971cc21f9 TlcExtendFun SeqSeq TypeMismatch
122e8fda1fcf04e77f49bb7755bd979b699a388b TlcPermuteFun SeqSeq TypeMismatch
d8fc16317c1ca69b8b7370a65c833de0bce746f1 TlcPermuteFun SeqSeq TypeMismatch
f879f5bf5ae673ce3d96c23cd5040d8fe9fd1a15 TlcSortSeq SeqSeq TypeMismatch
5de212823e4a083069d22ce379ad814482b04d30 TlcSortSeq SeqSeq TypeMismatch
590728bb8e469fe6eac68d4c12a4e368ce3a47ea TlcEval SeqSeq TypeMismatch
cbf5403175cf2df096c4cfb82b8bc6ff087a84d7 TlcEval SeqSeq TypeMismatch
3d50ef17527a463fd67991db1fe143a20aa658ce BagBagToSet SeqSeq TypeMismatch
0484f12a588db8b99f2e3ef0fcf0885a64b41a6a BagBagToSet SeqSeq TypeMismatch
6103e0a69420147c31e156d476a46c2e645956bc BagSetToBag SeqSeq TypeMismatch
6009a1c6adb1479272aca39bae13c1977528aab0 BagSetToBag SeqSeq TypeMismatch
636fd90bc31acd4fd55f95712f12949ccf47f1b2 BagBagIn SeqSeq TypeMismatch
5117361f7ed7b6dd9e4ddb78105d5524d80ee657 BagBagIn SeqSeq TypeMismatch
9bce50ff9976c72208b785d1681c0836ba0c6826 BagEmptyBag SeqSeq TypeMismatch
a433adb2a458570fa2b460a5f15c0e17aaf478b6 BagEmptyBag SeqSeq TypeMismatch
4c3b380a0016156b5960c13b6c3ed4194b6c6fb9 BagAddBag SeqSeq TypeMismatch
c1f0435713ea4f29dfb2071c702120c644671a9c BagAddBag SeqSeq TypeMismatch
130ab6cdb85800010ceb493a8925d0df4c28a200 BagBagSub SeqSeq TypeMismatch
8ab3b421368175a9f496ab5350ace64a4d0bf9d1 BagBagSub SeqSeq TypeMismatch
b045099d41c722c82d249754dc69452e2f14e943 BagCopiesIn SeqSeq TypeMismatch
eb27f06cf855061a1ec541f76e9e974b1af9f8d8 BagCopiesIn SeqSeq TypeMismatch
6f2bc3e87a255367b8ed500a6a300d2159ab5cf3 BagSubsetEqBag SeqSeq TypeMismatch
d7d8ecf1f1243cb3821f123b5e0b7bef2ee9b94d BagSubsetEqBag SeqSeq TypeMismatch
a7d46db6ca3fbe94d9b261096ff54d505b566075 BagBagUnion SeqSeq TypeMismatch
80d64911c2451fd663134ab60a610ebfda51a69c BagBagUnion SeqSeq TypeMismatch
7cdf0dd935d85e3fbb441677798677907f7c1c06 BagBagCardinality SeqSeq TypeMismatch
029a5b79fcc39cef6396971072b3d07f82f12656 BagBagCardinality SeqSeq TypeMismatch
7614a38a07eade882c8c8234d145b212b337aaeb BagBagOfAll SeqSeq TypeMismatch
e727d31aaf92d79ccd86cf714515f03ec243c1ca BagBagOfAll SeqSeq TypeMismatch
1a1f789fbb43d25b9f5ea59659b211c23023555c BagSubBag SeqSeq TypeMismatch
c401dd3561b5fed3a369e4678bbb24111bf81368 BagSubBag SeqSeq TypeMismatch
fce19a3cd5bd7dc4128dff7c67a03f9961ea14c9 FiniteSetsCardinality SeqSeq TypeMismatch
b07de866daa91fde67d611c9c955a16e1df43ef3 FiniteSetsCardinality SeqSeq TypeMismatch
6cba5dc10469c3232e7b18e0c158383210ec04c1 SeqHead SeqSeq TypeMismatch
8addbd1023373d7b4083ad32a94ee1349dafcb7b SeqHead SeqSeq TypeMismatch
ad1ef6be4ca73755aff7a76e6795069f327f784f SeqTail SeqSeq TypeMismatch
917b0703810df55005eb3f6fbee5e2eb74cb678a SeqTail SeqSeq TypeMismatch
42f78646a56610faf6032a3f726029524fc0ae38 SeqAppend SeqSeq TypeMismatch
edd2e8cd5d3e3b84561aa3317e720bb6b08bf57e SeqAppend SeqSeq TypeMismatch