| Id | Case Feature | Plug Feature | Skip Reason |
|---|---|---|---|
| dc3b9b20c94f38c9ec45b762dcc748180f8b771a | OneLineComment | LetDefFunRecursive | CanNotBeCase |
| ea47417b42da65a40dab489c00e422cb94e6affb | OneLineComment | LetDefFunRecursive | CanNotBeCase |
| 0e1c96cd045d7cd8d94029bdabb9f85f362dd578 | MultiLineComment | LetDefFunRecursive | CanNotBeCase |
| 61f0f381f0555a7c4d2ae2eade483f3fb357773f | MultiLineComment | LetDefFunRecursive | CanNotBeCase |
| f16943c46e5f896c2471abc0de736cf7bf29a287 | BoolTrue | LetDefFunRecursive | TypeMismatch |
| 10c4463052ba4919dc9ca673500eef52f33b4a8b | BoolTrue | LetDefFunRecursive | TypeMismatch |
| 123bb7c91edccba528b0a4eaf508e886a2b8db44 | BoolFalse | LetDefFunRecursive | TypeMismatch |
| 1f7c5c730c2a99672639853ce07666e010e4fa6e | BoolFalse | LetDefFunRecursive | TypeMismatch |
| c4200070ccf9d90ea0f266370f0dd13ee23de839 | BoolSet | LetDefFunRecursive | CanNotBeCase |
| f4b9ffac5057acec78f8195fa770adff16cee7cc | BoolSet | LetDefFunRecursive | CanNotBeCase |
| 4cce68195eb663cb59b73b6fe8a31871982d4599 | And | LetDefFunRecursive | TypeMismatch |
| 3019adfdae165e5c98c91b8bfc5bdb5efab1ce4d | And | LetDefFunRecursive | TypeMismatch |
| 6d0d1ed9e60cafef383de3e8441387b17fd42cb7 | AndMultiLine | LetDefFunRecursive | TypeMismatch |
| 63d777e454984c71ab24c48b8f52dc57f8f5820b | AndMultiLine | LetDefFunRecursive | TypeMismatch |
| a537c8af135e86770a835322f4536ed0da4458c6 | Imply | LetDefFunRecursive | TypeMismatch |
| 67e0c0db64264209a0a890cd7c46c9d931273fef | Imply | LetDefFunRecursive | TypeMismatch |
| f616a942d6b428833806529b67dca737af150ea0 | Not | LetDefFunRecursive | TypeMismatch |
| db6f7f2e859d2b3259ed94077b95b673311c0222 | Not | LetDefFunRecursive | TypeMismatch |
| 9949b97f27beb95fd220b91e44e45ef98752ab7f | Or | LetDefFunRecursive | TypeMismatch |
| 372874e3c3df9199b738fd8e0948be043177d88b | Or | LetDefFunRecursive | TypeMismatch |
| c3b62461ceb2f02559212eb02772dff3acfaaa48 | OrMultiLine | LetDefFunRecursive | TypeMismatch |
| 25c86bc73307845d617bf6efc45b6b71685d052f | OrMultiLine | LetDefFunRecursive | TypeMismatch |
| da8c248f5327f01b0ceaa1eb7ebc81ec3618d956 | AndProp | LetDefFunRecursive | TypeMismatch |
| 78c9cd9f0ec7e06a2e5275686c9021904e11791a | AndProp | LetDefFunRecursive | TypeMismatch |
| 923e9d751d6e3fa9e9df8a1f6cd1eaa0c0801973 | Boxed | LetDefFunRecursive | TypeMismatch |
| 1e0fcd6719bae9a110c40a48d8a792ce6e20cbdc | Boxed | LetDefFunRecursive | TypeMismatch |
| 19ff3ae3f0335f27225c7388c94e921c0e2a19c5 | SetEmpty | LetDefFunRecursive | CanNotBeCase |
| 1656921c17f2859b854e6dbad5db3dd4fcc8c1a5 | SetEmpty | LetDefFunRecursive | CanNotBeCase |
| d2f07d3955ae49430d81f3fe50691435f466d19e | Set1InDef | LetDefFunRecursive | TypeMismatch |
| 71b3ef8cc4c5cba78fc09fa4e3bf083d7016f2d3 | Set1InDef | LetDefFunRecursive | TypeMismatch |
| 434ccb94edda740449659250fb3127906679f6da | Set2InDef | LetDefFunRecursive | TypeMismatch |
| 7463bc6953c8a8caef530bddf76cd433ff6b149d | Set2InDef | LetDefFunRecursive | TypeMismatch |
| 06dcf06160efa28667de4da0b971812cf55ebd3d | InDef0 | LetDefFunRecursive | CanNotBeCase |
| 06119a09c2083eef38c506f6e2b395f50ea4f105 | InDef0 | LetDefFunRecursive | CanNotBeCase |
| 64243c33382d815029a03365490ae1dc4e40841d | InDef1 | LetDefFunRecursive | CanNotBeCase |
| 1df832ee8f4984836d5a6eef7d2290bae7de00f6 | InDef1 | LetDefFunRecursive | CanNotBeCase |
| a9cfb8ca5bc884397650d2cb72da232cfc1ad6dd | InDef2 | LetDefFunRecursive | CanNotBeCase |
| d6a826afc701c9d780850694002b942dd7cdfa63 | InDef2 | LetDefFunRecursive | CanNotBeCase |
| bf64232cbb598d82dfef3ed85d016df68cb21c37 | FunInDef | LetDefFunRecursive | TypeMismatch |
| 8c5402e11694a17895aac9eb51771473cacf0fa2 | FunInDef | LetDefFunRecursive | TypeMismatch |
| 772d6a2f056742830584a5bda33b3a7d369006ba | Exists | LetDefFunRecursive | TypeMismatch |
| b4a2a3e886dffba6ec63b1b2a928484f83b9f04d | Exists | LetDefFunRecursive | TypeMismatch |
| 4019f6a613c71d5565fb2ad9bbc5789d3638272b | Forall | LetDefFunRecursive | TypeMismatch |
| 16cc7a833a1488957f88348af88c881fc8b076a4 | Forall | LetDefFunRecursive | TypeMismatch |
| 62f520ce0d2ceccdec9d348a8f3d806eb02c5503 | ExistsInDef | LetDefFunRecursive | TypeMismatch |
| 66b17a4bcbd07a40ed2bf19af6157d0468dcb411 | ExistsInDef | LetDefFunRecursive | TypeMismatch |
| 51a7b042e7e0c6d1f9c9027e87fdb4d766e0c3dc | ForallInDef | LetDefFunRecursive | TypeMismatch |
| 5789a59905cdabb6a8bf518a1bbd0c4ad78bbe40 | ForallInDef | LetDefFunRecursive | TypeMismatch |
| 19819c4d3890793aa452c8c39a7b59ba5c895a72 | Choose | LetDefFunRecursive | TypeMismatch |
| 2829aa4616126f3add8b615693b9335e1feb5e26 | Choose | LetDefFunRecursive | TypeMismatch |
| 0b73c55ee82ec94078b108c6079174c64236427f | ChooseInDef | LetDefFunRecursive | TypeMismatch |
| df667a2b9ef88e099aecee29280eaadb22550940 | ChooseInDef | LetDefFunRecursive | TypeMismatch |
| d8a5060ae25f1288108c28bc326b698005e91ca0 | TupleEmpty | LetDefFunRecursive | CanNotBeCase |
| d6b867332ec8588d64941423eac398da07cb337d | TupleEmpty | LetDefFunRecursive | CanNotBeCase |
| 1317e44e92e6584f1a400c124f6500db16c8e449 | Except2FunTuple | LetDefFunRecursive | TypeMismatch |
| 3829b92f03d773ec46646ccd680c8005870eef1e | Except2FunTuple | LetDefFunRecursive | TypeMismatch |
| a27eed2e392afd83634cf93c9fd47c132e3aed84 | NumZero | LetDefFunRecursive | TypeMismatch |
| ed9512d9b3513acbdf1896c55727a7a568edbdaa | NumZero | LetDefFunRecursive | TypeMismatch |
| 064e7da728fddf4772852e3180ab4b562cc29d7c | NumOne | LetDefFunRecursive | TypeMismatch |
| b4c4a8f1c8e7edabfc2de4a89872b0cc45007ab0 | NumOne | LetDefFunRecursive | TypeMismatch |
| f2df3b1083079e54025d02706948a94e28524087 | NumMaxInt | LetDefFunRecursive | TypeMismatch |
| 237357bc85d6d2e1fbb313dffb146312f334befc | NumMaxInt | LetDefFunRecursive | TypeMismatch |
| d22c78f6f377cef73e6f551639907060606adbff | NumUnaryMinus | LetDefFunRecursive | TypeMismatch |
| 070db38211c54b00ad3ac1a26668a663db4c805e | NumUnaryMinus | LetDefFunRecursive | TypeMismatch |
| 249e0d4f678cc85b705da0ead88d9cada3d81285 | NumPlus | LetDefFunRecursive | TypeMismatch |
| c6c9eae64c02d7d6a64de8e30c282ec3027c96b7 | NumPlus | LetDefFunRecursive | TypeMismatch |
| dd95552d9868dbcc5b18fd41f85cf4c4f3accf3f | NumMinus | LetDefFunRecursive | TypeMismatch |
| f103e5e830c5476677f0d5ae88f842197810b57f | NumMinus | LetDefFunRecursive | TypeMismatch |
| 85ce20c3c0a3ac418d1effe8a206485c684efb3f | NumMul | LetDefFunRecursive | TypeMismatch |
| 09c7c4e392e3830a71b7e6b3af4d2bd92e141427 | NumMul | LetDefFunRecursive | TypeMismatch |
| bbc73d8f45f1fdb9da95b9da97785c2f4960bad4 | NumDiv | LetDefFunRecursive | TypeMismatch |
| 436abfbf2b3125863830484c2f2c0922f04047c4 | NumDiv | LetDefFunRecursive | TypeMismatch |
| ddda1fa1e814fb27f3d33f28d23aabc61fd1bdd1 | NumMod | LetDefFunRecursive | TypeMismatch |
| c891b83f6b68bb03a24a816a38b0f2511c7d2ae3 | NumMod | LetDefFunRecursive | TypeMismatch |
| 73235513592cc26ae83f33551f230ba679e6a6ac | NumPow | LetDefFunRecursive | TypeMismatch |
| 2bb6b4d188b554028ab7772f50fcc138d8ca849f | NumPow | LetDefFunRecursive | TypeMismatch |
| 86c488b8fd85ee6b9a4c5de101c4ef2c84b7195a | NumGt | LetDefFunRecursive | TypeMismatch |
| b1fd81c0f681d1573beb096e63e5f8aa55f1f888 | NumGt | LetDefFunRecursive | TypeMismatch |
| 978099a68cb08f898c45548ea701739bf4e16082 | NumGe | LetDefFunRecursive | TypeMismatch |
| 33499047a8a51f6259d3009b914e091bf68ff0ba | NumGe | LetDefFunRecursive | TypeMismatch |
| c26d37a2bb9fa613a8bae7d98272f1d13dea1ea0 | NumLt | LetDefFunRecursive | TypeMismatch |
| c110e8eff58a868282b32c748a43fdd9cc18c87e | NumLt | LetDefFunRecursive | TypeMismatch |
| 91c4639683285434f9fadde2a2e9f4a1fb4f5062 | NumLe | LetDefFunRecursive | TypeMismatch |
| a3c0d8c0d7d0aa1133a8de73331200b854f05796 | NumLe | LetDefFunRecursive | TypeMismatch |
| d61c1ac0e3daa461d367cb0eb6c48b4d420c8e3f | DefFunInDef | LetDefFunRecursive | TypeMismatch |
| b8915cf503110d91221eddba32a87aa95da4fe23 | DefFunInDef | LetDefFunRecursive | TypeMismatch |
| 9a8c022310055fa007280a93ad4199f8eb8e42e1 | LetDefFunInDef | LetDefFunRecursive | TypeMismatch |
| 87014e4409bdd1f52db79b24a08032b5455e5ee4 | LetDefFunInDef | LetDefFunRecursive | TypeMismatch |
| 3d2f346be75e9da7f91c80fe40de6f9e03c5f734 | ConstantModelValue | LetDefFunRecursive | CanNotBeCase |
| 28b794539603c1db09fb6b764d5bf1b58d3d5515 | ConstantModelValue | LetDefFunRecursive | CanNotBeCase |
| 605ecb967d8dc852e4b7979d35650697ce7351f1 | Enabled | LetDefFunRecursive | TypeMismatch |
| c04e8afb6cee9aba1e1fbdb0c9a605b5741102a4 | Enabled | LetDefFunRecursive | TypeMismatch |
| 612da34581e2484833ab268e07c03972ef9e1ced | Assume | LetDefFunRecursive | TypeMismatch |
| b6150b341def66121502ca59446f8cec17771af6 | Assume | LetDefFunRecursive | TypeMismatch |
| 38ac1a04a3eaff4a0262b0e61f25b02d27925fe3 | AssumeNamed | LetDefFunRecursive | TypeMismatch |
| c4b6b6d356a8a82e506d8caf16f578a7313ecc04 | AssumeNamed | LetDefFunRecursive | TypeMismatch |
| 0658b1e963d768a26181e75727f7800c538ca406 | Cross2 | LetDefFunRecursive | TypeMismatch |
| 9bde055e933da384614b92e0a26b273b3ac9a4e5 | Cross2 | LetDefFunRecursive | TypeMismatch |
| d58756ee84081fad5ca259c8d3d45eabfb9acce5 | Cross3 | LetDefFunRecursive | TypeMismatch |
| 6fb7afe840119c2f07be9697a4fe1253fea475ea | Cross3 | LetDefFunRecursive | TypeMismatch |
| 6b71e7b4ec144308d17282a5923c695932e7bb84 | FunSet | LetDefFunRecursive | TypeMismatch |
| b41551b2503d3e03ea94315f4f695cd5d6765f54 | FunSet | LetDefFunRecursive | TypeMismatch |
| c284686f34570642d752694695b104cfce21248a | RecordSet | LetDefFunRecursive | TypeMismatch |
| 6e733e69139a1c7899cfb9dac47817cdbb2354e7 | RecordSet | LetDefFunRecursive | TypeMismatch |
| 05eee0d6e4410851b5c6db308c7e2e0834107057 | SetDiff | LetDefFunRecursive | TypeMismatch |
| 88223b601a17bc9180516bc14d53f1c56ce79357 | SetDiff | LetDefFunRecursive | TypeMismatch |
| d2c75b8330e3ec370c7bd470cf61b42127b456be | SetUnion | LetDefFunRecursive | TypeMismatch |
| 1ef7d2881a64a8c36293e9e0788b9b56e2fddd55 | SetUnion | LetDefFunRecursive | TypeMismatch |
| f5e631075f1e150b0a5455a36372d1e6331a9ea8 | SetIntersect | LetDefFunRecursive | TypeMismatch |
| 54d2a47e032433fa98d8b4aec24ed11893a7d9c4 | SetIntersect | LetDefFunRecursive | TypeMismatch |
| 9f6072d29d66ab383752d3df935df3a3fd2b1d64 | SubsetEq | LetDefFunRecursive | TypeMismatch |
| 0731bcdfb53a227872eb1260c901a6e29b050e7d | SubsetEq | LetDefFunRecursive | TypeMismatch |
| cba66e2115bf29b5d39788bded78505c1a063594 | IfCond | LetDefFunRecursive | TypeMismatch |
| 85a78ca4a68389258189e336bdec3eba540a3e6c | IfCond | LetDefFunRecursive | TypeMismatch |
| fffb58d4bbc62fe4a067fe089af4472309b6433c | Subset | LetDefFunRecursive | TypeMismatch |
| d332eee389be7bedd405e0626289fe633c2dc802 | Subset | LetDefFunRecursive | TypeMismatch |
| 3f5f52961be43642d262530900cb7e4f39ef235f | Union | LetDefFunRecursive | TypeMismatch |
| ec2efd256f43c99bb3f2996c20afa092099557ff | Union | LetDefFunRecursive | TypeMismatch |
| b648eb06c8347a8ca03c74624d787aa24435d487 | Equivalence | LetDefFunRecursive | TypeMismatch |
| b9d8d08639ada6122750cde5053029ffefd2716e | Equivalence | LetDefFunRecursive | TypeMismatch |
| c25238e69a13123ced726b261701eff31d12cf9a | StringEmpty | LetDefFunRecursive | TypeMismatch |
| 6fa8afb653adea1d1b6beec94a864822a0ba820f | StringEmpty | LetDefFunRecursive | TypeMismatch |
| 3ab17b58db9e55dce13081908a7bc688ec77a634 | String | LetDefFunRecursive | TypeMismatch |
| e883a4f2b25f72c892404276893bf8d3e77e9c95 | String | LetDefFunRecursive | TypeMismatch |
| f9737ec9dbdad88b5a1a46850c9b77477cf427bc | SeqLen | LetDefFunRecursive | TypeMismatch |
| 36eb1f0b65bd80a35e490c7d3198cffdc2e61a5c | SeqLen | LetDefFunRecursive | TypeMismatch |
| 9aed4d119a444802aa216aab056ee3c10de5aaa0 | SeqConcat | LetDefFunRecursive | TypeMismatch |
| bbe7640200434898a24ccc8fafa576aaac2df857 | SeqConcat | LetDefFunRecursive | TypeMismatch |
| e0d9f00fc475a45d72e36f5257a7786b960c4d56 | SeqSeq | LetDefFunRecursive | TypeMismatch |
| e91d2b3eb957ea23d176f53f0ec2709d8352af8f | SeqSeq | LetDefFunRecursive | TypeMismatch |
| 1b0ffd01cdfcd3d98b670567a7e17d86bc6da80e | NatSet | LetDefFunRecursive | CanNotBeCase |
| 0f1d74749779bada80508637b77773b5f7a71d1c | NatSet | LetDefFunRecursive | CanNotBeCase |
| 88611f05fc0a0320faf83c074b808843d38a2044 | IntSet | LetDefFunRecursive | CanNotBeCase |
| 40d5f14a0fb7d1e22f45b1c8be6d6e67a7553829 | IntSet | LetDefFunRecursive | CanNotBeCase |
| 325d44a9ec42837e4a3d10d66aa5dd2f705aa939 | StringSet | LetDefFunRecursive | CanNotBeCase |
| c563e18a6cafb9f6050e98425e0efe87f12bba07 | StringSet | LetDefFunRecursive | CanNotBeCase |
| 44b20c9ac2a38e9959787787d5adc5b9d919a3f8 | SeqSelectSeq | LetDefFunRecursive | TypeMismatch |
| ba5c3b7fa68e82efd4288183d0d6dc896eeebc24 | SeqSelectSeq | LetDefFunRecursive | TypeMismatch |
| bb54b0ea81cbcbcacbcd3d8a1eb6b4e5eb38d32e | SeqSubSeq | LetDefFunRecursive | TypeMismatch |
| 3badca3cf3d796f8802c936eead1bf11eaf9b554 | SeqSubSeq | LetDefFunRecursive | TypeMismatch |
| 8ed9cc182f22e3201f5e5181f3aebd7298910585 | NumRange | LetDefFunRecursive | TypeMismatch |
| 64f7afcb7a51bc26f07194207a3d2518c60f911d | NumRange | LetDefFunRecursive | TypeMismatch |
| 4ec788d7fd67837fee332f74fc6ba782cf7de02e | TlcPermuteFun | LetDefFunRecursive | TypeMismatch |
| c9bf220bffbfad845ef036f5a5b9430a88d505be | TlcPermuteFun | LetDefFunRecursive | TypeMismatch |
| 0895bccfe1100693ac9adefa96662b8c9bb595f1 | TlcSortSeq | LetDefFunRecursive | TypeMismatch |
| b440df74d6142e387369c56df72c83dd14d51917 | TlcSortSeq | LetDefFunRecursive | TypeMismatch |
| 300f004abc5a000916b313be67173fd3c95dd25f | BagBagToSet | LetDefFunRecursive | TypeMismatch |
| 3e9f50b9399d64545d9f8594556c175ee911b111 | BagBagToSet | LetDefFunRecursive | TypeMismatch |
| e2bba4372ca5dfb216ae695cb2aa25a5f7172dd8 | BagSetToBag | LetDefFunRecursive | TypeMismatch |
| 97da7822d4bb3ae932cb948b45f396e32b34c5c3 | BagSetToBag | LetDefFunRecursive | TypeMismatch |
| 05a53a7ff6f1922f87a347bc81722e89b7a02106 | BagEmptyBag | LetDefFunRecursive | CanNotBeCase |
| f6c754024f92c1b5b8893330e67efea98e7db315 | BagEmptyBag | LetDefFunRecursive | CanNotBeCase |
| ae651ca601f61635798774ace17e76ae326df3b2 | BagAddBag | LetDefFunRecursive | TypeMismatch |
| cb990d9f9351962fc980f839676f84d445af7862 | BagAddBag | LetDefFunRecursive | TypeMismatch |
| 2727ab3d74ae75df4819903bcfc8363cc60f9a00 | BagBagSub | LetDefFunRecursive | TypeMismatch |
| 95feb9ddc8d7ff27747c10ecd36bf3c03fc185d7 | BagBagSub | LetDefFunRecursive | TypeMismatch |
| 7e44a0cce6d942869064ac8bc6578afdde214135 | BagSubsetEqBag | LetDefFunRecursive | TypeMismatch |
| fbfa6399e2421d1be764301032de76cd2f614392 | BagSubsetEqBag | LetDefFunRecursive | TypeMismatch |
| 31c897fd5688e5c11b9e1755becbbacbbb94b4e4 | BagBagUnion | LetDefFunRecursive | TypeMismatch |
| 7b5e22a349381f7d45b316a57c63489f970ffc0b | BagBagUnion | LetDefFunRecursive | TypeMismatch |
| eff24ca82a0739454c885a0ab10f4a12c1c6359e | BagBagCardinality | LetDefFunRecursive | TypeMismatch |
| 50767fbb0fa07c7c0499f8a066455a43e9a3b025 | BagBagCardinality | LetDefFunRecursive | TypeMismatch |
| 13370a8ff4a1c46b484846d7cb1f0fe3b18de3b5 | BagBagOfAll | LetDefFunRecursive | TypeMismatch |
| 8a7cdb2a8f231cde4b1960767669a7614fd4d16f | BagBagOfAll | LetDefFunRecursive | TypeMismatch |
| 116dff659c3e0e094da94694e8913773abf39d58 | BagSubBag | LetDefFunRecursive | TypeMismatch |
| c8bf80475566a88ef96da6101a274b19354846e0 | BagSubBag | LetDefFunRecursive | TypeMismatch |
| 6ae978e7602eca0ec6dd2324e6356ba569a9bec9 | FiniteSetsIsFiniteSet | LetDefFunRecursive | TypeMismatch |
| feb97bdb3fd0907638593d9c4e7a4b8f50fc24a4 | FiniteSetsIsFiniteSet | LetDefFunRecursive | TypeMismatch |
| 8c7d0c10d63aaaaf0c7e615bce829ef997a6b921 | FiniteSetsCardinality | LetDefFunRecursive | TypeMismatch |
| 94e54f1fea12607c59aad8d7f59f208ee5d350f9 | FiniteSetsCardinality | LetDefFunRecursive | TypeMismatch |
| 8e67e832713f23487f6b11f9657b58531e928096 | SeqHead | LetDefFunRecursive | TypeMismatch |
| 3bc3a42e15fcd74fb5be31a8599719b5424b5c29 | SeqHead | LetDefFunRecursive | TypeMismatch |
| 59e733bb7c9e135f7ee9c2321fde7a4c943f999c | SeqTail | LetDefFunRecursive | TypeMismatch |
| d8ba97f6f43b7798bcfc301fd2bfcfe5de2200f8 | SeqTail | LetDefFunRecursive | TypeMismatch |