| Id | Case Feature | Plug Feature | Skip Reason |
|---|---|---|---|
| 54be41de975e9ee182b7adbe5d8cdecb0a5fc8ec | OneLineComment | LetDefFunInDef | AlreadyCombined |
| 5d26544877dbeb7d2aad5b9239aaa519625daa97 | OneLineComment | LetDefFunInDef | AlreadyCombined |
| 3b1735b0c72deb18e7ff817453f39beeb98a0a2f | MultiLineComment | LetDefFunInDef | AlreadyCombined |
| 39d69257c5cc7a520d7de551986a78abbf0e1b6e | MultiLineComment | LetDefFunInDef | AlreadyCombined |
| 2b7145b1f87de0566551cc29849e1a07e06922a2 | BoolTrue | LetDefFunInDef | AlreadyCombined |
| d476538d9ec1d378e1b7b85d068f2f52ab7c71f9 | BoolTrue | LetDefFunInDef | AlreadyCombined |
| 5ad3f817622affebe7d26ed161c172086d5a6163 | BoolFalse | LetDefFunInDef | AlreadyCombined |
| 3af53b4a63c98f898aa4c343cce74e12510ee7ec | BoolFalse | LetDefFunInDef | AlreadyCombined |
| 1d69ec1ccb5c4a14dec5f0fb0f97c471af1049b5 | BoolSet | LetDefFunInDef | AlreadyCombined |
| 83f1be2c63b1cf63f6bdc28920b031bb7d1eebcb | BoolSet | LetDefFunInDef | AlreadyCombined |
| f5685fda8250ca83ab702e5aeddb7e19ec202839 | And | LetDefFunInDef | AlreadyCombined |
| b5468b4b60fb9baf7fd7775843fc3e9493f237d0 | And | LetDefFunInDef | AlreadyCombined |
| 89a95929fd425af5b35e48e552be3415654f4b95 | AndMultiLine | LetDefFunInDef | AlreadyCombined |
| 38fea138cc154359246e4d0bb2c4d0551e19754d | AndMultiLine | LetDefFunInDef | AlreadyCombined |
| 0875bd8d6eb0c22b084bf80de5c90228e0383c18 | Imply | LetDefFunInDef | AlreadyCombined |
| 3d89cf3a56c55840438e4f46ec3452613ec66baa | Imply | LetDefFunInDef | AlreadyCombined |
| a7c233a0f1ca2e112b7aaa581452ff51b0009349 | Not | LetDefFunInDef | AlreadyCombined |
| 21db5c0f0fe2200c1d66b54311cf04f72a00768a | Not | LetDefFunInDef | AlreadyCombined |
| f9935a2ca390c1b96b60c55f9bff4e73a4102f66 | Or | LetDefFunInDef | AlreadyCombined |
| 2602a0e84cca031f9b1c19c5e96096db4c0daeea | Or | LetDefFunInDef | AlreadyCombined |
| 1b4de3f4d5975c890048666c00c9d5c7682067aa | OrMultiLine | LetDefFunInDef | AlreadyCombined |
| 2d39f7a8a9527b457ad27626b2755e6dc2bbd878 | OrMultiLine | LetDefFunInDef | AlreadyCombined |
| ddf63e9cf13c306114602de6b319a227e8ec7a1b | AndProp | LetDefFunInDef | AlreadyCombined |
| 56de3c9f6db46a43c16bf66fd41d0f5812a81eac | AndProp | LetDefFunInDef | AlreadyCombined |
| fbce27265e7877561c60234c32f9ed5667c428f5 | Boxed | LetDefFunInDef | AlreadyCombined |
| 17d787d9bed5f0be5835500de4a422b35c9db39a | Boxed | LetDefFunInDef | AlreadyCombined |
| 94bae7cd224c4d0b7c1f754434ace45fa38852a6 | Eq | LetDefFunInDef | AlreadyCombined |
| 5199f7ea4013a1f05338182597e99f4cd38c5c2f | Eq | LetDefFunInDef | AlreadyCombined |
| d229179fc638a2048668f3d5545b76190e1592e0 | Ne | LetDefFunInDef | AlreadyCombined |
| ef56cdaf9f5794cb1721898979a5111097dfd3c4 | Ne | LetDefFunInDef | AlreadyCombined |
| 489ba29e33c77e491e3845c04b2b66436bb379ff | Let | LetDefFunInDef | AlreadyCombined |
| 25152f5b0228a8ad65f850ac06177a827b2ccbd5 | Let | LetDefFunInDef | AlreadyCombined |
| 77500fd132602fc94f733d6082c70d65570bb93e | SetEmpty | LetDefFunInDef | AlreadyCombined |
| d0ea765c3476e80b8b72fd07599c3cc4f1a14c75 | SetEmpty | LetDefFunInDef | AlreadyCombined |
| c3aaeae78cb68c4800d9bccc48e607dbb2b5d31e | Set0 | LetDefFunInDef | AlreadyCombined |
| 4b4ccbb20c87f509c6463ea80570da8834ca17ec | Set0 | LetDefFunInDef | AlreadyCombined |
| dde8745f06bbf8a6b9024feb444fa1f2d376115e | Set1 | LetDefFunInDef | AlreadyCombined |
| 09b285d692879e467310124842bd35feea6ada9a | Set1 | LetDefFunInDef | AlreadyCombined |
| 4e73bf50a421458a752130e1fafd6a6e863f0eb4 | Set2 | LetDefFunInDef | AlreadyCombined |
| 2ccbb85ffd4630a85a7892c67c9a0a9ee5648b96 | Set2 | LetDefFunInDef | AlreadyCombined |
| 3bf5a329c053aa43dcd6995c4ed58d1e639fa607 | Set1InDef | LetDefFunInDef | AlreadyCombined |
| b577864813d76a3e390bb8e3d06262822556a819 | Set1InDef | LetDefFunInDef | AlreadyCombined |
| 0086754e103f67700213b32aec6456f32abb4774 | Set2InDef | LetDefFunInDef | AlreadyCombined |
| d7ff68983525d4ac89d53ae99fc21ffe03767dc5 | Set2InDef | LetDefFunInDef | AlreadyCombined |
| d89c8778ef0d87424e5444baf31a9f3a2ae6b679 | InDef0 | LetDefFunInDef | AlreadyCombined |
| 032038d661df396b6bb797680620d3a15eaa5132 | InDef0 | LetDefFunInDef | AlreadyCombined |
| 5c891382c9ae1e462e15ecb4a957bd8c5108a815 | InDef1 | LetDefFunInDef | AlreadyCombined |
| bd65776c2b59a03112d5d25a98b852add97544b7 | InDef1 | LetDefFunInDef | AlreadyCombined |
| 295c86d94e73c0f1d877d82350a73b9099c33d15 | InDef2 | LetDefFunInDef | AlreadyCombined |
| 512762926b9d52a3931272b7ed91ed7ec8f84da4 | InDef2 | LetDefFunInDef | AlreadyCombined |
| d77adf7e85e63776310c9b8fba45b6f19b20ff15 | Fun | LetDefFunInDef | AlreadyCombined |
| 40f95f30f085ad3adbb2126ff25e0565fb879f63 | Fun | LetDefFunInDef | AlreadyCombined |
| 9003301a6d5cfe753b7ab8de806022d8b2c538e1 | FunInDef | LetDefFunInDef | AlreadyCombined |
| eb6071d685b6d180ac7e2daa49f81e375dfac514 | FunInDef | LetDefFunInDef | AlreadyCombined |
| f663655430e15d05de60bec2926143782911b653 | In | LetDefFunInDef | AlreadyCombined |
| 08f8fabfa0dad81b9477962a318bba09bc938178 | In | LetDefFunInDef | AlreadyCombined |
| b165104e311bbe9d5df71f3690e4026e18852dfa | NotIn | LetDefFunInDef | AlreadyCombined |
| 1026e6978450df5a53443d97fdef0a7e852b1136 | NotIn | LetDefFunInDef | AlreadyCombined |
| 96aeec16393ee41693b564ade2b26ce492814f6e | Exists | LetDefFunInDef | AlreadyCombined |
| 22908df1a5676100130364a57f0bfb92fbf30f18 | Exists | LetDefFunInDef | AlreadyCombined |
| f3d4fc58a712099e17a0ed5f7fd6e5efe3a975f7 | Forall | LetDefFunInDef | AlreadyCombined |
| 7972a0b9d1223be570f056c6938a829630755860 | Forall | LetDefFunInDef | AlreadyCombined |
| 170cf3063f0f834bede58994a71c3c4e3cfd582f | ExistsInDef | LetDefFunInDef | AlreadyCombined |
| 410b9c46a49d46a1bd335f5be023c1ea76557a9f | ExistsInDef | LetDefFunInDef | AlreadyCombined |
| 4d406a679dc7e4e5e9dc02d877203a7b01db4a77 | ForallInDef | LetDefFunInDef | AlreadyCombined |
| c9f63601ea23dfc135360acfa34060b6a02c1fa9 | ForallInDef | LetDefFunInDef | AlreadyCombined |
| 361614b40c1225c7901d1f6508b2c533da4152ba | Choose | LetDefFunInDef | AlreadyCombined |
| 557b102e9acb054a5403f95821d8ef3a2db8dce0 | Choose | LetDefFunInDef | AlreadyCombined |
| 5dfeafccd445ebd85ffcd0a4f0ff02bbdbf0f74a | ChooseInDef | LetDefFunInDef | AlreadyCombined |
| 5c46ea9d589be783f06e2c7027b3a08dbd6afe61 | ChooseInDef | LetDefFunInDef | AlreadyCombined |
| 7cd0c7d9d58e9ee1515a55e9b7fb7b4c34e7a4cc | Record | LetDefFunInDef | AlreadyCombined |
| 13adc37ddb8cea0dcd9cf896969a5710ee6c0acf | Record | LetDefFunInDef | AlreadyCombined |
| 2a2ba174bda351610af2cd78df779ca6d2d00408 | Tuple | LetDefFunInDef | AlreadyCombined |
| a9d5b953ca0335f4b1d2127a817c616a90a6e4c0 | Tuple | LetDefFunInDef | AlreadyCombined |
| 8917eb7b2fc62787a6fbcb7e9b30b51ef2dc364c | TupleEmpty | LetDefFunInDef | AlreadyCombined |
| 30eb6bcf3b9925490e428ff159dc12ceffa9244e | TupleEmpty | LetDefFunInDef | AlreadyCombined |
| 3894b2b2b4b2de3d908bfe820e23298e79882c39 | FunApp | LetDefFunInDef | AlreadyCombined |
| fecf91352d51fd336ec63e2624febf96c02bb93b | FunApp | LetDefFunInDef | AlreadyCombined |
| 5cef65d28fd2f50952c6d2f099bd6e917384682d | Except0 | LetDefFunInDef | AlreadyCombined |
| 7c480cdb4a3a2f1f187068ee11f1401f4184142f | Except0 | LetDefFunInDef | AlreadyCombined |
| 249ac9243671780152a710ac20cc2668cbde37d1 | Except1Fun | LetDefFunInDef | AlreadyCombined |
| effcb6408704401f861d0563eb1c0b96cfbd26de | Except1Fun | LetDefFunInDef | AlreadyCombined |
| f7d8f03b947dac5d8f823f7ccd14654dd9604856 | Except1FunWithAt | LetDefFunInDef | AlreadyCombined |
| 102884f3c55fd98c8994a3d3af272f7c312e0beb | Except1FunWithAt | LetDefFunInDef | AlreadyCombined |
| b5fd8845458890bcc60765bf7e088d4baf888b02 | Except1Rec | LetDefFunInDef | AlreadyCombined |
| 396fafd8a901b09f916e3b05b596c0145c3862dc | Except1Rec | LetDefFunInDef | AlreadyCombined |
| 01dc00f8102e44d82d0c1660d5b0e9e3061ab00c | Except1RecWithAt | LetDefFunInDef | AlreadyCombined |
| 0a70d5aaf8cf2525543196dab447d3057927a41f | Except1RecWithAt | LetDefFunInDef | AlreadyCombined |
| 3dfb80918fe1a669394d41461afe339a44112ac1 | Except2Fun | LetDefFunInDef | AlreadyCombined |
| 4f2a35ec2b5d8eb50e19e69a6ed16ff3c1de59fe | Except2Fun | LetDefFunInDef | AlreadyCombined |
| e6f010e19a8f458e1e7efac9ea58c91327a66449 | Except2FunTuple | LetDefFunInDef | AlreadyCombined |
| 92522cde20f84887a3e9a29ff7a137e8e47e661d | Except2FunTuple | LetDefFunInDef | AlreadyCombined |
| a069bbdca3b1024c087ff274b615d62557b3f9b4 | Prime | LetDefFunInDef | AlreadyCombined |
| 4fc6ad40d16feaeae1080b74380c734934ab4172 | Prime | LetDefFunInDef | AlreadyCombined |
| ad8b9cdbd871602dc67233b0021cf070fd2cfdeb | NumZero | LetDefFunInDef | AlreadyCombined |
| a744f2e91accbe3d251e09e0790d512babd86b08 | NumZero | LetDefFunInDef | AlreadyCombined |
| 8d5df129eb34a639ef6f3d23fedda9004462be82 | NumOne | LetDefFunInDef | AlreadyCombined |
| 7753bffef10943442e1a0aba3cb0892bdbacdfef | NumOne | LetDefFunInDef | AlreadyCombined |
| 18288b8b2a405cf6985ffbf4694eac36d8d0f89d | NumMaxInt | LetDefFunInDef | AlreadyCombined |
| 7169115b0f394052c387f84f9ba66141a651f977 | NumMaxInt | LetDefFunInDef | AlreadyCombined |
| abe0c3e6160fd45448b906b8d2bffe187f4351dc | NumUnaryMinus | LetDefFunInDef | AlreadyCombined |
| 26fac75ae845cf48da7381b7c202c70002b6ad63 | NumUnaryMinus | LetDefFunInDef | AlreadyCombined |
| efbae243025691ed606e2687a4316f359be011cb | NumPlus | LetDefFunInDef | AlreadyCombined |
| 398b0242dacb53779d8f4587190855c03dd990a5 | NumPlus | LetDefFunInDef | AlreadyCombined |
| ada6e0e6c8db1dad5b398f8dc678ee81db6a33bc | NumMinus | LetDefFunInDef | AlreadyCombined |
| cc4e29dc564fd0396793e435f226a1216a59c330 | NumMinus | LetDefFunInDef | AlreadyCombined |
| b379024dea8095934fd6e33977206490b0413721 | NumMul | LetDefFunInDef | AlreadyCombined |
| 4132531e22292c9ca3e35aea1491dde5817e1a67 | NumMul | LetDefFunInDef | AlreadyCombined |
| 38693dc34adcf4fdfc8250a93baba3944d875924 | NumDiv | LetDefFunInDef | AlreadyCombined |
| 01bd1652626930aae4374007b775ea856fd1142c | NumDiv | LetDefFunInDef | AlreadyCombined |
| b60419174fd74c8fb631d5603bfffc340167bda5 | NumMod | LetDefFunInDef | AlreadyCombined |
| a9a1f001a6856a66f88f7fa5c589d28d22115797 | NumMod | LetDefFunInDef | AlreadyCombined |
| 4506a01cda67c9b4fa4c1b36950bd9b1d1b59336 | NumPow | LetDefFunInDef | AlreadyCombined |
| 7de46ef8d498952cf59197eabe5e0e96e3f4b815 | NumPow | LetDefFunInDef | AlreadyCombined |
| 997d2d9be9d7cfb0f2987abe6fde648c08cc17b6 | NumGt | LetDefFunInDef | AlreadyCombined |
| 5930929e5d58bd5dc159274795413a9c819a4af8 | NumGt | LetDefFunInDef | AlreadyCombined |
| 3aa79bdfea51f7216586ca288f893689b10844a7 | NumGe | LetDefFunInDef | AlreadyCombined |
| c034bcc6fe3e225f4a4134c6422ece7d9489d199 | NumGe | LetDefFunInDef | AlreadyCombined |
| 7bf57e4d3853ab3c7ee1c098dbfc880a85a3aefa | NumLt | LetDefFunInDef | AlreadyCombined |
| b52f5908617a6dc591b5be621077af80dd1610e0 | NumLt | LetDefFunInDef | AlreadyCombined |
| 318f04b8fd393401be80139eb7fdfb91ac71e8fe | NumLe | LetDefFunInDef | AlreadyCombined |
| c6b64b2c34dad264c76e57901b191da766b913c9 | NumLe | LetDefFunInDef | AlreadyCombined |
| 8ad2ee062d27704111226cb478e03520c3eebaea | DefFun | LetDefFunInDef | AlreadyCombined |
| 21942697f226d4c52bbac77126181dc05afbe5b1 | DefFun | LetDefFunInDef | AlreadyCombined |
| f1569f9321295d6628e5d7b1711489188aa0f4f9 | LetDefFun | LetDefFunInDef | AlreadyCombined |
| 4e83bb3b555ca18b42e63c23224e9fba7db85559 | LetDefFun | LetDefFunInDef | AlreadyCombined |
| ae36bf1a767a13878de6c6afed9ae35005e45888 | DefFunRecursive | LetDefFunInDef | AlreadyCombined |
| 84fee8d0f436b3f8a0607d0e7b5736f48ee99681 | DefFunRecursive | LetDefFunInDef | AlreadyCombined |
| 64c9739ed322d65cef0965d60a299a32e19bf97d | LetDefFunRecursive | LetDefFunInDef | AlreadyCombined |
| 01464934bee006abc677de506261cdf0e1664e5d | LetDefFunRecursive | LetDefFunInDef | AlreadyCombined |
| 51795ca5beaef4d2c4b0742aa72fc07f7ebf1dcb | DefFunInDef | LetDefFunInDef | AlreadyCombined |
| 1ac9c9ad27134a75b9a4dcc3cc73c7890deff3e2 | DefFunInDef | LetDefFunInDef | AlreadyCombined |
| 0a7e52e42d40b99d5e325552e47c89c7f70b4ba8 | LetDefFunInDef | LetDefFunInDef | AlreadyCombined |
| 84765112c16af4891ce628902d23a572d61b7509 | LetDefFunInDef | LetDefFunInDef | AlreadyCombined |
| ceaf181ee7ba47581fc256cd992302ec652023b2 | Def0 | LetDefFunInDef | AlreadyCombined |
| 79eb5f908b3333f988d1da3a67b1a73d0a497638 | Def0 | LetDefFunInDef | AlreadyCombined |
| 63c109679a3104e37ced42dccbbdf3f3cf7a501a | LetDef0 | LetDefFunInDef | AlreadyCombined |
| fc28ef2075b37121e99d32a140478d488f9427af | LetDef0 | LetDefFunInDef | AlreadyCombined |
| e31f3afd3c6227d00bdff0adfa0218577cf2d87b | Def1 | LetDefFunInDef | AlreadyCombined |
| 6508291e255cff72f93c8bebf378e24740185ae5 | Def1 | LetDefFunInDef | AlreadyCombined |
| b4e5853121fdff18104e222d50331dd1c8265c24 | LetDef1 | LetDefFunInDef | AlreadyCombined |
| d9a7b6a6484a7bfe53dcf41db671bc9c1cd0a6dc | LetDef1 | LetDefFunInDef | AlreadyCombined |
| 07ab2a6798185d6dde90420414016884db876e74 | Def2 | LetDefFunInDef | AlreadyCombined |
| 96f7a0f682c8ae0fa1c1c971f0f8bf8a68fae9de | Def2 | LetDefFunInDef | AlreadyCombined |
| 735d0bedd1b132a878036fd930f5bf087da41166 | LetDef2 | LetDefFunInDef | AlreadyCombined |
| 9338384a446bb2e69235778265ad2f83fc1e798f | LetDef2 | LetDefFunInDef | AlreadyCombined |
| 420a77b768b600fd43ba1df17e0688d45623d60f | Def1Recursive | LetDefFunInDef | AlreadyCombined |
| c4e26868131120d70a3c826423a355a21fa29465 | Def1Recursive | LetDefFunInDef | AlreadyCombined |
| 302ed20352eb08d177714946a40e2c248bdf3f6d | LetDef1Recursive | LetDefFunInDef | AlreadyCombined |
| ec5a9dc4fbe176481105023364f71b274f7d3ad0 | LetDef1Recursive | LetDefFunInDef | AlreadyCombined |
| b260c835275f07071bebb25e9943c4dffe3b5d32 | Extends | LetDefFunInDef | AlreadyCombined |
| e7f917fb71aec9c936668a1122ac7d34fc7d2fd5 | Extends | LetDefFunInDef | AlreadyCombined |
| 4c20fa4c51ec0d8ef6f76836bfdff23c7cae94f7 | ExtendsInDifferentFolder | LetDefFunInDef | AlreadyCombined |
| f4ab69425841f9745d391c24fdf0f9ef75bca504 | ExtendsInDifferentFolder | LetDefFunInDef | AlreadyCombined |
| 12b30a56c00463b602162d5c2863223c40543cc9 | Variable | LetDefFunInDef | AlreadyCombined |
| d0ee405eddb6349748a2f6173e0878236f7a121b | Variable | LetDefFunInDef | AlreadyCombined |
| 2e6f4c9f7b3a5261ed1922c2fde6dfd6cdfdce88 | VariableViewExclude | LetDefFunInDef | AlreadyCombined |
| c04ce4c618bbce58f84b78c9b7522f974ee5d517 | VariableViewExclude | LetDefFunInDef | AlreadyCombined |
| b7e2f41051b4bee9026a3417ab10075b248595a7 | Constant | LetDefFunInDef | AlreadyCombined |
| 2c335c4057c1089a9733378792823611dda0b3d4 | Constant | LetDefFunInDef | AlreadyCombined |
| 5aec70fb78fb59217d53ff3ce1219393550edd64 | ConstantModelValue | LetDefFunInDef | AlreadyCombined |
| b7cceb471163756b36b4acd972ca4fde7c581165 | ConstantModelValue | LetDefFunInDef | AlreadyCombined |
| 5ee048d9f040ddd55beb33d7a78052d0911ffead | ConstantRank1 | LetDefFunInDef | AlreadyCombined |
| 6fa165a1d0b70292438ea79736caa0263fb24f28 | ConstantRank1 | LetDefFunInDef | AlreadyCombined |
| fb4f2c92fe7f53c6cd35c96ffec0f0dc422e89d1 | Instance | LetDefFunInDef | AlreadyCombined |
| 1338c3059601bfcc911aa83d9917f9a337e90cf7 | Instance | LetDefFunInDef | AlreadyCombined |
| ee2059de49723ce9af782ae6bdc3920e9210ab71 | InstanceWith | LetDefFunInDef | AlreadyCombined |
| c9e3e88cab46f39ca4859eb1b6bdf0bd042afb0e | InstanceWith | LetDefFunInDef | AlreadyCombined |
| 2d6513d88e1ac71bc8bb108307d909fcd1123629 | InstanceNamed | LetDefFunInDef | AlreadyCombined |
| db0e5f66dc4c3ad5f5660d6967eb17d86222f721 | InstanceNamed | LetDefFunInDef | AlreadyCombined |
| 780ad18e85827f3594797809e8ffd800d390050e | InstanceNamedWith | LetDefFunInDef | AlreadyCombined |
| 60f4ef3a1bf57f9f68df77f19cbebad684a21163 | InstanceNamedWith | LetDefFunInDef | AlreadyCombined |
| 671d0b9006dc0580843de5e5aad67ad2920c50d7 | InstanceInFolder | LetDefFunInDef | AlreadyCombined |
| 0a217ecb762c23580aee0d53e22a8009dc810505 | InstanceInFolder | LetDefFunInDef | AlreadyCombined |
| 7fc29a308e860b0507e0f4cca8662068629e9724 | InstanceWithInFolder | LetDefFunInDef | AlreadyCombined |
| 29b6e146cddae378bb0807208d3b129b630e9111 | InstanceWithInFolder | LetDefFunInDef | AlreadyCombined |
| 6c759c22716e01ec0008869c34b83daf739718c0 | InstanceNamedInFolder | LetDefFunInDef | AlreadyCombined |
| 45cb819614fb07d025066b36a5d63bd7dedff787 | InstanceNamedInFolder | LetDefFunInDef | AlreadyCombined |
| a3a1884498c30af9b2742ada87c53c72c447700f | InstanceNamedWithInFolder | LetDefFunInDef | AlreadyCombined |
| 83a77b9fae45a9c9dc17d5150215f85cd896b8de | InstanceNamedWithInFolder | LetDefFunInDef | AlreadyCombined |
| e8be5290391103f7abfcc4e325aa9b536912d09e | Enabled | LetDefFunInDef | AlreadyCombined |
| d0aeabebad99e3312dcc6634e848ed79a5c941cb | Enabled | LetDefFunInDef | AlreadyCombined |
| 9ef5d82a30c1c0d58306efff34b4c8c623ad5d1f | Assume | LetDefFunInDef | AlreadyCombined |
| bbe5ca8de305612df8c0186479e80260a5fcd293 | Assume | LetDefFunInDef | AlreadyCombined |
| 112597eae5886fb46be03624a2c0f30424e58e98 | AssumeNamed | LetDefFunInDef | AlreadyCombined |
| cf5f0704da839ccc672453c724dc8a9e777fe226 | AssumeNamed | LetDefFunInDef | AlreadyCombined |
| 583b2aa65a20ceb1fbde9f00f38dc61b97cb9fd5 | Lambda | LetDefFunInDef | AlreadyCombined |
| 6ef34d562e0f380e74ecd91a61d69ce84f60957c | Lambda | LetDefFunInDef | AlreadyCombined |
| 038c0686137de263d7001164e793b55c7525e09a | Cross2 | LetDefFunInDef | AlreadyCombined |
| f7a56fa3c1e7441b5e406b39c5b59957ccaf48d4 | Cross2 | LetDefFunInDef | AlreadyCombined |
| 45cbd0861b5fd1c8ba8be11e7e87d514aef3e80b | Cross3 | LetDefFunInDef | AlreadyCombined |
| 2f4c90dd82d08771f23d5641784adb32bc9c8946 | Cross3 | LetDefFunInDef | AlreadyCombined |
| 1776d0afdc9d055db10e958e6beef2beb76d1b51 | FunSet | LetDefFunInDef | AlreadyCombined |
| 5acfc1e5f198088b56262dfe6abddec23e6bf593 | FunSet | LetDefFunInDef | AlreadyCombined |
| 09a6ed525e22a170efb078ce932055011a3b7dba | RecordSet | LetDefFunInDef | AlreadyCombined |
| c1135a502d56b66797edb9383b6e40cd00963589 | RecordSet | LetDefFunInDef | AlreadyCombined |
| 41363af1979994029fe8ffa66521d5738a784fe2 | SetDiff | LetDefFunInDef | AlreadyCombined |
| ced52c137ddd71c05d99c6c8d7f7bb635cb9fa0b | SetDiff | LetDefFunInDef | AlreadyCombined |
| 4702ff84496ffa53ebcba86116ab8e91144f332d | SetUnion | LetDefFunInDef | AlreadyCombined |
| 205fd1ef5feb0824c549214e9867d5482db83a3b | SetUnion | LetDefFunInDef | AlreadyCombined |
| f9734d33c9ddd7f52b335c5293c1d8cdc76b7a85 | SetIntersect | LetDefFunInDef | AlreadyCombined |
| c6473353851570326022f4128d5e2c10359604ad | SetIntersect | LetDefFunInDef | AlreadyCombined |
| 2b031a7fcf29c44ef576560a021a361c4d1b9650 | SubsetEq | LetDefFunInDef | AlreadyCombined |
| 1fa43ee695266d489d39795f9df698f51a99e170 | SubsetEq | LetDefFunInDef | AlreadyCombined |
| 8e6b147ef120cbadcd416be28335e24aef57aa73 | IfCond | LetDefFunInDef | AlreadyCombined |
| 7040135169adad8584a110e6f7fa2d8aa7b24ee6 | IfCond | LetDefFunInDef | AlreadyCombined |
| fd04d44286f97670ec2e16f73411399b85f2e0e8 | IfThen | LetDefFunInDef | AlreadyCombined |
| fcd712da11e31a8a1ec489d0fb64f7d8b6aa7f37 | IfThen | LetDefFunInDef | AlreadyCombined |
| c2b8dd8ed24bac7b91feed5182daeb1d11860bad | IfElse | LetDefFunInDef | AlreadyCombined |
| 5bc71cd9284b478f35afbc379fca536c241ea2ee | IfElse | LetDefFunInDef | AlreadyCombined |
| 0e2a2319a826b01922d73e80a5b24a24c0030ec5 | Subset | LetDefFunInDef | AlreadyCombined |
| 76849234fe6a30044036a576d2e1b3ef03b08afe | Subset | LetDefFunInDef | AlreadyCombined |
| 44613cf080c6e3283c3ec7743489d87cfaca9010 | Domain | LetDefFunInDef | AlreadyCombined |
| 186bbd6bf4fb4183cdc57ecf591428bb24f8f1b3 | Domain | LetDefFunInDef | AlreadyCombined |
| 527b10cfb4d70f859dc1ab4555c5b871dec22748 | Union | LetDefFunInDef | AlreadyCombined |
| edd32d2b405c26f2b4b26a1863a05fa69fc76ba2 | Union | LetDefFunInDef | AlreadyCombined |
| dbceafb859ff838d1dbc8b8b63a3011bea3c9996 | Unchanged | LetDefFunInDef | AlreadyCombined |
| 3eaaf3dd14e90c8fbc28050361d96847a8b9c991 | Unchanged | LetDefFunInDef | AlreadyCombined |
| 2a6e92b2f2d8992c2f077c84506bb4934eee95a0 | Equivalence | LetDefFunInDef | AlreadyCombined |
| 3c95f9715161bf733d25f02b5cba327c7e3d3e72 | Equivalence | LetDefFunInDef | AlreadyCombined |
| e0ca392726c2a6234a33627aea757a808b817e44 | StringEmpty | LetDefFunInDef | AlreadyCombined |
| 28888c96a9dea552b11ec59f0ae851380b8efee0 | StringEmpty | LetDefFunInDef | AlreadyCombined |
| 2f7651116585b175906fd810db3aab2c416f2334 | String | LetDefFunInDef | AlreadyCombined |
| 237e9261081d907357e7276b9de2747a5ec2adce | String | LetDefFunInDef | AlreadyCombined |
| c7d39d5f0a2758e51837b5c4f410d4d5571d1dbf | SeqLen | LetDefFunInDef | AlreadyCombined |
| 6ddffac12d57cea19b957df0808b866459337cc8 | SeqLen | LetDefFunInDef | AlreadyCombined |
| 21723a2ba12c67614f8f281c3a617ef2f126d67b | SeqConcat | LetDefFunInDef | AlreadyCombined |
| 87eb9f8df071b6c94bd560abf9791c14fcf9d304 | SeqConcat | LetDefFunInDef | AlreadyCombined |
| c1ae202efaca400615adfdbb94f71a5c66253077 | SeqSeq | LetDefFunInDef | AlreadyCombined |
| de09b4b60b537ec4494dd644cce2c6742028a463 | SeqSeq | LetDefFunInDef | AlreadyCombined |
| 51f17737407692ad715f9f83115ba803ca4f8f20 | NatSet | LetDefFunInDef | AlreadyCombined |
| 887027e5b7a0b498133403ed2f106f15418e1c0e | NatSet | LetDefFunInDef | AlreadyCombined |
| cfd763139412aa4d8218046aedf54a76ddfbd270 | IntSet | LetDefFunInDef | AlreadyCombined |
| a81fb74dd4b167f8511fc1bb5c5025f707f9e4d0 | IntSet | LetDefFunInDef | AlreadyCombined |
| ffe46f61ca7ad6c244d14ac6898c7f41a28b03db | StringSet | LetDefFunInDef | AlreadyCombined |
| 97582e09c99055af197470a79fca1d381de67b83 | StringSet | LetDefFunInDef | AlreadyCombined |
| b506e4d0e987becbda0fd575da8b7a2fdbc11ba6 | SeqSelectSeq | LetDefFunInDef | AlreadyCombined |
| 550badb00a28268b44dab6639485fea9904a5fe4 | SeqSelectSeq | LetDefFunInDef | AlreadyCombined |
| 5270ff2583eb97c926ea0ad0d0d07fc1d8f56971 | SeqSubSeq | LetDefFunInDef | AlreadyCombined |
| 73178b249ccad565cec8cebb4c3a100d184ba88d | SeqSubSeq | LetDefFunInDef | AlreadyCombined |
| a32fbe494119cfc308c52274da90c592d8016300 | NumRange | LetDefFunInDef | AlreadyCombined |
| 78655e5ca809d19c2d94c6166e007267f28d6b3d | NumRange | LetDefFunInDef | AlreadyCombined |
| 39f7ae460f5b85abb5ed43bfd683b184606433a0 | TlcSingletonFun | LetDefFunInDef | AlreadyCombined |
| b08f66f1e485cf519a50b6b43da57ed9b885112f | TlcSingletonFun | LetDefFunInDef | AlreadyCombined |
| d0b1dde7cfe43e2bffdd3be7b5b011cf51b89106 | TlcExtendFun | LetDefFunInDef | AlreadyCombined |
| 8786ce2b2636b609c11a06abbfc2d8b3e3599ffd | TlcExtendFun | LetDefFunInDef | AlreadyCombined |
| 11765041a9fb96a74a041e1f28eb4100cea737c5 | TlcPermuteFun | LetDefFunInDef | AlreadyCombined |
| 9afc1564fda6e40d8f78e6ed0eca74857e79cecb | TlcPermuteFun | LetDefFunInDef | AlreadyCombined |
| ec2976118439b156ea08dd67991eb14ad145c90a | TlcSortSeq | LetDefFunInDef | AlreadyCombined |
| b52ad1879c276056ca31f07371c636adf2fbc6cd | TlcSortSeq | LetDefFunInDef | AlreadyCombined |
| b2186713e46a8c26b0ce6d35d58f6c00a9a0aa9c | TlcEval | LetDefFunInDef | AlreadyCombined |
| 6f9c9e28682a5049fc8a644d06df867345dda185 | TlcEval | LetDefFunInDef | AlreadyCombined |
| 293d92f60a689c9557f92de3c1f502835214af6a | BagBagToSet | LetDefFunInDef | AlreadyCombined |
| ffc5954de5e7db6fb2e710e47fbd238167b713e8 | BagBagToSet | LetDefFunInDef | AlreadyCombined |
| a2f08652acd044e29ae565e2d2700409dbdc2cc5 | BagSetToBag | LetDefFunInDef | AlreadyCombined |
| dd32bab701756518f1cac49f1a8dbcfc4f0dc74f | BagSetToBag | LetDefFunInDef | AlreadyCombined |
| 986622ec3a1820a65f54e6064f4fa2bf3f976ef2 | BagBagIn | LetDefFunInDef | AlreadyCombined |
| 3edcaebd006747bfe028c87291cf0617abfd385d | BagBagIn | LetDefFunInDef | AlreadyCombined |
| fdada7c267d67275f665296d0952dfe7a20e6d33 | BagEmptyBag | LetDefFunInDef | AlreadyCombined |
| a27c84d9b05677bf035cc8bda366437af41abf60 | BagEmptyBag | LetDefFunInDef | AlreadyCombined |
| 6924a0dc9e991278810bddbb74d42ac53ef44c7e | BagAddBag | LetDefFunInDef | AlreadyCombined |
| afea762b4ac7611693461ac09b8c57b3f12529fe | BagAddBag | LetDefFunInDef | AlreadyCombined |
| 8bd52dbe4a875759cf8d3396df937f5cb12b25e7 | BagBagSub | LetDefFunInDef | AlreadyCombined |
| f2ba5365c2f82e1ea54a2fe0e98f5eec3f4329f3 | BagBagSub | LetDefFunInDef | AlreadyCombined |
| 0c3159d66f97e2f6770b19cb968386af96377ee5 | BagCopiesIn | LetDefFunInDef | AlreadyCombined |
| 93b04564473862726f58d6886eb3401c07ae8cd4 | BagCopiesIn | LetDefFunInDef | AlreadyCombined |
| ad15019f7c6c14382b851558841c4ebb4d8b1d02 | BagSubsetEqBag | LetDefFunInDef | AlreadyCombined |
| 9680428fd00e02db28188b32ea6995cdc5381eea | BagSubsetEqBag | LetDefFunInDef | AlreadyCombined |
| 79f9a5e3e3fb3773ef4b2bb569d6cf196ab4e1cc | BagBagUnion | LetDefFunInDef | AlreadyCombined |
| 79a48edc64ecf4777ace98beb9a66a5bade0ed21 | BagBagUnion | LetDefFunInDef | AlreadyCombined |
| e2279850542888aac7559b05f62e594d7464e308 | BagBagCardinality | LetDefFunInDef | AlreadyCombined |
| 63968cbfda1dfdd2102c36348637bbe4d5f61f2c | BagBagCardinality | LetDefFunInDef | AlreadyCombined |
| dacc8e194d431ca2c41daff6c1a8865e6cb64925 | BagBagOfAll | LetDefFunInDef | AlreadyCombined |
| 13a2f345fe9c4ea722f9211759a0e83423ad8d74 | BagBagOfAll | LetDefFunInDef | AlreadyCombined |
| 776a2e8a36fa2f0a5c8e154c52616e8babb915ef | BagSubBag | LetDefFunInDef | AlreadyCombined |
| 44a54820c5bae44350c35f77ab6138ce18adf25c | BagSubBag | LetDefFunInDef | AlreadyCombined |
| a43bd4ff0eefcda77a0d87e3693ccb1e1fb7aa5a | FiniteSetsIsFiniteSet | LetDefFunInDef | AlreadyCombined |
| 34329f6cc9d96cea9942915380488b992ee5545e | FiniteSetsIsFiniteSet | LetDefFunInDef | AlreadyCombined |
| 294b5411fcbd13115d2c921ad776833af9f2da43 | FiniteSetsCardinality | LetDefFunInDef | AlreadyCombined |
| 1fe4765d21fa2aca9057e086691f9eaaaa90efe5 | FiniteSetsCardinality | LetDefFunInDef | AlreadyCombined |
| a3b105dfab828244406ea2c43aac900c937a8a1f | SeqHead | LetDefFunInDef | AlreadyCombined |
| 022d4d019f3daf407f8e1ad296444637e84bdac5 | SeqHead | LetDefFunInDef | AlreadyCombined |
| 4bb0f8290e3be70a0469fa3858335a8b57eb27ab | SeqTail | LetDefFunInDef | AlreadyCombined |
| f5830ce2f7c5a610f4b0ed98f60d58b53fac41e9 | SeqTail | LetDefFunInDef | AlreadyCombined |
| 7c044c620ad2c2b210f4b441e721aac6e2f82906 | SeqAppend | LetDefFunInDef | AlreadyCombined |
| 72d42573ba143788d703a33afea6504960ca5ff3 | SeqAppend | LetDefFunInDef | AlreadyCombined |