Index

Skipped feature combinations by plug feature AndProp

Id Case Feature Plug Feature Skip Reason
0cf6eaa7b8e945eafb5c741a7f0b81a37f303fb2 OneLineComment AndProp KindMismatch
756a685e20aebe37a80d76917aad19abdea1fc2e OneLineComment AndProp KindMismatch
3687aae4c7e22d66fb47333bde4d918dd5988b16 MultiLineComment AndProp KindMismatch
4a14107e52acffc4a64937ca908c3bf6d68487c8 MultiLineComment AndProp KindMismatch
e22a4fd7de0eb4473e09e64a760eef789bb34bbb BoolTrue AndProp KindMismatch
a73a9b9bc53f24522a346d553b472a22115eedbf BoolTrue AndProp KindMismatch
9e0e5075467e1954aba29b276d87e5e085c78dcc BoolFalse AndProp KindMismatch
6bcf69e48ac0146f0f75aec89e7004c9afcae4d0 BoolFalse AndProp KindMismatch
412dc68cad3790653d3b9adc33c8dabd49087770 BoolSet AndProp KindMismatch
84203ddd55a2fe64a7e0f1639304795d575d3bf3 BoolSet AndProp KindMismatch
1cd8c96740cd54db885164752d1c8cbbb91b293d And AndProp KindMismatch
ced5d61922fa106fc4af1881abced3931ef955fe And AndProp KindMismatch
0d44a4bfc42936066885eacd1cf4cb87cb198693 AndMultiLine AndProp KindMismatch
745e45e665f3a51bbb96e3a043bab1d79414abe9 AndMultiLine AndProp KindMismatch
39b0c8e59617035d5a29861d5dea46e004c79653 Imply AndProp KindMismatch
bf51b0e360f42b247f3c83c61c96505788616e3a Imply AndProp KindMismatch
1ea1f356cbce1b2f32cdc91226f4f85938b1afa6 Not AndProp KindMismatch
6f21af435d7c2abad2b9eb8e148604dab14b67e4 Not AndProp KindMismatch
8c54b1d3cdc9ba0ecc57a99e13f88259eaf10f4e Or AndProp KindMismatch
52330d283e974444a4a835aff0f861bd327335f4 Or AndProp KindMismatch
68ee77da70b8e4de0e73f1e7c2de436c328505ef OrMultiLine AndProp KindMismatch
aa680f589780b57327697150d33b5c6ff0a47510 OrMultiLine AndProp KindMismatch
cf1f43fd49848307c0f474428d6fe92790d1c28b Boxed AndProp KindMismatch
7b9b4d4f66cb4dca155e1b01b706b17b5e14a282 Boxed AndProp KindMismatch
10c82984c949c7939ad2bc6581475350634b9928 Eq AndProp KindMismatch
5f042467d3939c2bfd07a43c98e3c6d3740a2824 Eq AndProp KindMismatch
479495204436f148355c859320c112783379a6e4 Ne AndProp KindMismatch
ed2d336bc8a13c99fbbd55738b1a45e251df9d46 Ne AndProp KindMismatch
6248200e5b65b8f3457246bd2133d42cc8698246 Let AndProp KindMismatch
a52f9c6c28187b8fb74d5e7e76c6757d0f09bdb0 Let AndProp KindMismatch
2aa84ff4a8d66c1803724930d26da561af13c854 SetEmpty AndProp KindMismatch
aa6e4e96e5c61b7033fed908a8d355ea93c8be1e SetEmpty AndProp KindMismatch
b5e035192e5771020cc04351a787d10229f75694 Set0 AndProp KindMismatch
2b137fc8864d5fd3e9fb6e416355b888e45812a1 Set0 AndProp KindMismatch
4afdf56085832ca771d851792faea606b77b7a42 Set1 AndProp KindMismatch
436c13994125b87f77ca23ed89c86ff8e95fca21 Set1 AndProp KindMismatch
b32bc3e9f8cb6a04799de426ad13bcf0bf5d0732 Set2 AndProp KindMismatch
f430a0796ef41e94beec66fe15200dfe263aae94 Set2 AndProp KindMismatch
c91980579594c6b5a393bee5fcad6407672c9317 Set1InDef AndProp KindMismatch
61a4068755bc9739d465b69a2d9965f08a8614d5 Set1InDef AndProp KindMismatch
833ac1d16949e355ea88c39769e1d82ccfc3bf2f Set2InDef AndProp KindMismatch
ed6036dd0758f1b0762e43e3465a92824a9bbcf7 Set2InDef AndProp KindMismatch
e6102190589b25bf88cf8146f8a251742fc02344 InDef0 AndProp KindMismatch
c6828740e70eb7c40f78fbe88676130794ebe203 InDef0 AndProp KindMismatch
5de0e7da7d371838ec8786c651ab5f54d0c5fe41 InDef1 AndProp KindMismatch
4fc5da6fefe8bb4f1301355124a66daca4257c1a InDef1 AndProp KindMismatch
96249d5ea157864d1f05588f7d003320e4af9cbe InDef2 AndProp KindMismatch
c4edda52fb3093ccb8140a3bb055d663c4c56162 InDef2 AndProp KindMismatch
3683ea076c139b9f5648ce5ac21ff32753cf83fb Fun AndProp KindMismatch
30119d37bcb1f3fbbecdecc5c5ea8bf26f49d774 Fun AndProp KindMismatch
1e5384d2dbe8a216c9261482d47e7ce8d5c278c5 FunInDef AndProp KindMismatch
d7f174aa3989c032c2cb6b5636b350c87319fc73 FunInDef AndProp KindMismatch
a97e5933943eeb534de9127a82df0265b8d409cc In AndProp KindMismatch
67d387ee94b54dc4e011c611a2ce158482e1c768 In AndProp KindMismatch
be6e0065a2b88e24b5da825a850869d1c654fc23 NotIn AndProp KindMismatch
c1ec7868373166e84c4c8a36a0e4e366d9ff7149 NotIn AndProp KindMismatch
7acd55d5dedd348972700b59c70b8565c08b231d Exists AndProp KindMismatch
06bcc46b55c48c18fbce5f0ee9a44402851cb75b Exists AndProp KindMismatch
ba1cd1d1c03f1ed1c7ff9ac08095dd212d1d35a3 Forall AndProp KindMismatch
f7640c8951f7e621191985b1931b4ea8ba76715a Forall AndProp KindMismatch
d017a91a653988a2296ed9573786560244504b78 ExistsInDef AndProp KindMismatch
b451af7fe46dae1ab263b978e75030cfd89d3c1f ExistsInDef AndProp KindMismatch
4ec30a89bd3e4fa4e3ede5ba1009b53433829887 ForallInDef AndProp KindMismatch
76751a2ae82cec12c42bbf29f89bf16d68330816 ForallInDef AndProp KindMismatch
aa6b95a4fbaa87d0b39ddf3031c78d54d30236c9 Choose AndProp KindMismatch
7127399b44024be85a94ea5d25c96babf769cbd0 Choose AndProp KindMismatch
752182e505c1ecae036c3b40a069e9584e9b5f99 ChooseInDef AndProp KindMismatch
267cc9711f6dee5b4d5fe7155a81df47e4243ffd ChooseInDef AndProp KindMismatch
b260ad0fe156f4edb21f6c5f3de2f837bf551682 Record AndProp KindMismatch
133f793b05ee848699e1776b07f0fa355303b2e1 Record AndProp KindMismatch
4c97f243bee6f532d0cbdd73bc84d8597449f702 Tuple AndProp KindMismatch
a3753f7a49251f76cf08e05841e33d880d74dce2 Tuple AndProp KindMismatch
dd14b414b2f2c8a464389d8b3e1d18f19eb15bb7 TupleEmpty AndProp KindMismatch
3026d3da4aef6ab62cf84ad1e1f3451ce1984b63 TupleEmpty AndProp KindMismatch
1a9b7ecbdb7d9a0d2d61c9733e94011a60bb5e64 FunApp AndProp KindMismatch
306d028091989ac8bca77244b6c69c5d75a8a00b FunApp AndProp KindMismatch
c09bb3fb13ff4e2ef8ba10017421ebb5b3e6c6d6 Except0 AndProp KindMismatch
8e8f3846fe4500142839f83c599b7a97e795a156 Except0 AndProp KindMismatch
3ef387b07aa0fcbad3c1e478a41fa3dc06ecea0e Except1Fun AndProp KindMismatch
4cd8ece007399e5ac6caee61ed6ab03e9003c2ad Except1Fun AndProp KindMismatch
fcfd861b5b56b420041f0f60f803a09dac669819 Except1FunWithAt AndProp KindMismatch
541054ba600d5ecca92728bc05d2bb319cba6299 Except1FunWithAt AndProp KindMismatch
b9045f4aef4112cd607ad66e2eb2b4e0f27fb7d1 Except1Rec AndProp KindMismatch
6183a741b898a0ab27e3a195677fcf2bd6cecf97 Except1Rec AndProp KindMismatch
fc5d924f613969fc9299910ebbaa6a8d75c81aab Except1RecWithAt AndProp KindMismatch
2236e6f4bc54a7973abb15bf89f29f20bafec71e Except1RecWithAt AndProp KindMismatch
9a12106006d8281f421a246ef9edb98b5f16b1b6 Except2Fun AndProp KindMismatch
1df3953c86d3cbb78ab030e6064b553702b32e6a Except2Fun AndProp KindMismatch
50b28d86571af1be9d9f6c6189b9fed6f4c8e47b Except2FunTuple AndProp KindMismatch
d2f07dae6ec5e7340ca132334c2ebb1808216d6c Except2FunTuple AndProp KindMismatch
b32d1b31d703438ac011c5491460145ebe5e0fe6 Prime AndProp KindMismatch
45635627be1b9dc4cdf2e5bed6d0e9806a422cd8 Prime AndProp KindMismatch
1966baa6909dbd8a5e810a07b58ce3cce4009b07 NumZero AndProp KindMismatch
23621a1cc8e7e601ddfd94e2b457cf840e96c633 NumZero AndProp KindMismatch
4580f83d028eb7d4b84b1d23f3a97e557e4feb68 NumOne AndProp KindMismatch
9c3b4787fb4910a038c21455b54330e9ca9b726b NumOne AndProp KindMismatch
60105e84fd608973c8a37b9ed1ece6ee5df8f612 NumMaxInt AndProp KindMismatch
66199fc01d7f392b9df3935635aa62cbeac51398 NumMaxInt AndProp KindMismatch
65bfb84d8fae59cf93505977278d538cf7f7a3f7 NumUnaryMinus AndProp KindMismatch
dc2dc66ddf1eba39e678b06f991ff9c6f496b7dd NumUnaryMinus AndProp KindMismatch
003b33a4e7f2d54c7ad40a44f9ca64ca6f944ce2 NumPlus AndProp KindMismatch
6c7a996c519e1304c0046107b6c75f8581fd709b NumPlus AndProp KindMismatch
8a81c0a857e7331cc97a055f9c7ba71e709d8ba4 NumMinus AndProp KindMismatch
9f535efbdebd4d8f331415d2955e8ca935bcd5e3 NumMinus AndProp KindMismatch
0dfca6ba1e5ac1f144a41cfd290b1f7e12cb0c59 NumMul AndProp KindMismatch
533eb5021c689bc300fd941d6f07fba737dc2265 NumMul AndProp KindMismatch
85948da5ae93157ee264e45f3c3a3275fe5ba226 NumDiv AndProp KindMismatch
b06b81b19f7b36b68673e3a8a013f4cc90b4762d NumDiv AndProp KindMismatch
18a542ef95ecb1884b5dfc40ee548032d8c86767 NumMod AndProp KindMismatch
17d261cec44bfad1272c5e7c30af4d4de1afbe5f NumMod AndProp KindMismatch
1c6b317b8606b22cba1420b7cea9d96d71410525 NumPow AndProp KindMismatch
6d56ff2c16fea2061679e864173016e5392482cc NumPow AndProp KindMismatch
b82f43a16c66b59e0d06ff6a159f1670f83ee1a5 NumGt AndProp KindMismatch
96875bba4fca0420338a81ef3aceb68dac8cbb73 NumGt AndProp KindMismatch
6acadc6312ed92f426592b099c9ce0a777edbe2d NumGe AndProp KindMismatch
033b53814ac52f0862d38306d22a10eba2cf487d NumGe AndProp KindMismatch
efadcf864d7265665dc6d78c63d7d37c94c8567a NumLt AndProp KindMismatch
af64256a3b4bf5ac739da4bea4c2b86f08b6df5b NumLt AndProp KindMismatch
f5de2b2cc4fedc3584ea72262b09471eaa5c65b2 NumLe AndProp KindMismatch
58aea7ece41ffeb51812a17efa5e3ee0dbb835d3 NumLe AndProp KindMismatch
63d9100ff4e5b10a20b84680021e5224613406e5 DefFun AndProp KindMismatch
6e1ac0e463b2b8e2fd540ea317f6a1ae9fa60720 DefFun AndProp KindMismatch
50bff6224c46a23c57d61f7c363519cf0adafb94 LetDefFun AndProp KindMismatch
9ebc0b834d74581a257bb855158624af4ed159e8 LetDefFun AndProp KindMismatch
5dfffab9d148f93bfe1cba54b4d4f63d22180340 DefFunRecursive AndProp KindMismatch
aec932b18ce228d2d39729ed6935ea11c1149870 DefFunRecursive AndProp KindMismatch
579b1ade1abd83d8e0151669df8226737ef2638e LetDefFunRecursive AndProp KindMismatch
b75f3c265f25ecd23af67de32b11587722e45182 LetDefFunRecursive AndProp KindMismatch
b5629ced1d8938c2adbf89473507b59c60147e93 DefFunInDef AndProp KindMismatch
d2a7e3f26a828f57e8bd83e8e24418784d41e5ef DefFunInDef AndProp KindMismatch
18437c5bf152f25e127c1b207645ac2a6895453f LetDefFunInDef AndProp KindMismatch
9d523f4c004eb7d67070963671c967ef23d8886a LetDefFunInDef AndProp KindMismatch
176f70b9954e6598c115b026af7d672aa42eb7dc Variable AndProp KindMismatch
0be52d10223df969d57e2a1ee1b8091f3bba3467 Variable AndProp KindMismatch
f49bce97ab87ba9cdac0a5dcceba76873d71fef5 VariableViewExclude AndProp KindMismatch
3abaa46ca223ac6aa959a32a189bd79037cfe2d4 VariableViewExclude AndProp KindMismatch
b2c3d68a77a421cb56f9fe61b55404c861c364a8 Constant AndProp KindMismatch
1007fcada5ba76b3e05829773c18fcf5d4aac081 Constant AndProp KindMismatch
18ccfe4b08bc44aa09d1fb2035ef664ff7c56e63 ConstantModelValue AndProp KindMismatch
ad69e64d38e8660b741613e544900f9e41b05acf ConstantModelValue AndProp KindMismatch
bd1ffe749acf487afde9da9682a9dab86e4ac07f ConstantRank1 AndProp KindMismatch
f983e2a31e9ab7a0a99118651899ad15babfaf3e ConstantRank1 AndProp KindMismatch
b3e15c96449cf6744dad83605f6449523247b70b Enabled AndProp KindMismatch
a6a3d57935f070df2d1a0eb357e0500cce4c662c Enabled AndProp KindMismatch
0b235722753febcab693b72c0a83107714338c8f Assume AndProp KindMismatch
d5b43382178141bd6a63a0c003c9e5cfb2e7a716 Assume AndProp KindMismatch
387da6a45c09818034cb7f41e1a949397dc6e9e0 AssumeNamed AndProp KindMismatch
f31672088b5e8d3da35ccc6fc7dd08465fa22ecd AssumeNamed AndProp KindMismatch
3fa1e936e316d3a2fddd30f62d6ffbd04c732876 Cross2 AndProp KindMismatch
6145ef218f67d992a7e7787e864aea8f6e76dee5 Cross2 AndProp KindMismatch
f71324ff90f4036875820a8e7ea258b3429905de Cross3 AndProp KindMismatch
4510cd8cfe53f0b4d402e24f5f8cce6bac740fcc Cross3 AndProp KindMismatch
2d7724150b10d40b89e78b6e2e8ad161cc62a78b FunSet AndProp KindMismatch
2e6ca83648c4d91a435f2c276d3f550a1b97561c FunSet AndProp KindMismatch
6390cdd2b5db3d2dd11e062b8cee136c0c816756 RecordSet AndProp KindMismatch
1f04d1dd9d8ebc73a0e8bb259f424b35774b9d5e RecordSet AndProp KindMismatch
c540deadd9dda647573e0dc33b8f14331886255e SetDiff AndProp KindMismatch
706f58e587229aa9deae0ef1b495ba887809da08 SetDiff AndProp KindMismatch
5a13c83079046a44043f68606a4616b471180e9a SetUnion AndProp KindMismatch
e0180925b1cc4a1550d25f988109defddf29f8c8 SetUnion AndProp KindMismatch
c6853d963224e900ed17eb4fd71c151040e4d32d SetIntersect AndProp KindMismatch
53ff9f47ccc010d7cd267c43b9e864d51c78a1a5 SetIntersect AndProp KindMismatch
2e83d2301517bf82b76527e2e3286e2e5db10e03 SubsetEq AndProp KindMismatch
5d0d43f8e7f2754ce1dced08eb61e82c6ccbe9a0 SubsetEq AndProp KindMismatch
49cd003e1b9570882077df5467c751f4ef1a99e2 IfCond AndProp KindMismatch
90c32f2da16227e87a1e380ee9352bb832fee3b5 IfCond AndProp KindMismatch
7971c06c930039e68d2313d4502d5cbea0d3d4b1 IfThen AndProp KindMismatch
cf0858911e67bcf1f02a49ca9fe28246de0ee954 IfThen AndProp KindMismatch
d94950ab254d78712c0720a48d61b537cc5871b3 IfElse AndProp KindMismatch
5aa0b0d6beab96c0afa790611b6bad3bf8fc6368 IfElse AndProp KindMismatch
6a46f46e737467301b7678d83a440735d1dfe692 Subset AndProp KindMismatch
bd5a9f4ce62ffb3ac481023fe951c3862dd5e681 Subset AndProp KindMismatch
3104670afaa3d41db188dde907fb89b15e15c90c Domain AndProp KindMismatch
d944ea1215a2866284aca64fa1ca1a2011ef61d6 Domain AndProp KindMismatch
0aef07c09688cb3e0506a4cf61e8f9fe0f81f052 Union AndProp KindMismatch
c79372331233a7959c2d16dba4be3fd178d37c4a Union AndProp KindMismatch
9c2016fc5a74473067e87f385ef900dfef358be4 Unchanged AndProp KindMismatch
b314928cc527e7430e1308501b387f409818e5df Unchanged AndProp KindMismatch
28d733ec5931716a7b94e4a802b42293dfb404a7 Equivalence AndProp KindMismatch
b6a688796ad2f72b6ded44f9dfe596cac0d1e679 Equivalence AndProp KindMismatch
0bc2b4cbc5db53656921f567b3d4e12de6fbfa1d StringEmpty AndProp KindMismatch
e54a3cbd071467f7654d97b6d454dc8dd5aee8d7 StringEmpty AndProp KindMismatch
e6e486adaea4e961707fa41eccf2ae899fc54ccf String AndProp KindMismatch
414d273564dc29143baea407c28eb2dc7c61d711 String AndProp KindMismatch
9e4c554d84d4bf95a1dec16b7ea517f9ffc5c47a SeqLen AndProp KindMismatch
4f9cf6b9751a0ae89a8f122ff7628f22fbd7dbef SeqLen AndProp KindMismatch
d7c874eed3ec073a707d91e43423c8e4e798c53f SeqConcat AndProp KindMismatch
fbde334f72c4f6c28db49b1665c56d62b6d7029d SeqConcat AndProp KindMismatch
44adaa288c7b9eb9049e5884e4540dfbb05247cd SeqSeq AndProp KindMismatch
fabd6a2db3a287130f948b25d47786e1ca600637 SeqSeq AndProp KindMismatch
a33b17bfb73d05ff7629f2bf506e5c196e68d77e NatSet AndProp KindMismatch
a8eed141e44c3705a641b3fe79d0105c622bd8a8 NatSet AndProp KindMismatch
5fa50334c65bf7c1215d1eede796d1e3e524892a IntSet AndProp KindMismatch
8a61e817c7d5d8397a2d8ce4955589eff7513049 IntSet AndProp KindMismatch
21be3b6ae4da555ca33e2c820cd96c5c0c0c1a22 StringSet AndProp KindMismatch
0260b1daec71f2bfa3d0019ce021b0bb8a864527 StringSet AndProp KindMismatch
9eb38de564ccaf701f970497e9d284d2650f95df SeqSelectSeq AndProp KindMismatch
b9bd71d50c6a343d4576dcd66580ec901b1e1926 SeqSelectSeq AndProp KindMismatch
ba619c7b3138bbd93aa01a351522ff712b932a6b SeqSubSeq AndProp KindMismatch
3c45098d93fb0e51fdbc08d5d684701a898bdb09 SeqSubSeq AndProp KindMismatch
1d3d731a1d07f988e84ad71e9e8e1cbe496a3ddd NumRange AndProp KindMismatch
58acbb19dd995afc74c1dba4510610eeb6be7806 NumRange AndProp KindMismatch
1cae018d5ea5a8299d41a083a1b672a530313150 TlcSingletonFun AndProp KindMismatch
3561a3177d15c43aeebb6f160d4fbf13f341d5e3 TlcSingletonFun AndProp KindMismatch
c145c1bc695523a1bffa60e9fa50691af7e1e603 TlcExtendFun AndProp KindMismatch
c949cc8771b48de334482d4b98b587d6ab269077 TlcExtendFun AndProp KindMismatch
02f98f0623e3497ba7dc258b65e45926dda09ee0 TlcPermuteFun AndProp KindMismatch
46b7f7bdf6522b2d0c8c2a381f4b128fbe0152d8 TlcPermuteFun AndProp KindMismatch
0c346114b7bd62ef4ee415a84505530af2394718 TlcSortSeq AndProp KindMismatch
e54e670b655060215d860aa4df23e79255c12eb8 TlcSortSeq AndProp KindMismatch
87ddfbec50f516c7ce6b4e65194ea3c048bbf821 TlcEval AndProp KindMismatch
a7565ad601a5bded5368edab6231344afdb836d9 TlcEval AndProp KindMismatch
9559ac1ea5def40ee3ed5f92cc38a2312bca6c09 BagBagToSet AndProp KindMismatch
893b7f6d21d0e22d59f306d687c389b7d6e7db8a BagBagToSet AndProp KindMismatch
87ab62e5d26173910bd3f5eadd80ba7018c401a3 BagSetToBag AndProp KindMismatch
630e51eba8722a47b8376820d4b530ec1e8aec81 BagSetToBag AndProp KindMismatch
6c33f2a55e2824b350022a93f249017df02968a8 BagBagIn AndProp KindMismatch
269aa10a1dae6e3365895dca5025da9ad3909452 BagBagIn AndProp KindMismatch
8dd91a2fd73059e41f224cbe22549e8e7f2713e4 BagEmptyBag AndProp KindMismatch
a2c62bf99f47b1d7883e3a03dcd2c55270d19fa5 BagEmptyBag AndProp KindMismatch
5f5269aadf3993ec76b04cf45ae202b3a10486d4 BagAddBag AndProp KindMismatch
16946639400b93d48c983aaac4ab30d505743474 BagAddBag AndProp KindMismatch
c4726c12f02dfe5bcaeaf49b51306d041ebe15db BagBagSub AndProp KindMismatch
61da24ba0ccd6df15a4e99fecaedb187cec48c56 BagBagSub AndProp KindMismatch
3374963e4de7d8faedf032c1f5552a29b1efe760 BagCopiesIn AndProp KindMismatch
2fdef83457900a1d1d3acc19bd3f2644566e80b3 BagCopiesIn AndProp KindMismatch
d69564050829384c8c8ef04068ad92171121f410 BagSubsetEqBag AndProp KindMismatch
cdd1885323184a83d67c45bcd15c9349e128abad BagSubsetEqBag AndProp KindMismatch
ceed4c07fed3566f25667090d3d034ac63e2447f BagBagUnion AndProp KindMismatch
4addb2e1ef055774dbfdd349ba7766a33880b964 BagBagUnion AndProp KindMismatch
a8ff9703e0a841114446f18313a913bcee8c2ad9 BagBagCardinality AndProp KindMismatch
84d01b3e877783077b0cf8ba45fd12671b7f2c0c BagBagCardinality AndProp KindMismatch
c6c87b0bf05ba5e99ce7382cd0d05b64995b1d72 BagBagOfAll AndProp KindMismatch
6cb1238e2ffcd82e1ac2e1f2676261bf43c9c593 BagBagOfAll AndProp KindMismatch
c9fd247b91cb1d379a7aed8c9e5872f8b85b7e72 BagSubBag AndProp KindMismatch
426a6c939063e9708515b44861108514554601d2 BagSubBag AndProp KindMismatch
8cc0c9e579c355c8a7aa1b33cf0c3a9d88ba81b1 FiniteSetsIsFiniteSet AndProp KindMismatch
a1abe3fbac0fc6c1d801e039a95b09f718fd8a16 FiniteSetsIsFiniteSet AndProp KindMismatch
28bcf7c2c247d1e02f2dc71673bccc59cb0ba393 FiniteSetsCardinality AndProp KindMismatch
5e4f053db5bba61618be15078616189db4e2c256 FiniteSetsCardinality AndProp KindMismatch
1d9f2ec4b7ae906832e5db0550b159241b57bbef SeqHead AndProp KindMismatch
b9d26c167f22bc92ad5acf9bea7d2ff29bbf4838 SeqHead AndProp KindMismatch
b69b6c06739a4b96ed301f408f583cf8b9a298c7 SeqTail AndProp KindMismatch
2ec9ff7d3f46a4d954dfeb98b24cc9e8d00a99eb SeqTail AndProp KindMismatch
ae63dfc3cb30bd17583887267922aef01704e322 SeqAppend AndProp KindMismatch
8eaf274eaab9ad7da66dbf1e3fbaca46cbba3f8c SeqAppend AndProp KindMismatch