| Id | Case Feature | Plug Feature | Skip Reason |
|---|---|---|---|
| a4921ed976d820fc3457b998090029534eeccab7 | OneLineComment | InstanceNamedWith | CanNotBeCase |
| 58ec6627f6b47d3d270e9f45b660587f1cd59e1b | OneLineComment | InstanceNamedWith | CanNotBeCase |
| 092260d31f14b13dc77f8ef58be90b0a38231f62 | MultiLineComment | InstanceNamedWith | CanNotBeCase |
| 5b9f55d55beb90f6c9f3fe69a6444b47b8227a33 | MultiLineComment | InstanceNamedWith | CanNotBeCase |
| a0d24e12a743913c50e6fcad1a033b660207167a | BoolTrue | InstanceNamedWith | CanNotBeCase |
| c2915af33885e7f0e79c61799b26b049b425cfe4 | BoolTrue | InstanceNamedWith | CanNotBeCase |
| 107fc977255f6da5c05e05e881edf10814973802 | BoolFalse | InstanceNamedWith | CanNotBeCase |
| 1c845d1876de8aba8fc5b91c435727219a2f5c81 | BoolFalse | InstanceNamedWith | CanNotBeCase |
| 0a9cd510ca8af25dcd706dfec30f8813f088105e | BoolSet | InstanceNamedWith | CanNotBeCase |
| c69e0928e3473d54457fc693dcdf67b1558d8278 | BoolSet | InstanceNamedWith | CanNotBeCase |
| d4b14da139888bec7085ca99c28c887069d2de0a | SetEmpty | InstanceNamedWith | CanNotBeCase |
| 0874d473017f3191cbedaee19e96a43a41c04417 | SetEmpty | InstanceNamedWith | CanNotBeCase |
| d05801d1b1a122ecc1f6a9e32f01275704ded7ef | Set1InDef | InstanceNamedWith | TypeMismatch |
| 18a90d4c2702080a2aefa752d8b710df31cea1da | Set1InDef | InstanceNamedWith | TypeMismatch |
| 4c2320d79addb21156f4b26b81f296252b877122 | Set2InDef | InstanceNamedWith | TypeMismatch |
| ecae45bd97bd2ee52ab4fe02f2786dfa43f6d176 | Set2InDef | InstanceNamedWith | TypeMismatch |
| 5799ede50b27265439d92e2e7d36d0ce921e2eb8 | InDef0 | InstanceNamedWith | CanNotBeCase |
| 2089fde41f7197cf870d26b683dd9f085a4cc852 | InDef0 | InstanceNamedWith | CanNotBeCase |
| 276334ae36f13898a691178630d0770c500f1dac | InDef1 | InstanceNamedWith | CanNotBeCase |
| d9069656e78a6d6b1783faf6ae289301a0f1b69c | InDef1 | InstanceNamedWith | CanNotBeCase |
| bd8256e8c628eeae114eeaa3e9169afb9f3ea272 | InDef2 | InstanceNamedWith | CanNotBeCase |
| 850efbd88c85d558e7e99f06c778332dd1d2cd92 | InDef2 | InstanceNamedWith | CanNotBeCase |
| c7c39f2f4fb180705e065c46bfdc8bbfef3323f8 | FunInDef | InstanceNamedWith | TypeMismatch |
| 80c2d77a6b3c73973bfb6dd79ea5e870c34d4deb | FunInDef | InstanceNamedWith | TypeMismatch |
| fc7fc643e6f03973771abe20835e87d6dbfb5a46 | ExistsInDef | InstanceNamedWith | TypeMismatch |
| c0c495dfa72ad2a21c7ac962aef388b287e8f94e | ExistsInDef | InstanceNamedWith | TypeMismatch |
| 9512a7c2b550441d8e72194231f430de8e77ed91 | ForallInDef | InstanceNamedWith | TypeMismatch |
| f838d93f804b67f9420ed9c46e1af33919a00930 | ForallInDef | InstanceNamedWith | TypeMismatch |
| 21d666a03dcef377437febd25396cd468f5287d1 | ChooseInDef | InstanceNamedWith | TypeMismatch |
| 714275f097f6134da72044db65e8d23e74833ac9 | ChooseInDef | InstanceNamedWith | TypeMismatch |
| 7cb35dff56132e91ac1e5f961cae6203eeb6c428 | TupleEmpty | InstanceNamedWith | CanNotBeCase |
| 13ec188c3a574bc0b1833a71ed91185d6e6fd319 | TupleEmpty | InstanceNamedWith | CanNotBeCase |
| 4812b71b11d55147030ca2cb8e7e36b8b65222c5 | NumZero | InstanceNamedWith | CanNotBeCase |
| 18674ef696531212e96a83823fec1575b9f4f73c | NumZero | InstanceNamedWith | CanNotBeCase |
| 4a0560733513a4eceb5acbb2a41d23e5ddd33047 | NumOne | InstanceNamedWith | CanNotBeCase |
| c258efe05b96255dcd148c51f2138d14b8384257 | NumOne | InstanceNamedWith | CanNotBeCase |
| 44adaf36d25e6e0bdd5605f964af0ca703c37d34 | NumMaxInt | InstanceNamedWith | CanNotBeCase |
| 7f19c3a07fd624240e8d8bed9158597cc68aee05 | NumMaxInt | InstanceNamedWith | CanNotBeCase |
| f0fa8c0f7055f24a191568b7b97ec6afca282b67 | DefFunInDef | InstanceNamedWith | TypeMismatch |
| 94ab608c5cd092baa353929ee5440e7b13b3505c | DefFunInDef | InstanceNamedWith | TypeMismatch |
| c953d104f5e276896bd38db8fd059f81b72c0a44 | LetDefFunInDef | InstanceNamedWith | TypeMismatch |
| bf6073133192290c82a8f70e0e4b76d41e4ac8e2 | LetDefFunInDef | InstanceNamedWith | TypeMismatch |
| 9a6f6a855acfe5e14d8d828a58a319ec793be4a9 | ConstantModelValue | InstanceNamedWith | CanNotBeCase |
| 0f9468085f44e19b32b4a67c8fad9b3a222f3f9c | ConstantModelValue | InstanceNamedWith | CanNotBeCase |
| 34c2db280a62e1122499012e9cc77daa6d7a49fe | StringEmpty | InstanceNamedWith | CanNotBeCase |
| 60f718c15b47538410b2252635ee9eb923e64608 | StringEmpty | InstanceNamedWith | CanNotBeCase |
| 0c74b906d0416a4c29519a2c5d9879ca6ee803b8 | String | InstanceNamedWith | CanNotBeCase |
| e049af89bab73925710e9e7fa4beb018ecdafc72 | String | InstanceNamedWith | CanNotBeCase |
| f37484d520ec4a7dd215277b73d674693c6b43d1 | NatSet | InstanceNamedWith | CanNotBeCase |
| 2b903c24d6704591a0704fd35bb16c0dc4a7d36a | NatSet | InstanceNamedWith | CanNotBeCase |
| 8ef374feac928310689e94cab4fa588fc9092be1 | IntSet | InstanceNamedWith | CanNotBeCase |
| f875a3c62fb71817b42747c9dd350d60583d899c | IntSet | InstanceNamedWith | CanNotBeCase |
| a8ad18e7b4d0f9c456ac2d6163007927013833f1 | StringSet | InstanceNamedWith | CanNotBeCase |
| e8898fe65905c0a7e7d1939b7ab779efd4db42de | StringSet | InstanceNamedWith | CanNotBeCase |
| bc206934171c4fb9c2220e3dbcaf26eb005e3330 | BagEmptyBag | InstanceNamedWith | CanNotBeCase |
| 890cc938209d2f34551eb0be452549216cedb4f5 | BagEmptyBag | InstanceNamedWith | CanNotBeCase |