Index

Skipped feature combinations by case feature BagEmptyBag

Id Case Feature Plug Feature Skip Reason
8d3e3a71a0405fd8e23c3c51f46948926737ed94 BagEmptyBag OneLineComment CanNotBeCase
d435290cb6d2ec374786094379439f6b1085912f BagEmptyBag OneLineComment CanNotBeCase
409d6e9aeffae271063670563203aeafbb38bf1d BagEmptyBag MultiLineComment CanNotBeCase
4691e6aed743133b38add92592f7b494f0ad09fc BagEmptyBag MultiLineComment CanNotBeCase
6f5e7c1379b6b42d2bb526fcb3c01d4de3400693 BagEmptyBag BoolTrue CanNotBeCase
cea260118ffc2b8b0fac63fb18031393ef0e01b9 BagEmptyBag BoolTrue CanNotBeCase
a6a5dbeb0e9aadd8c74769bd5952f10ad8ffebae BagEmptyBag BoolFalse CanNotBeCase
5df69ad6983e154c5c084116aaa5deca5e3a202c BagEmptyBag BoolFalse CanNotBeCase
0b2cc0a20bf2268e1397db4e958e3cd91fab2ba8 BagEmptyBag BoolSet CanNotBeCase
30d6f71ab1f247cb43f41afe1cc081f872becd43 BagEmptyBag BoolSet CanNotBeCase
64eda84c88053c6b4f5f6b0c703086808b208aef BagEmptyBag And CanNotBeCase
daa04ec03a137229c604a7b2fa84e3a05ec06edc BagEmptyBag And CanNotBeCase
7a6f1b113ee288b49f15d191b482363336dd127d BagEmptyBag AndMultiLine CanNotBeCase
4b0c0c2e4eb3d151e7b4db34872603c35274aa5d BagEmptyBag AndMultiLine CanNotBeCase
4b0ab9232b80c94092c9e8d7ca8c7eed6849dfd9 BagEmptyBag Imply CanNotBeCase
7a3d49ac172022dcd4c477c631a4cc0049a66b5e BagEmptyBag Imply CanNotBeCase
113d6a4dcd58e12ac7b9e387b8da173a92796bfa BagEmptyBag Not CanNotBeCase
58246743fe8faba14298502f4dca6ba05b34e7f3 BagEmptyBag Not CanNotBeCase
550d29dee0b036d44ad1079d12d0c367959cf2d0 BagEmptyBag Or CanNotBeCase
4ab66d7a3159e7cc4be1ee6044729290de871165 BagEmptyBag Or CanNotBeCase
20d719b3f5c77a44ed51c29d8b8458ddd0833be7 BagEmptyBag OrMultiLine CanNotBeCase
b4762c028fac2576c59278bd0e210708e42a962d BagEmptyBag OrMultiLine CanNotBeCase
8dd91a2fd73059e41f224cbe22549e8e7f2713e4 BagEmptyBag AndProp KindMismatch
a2c62bf99f47b1d7883e3a03dcd2c55270d19fa5 BagEmptyBag AndProp KindMismatch
a33c949f3ecd6ef5291cde7117834f62ac4a301e BagEmptyBag Boxed KindMismatch
086d678e5f88bf35e1b634988738775b7e472d3c BagEmptyBag Boxed KindMismatch
1b0bf9f01c8e1f7b45b67a8e325ea2985bb67a3e BagEmptyBag Eq CanNotBeCase
b8486f08b7612e1667a4eaf2fc621b4009d6de73 BagEmptyBag Eq CanNotBeCase
e2a781e21f9a5bb1daa7d39c6fdb8187f3501e88 BagEmptyBag Ne CanNotBeCase
840aea36e003fbe8f82f2d4616ea7c4afaa4df6e BagEmptyBag Ne CanNotBeCase
1abc3e7ef40549d23e0283a6cd86d7de952ef964 BagEmptyBag Let CanNotBeCase
a31f27485374510b07c5f9115e29847f527e1424 BagEmptyBag Let CanNotBeCase
8e298c44d945c36c0cad4d1e8b4f8af75fbec3f1 BagEmptyBag SetEmpty CanNotBeCase
133ae382e06e5396e269073126c0691a3815e36a BagEmptyBag SetEmpty CanNotBeCase
c32b648ff346eafeafccbecd5f4f9a86f51c9c11 BagEmptyBag Set0 CanNotBeCase
2a5e4ce0904917a0a9d8ea91ad3daaaae31abdef BagEmptyBag Set0 CanNotBeCase
94bdf6f78a4e8fddf65714f5d3b8ac123ecc4369 BagEmptyBag Set1 CanNotBeCase
01832b202e3bf081b7e3684d0566795f256109c0 BagEmptyBag Set1 CanNotBeCase
2d443aa20ff121a2ff644200d6d96e7db76494fc BagEmptyBag Set2 CanNotBeCase
535b7b9007d9c64c81fe695f73a5fec125b94dbb BagEmptyBag Set2 CanNotBeCase
f1136bd2690620f7ff8fd40b1ac0eb23c82b6807 BagEmptyBag Set1InDef AlreadyCombined
af5e2673ba985de21a6cd0558f83e412290f3235 BagEmptyBag Set1InDef AlreadyCombined
9d924b129ba795dfecd08c71ffadfbf8cdaa979f BagEmptyBag Set2InDef AlreadyCombined
a8be90dc55c8dfe059c749b19780d07ad2678af1 BagEmptyBag Set2InDef AlreadyCombined
5938e75b978f1882911452b7d396fbe3c359c75e BagEmptyBag InDef0 TypeMismatch
1ca2e438a5c99db4fb49a1e65b4ab32348445565 BagEmptyBag InDef0 TypeMismatch
719bb765fb6312d46be1e577fffeea001c0d4151 BagEmptyBag InDef1 TypeMismatch
5dbec204e0359721eb65e0f69a6a0a27739dfa4c BagEmptyBag InDef1 TypeMismatch
f071cbe7d218d665594017187faea2f770559b1d BagEmptyBag InDef2 TypeMismatch
fc57009db8afe201c9bc439931a8d05e2727dc4e BagEmptyBag InDef2 TypeMismatch
b965b83395c6e70fb8453553969a9cd06e6286c9 BagEmptyBag Fun CanNotBeCase
f398f4ee8504752db4e5dee959e9da10ecda2994 BagEmptyBag Fun CanNotBeCase
9ce338beba181ecc781883af55cfc891b6e04db0 BagEmptyBag FunInDef AlreadyCombined
a6948721c7b124f4e1f4fc9a3b89b22d6ebd0134 BagEmptyBag FunInDef AlreadyCombined
7dfa238857f0ee0cd75c4729426b631cbc18e6f5 BagEmptyBag In CanNotBeCase
672ab0f15be01931e61877bc3bd9c5e8f3cf9db1 BagEmptyBag In CanNotBeCase
9c7ae7cf534d61f7c3bc78ff5abbd4f8da6854b8 BagEmptyBag NotIn CanNotBeCase
834c718b0d5eda030f76aa656b0b1108341fbf16 BagEmptyBag NotIn CanNotBeCase
0d21b968876534a84e9d79e8489b9bed154dc5d0 BagEmptyBag Exists CanNotBeCase
ff274e0c5d3f150f03ce1f45feb6e50e59793d99 BagEmptyBag Exists CanNotBeCase
55265fedd9d1290e7f955c671d487d3df9ab5ee2 BagEmptyBag Forall CanNotBeCase
1024709fc2502e5ccea7a197c58ce77710605ba9 BagEmptyBag Forall CanNotBeCase
724f8f49d4af888c896e8fb59ec182760595b725 BagEmptyBag ExistsInDef AlreadyCombined
c3fe084982f4c04fdd1e229b7c84f79237bba543 BagEmptyBag ExistsInDef AlreadyCombined
d61383cb84f541b0802485e49d5bf4a66d4c5aed BagEmptyBag ForallInDef AlreadyCombined
d2a337ec95e12bc2c4dac91359d316ff7e167830 BagEmptyBag ForallInDef AlreadyCombined
fcae55cc97505ae5406a939b9b7c72fa16fa7f67 BagEmptyBag Choose CanNotBeCase
3cde3fd2b21c0a94703795e97ccabc14dd5b386a BagEmptyBag Choose CanNotBeCase
6fa4b1a92af56934e4182adff11827a71da62c46 BagEmptyBag ChooseInDef AlreadyCombined
b718bc0ed4aa7b52c81c040cb97a169559d88d34 BagEmptyBag ChooseInDef AlreadyCombined
22f2dbb4ac00c395c2dd7560f7583f30afb665c3 BagEmptyBag Record CanNotBeCase
2a760d83b3f2f75e36c3788ab29ab2bd0ca5babb BagEmptyBag Record CanNotBeCase
e89b44ebe26b2619c66c95f6fa188629eb8e1fc8 BagEmptyBag Tuple CanNotBeCase
eaa012b5fa57aff978fde790211a7d36294adc31 BagEmptyBag Tuple CanNotBeCase
c34e54b7e9e10502111bce39c613f867fb5e33b8 BagEmptyBag TupleEmpty CanNotBeCase
99e75d3b0bd8625d8fc3759fb7f1dba2492c1cb1 BagEmptyBag TupleEmpty CanNotBeCase
4b9e57ab40c4a473ed3af569b5445cf4e1435a15 BagEmptyBag FunApp CanNotBeCase
5209c85d88c542a33163fb1756e966d472dcce08 BagEmptyBag FunApp CanNotBeCase
e94df9f173089862c49341b28daa5a1e4d5bbed3 BagEmptyBag Except0 CanNotBePlug
38201f1acc432738342138c69c5c33191edbab66 BagEmptyBag Except0 CanNotBePlug
71974f7079a74cce62e99016188a0598a816af23 BagEmptyBag Except1Fun CanNotBePlug
27364f843b131e02a7d25d3800c1e3715bc55af6 BagEmptyBag Except1Fun CanNotBePlug
ec022f013873b41429a28c62ec4b826433991133 BagEmptyBag Except1FunWithAt CanNotBePlug
c0711b71750f3025c1ddb96e5200da914778e7de BagEmptyBag Except1FunWithAt CanNotBePlug
959eb8ee1da7266c73d54d1f58b0ca6fe1158f14 BagEmptyBag Except1Rec CanNotBePlug
89ac3e5ea3951ed1475631b1ffc60cf8cfc19e07 BagEmptyBag Except1Rec CanNotBePlug
f983f4de3905db9f03d4a55d6dec5819677f274a BagEmptyBag Except1RecWithAt CanNotBePlug
5b501b54e09b8b60e2cd3dbaca6e604b764fe849 BagEmptyBag Except1RecWithAt CanNotBePlug
90ae978e1e6f2e75477de1bc12e281ab06920dfb BagEmptyBag Except2Fun CanNotBePlug
9ed6e9b94f307efe722bec0803e8ed826ccee46a BagEmptyBag Except2Fun CanNotBePlug
9bd44fc23ab46f6f1c0e4d9d11a4282540a5a069 BagEmptyBag Except2FunTuple CanNotBePlug
cdbcab6b54a57cdb1d16410fc0a54ca619e66d8f BagEmptyBag Except2FunTuple CanNotBePlug
350251b6b49f0967c8b5b11084898c7d8d639b79 BagEmptyBag Prime CanNotBeCase
05d6114e1a053686c57f3c092568a07caf6a846d BagEmptyBag Prime CanNotBeCase
9352b99d1d1700bcf888d72da3e758cbbc0df5bd BagEmptyBag NumZero CanNotBeCase
4ce1336d9a4891ada4ceeeed65be003bf579a967 BagEmptyBag NumZero CanNotBeCase
916a4e07445550b484ae1e79c4226c7852f87998 BagEmptyBag NumOne CanNotBeCase
cf0b877088e25ee2df45fe73a515ae574100cada BagEmptyBag NumOne CanNotBeCase
08db057833ea7c691c12fc971a81a4742703c458 BagEmptyBag NumMaxInt CanNotBeCase
b1b5022beef79a6f7dbcb4f18df8ccfa1564c2c9 BagEmptyBag NumMaxInt CanNotBeCase
d8ea19ce67e24f6c05f6fae394c6f27bb4bf3755 BagEmptyBag NumUnaryMinus CanNotBeCase
0f2858f4badf711ecf188470f774e70c0b5faf59 BagEmptyBag NumUnaryMinus CanNotBeCase
9c3c174e56c71f243effdb9c0626607742dfba41 BagEmptyBag NumPlus CanNotBeCase
eec7336b8a713a7108e3b133a460dd43699f31fc BagEmptyBag NumPlus CanNotBeCase
ac3646975809791ae39882f091882995ba349895 BagEmptyBag NumMinus CanNotBeCase
fd479cf51ae8a01abc96cb669d18b110f5c68960 BagEmptyBag NumMinus CanNotBeCase
2ef6ecbbde47eeef6705d42e34efb0e0f47a795d BagEmptyBag NumMul CanNotBeCase
b2798e8b652d1cd6c4f28f896617596055670e9c BagEmptyBag NumMul CanNotBeCase
d65dabd3f12b038ff7f75dcab6f961cd10d7ee48 BagEmptyBag NumDiv CanNotBeCase
d84999f45188fc3f012f6c2efd9983302c7631f9 BagEmptyBag NumDiv CanNotBeCase
6d01143b2f1a3a1f17af7a7f36db4e84e86a7602 BagEmptyBag NumMod CanNotBeCase
d5c393ccfaf00c40ea136740d754f46d59b9c50e BagEmptyBag NumMod CanNotBeCase
f0335cd660376b22ca0d7c5789f970eeae1cd1a9 BagEmptyBag NumPow CanNotBeCase
9d69e8e1e43a06f6efa475f961863b65d65a0252 BagEmptyBag NumPow CanNotBeCase
1ca6ea44e2219f9d1bcdeab90edb39d33dadd0b2 BagEmptyBag NumGt CanNotBeCase
bb15c63b4aed4b24d0b3e0a0839ad06a13d29bd0 BagEmptyBag NumGt CanNotBeCase
b0cdadb8f63e8a498797f83168d87f6ea7b975aa BagEmptyBag NumGe CanNotBeCase
c936d1344271d22ec2712f4f910bfbaba46705d0 BagEmptyBag NumGe CanNotBeCase
140b9dfdfc9fccda620d887bae887d7ce2db0851 BagEmptyBag NumLt CanNotBeCase
3e42fd981c164f694c177fa78556cb3eb225d92e BagEmptyBag NumLt CanNotBeCase
54aae7a91fcf68012d25e7e5b85853f8c4ddae65 BagEmptyBag NumLe CanNotBeCase
6bce94033b8d208f7b34ae791772ad7e43df5d33 BagEmptyBag NumLe CanNotBeCase
03aad12df626d6248c31738d888d33cbe6a4c48a BagEmptyBag DefFun CanNotBeCase
7ddb12af1ae6d8148780f4041308f57806495b76 BagEmptyBag DefFun CanNotBeCase
1c7d159e159bd75957be81f301fec8908e954899 BagEmptyBag LetDefFun CanNotBeCase
78e1c1fd9f7febdc7992b05056898e7cea2fd025 BagEmptyBag LetDefFun CanNotBeCase
94b7b9793f0eb4152c3b4175de306061114b292f BagEmptyBag DefFunRecursive CanNotBeCase
686af2c8232f10a4a0cb293fffef1f11b0a8d17a BagEmptyBag DefFunRecursive CanNotBeCase
05a53a7ff6f1922f87a347bc81722e89b7a02106 BagEmptyBag LetDefFunRecursive CanNotBeCase
f6c754024f92c1b5b8893330e67efea98e7db315 BagEmptyBag LetDefFunRecursive CanNotBeCase
831943b0362a9bdb3235c8c599c1a02312380529 BagEmptyBag DefFunInDef AlreadyCombined
dc70ca4e3d059eac24404cc271f611f80d4771e2 BagEmptyBag DefFunInDef AlreadyCombined
fdada7c267d67275f665296d0952dfe7a20e6d33 BagEmptyBag LetDefFunInDef AlreadyCombined
a27c84d9b05677bf035cc8bda366437af41abf60 BagEmptyBag LetDefFunInDef AlreadyCombined
e64dd32c10b7f12950c8eb736949186e75a89d62 BagEmptyBag Def0 CanNotBeCase
2871b9a2fb1b6caa20ff1a18e685042480dedbaa BagEmptyBag Def0 CanNotBeCase
f0d5d5adad3b8a9939e3c085794747d14b2d7c6d BagEmptyBag LetDef0 CanNotBeCase
56c438808443ecc9b2f014d41d50d4647cf5240a BagEmptyBag LetDef0 CanNotBeCase
6edba1bb23d0aecf9f9ae49d81773dba45febbb7 BagEmptyBag Def1 CanNotBeCase
f39ab6b33b9b0f895eb22bf911ea5b2862800360 BagEmptyBag Def1 CanNotBeCase
0bcee6b9e41bbc4aa74e6ed976168751a84f8cb8 BagEmptyBag LetDef1 CanNotBeCase
cd8f3106f76cc8c24686cbf5d7a5f6bd9c653e35 BagEmptyBag LetDef1 CanNotBeCase
50166f08e42b8951bf94b587f082e9df76400fa7 BagEmptyBag Def2 CanNotBeCase
cec65c96bce5f77f34107bda1cd00bff78f7780d BagEmptyBag Def2 CanNotBeCase
633eb0d43846e9d269dc20e6d52ee7960b55d667 BagEmptyBag LetDef2 CanNotBeCase
1693dade8067362e36981c3f725a69eba4c9b2ce BagEmptyBag LetDef2 CanNotBeCase
1b06392ac5923ed959e692ffe00353f014e96c68 BagEmptyBag Def1Recursive CanNotBeCase
85946787a8343c1ab5ddc508a07c1c07ea95248a BagEmptyBag Def1Recursive CanNotBeCase
874f597339b20678b4d1a3c893d519bd9a671509 BagEmptyBag LetDef1Recursive CanNotBeCase
46b9cf207b3ea77d5ee86b589f0471ceb7ca9cb6 BagEmptyBag LetDef1Recursive CanNotBeCase
5d4bace6d580bef0f7f3bf31f441c84c98aad835 BagEmptyBag Extends CanNotBeCase
5d99082a3430ebf1edbb46e8ad3e7e5cb584c90b BagEmptyBag Extends CanNotBeCase
13ca55e5d43ce6d8ca86f0ccc622fdd4211a24e2 BagEmptyBag ExtendsInDifferentFolder CanNotBeCase
af409ebc6e9e3d515b5cc12b5448003372e4f5a0 BagEmptyBag ExtendsInDifferentFolder CanNotBeCase
e23e35ec524a3388a11467ae777f0cba1800d638 BagEmptyBag Variable CanNotBeCase
959a8bfb1763946ae29584f59037cba53ea00b88 BagEmptyBag Variable CanNotBeCase
ae1cae00a40557e20a5429ff449ef37780157b63 BagEmptyBag VariableViewExclude VariableExcludedFromView
3e2ed9a6a36ce5639e6b4adb3a36e4d0d7521b5c BagEmptyBag VariableViewExclude VariableExcludedFromView
816d5513f1455bf85473c6f60364cef733147582 BagEmptyBag Constant CanNotBeCase
4c713afc003b11cca95e46d3c9131353b366b490 BagEmptyBag Constant CanNotBeCase
cfb5ff8fd0e36b2d3d4960ef45f1ff03f434c76f BagEmptyBag ConstantModelValue ModelValueCanNotBeUsed
ace39519fa8b1c74c5663c81d8152753ea9c5123 BagEmptyBag ConstantModelValue ModelValueCanNotBeUsed
791ff7a882ac541a3346ca4f2df45d1a68a37b1f BagEmptyBag ConstantRank1 CanNotBeCase
199cda9cb3ff9be2a4ad5e0cc815f222a32c4a97 BagEmptyBag ConstantRank1 CanNotBeCase
acc9e1989cde1b8e3b31f9eb6fb781a05bdfd1c0 BagEmptyBag Instance CanNotBeCase
3183f069cb6e7a27dd1b78c9ce61b4cc11329e6e BagEmptyBag Instance CanNotBeCase
27be7f224b2fa8a388388b00072cfe92e583c56c BagEmptyBag InstanceWith CanNotBeCase
1434a40530b736e5bbd3f6c009dd53005217c26a BagEmptyBag InstanceWith CanNotBeCase
b0d69348082e0ea6929f0944b5b3607181ccc584 BagEmptyBag InstanceNamed CanNotBeCase
f2170b9ec5b5776345db4252ec290c5552b92cad BagEmptyBag InstanceNamed CanNotBeCase
bc206934171c4fb9c2220e3dbcaf26eb005e3330 BagEmptyBag InstanceNamedWith CanNotBeCase
890cc938209d2f34551eb0be452549216cedb4f5 BagEmptyBag InstanceNamedWith CanNotBeCase
886e7c478554122ecd7ca52ac279282a089a1e34 BagEmptyBag InstanceInFolder CanNotBeCase
5f158050891962e7c35702338fca682a30b48bed BagEmptyBag InstanceInFolder CanNotBeCase
e2761c3d7a1d53c558a5994f71b4579afc002884 BagEmptyBag InstanceWithInFolder CanNotBeCase
759016d1bcb4285d6182fe3bf60cd3005c24dc88 BagEmptyBag InstanceWithInFolder CanNotBeCase
128b19a30b53c959931f6f98f782ec93ea15da21 BagEmptyBag InstanceNamedInFolder CanNotBeCase
4fe83427d7ee1da560806d88ca4a195dace49582 BagEmptyBag InstanceNamedInFolder CanNotBeCase
92b43adc551816f119a8975c1f81c74a8db95893 BagEmptyBag InstanceNamedWithInFolder CanNotBeCase
7e7fa9392b0d9550f6cab8823c866c53671e7967 BagEmptyBag InstanceNamedWithInFolder CanNotBeCase
47ae0d005cdb456ebe2cb0b04f790836950136ee BagEmptyBag Enabled CanNotBeCase
de3dfa5ed755acca203c71240b63ee75aa86149f BagEmptyBag Enabled CanNotBeCase
1ff755e0aad24a27f4715a0cb3ac4f843ecfc6df BagEmptyBag Assume AssumeIsNotEmbeddable
eb4a27fb7f90db719037ee4ef21306a954378bac BagEmptyBag Assume AssumeIsNotEmbeddable
7d77207e7d31b9c62611bd6ca1043b6c557db445 BagEmptyBag AssumeNamed AssumeIsNotEmbeddable
ca47c77d1ae5006553a6fcfa9043afdd20ef9b91 BagEmptyBag AssumeNamed AssumeIsNotEmbeddable
e5a7a0acc0e5ea76e1970340e809d6800577b8f9 BagEmptyBag Lambda TypeMismatch
23d0cc59cfad5ab8742ea3cc0e3540ed63e8eb26 BagEmptyBag Lambda TypeMismatch
74b4538067d60c39fec9ad8bde0fc2b21b2d1e5e BagEmptyBag Cross2 CanNotBeCase
5f2c36e395f3b3208f51bf2683c1a501835a8dde BagEmptyBag Cross2 CanNotBeCase
d392fe5843ad14c52d8af4b0111199b23ea3b62b BagEmptyBag Cross3 CanNotBeCase
5290528edc451c72cf6cdbbe95c3a82246d80fd9 BagEmptyBag Cross3 CanNotBeCase
c66c845af14a2cdaeb7499ed74360bb1377c9741 BagEmptyBag FunSet CanNotBeCase
8b947a50db282552e3cc3e4c8295d2e33a006f3a BagEmptyBag FunSet CanNotBeCase
f1235cad02101e854ce540143363e8a2f947aca2 BagEmptyBag RecordSet CanNotBeCase
171aa9747f3fee96efa165195d05fca8b3372049 BagEmptyBag RecordSet CanNotBeCase
054a97cb6db4be189ac1017ccb8b35a5c95a900b BagEmptyBag SetDiff CanNotBeCase
e61790a9b5eafd845cbce78af7e777ac1eb18eb3 BagEmptyBag SetDiff CanNotBeCase
feae3b9822c6b3d26c8554013c29e298bfc62c88 BagEmptyBag SetUnion CanNotBeCase
864005f8efca2bc8078de66388861cd751f1ba10 BagEmptyBag SetUnion CanNotBeCase
e731e6902666a1f09b21f854ecbf845325cc9e84 BagEmptyBag SetIntersect CanNotBeCase
00404987fb2f58377a96197e09041ce791b98922 BagEmptyBag SetIntersect CanNotBeCase
ed4d53eea93edacfccb58e5e16e8b45ce41b45e4 BagEmptyBag SubsetEq CanNotBeCase
442382d96dce72cce8e3591e582071001e32429c BagEmptyBag SubsetEq CanNotBeCase
ceaf1e31d31bc991bea72982bf355e313a1b929c BagEmptyBag IfCond CanNotBeCase
ba245139ed677956365dcfe8405d6a14dadc7b49 BagEmptyBag IfCond CanNotBeCase
ee5a10e8e0529e89f447bef76e06b475824507d0 BagEmptyBag IfThen CanNotBeCase
11dea954a1e2738feec7379b00c14ad1b7963d34 BagEmptyBag IfThen CanNotBeCase
23caccfd39cb9aa3f70aec65ec2d6bde2c1ed8cb BagEmptyBag IfElse CanNotBeCase
7b59ac1991ea1c49c2e6f61b4fecbddb7a82fd31 BagEmptyBag IfElse CanNotBeCase
72748f2992e58e66d083ac2aff935f16d8d32313 BagEmptyBag Subset CanNotBeCase
1589e1d9c5006ecd7c749f4dcef195c88a0e4f70 BagEmptyBag Subset CanNotBeCase
1719fa8238a00e1d933c1c00e247118ac9c59032 BagEmptyBag Domain CanNotBeCase
36f215aea17407d30b040a9cd5184f14eb0b48ed BagEmptyBag Domain CanNotBeCase
c70daecc70387b4e28b71278f17ab895ee26fb40 BagEmptyBag Union CanNotBeCase
71e1af5eb15569ad635e374484828662583e00ed BagEmptyBag Union CanNotBeCase
795233186d344a874f0e1f64d55268a7e716e73f BagEmptyBag Unchanged CanNotBeCase
06b63c603b6ab22b82f81568ba03d8b51326ee60 BagEmptyBag Unchanged CanNotBeCase
d619b2e56c20243b846621e1031fff8fcfe5cba1 BagEmptyBag Equivalence CanNotBeCase
9ae56b8c5a26a77bdb900eaf24e917af20e0c65b BagEmptyBag Equivalence CanNotBeCase
6babdc1cbb2be49230b493180dfcaa63f2b392c6 BagEmptyBag StringEmpty CanNotBeCase
43cb7d607dc48e5c67f47f559f92d8c44d6c5e07 BagEmptyBag StringEmpty CanNotBeCase
bb249859dcb44776ef12512e170370f6ca7a08d9 BagEmptyBag String CanNotBeCase
c1214f05c51e7b41a29f3f748b08272a87ed11a1 BagEmptyBag String CanNotBeCase
a679566ce88fc506e962aba01305adc3c4664a97 BagEmptyBag SeqLen CanNotBeCase
d40b8880d3e9735226c0d04be123f0e43b102e20 BagEmptyBag SeqLen CanNotBeCase
9697e06f1289a90e07599ecafa63f22cc76006e3 BagEmptyBag SeqConcat CanNotBeCase
25149dde1c2c2546de04c803415ff62540e1d70b BagEmptyBag SeqConcat CanNotBeCase
9bce50ff9976c72208b785d1681c0836ba0c6826 BagEmptyBag SeqSeq TypeMismatch
a433adb2a458570fa2b460a5f15c0e17aaf478b6 BagEmptyBag SeqSeq TypeMismatch
9c170dcb053388c6f8f23014f513b1292c7961af BagEmptyBag NatSet TypeMismatch
fcb626ba6e23ec36b5a949fcce42082164f82986 BagEmptyBag NatSet TypeMismatch
f1981663782b5cafe40b8848d9cefc1a4fc2e305 BagEmptyBag IntSet TypeMismatch
7b4fc4c0ab69fbbe66039bb756f2995ec41be497 BagEmptyBag IntSet TypeMismatch
23ac7861b32346750f1a93902e858c63206d61cc BagEmptyBag StringSet TypeMismatch
450fe054a22e3f88f6af793940123d882e85a7de BagEmptyBag StringSet TypeMismatch
4929fb135adee13607b83f60a780e2bdec7dc0bf BagEmptyBag SeqSelectSeq CanNotBeCase
d40a35a09645b2e2fcd0c2be7309b46e23942b34 BagEmptyBag SeqSelectSeq CanNotBeCase
7e81f0087dc0b951074ae41cae7c94e2e860f591 BagEmptyBag SeqSubSeq CanNotBeCase
dff25195cdd77a5094439f6426ed0adb4e8d0aa0 BagEmptyBag SeqSubSeq CanNotBeCase
22aa863c07f5e9445563b3007ac5ade265bd1a0c BagEmptyBag NumRange CanNotBeCase
841c8f53e25d46f9ccd3fc0ad4628dcf99aadd7c BagEmptyBag NumRange CanNotBeCase
ba15ff14b02229cb088ce30bc2a124b44d91ba5a BagEmptyBag TlcSingletonFun CanNotBeCase
34f24e55b9bb065643b4cd9af3d72686b31f5852 BagEmptyBag TlcSingletonFun CanNotBeCase
263bf7da22ebd988b64705251ec368d2ac1a210c BagEmptyBag TlcExtendFun CanNotBeCase
2faf0364a697e2e465cace6a6f3bc1fea549f7bf BagEmptyBag TlcExtendFun CanNotBeCase
214808cfb75a443979da1839bbd8650deaa56135 BagEmptyBag TlcPermuteFun CanNotBeCase
1ce15843ce5de043b8b5ab13df34400eefbdba4f BagEmptyBag TlcPermuteFun CanNotBeCase
3fa49643161a587fc38a77d07ae15d8fd5bbf250 BagEmptyBag TlcSortSeq CanNotBeCase
37edc984cfbb109cbbd4cbba74e2d956b4ea1a2f BagEmptyBag TlcSortSeq CanNotBeCase
2c2fcf91d10bb0ee9448a5720fe4b5790ef763ba BagEmptyBag TlcEval CanNotBeCase
28da4a4c1e7e4f3b1b3f3cbaf6cf28d24dcb9426 BagEmptyBag TlcEval CanNotBeCase
3b884c89ad5368f56689b207f9064f7008b237dd BagEmptyBag BagBagToSet CanNotBeCase
777d726c4a81eaa7c7f61ff4cb88c9bbfe46a8c9 BagEmptyBag BagBagToSet CanNotBeCase
e091f9217594d287b6528eb6134f81e9d663ca7e BagEmptyBag BagSetToBag CanNotBeCase
0bab00b829d2e43951ca2b2a41a3f2bf9247aa8a BagEmptyBag BagSetToBag CanNotBeCase
deda09d0b72ed075582f5916e748c582ce7174d6 BagEmptyBag BagBagIn CanNotBeCase
eb84b930a7e989227e0b0521f0458e3f758a7d23 BagEmptyBag BagBagIn CanNotBeCase
03d5face6abcb31fd1a877bcf4081039f5c1837b BagEmptyBag BagEmptyBag CanNotBeCase
540c0a4b355d5f91b9602632e4171a838bd1e179 BagEmptyBag BagEmptyBag CanNotBeCase
d9ad068558e503f787427b0a50de9413d8054fe2 BagEmptyBag BagAddBag CanNotBeCase
3b7644c9a64f109b3a06dc4859c55f803b3c11b4 BagEmptyBag BagAddBag CanNotBeCase
174a028fa59b50a32fb464e2428e8c43f3a2bbc5 BagEmptyBag BagBagSub CanNotBeCase
d2d93a8ee86f293aae2d8427562434f019fae024 BagEmptyBag BagBagSub CanNotBeCase
8c8b0ae43fc59a0504be6dd923c933af6dd50150 BagEmptyBag BagCopiesIn CanNotBeCase
4a097d2f3dee0d838952591cc69566e8d4e777f5 BagEmptyBag BagCopiesIn CanNotBeCase
fb7fc5481a5e1eaeeda809d301f480aaa1e132dd BagEmptyBag BagSubsetEqBag CanNotBeCase
3cc211cd0e9ef310af775063eb432af713e27e64 BagEmptyBag BagSubsetEqBag CanNotBeCase
327bd9c712d5bbcaabba63cc772758ae819e16e0 BagEmptyBag BagBagUnion CanNotBeCase
2f206918ca7ac3a5897e86bdca3ad15b095b94b3 BagEmptyBag BagBagUnion CanNotBeCase
9b5069d9fe90f10a0025574ae342027131da4f77 BagEmptyBag BagBagCardinality CanNotBeCase
829adc4d5dbccf4347f0afd78bb1410c3f5d9104 BagEmptyBag BagBagCardinality CanNotBeCase
5ba1cb174de8743a7454015dab7ff6ac43e97a7c BagEmptyBag BagBagOfAll CanNotBeCase
54f9d1d08f0f8b58c1801dd9bfff081d14d32f2d BagEmptyBag BagBagOfAll CanNotBeCase
297c1c2ee01b2e4908489d90ba0083ea2d1d3fde BagEmptyBag BagSubBag CanNotBeCase
3df9560497727bf170f657118a359061d11dfe92 BagEmptyBag BagSubBag CanNotBeCase
cce84017cc0de4289ed37240a8b295ef2d3ed009 BagEmptyBag FiniteSetsIsFiniteSet CanNotBeCase
50a33ade46e750b3cb2a745b47c72e57362b5087 BagEmptyBag FiniteSetsIsFiniteSet CanNotBeCase
5896cb33d8598808c83b3e13a2a12635d8372b54 BagEmptyBag FiniteSetsCardinality CanNotBeCase
1d212e68b29e0e765122e2c035d3bc82e9efdabd BagEmptyBag FiniteSetsCardinality CanNotBeCase
10a375586461b428aa8f99cf9e485a64858aec5b BagEmptyBag SeqHead CanNotBeCase
44625dddcb9e7fa62a049cc5fdd1dbdb208873e7 BagEmptyBag SeqHead CanNotBeCase
3439e776d63c0571aee620164d6d777d9fb055fc BagEmptyBag SeqTail CanNotBeCase
e470e776baecb19a0ef24a2dcd5afd6cb11e7f12 BagEmptyBag SeqTail CanNotBeCase
b476db6cb4937a6751b44c9180e18a0576e7ef33 BagEmptyBag SeqAppend CanNotBeCase
6de46594b4b4029b07b6dee95ee875687287cd86 BagEmptyBag SeqAppend CanNotBeCase