| Id | Case Feature | Plug Feature | Skip Reason |
|---|---|---|---|
| f8aafae16a1a5de634c92f6571537a6df2fa9f0a | OneLineComment | LetDef1Recursive | CanNotBeCase |
| 6a707f92249c25b54407f4b07806d28dc5ea297a | OneLineComment | LetDef1Recursive | CanNotBeCase |
| be0b99fe00784950a1bbb9758f95ed2ba19422e7 | MultiLineComment | LetDef1Recursive | CanNotBeCase |
| 3f507e8a5e5bd3db4560c7694f2a05afbdcdfcb6 | MultiLineComment | LetDef1Recursive | CanNotBeCase |
| 1fbbd793ec74d09d606a966850efc688a3f8d7ed | BoolTrue | LetDef1Recursive | CanNotBeCase |
| 86c5615878b9a4064aef1baf384733d80828d566 | BoolTrue | LetDef1Recursive | CanNotBeCase |
| 168466daefe713436b64f55c5ca613bdd7c4a002 | BoolFalse | LetDef1Recursive | CanNotBeCase |
| c05b2ad387c92da0beb534e8cada726c9c5afe63 | BoolFalse | LetDef1Recursive | CanNotBeCase |
| 01d8336624cd1b7c021dcb925512aea5a8a24bf1 | BoolSet | LetDef1Recursive | CanNotBeCase |
| 4b50a57a145e657e96ed26d6b5980faf999b60cd | BoolSet | LetDef1Recursive | CanNotBeCase |
| 3d30c9a36626c3439a3d45191d8df95b577c57e8 | SetEmpty | LetDef1Recursive | CanNotBeCase |
| 54fec450c390f119fd2bd02adf11fe3dba1564b1 | SetEmpty | LetDef1Recursive | CanNotBeCase |
| 37b68905188a8958b175584bd0a1c797ceb10ab0 | Set1InDef | LetDef1Recursive | TypeMismatch |
| 8f45bbd525f7946e0718e1902ab0b9b23fa757bd | Set1InDef | LetDef1Recursive | TypeMismatch |
| 3cbf73dd7af4bfaa20dc64ded35f2249db277825 | Set2InDef | LetDef1Recursive | TypeMismatch |
| ca02b27047c37d2ac5e2ff849544477b96b22209 | Set2InDef | LetDef1Recursive | TypeMismatch |
| 2a8fa3fda1cb73918e5db96339f9c67b4db4d6cf | InDef0 | LetDef1Recursive | CanNotBeCase |
| 808291ec85d3b2f4a2d22ad17281b2f99e1051fc | InDef0 | LetDef1Recursive | CanNotBeCase |
| e068defe85760e8242691d96c43159e615b8c97e | InDef1 | LetDef1Recursive | CanNotBeCase |
| 37b6d143fc8695c7e524869a1358a7a4477bddbe | InDef1 | LetDef1Recursive | CanNotBeCase |
| 001581ee872e9e3dbbf461ff97036d378d72fd05 | InDef2 | LetDef1Recursive | CanNotBeCase |
| cc165207c6b7386a1f2e9e40bd30b5c5f8d41b81 | InDef2 | LetDef1Recursive | CanNotBeCase |
| c01d88b9958e6ec81d636de523ebfd83eb4c54c1 | FunInDef | LetDef1Recursive | TypeMismatch |
| 157255f6dc3ec6a1ad0fcb21ced12a19b2f417e3 | FunInDef | LetDef1Recursive | TypeMismatch |
| c44cf3f1f0561971745243794ee2d33ebf91da0c | ExistsInDef | LetDef1Recursive | TypeMismatch |
| 2beb45017418a8336b1f410b86e9bb1feb9c406b | ExistsInDef | LetDef1Recursive | TypeMismatch |
| bf04e01ebdbd949776996752dec53e4ab5df4da4 | ForallInDef | LetDef1Recursive | TypeMismatch |
| c9837cca9848184643e9b2f74ba9789e61d4e16e | ForallInDef | LetDef1Recursive | TypeMismatch |
| 3a8c86ba72282daa8d8c783a77b55c1ac9400383 | ChooseInDef | LetDef1Recursive | TypeMismatch |
| e48b24e7e1cd90e598d539c46f075daf1f67dc3d | ChooseInDef | LetDef1Recursive | TypeMismatch |
| 03b2ca324e49bc47a683adaaee2e52e91013a92d | TupleEmpty | LetDef1Recursive | CanNotBeCase |
| 5accea10b0bf99644c037246046d17706e116a9c | TupleEmpty | LetDef1Recursive | CanNotBeCase |
| 70b9d50b5ce9164afca7c9e60f6a3a2b18f9a3e2 | NumZero | LetDef1Recursive | CanNotBeCase |
| 8a2316fb35b52166f6ef459d169d820579f950ca | NumZero | LetDef1Recursive | CanNotBeCase |
| c6a37c7135632f13d0204a13321bc561280d2d42 | NumOne | LetDef1Recursive | CanNotBeCase |
| a1173c31488e576423a5ac67f5788a7bca9d816d | NumOne | LetDef1Recursive | CanNotBeCase |
| 7733071110201d96e0dd6b1cadd23156ecf05ab9 | NumMaxInt | LetDef1Recursive | CanNotBeCase |
| 7e35504770e629a9e523b94c86f6f05889162f82 | NumMaxInt | LetDef1Recursive | CanNotBeCase |
| dce710332a895664689021df85f38a198013bf31 | DefFunInDef | LetDef1Recursive | TypeMismatch |
| 3e7ef2bf2a257d93a27e5f09d53217493be0d285 | DefFunInDef | LetDef1Recursive | TypeMismatch |
| b78ebe8614a3c351af3748ba37c45bfd29b5b1e9 | LetDefFunInDef | LetDef1Recursive | TypeMismatch |
| d534b6d10decd8b1bd2b5c7851f87f7a17b4f611 | LetDefFunInDef | LetDef1Recursive | TypeMismatch |
| fd7966df7dc655c54131401154b7801c6f344c3e | ConstantModelValue | LetDef1Recursive | CanNotBeCase |
| 4d18e495018b71655ddc5ea327cff1ff899422c4 | ConstantModelValue | LetDef1Recursive | CanNotBeCase |
| 1f3cdc39cdd6aff3cecb0950454ec32487993655 | StringEmpty | LetDef1Recursive | CanNotBeCase |
| ea294266dab80183d513f6743b2ade7d4a510832 | StringEmpty | LetDef1Recursive | CanNotBeCase |
| 1569da2ee4c8d5f769bc0643c4f90a467c170edb | String | LetDef1Recursive | CanNotBeCase |
| 191a95dae899e7f514cca6a424b72e13d6881e08 | String | LetDef1Recursive | CanNotBeCase |
| 598a038b6bf822aae6cff660445154fd479b44b2 | NatSet | LetDef1Recursive | CanNotBeCase |
| c55c5b4874bd0e5743a0fd5db2a4f6373ae9dcff | NatSet | LetDef1Recursive | CanNotBeCase |
| d06b0cc87de0b0151bbb5b10d284d6c0fb866b2c | IntSet | LetDef1Recursive | CanNotBeCase |
| 6fe71563a4ca668b7e19f05188f05a2f7ab3519c | IntSet | LetDef1Recursive | CanNotBeCase |
| 04cb6d598c9fa7a4b54c1b03f031ec8e9b92c8e6 | StringSet | LetDef1Recursive | CanNotBeCase |
| 0aa0c6a862f3a7405696e46865b361a553f6e7f4 | StringSet | LetDef1Recursive | CanNotBeCase |
| 874f597339b20678b4d1a3c893d519bd9a671509 | BagEmptyBag | LetDef1Recursive | CanNotBeCase |
| 46b9cf207b3ea77d5ee86b589f0471ceb7ca9cb6 | BagEmptyBag | LetDef1Recursive | CanNotBeCase |