Index

Skipped feature combinations by case feature Set2InDef

Id Case Feature Plug Feature Skip Reason
ff6ad32283954a2c5a48fd3f85fe0861d7fe6b05 Set2InDef OneLineComment TypeMismatch
114425c529edcf9acd089407f8d3835d3fa0cafc Set2InDef OneLineComment TypeMismatch
2513f15f3a0e1a42dbc2733a8ab737f7491b760e Set2InDef MultiLineComment TypeMismatch
9606c0eaa10c9cd3c5c8f78c8f709edb2355d4b7 Set2InDef MultiLineComment TypeMismatch
6390c0675dfedfaf64c7dc4f5e4e4e29e8a6b3f3 Set2InDef BoolTrue TypeMismatch
7eb1e0a7b52c26f6e2792b65fc0948446ca78e89 Set2InDef BoolTrue TypeMismatch
b6ea277b73f8facaf2984795301786b584a18444 Set2InDef BoolFalse TypeMismatch
0e5261451f32582d3401fa6c4c831b7eccfdcacb Set2InDef BoolFalse TypeMismatch
8a120d5b42a2d9ea19d3db503e41de7a7f2bb491 Set2InDef BoolSet TypeMismatch
871adffcb3b4a72ef8b468f3d16673075be0a15b Set2InDef BoolSet TypeMismatch
06bdb1352b9dfcb6103f1aedf527202522dd095e Set2InDef And TypeMismatch
9580fd758e333746eda5dfb6a4ddde87df44f30d Set2InDef And TypeMismatch
170bbcde8efda95504c1691902df655705c0aedb Set2InDef AndMultiLine TypeMismatch
842037a97d8163639031303305e43d0b08157e24 Set2InDef AndMultiLine TypeMismatch
abeca3144b5e8ba31f1f1b813f5b0e25eb16161b Set2InDef Imply TypeMismatch
ffe9c34632b3514ad0d0dba201c8275477a1faa3 Set2InDef Imply TypeMismatch
2b16de249e8548fc5a8becad66666e8a0c56d794 Set2InDef Not TypeMismatch
f5d335a26e2997fb05d893b76270b6dda244b45d Set2InDef Not TypeMismatch
5ef7187d9874b202f7543664327e7d76b85b0916 Set2InDef Or TypeMismatch
6773c81f4343cf8458e654e9252e309ef6786910 Set2InDef Or TypeMismatch
dd4749d3fa02f44e5f75f3ed1389a40ddb408b9e Set2InDef OrMultiLine TypeMismatch
609dc1a90bdbac9dc8cd8039956f3337e44be5a7 Set2InDef OrMultiLine TypeMismatch
833ac1d16949e355ea88c39769e1d82ccfc3bf2f Set2InDef AndProp KindMismatch
ed6036dd0758f1b0762e43e3465a92824a9bbcf7 Set2InDef AndProp KindMismatch
dd0642ffdad9b2686437f8cc86a07230079418e3 Set2InDef Boxed KindMismatch
05a79aa23481ca7ec6031328cfb3f961becee689 Set2InDef Boxed KindMismatch
43145628bb2dc9793356145345631f78c4f779f5 Set2InDef Eq TypeMismatch
2482c6dd2b0594f4ed1c954b8748f9a7d0f30759 Set2InDef Eq TypeMismatch
d0d94f501ca34fe9187f336a116a5ee5e5f1a571 Set2InDef Ne TypeMismatch
09eca09ded0f603fcb7129317b480df6c25c6135 Set2InDef Ne TypeMismatch
59acafc13646c35e7c930e84fa7934b11c592924 Set2InDef Let TypeMismatch
fdffbffbf46348c8a150910a525716c19be4a7be Set2InDef Let TypeMismatch
478110c296276f9490f0e050bec2e9d38c3d9a9a Set2InDef SetEmpty TypeMismatch
13038649fd09deedf643e9424c843a12000dcbf9 Set2InDef SetEmpty TypeMismatch
83bac444681a6c0ef75aa01ff24c8c894b0ecfa4 Set2InDef Set0 TypeMismatch
6e1b03877f54e0bbc5c1834b3901c7b6c37a5b10 Set2InDef Set0 TypeMismatch
6050f057ab028c1947c1add028c21842ca71174e Set2InDef Set1 TypeMismatch
a238ef733d110fcb57be967bce11fa62cea9807b Set2InDef Set1 TypeMismatch
9d20456645bfa701c0d33821307181c80606b93d Set2InDef Set2 TypeMismatch
345a38d1cc2eb2b0359aacb0306b7ae89b1f1995 Set2InDef Set2 TypeMismatch
6c4d508eaa4cfe1775aa084037b1ae455f285791 Set2InDef Set1InDef AlreadyCombined
72f71d8452fd8a12924044962c52d80ad7aad064 Set2InDef Set1InDef AlreadyCombined
a3d33fe88a7c9bbe339626f7f087098478dfce24 Set2InDef Set2InDef AlreadyCombined
27577302c7ac708a08125687b7fed4460157fd48 Set2InDef Set2InDef AlreadyCombined
4cf17b14c3ecccdda55bde2641173d2bbd73c44d Set2InDef Fun TypeMismatch
c82cabc68822ed41d92c591b05657c29c74e8fd3 Set2InDef Fun TypeMismatch
b685d8801e763485388c46f9804b98df118e46f0 Set2InDef FunInDef AlreadyCombined
83594bf7d156c174b6472f3b41cd7287272dfe2e Set2InDef FunInDef AlreadyCombined
3a9623862a088763c42f908290b2115b1f59acd3 Set2InDef In TypeMismatch
53dd71a6aef44ab43c77eb9c0728862f3dca0747 Set2InDef In TypeMismatch
459963a95e3db74bcd09e0a8d9f6a07e00dd8f82 Set2InDef NotIn TypeMismatch
af7044ed734870807170eaf883fd29273c4fddf5 Set2InDef NotIn TypeMismatch
e81836f671e6c5702588066898cf12a1a67fcb68 Set2InDef Exists TypeMismatch
0c2b7647e66a377d58743b907890018ed41d4018 Set2InDef Exists TypeMismatch
46a6adbb228f6f875a52721653e15d2d1536d0b0 Set2InDef Forall TypeMismatch
a3705a38a66d4266ad965564c4e3512683a8349d Set2InDef Forall TypeMismatch
cd3a04e15fa947711ec0058c4019dc1f59cdd524 Set2InDef ExistsInDef AlreadyCombined
04d7cd8b13104a4bd27d7e87c8fc248f76a6af56 Set2InDef ExistsInDef AlreadyCombined
153ecfc88322ebd90abf3b9baee175c027c6394c Set2InDef ForallInDef AlreadyCombined
722662119ca18f84ab8b74139fafe9081f9d325d Set2InDef ForallInDef AlreadyCombined
1ed4099b0188ea3b97da76fe8d43729c30795051 Set2InDef Choose TypeMismatch
1b5873db1aef47705a4e09d71c695d8d4f03044b Set2InDef Choose TypeMismatch
586d37217eb4d95cb71456ca74290961594887c5 Set2InDef ChooseInDef AlreadyCombined
739791f73bca2acffec712997f4c54644cb9d264 Set2InDef ChooseInDef AlreadyCombined
a147c7a8991fb6f371b9760ba38e96ce109baae8 Set2InDef Record TypeMismatch
9b2b5c86403d38bb6a49fa9fe3b0a0ed44ca7f76 Set2InDef Record TypeMismatch
da41aa4569032bea236ee76466f6bc105faf2230 Set2InDef Tuple TypeMismatch
6f4c871f4ac3ec07f72d8568359dfe290cc3e411 Set2InDef Tuple TypeMismatch
ff1340ae7847057393c120fdc2452d166c97753c Set2InDef TupleEmpty TypeMismatch
0a7a594ecaa0ef295908fa6ddee0fb47fc3e6588 Set2InDef TupleEmpty TypeMismatch
3b927e24c546842a1fb2b169fc283516ca7b8bac Set2InDef FunApp TypeMismatch
4f49b8fb77506bdc4b0deaa476f4b01c36754bee Set2InDef FunApp TypeMismatch
ea5ce4cc454cdbe30e6dba39462ac074a0ebd796 Set2InDef Except0 CanNotBePlug
d4da3c4d924020223dfea9c9bbbda32388424dbd Set2InDef Except0 CanNotBePlug
f863fe19a89e81dd2c4fc7210a9c1cb09f133e62 Set2InDef Except1Fun CanNotBePlug
dc9803c46f962b498c4a234cd4528ce544727ae8 Set2InDef Except1Fun CanNotBePlug
240a4389552538ffb1a623669eab110fc967958a Set2InDef Except1FunWithAt CanNotBePlug
86517b6a2a1306da49c0ad036517b757862de740 Set2InDef Except1FunWithAt CanNotBePlug
6b05161fb0d0439bf8df6562050256d38864314a Set2InDef Except1Rec CanNotBePlug
60456686a68f3e15452a56a2f13cf2fa4784561c Set2InDef Except1Rec CanNotBePlug
d49b13054aa6827021201721497f7112b59a7d04 Set2InDef Except1RecWithAt CanNotBePlug
8b3f4445488cfc0edaa0bb0eb6a3586cb9623264 Set2InDef Except1RecWithAt CanNotBePlug
cf6068cfe7d388b27dfad3abcfcf19740e845961 Set2InDef Except2Fun CanNotBePlug
bf6d0d15c1aaf0159aa0e35c82d17f54bfc2ae0a Set2InDef Except2Fun CanNotBePlug
491b36bae6debdc0c040520d5a140e6911b28517 Set2InDef Except2FunTuple CanNotBePlug
1edb45b2c21161eca6a0ebce05a27f331f6e3c87 Set2InDef Except2FunTuple CanNotBePlug
c3c8cc35131a5ef2ebec266dbbdf314317d03a5d Set2InDef Prime TypeMismatch
42f4a91ce014c65311ed4a5e0cd0ac183302e7ca Set2InDef Prime TypeMismatch
644a9d5cd8880e33c7a987409ea137356cb222ae Set2InDef NumZero TypeMismatch
6a187c5e28b841d042d440f98e9848f2715c6693 Set2InDef NumZero TypeMismatch
043c753920d011df42b29aa675726e2aeb48877c Set2InDef NumOne TypeMismatch
b5c9cd5fdc2e94a8246e7b66cbbf52e080800c96 Set2InDef NumOne TypeMismatch
3366edb66b47a4dd3b7084a2fc829628f6b35a0f Set2InDef NumMaxInt TypeMismatch
b40113f653b5ebcad9f590f5338dc6dc388f34d5 Set2InDef NumMaxInt TypeMismatch
2dad9e92d438785fb03efbf079b0ca692d51a3b8 Set2InDef NumUnaryMinus TypeMismatch
d26e1cb5eeb2157b1c3cbf8d7889ba0488b822a2 Set2InDef NumUnaryMinus TypeMismatch
69b852755c2a22ab7cc62a00654d4ed63f2bba77 Set2InDef NumPlus TypeMismatch
5f5a2cd49ed4dd48e296a67cd33cc6b20c644d1b Set2InDef NumPlus TypeMismatch
856a6796ea9d4ed900650f86410ee504114c5bd9 Set2InDef NumMinus TypeMismatch
42857265c8d26bfe545e4e2ff20c24b654be00db Set2InDef NumMinus TypeMismatch
2b65df561dd45bf9004a12d6e32a9d51d2039974 Set2InDef NumMul TypeMismatch
621de07446a622797713a8b0e4ebc27cdf8ce74c Set2InDef NumMul TypeMismatch
3ff8392531efe81417ac7842635bd4257d79013d Set2InDef NumDiv TypeMismatch
d033e19ae0a40e4aad8a48747c416283186d609e Set2InDef NumDiv TypeMismatch
849447464e62d7cafe826a05fb3bf1484007364a Set2InDef NumMod TypeMismatch
d5dee3a203517785342cfec76a10c0cde86f6589 Set2InDef NumMod TypeMismatch
f909fb4f4a8e66a450286aa6947398014c98085f Set2InDef NumPow TypeMismatch
a1937fd8fcdccf419e5de900a5342ad9fbb2be46 Set2InDef NumPow TypeMismatch
86ab1e8bb9101d45428091a72a3865633c50570f Set2InDef NumGt TypeMismatch
a5e958165e5e3fec71ec987fc1b7dc996fdf4786 Set2InDef NumGt TypeMismatch
a872fe0db4608ad8ef98a7353e0c3ebd7f564bde Set2InDef NumGe TypeMismatch
714f9714d1b6ac89e302d48520a4c65e69537518 Set2InDef NumGe TypeMismatch
c088af59ee02fec037a2209c905dd76cebb4f8ff Set2InDef NumLt TypeMismatch
ced1839aa2badae78852896875ee8aee613a624e Set2InDef NumLt TypeMismatch
0b8bdb0d23e727acbaf621583e9de6ffcdc9b8f3 Set2InDef NumLe TypeMismatch
246171e0545a4558c35c10cd620a46c880d7e8e6 Set2InDef NumLe TypeMismatch
dd2cd86675178008cf3da4b5ee04a069283c5962 Set2InDef DefFun TypeMismatch
5250d9fc111b54190d9f51fd42c7edc9d7bece17 Set2InDef DefFun TypeMismatch
e5e7f279bfa5ea2e14053b8c8850504c46f5090e Set2InDef LetDefFun TypeMismatch
a814308f6eae15f5a6d8c3d093822767ace5523c Set2InDef LetDefFun TypeMismatch
c39e8b073d963e134dda0b1ab602052c73454b31 Set2InDef DefFunRecursive TypeMismatch
bcec68d9a50cc9fe570e2030e65b84f82d65d429 Set2InDef DefFunRecursive TypeMismatch
434ccb94edda740449659250fb3127906679f6da Set2InDef LetDefFunRecursive TypeMismatch
7463bc6953c8a8caef530bddf76cd433ff6b149d Set2InDef LetDefFunRecursive TypeMismatch
c99feb5de8a11cf24c8792c41278d19b7fcfa6f6 Set2InDef DefFunInDef AlreadyCombined
0088bda98d147222d6f5dabca9c1282db30a1f22 Set2InDef DefFunInDef AlreadyCombined
0086754e103f67700213b32aec6456f32abb4774 Set2InDef LetDefFunInDef AlreadyCombined
d7ff68983525d4ac89d53ae99fc21ffe03767dc5 Set2InDef LetDefFunInDef AlreadyCombined
796d374d99b7b293b0d3b63b0789c36366bcf69a Set2InDef Def0 TypeMismatch
a8dd9dc2fe290cfe152b64285a60534de247a304 Set2InDef Def0 TypeMismatch
fdb013dcc4affc615d3b7278f8ea87d831d95091 Set2InDef LetDef0 TypeMismatch
693c42317cc00975703bf0ba25d776b07e877747 Set2InDef LetDef0 TypeMismatch
d8403655d41bb4b44a9904d7147ffad2c36aad3d Set2InDef Def1 TypeMismatch
c09026acc64ca7910ce41d6e1de2e16d532f67ce Set2InDef Def1 TypeMismatch
b0194c7cbb5869f7807593a88622b44c0f1f97dc Set2InDef LetDef1 TypeMismatch
38b4b28ec1396be406f6a53bae6f18d2f567a5d8 Set2InDef LetDef1 TypeMismatch
e54ddb102a4d9d98693cacf02b0b070518bf465d Set2InDef Def2 TypeMismatch
29885a32a1b225b601001db775d019ae4395861a Set2InDef Def2 TypeMismatch
0377713329f57a70c45af754e2276dbe6d05acb1 Set2InDef LetDef2 TypeMismatch
278c785df3941fe234fb6fa24a4e49f23b54fbf0 Set2InDef LetDef2 TypeMismatch
a3d6a5b7ab854e202bc901a3a0b278e71a2b7309 Set2InDef Def1Recursive TypeMismatch
9a9eb30d54016ebe15bfe7a9d96aeeb8a07de48a Set2InDef Def1Recursive TypeMismatch
3cbf73dd7af4bfaa20dc64ded35f2249db277825 Set2InDef LetDef1Recursive TypeMismatch
ca02b27047c37d2ac5e2ff849544477b96b22209 Set2InDef LetDef1Recursive TypeMismatch
dfca5340fe19e501fcc083805dd9602777aef7de Set2InDef Extends TypeMismatch
a5c49b716e9aa3a3b3492d5229a85acd751de78b Set2InDef Extends TypeMismatch
66735afa412e60a3c6208ce54defe3635e90ef66 Set2InDef ExtendsInDifferentFolder TypeMismatch
8a1b68a60f0a511276180dc2045f9414a734d2e3 Set2InDef ExtendsInDifferentFolder TypeMismatch
cc053f1906e4fd1caa37cfd0676aec463169d688 Set2InDef Variable TypeMismatch
8d5252690828e4e6a373bdb26eafb2dcb2179f9e Set2InDef Variable TypeMismatch
ab3a0b188119647af572f24d3c3476424fee9701 Set2InDef VariableViewExclude VariableExcludedFromView
763903cb4442cc75fcfff85c3cd413465b8824bc Set2InDef VariableViewExclude VariableExcludedFromView
35a489702b51185f7141f3d681921fc1d7821848 Set2InDef Constant TypeMismatch
61460a8b1b56c25e3e65acd955e5185f6e2085fd Set2InDef Constant TypeMismatch
3786e54527feaa160955b5dd2d6ab3940b7e82a4 Set2InDef ConstantModelValue ModelValueCanNotBeUsed
fddf877fce21e43db7f6ff737650e71d857b949c Set2InDef ConstantModelValue ModelValueCanNotBeUsed
306b354519e63b9fd31468fb7a5143075fc24df2 Set2InDef ConstantRank1 TypeMismatch
1dfb513541576bc07219794c7dae892d24415426 Set2InDef ConstantRank1 TypeMismatch
1808592bf2db13a3795713d71fdbe153297279b2 Set2InDef Instance TypeMismatch
81e80833937fc4616a4c2e8f28ade633b5c0abd4 Set2InDef Instance TypeMismatch
9c471ac02297734c4e089aea581a36bb5624273a Set2InDef InstanceWith TypeMismatch
4a7046a43dcf25a63cc7e00b3dfc01fe90b33119 Set2InDef InstanceWith TypeMismatch
af6a955bb48eafe477685670ccad2277aed7c2cb Set2InDef InstanceNamed TypeMismatch
02d8d76aaf722e5da9c8977c847c1ceeaf356c0f Set2InDef InstanceNamed TypeMismatch
4c2320d79addb21156f4b26b81f296252b877122 Set2InDef InstanceNamedWith TypeMismatch
ecae45bd97bd2ee52ab4fe02f2786dfa43f6d176 Set2InDef InstanceNamedWith TypeMismatch
b9513c753bedfb529e9d5224dc28fb40e0a87f4d Set2InDef InstanceInFolder TypeMismatch
1b7775ffb2beacbba0446026f6f51bc97d05cb08 Set2InDef InstanceInFolder TypeMismatch
ab4a931a69f6c63ec9ab063e00b19b6430c5b449 Set2InDef InstanceWithInFolder TypeMismatch
f698cce04bab686f97b42ca1d50fb1acdc8382d6 Set2InDef InstanceWithInFolder TypeMismatch
f3fb224ce06c27160f83d72a823859d06e12553d Set2InDef InstanceNamedInFolder TypeMismatch
0b9842a6e61d7c7e2d4dccec78f90c08bdae2dc8 Set2InDef InstanceNamedInFolder TypeMismatch
18d5031a90de4f7a57d4c861d7cd9650ad5ed352 Set2InDef InstanceNamedWithInFolder TypeMismatch
407a617f773404d293e4d46347df93f538416a7b Set2InDef InstanceNamedWithInFolder TypeMismatch
545a35cbd4a4c4628fecca39d1890ecd760f6329 Set2InDef Enabled TypeMismatch
e50f9cbe8d223a7c698d107637457eeffef9ca0c Set2InDef Enabled TypeMismatch
16f7fb14f27f6efab8bc1a4bcd2a9f68796f1ed7 Set2InDef Assume AssumeIsNotEmbeddable
f55694c2c8301241803a18b1903a1dc4e5378df9 Set2InDef Assume AssumeIsNotEmbeddable
40adf89fce9a56fcb6f4ccb51f2e98104467c18d Set2InDef AssumeNamed AssumeIsNotEmbeddable
4c1942bf151e600d85684bf538faaf7a59afe8fa Set2InDef AssumeNamed AssumeIsNotEmbeddable
222ad0432626e61ae423e442768786a2652c2c25 Set2InDef Lambda TypeMismatch
8083756d263971f7eae52e037457c85a12f4c545 Set2InDef Lambda TypeMismatch
1649b6f8a0b2745b0a9bfe6dfb6995bdb06750c0 Set2InDef Cross2 TypeMismatch
44304542c7c7dca59ee12dc8eeea76a7b57e3aad Set2InDef Cross2 TypeMismatch
07136fd3a950be6404df4de773ae30c30c858197 Set2InDef Cross3 TypeMismatch
e9015677495ee58044f4f8e58bd2b9cc4f391c23 Set2InDef Cross3 TypeMismatch
5c0af76cded16843b3ae666e090957bc4246bc85 Set2InDef FunSet TypeMismatch
90f8312edff3083f4e68bcf2ae0012b19843c4ad Set2InDef FunSet TypeMismatch
e189c60f4944b5f22e2cdb855653cdb92c468c6d Set2InDef RecordSet TypeMismatch
3b18c496f9a50fc0def25d041b141f467e636824 Set2InDef RecordSet TypeMismatch
266e6d3a0122a7866e8c8789a5c463008c17c325 Set2InDef SetDiff TypeMismatch
290c70e280ef0ced5a5464e3f5bece728cfaae09 Set2InDef SetDiff TypeMismatch
0fa5c4f2068489302df81d5bcec457ef53a6d02e Set2InDef SetUnion TypeMismatch
905df353ce786e4590f9e3d84bb7175abdc63e7f Set2InDef SetUnion TypeMismatch
9cec364a95d7fbe2f1f696e863778f7d7b33cef8 Set2InDef SetIntersect TypeMismatch
b6529271d9a513f9f8a15747215094213cae5eb3 Set2InDef SetIntersect TypeMismatch
66a3ceadf02677719116654aa8f2aa7c39a29305 Set2InDef SubsetEq TypeMismatch
5fb03836f8bb1025e85d0d35f1d90d8512dea849 Set2InDef SubsetEq TypeMismatch
9d6d2f26b6bd8b82e41be87d7d5438c48f25b409 Set2InDef IfCond TypeMismatch
74dfb162705ec32e07f001a5be769fd9dd9d0d52 Set2InDef IfCond TypeMismatch
981f82b3025b75828c7de60632e421239be24123 Set2InDef IfThen TypeMismatch
d822476750c6529db6bfebaab732bd35398aed2c Set2InDef IfThen TypeMismatch
cc7f3490b8837d053335649f1873384d6714bcf1 Set2InDef IfElse TypeMismatch
ab325295f4fe80c00e76245fa4a526a5295d5a61 Set2InDef IfElse TypeMismatch
3fcf4a879d3e969f7715256c7c3316a23951ff36 Set2InDef Subset TypeMismatch
6694d27490904016bc8fbf1fe6a01923933b1cda Set2InDef Subset TypeMismatch
7c9f89ba1a3f3de757fa77fbed5d3ceaf9825311 Set2InDef Domain TypeMismatch
753f94118f4a16ebbb207e8bf9b35c20b74fc905 Set2InDef Domain TypeMismatch
59f844027f9e54b3ba00503dcf453d1fedf3363f Set2InDef Union TypeMismatch
47b23def8f3ee714160c097c140e6c121064d9bc Set2InDef Union TypeMismatch
ecc06c83d27bdf6e01da217300d13fde06e75776 Set2InDef Unchanged TypeMismatch
914fc3e98ff7ad0740f90709ed380a656c36fdfb Set2InDef Unchanged TypeMismatch
2d6782c5e81e553f7aa974a3b7c9a739c8488822 Set2InDef Equivalence TypeMismatch
1144db271157e57b98cadefea1996824a2863a0e Set2InDef Equivalence TypeMismatch
6d398ba545b4f1f9322d8967167ede91de4f4574 Set2InDef StringEmpty TypeMismatch
24f373a3e76b0126580314ccfee1a96d5048c9f2 Set2InDef StringEmpty TypeMismatch
0bdc9cf2b2ef18e9ab60d474ad22eca60b82b4fe Set2InDef String TypeMismatch
0d4d69eb0e0ccfca607ec490f839cac48138f93c Set2InDef String TypeMismatch
bfc90798d8657287371090f805326e23b9277a02 Set2InDef SeqLen TypeMismatch
b9d812d2d7149e8909f7542f2d76de19a4b873c8 Set2InDef SeqLen TypeMismatch
033ccc2822967c29dd94f51aa41eea8362e0c1fa Set2InDef SeqConcat TypeMismatch
d2546ee3ef123a4eef07ce2cafb839863281645b Set2InDef SeqConcat TypeMismatch
b8428ba9557366ea8329e5560adc5d1de7ef5e13 Set2InDef SeqSeq TypeMismatch
8d3d54bfe683f17d36da7e0314823ad53456d110 Set2InDef SeqSeq TypeMismatch
f5bc070752e258e5ba9199b1a8069d75097aae0d Set2InDef NatSet TypeMismatch
5edfe4bd6caddab678d35d0683df5a20ac1a68dd Set2InDef NatSet TypeMismatch
a57be1ceadca7c225cbc5c712953a0d88ce940a3 Set2InDef IntSet TypeMismatch
1221c32a363ba834acd464afc6208a630b04dfe0 Set2InDef IntSet TypeMismatch
3941223cc0a45e0ae199342e256f0e5e8479f6dd Set2InDef StringSet TypeMismatch
cf730c2708786718bc1d0db6041bd480bc74bfd7 Set2InDef StringSet TypeMismatch
9292e20ac98a8cfe493cf0285ab7943224cee4d9 Set2InDef SeqSelectSeq TypeMismatch
89106289e0ba2502274f3b32190f8be11893710c Set2InDef SeqSelectSeq TypeMismatch
2b87cfc2f309fb72b34f83b53cc9629fceabbede Set2InDef SeqSubSeq TypeMismatch
3b680d60bddafebf5d256e8dd682354d8022764c Set2InDef SeqSubSeq TypeMismatch
5b13052a5396fd4be5501b9b3891e53098c91166 Set2InDef NumRange TypeMismatch
6bfba4a687ab50f53de0e3944884026733649184 Set2InDef NumRange TypeMismatch
81672c5894c084725bd2462a46cdddce64c59392 Set2InDef TlcSingletonFun TypeMismatch
3f2e22967013d979f36fb79806f86a720f79abff Set2InDef TlcSingletonFun TypeMismatch
ae35fd1c3cced43cd3afc5efe630d6db36c7c382 Set2InDef TlcExtendFun TypeMismatch
03439cdcc26e631049c2f4406c1b731052b9b591 Set2InDef TlcExtendFun TypeMismatch
2ad5c2f89af8a277dbd3a945d5a8935a680b7877 Set2InDef TlcPermuteFun TypeMismatch
fbd264d1cd4726beb37a01010bccdf0572381041 Set2InDef TlcPermuteFun TypeMismatch
02c79818fe2392fd186c64278238810548cddac1 Set2InDef TlcSortSeq TypeMismatch
cf6b5f128d259e0f765c82e743af614b757e759e Set2InDef TlcSortSeq TypeMismatch
67dbd1c86ae29a7b15b31caa7b29fb3a20a9732c Set2InDef TlcEval TypeMismatch
72495c9135bf0ff042d9815ba05d42114b52904a Set2InDef TlcEval TypeMismatch
82f57d7afd51aa2c06002b9d92f2c5a6f85c9ecf Set2InDef BagBagToSet TypeMismatch
9c8f8ce3fe7c5c0836b9e1ea73d45974b6d24c11 Set2InDef BagBagToSet TypeMismatch
8ac0d0c7b998d48387db454f2afd35159a937942 Set2InDef BagSetToBag TypeMismatch
3fe84ba84bfb2b7f58dd6ee46df4c6515d508ede Set2InDef BagSetToBag TypeMismatch
057a53b27bffd70f500c9d4dff10ac4aa7771539 Set2InDef BagBagIn TypeMismatch
4a659972db4244f33a054c0cb20418b227e90ed3 Set2InDef BagBagIn TypeMismatch
1a2042c3279bfcf1ecde812196f1d4aac5358b4c Set2InDef BagEmptyBag TypeMismatch
408b3adae8e1da9901fac15349984a2a7b75cb97 Set2InDef BagEmptyBag TypeMismatch
67ef2f53a8fa3f91bd0e1b8769740eab37b76c09 Set2InDef BagAddBag TypeMismatch
fe2b3cbb12de1c1ef2a35499a1eb98c1ad618ab6 Set2InDef BagAddBag TypeMismatch
d18498af40e3c77ce7814e4c2b7ea33f26545fdd Set2InDef BagBagSub TypeMismatch
955f6037866dcc9d8fbb7a25196541ccee110a83 Set2InDef BagBagSub TypeMismatch
e7c2715c0c79ecab242ced3959d0ae38fc65b702 Set2InDef BagCopiesIn TypeMismatch
9953a5ac44bcf14a9e77f5bea6e5af8d0f7924fd Set2InDef BagCopiesIn TypeMismatch
262a13e9ec920491e3888825072f17ee844fd4cf Set2InDef BagSubsetEqBag TypeMismatch
4278f22e2300bd34ffc187921a9febd93d4b0cf0 Set2InDef BagSubsetEqBag TypeMismatch
4177bbafdb04d6999f02ed3ed7e495141ccc69b0 Set2InDef BagBagUnion TypeMismatch
ba8bec90698f66ce4242d05aacb4af00cda3d107 Set2InDef BagBagUnion TypeMismatch
854ede4ed0d166e55fa7a87a70986611fd0ad200 Set2InDef BagBagCardinality TypeMismatch
f27e6c9233f4863735c79fe01bcd1b3ec6ee378f Set2InDef BagBagCardinality TypeMismatch
897286ef5ad16c16d55e6fd330c2e6ac19535c6d Set2InDef BagBagOfAll TypeMismatch
117beee0a13f9c792522d616e9611a311a93438a Set2InDef BagBagOfAll TypeMismatch
7f95bc176c73eaa49fbdbbae73892a3edf0ef78e Set2InDef BagSubBag TypeMismatch
1766cae5d965bc5b1ce3a04727c58968e68eeef2 Set2InDef BagSubBag TypeMismatch
c2a04d53c5f00bd227f4927995f77946a6ca59dc Set2InDef FiniteSetsIsFiniteSet TypeMismatch
c3893a0003b94e58d66ca4bc3509070cce882d76 Set2InDef FiniteSetsIsFiniteSet TypeMismatch
cc9eaaa46cbdfff88f58f0b23a441ad77a7831bc Set2InDef FiniteSetsCardinality TypeMismatch
b30407eda86975687ae93ee4c49179b06d4864e6 Set2InDef FiniteSetsCardinality TypeMismatch
c93422f9f295be3d9a38f5c08dc8d02533eb6cda Set2InDef SeqHead TypeMismatch
3ebfa6968f6dbad52e2eb52942aa9a0d2b8b41b0 Set2InDef SeqHead TypeMismatch
fad4179e69043b32dc9c659c640ced97d5b574eb Set2InDef SeqTail TypeMismatch
92a529c4c320c8e53b88a9649c9abf6581b2a3b3 Set2InDef SeqTail TypeMismatch
50d3b6f97dd920c4c935fd4cc1289e2ad21fd0f0 Set2InDef SeqAppend TypeMismatch
5808f70473c96aef9a2f801f59d552eea0017d4b Set2InDef SeqAppend TypeMismatch