| Id | Case Feature | Plug Feature | Skip Reason |
|---|---|---|---|
| 2e6df45c1548507d82cc632f13b0983685fd5e92 | MultiLineComment | OneLineComment | CanNotBeCase |
| 50517d735e5c415e6e744d301234d00dc514f905 | MultiLineComment | OneLineComment | CanNotBeCase |
| 2e4c0003ad3017fc7cf3d34e3a855e2f42cecfa4 | MultiLineComment | MultiLineComment | CanNotBeCase |
| 03bd08585f0fcff9d1c69da547a69620719ddbfd | MultiLineComment | MultiLineComment | CanNotBeCase |
| 5355862e7bd7a0a629834827f20128c64c3eaabc | MultiLineComment | BoolTrue | CanNotBeCase |
| a89853a9bf7ce61e1188f01d1f9c80c7c98dccc4 | MultiLineComment | BoolTrue | CanNotBeCase |
| dd613680c207f6c2c111457ef16488f763f55cad | MultiLineComment | BoolFalse | CanNotBeCase |
| 973de5d4059701a174809e665ab58d6653c38fbd | MultiLineComment | BoolFalse | CanNotBeCase |
| fa007fdabd67dc81a23c18483dcc9b3fa69cc816 | MultiLineComment | BoolSet | CanNotBeCase |
| aa39e2654d87717dae8227813a67729ae3b97517 | MultiLineComment | BoolSet | CanNotBeCase |
| e04e4817742146d6d783be53adf1b84edf78b4ec | MultiLineComment | And | CanNotBeCase |
| e31261402a7b51456741874f82682fa524875b6f | MultiLineComment | And | CanNotBeCase |
| 5bc43f3b87cb5fc6bb9fa65d2aa3874eaed180c1 | MultiLineComment | AndMultiLine | CanNotBeCase |
| 2d77c3e5bca3f6c2c9459f5a74861eaed1dde6a7 | MultiLineComment | AndMultiLine | CanNotBeCase |
| 7152b4af4d0ee12f48abeafa628c344c4d92218d | MultiLineComment | Imply | CanNotBeCase |
| e1f1abc27eab5d40c4dc6b088a39da3ed68adf0e | MultiLineComment | Imply | CanNotBeCase |
| 84c3084e02a9848645a50b455a30c7bbd8af49e8 | MultiLineComment | Not | CanNotBeCase |
| 91b87ece6c57c66bb6bcdd1fa171dfd516e64542 | MultiLineComment | Not | CanNotBeCase |
| 2a368a51f5f19e985d548f6d9774eccdaf1a001c | MultiLineComment | Or | CanNotBeCase |
| 080d5a096060b12b7df7c361eced35c6763048df | MultiLineComment | Or | CanNotBeCase |
| b95bda5576ab8a4ec5dae67e3faf2223c00273c5 | MultiLineComment | OrMultiLine | CanNotBeCase |
| 1af61311897f881ee8cc388d8382a042501e1dec | MultiLineComment | OrMultiLine | CanNotBeCase |
| 3687aae4c7e22d66fb47333bde4d918dd5988b16 | MultiLineComment | AndProp | KindMismatch |
| 4a14107e52acffc4a64937ca908c3bf6d68487c8 | MultiLineComment | AndProp | KindMismatch |
| 5cd6692dfc856d21e1faaa6d123c4b866a68faa0 | MultiLineComment | Boxed | KindMismatch |
| ad7b629e49364128b3f6bd00c8d9d74e3bb796e5 | MultiLineComment | Boxed | KindMismatch |
| 440637a72bb84cc396ac5b8379b93775bda01e3c | MultiLineComment | Eq | CanNotBeCase |
| ec9aad4f932d23a39df25f1a7f021bb0708c09f8 | MultiLineComment | Eq | CanNotBeCase |
| 387d0e8f71f7375cc6f7be1f808603d8dfe16e06 | MultiLineComment | Ne | CanNotBeCase |
| 8df44f4e76406e8ad6e7883e91526ee010d376dd | MultiLineComment | Ne | CanNotBeCase |
| a59aeceb0800b6b027160c1fb9daab94df84f6b5 | MultiLineComment | Let | CanNotBeCase |
| 810a5d27ce670e5f1065927f0760db40c8915ba5 | MultiLineComment | Let | CanNotBeCase |
| 3476176e4cac6de666f87a6eba479a119710a482 | MultiLineComment | SetEmpty | CanNotBeCase |
| d5c3d9dbb1fa19f0ed02c87e547699311fe9e004 | MultiLineComment | SetEmpty | CanNotBeCase |
| 2eb1806314d36108f58e93addc0ce2fd92b2cc4c | MultiLineComment | Set0 | CanNotBeCase |
| 1f4c517ae9309a0e563e1b9210bd2a51e4663e7d | MultiLineComment | Set0 | CanNotBeCase |
| 2e315a051654616401b3181449555aee634f9e2f | MultiLineComment | Set1 | CanNotBeCase |
| ab50eae2d3176bf0d8025bee0a02bf7d97e99b3c | MultiLineComment | Set1 | CanNotBeCase |
| 6f9577b19744b2db07790d2cbed1c68fc9ee1588 | MultiLineComment | Set2 | CanNotBeCase |
| bdfec7e720a516edd1bed21c3e6eff8caf8e0b30 | MultiLineComment | Set2 | CanNotBeCase |
| cad43d8960942cbcb5c86064b9d111a655e6cbfb | MultiLineComment | Set1InDef | AlreadyCombined |
| fed4ac1ba7c8e6fd8e345a3a0232752754f4c545 | MultiLineComment | Set1InDef | AlreadyCombined |
| 25d859001b1a3e34909e9dc6eaba76185c9f5ee6 | MultiLineComment | Set2InDef | AlreadyCombined |
| 868deea0e758291061ec2f05c1cfcedd37a9d7ba | MultiLineComment | Set2InDef | AlreadyCombined |
| 44060719cdd9503ad96eded7d3f058c216f32b31 | MultiLineComment | InDef0 | TypeMismatch |
| dd8bd6499a3913d75c0e8c4326b03202d699d13a | MultiLineComment | InDef0 | TypeMismatch |
| 032211b7a40f73a5d7342bd5306b36e9cc6f0ed6 | MultiLineComment | InDef1 | TypeMismatch |
| 6616499029224fc4f272465edbb1674d6ab4ee5f | MultiLineComment | InDef1 | TypeMismatch |
| c92ff323da94804898d335c1a5c5b689c696072b | MultiLineComment | InDef2 | TypeMismatch |
| d9bf49ffdec4ed1e65ff873607473048a8c5073f | MultiLineComment | InDef2 | TypeMismatch |
| 6f8b129e2f3d1166ce9e7cd75fcd94cb58639aa2 | MultiLineComment | Fun | CanNotBeCase |
| f69df6db45fbd240b50a6b61dca227ace2e80d63 | MultiLineComment | Fun | CanNotBeCase |
| fa71f39af593dc78defc134822fd967bd55d8fd4 | MultiLineComment | FunInDef | AlreadyCombined |
| 835d4d9aed49381f4c7a78a3d4dd0bb2b0cb970e | MultiLineComment | FunInDef | AlreadyCombined |
| d872b0e888ab8b77b056800f0bf9b100d8e4a2a8 | MultiLineComment | In | CanNotBeCase |
| 9a9b9344c983dcc41125abd1065ed9ac9460cb00 | MultiLineComment | In | CanNotBeCase |
| 10ceb111904115f34e6a516f8e12aa4aa57c75c2 | MultiLineComment | NotIn | CanNotBeCase |
| 1f7c48130baf682ec3c3a815b37815188b61a678 | MultiLineComment | NotIn | CanNotBeCase |
| 8d1d79ec6d47f5765a230afcbec754d3046594ae | MultiLineComment | Exists | CanNotBeCase |
| 03abc4e7c97d6d27a5b9736f343a03729a8c5581 | MultiLineComment | Exists | CanNotBeCase |
| 8f9cb89cc6b0bc52213898a3c4c290e53d0699c4 | MultiLineComment | Forall | CanNotBeCase |
| 2237f137ff2560d54988bd80d47f6772b62be3c3 | MultiLineComment | Forall | CanNotBeCase |
| d852c1c5087579ac5a37912834d615bd2e48f982 | MultiLineComment | ExistsInDef | AlreadyCombined |
| 98f98426a8ecf64b07e731a9dcfa9d2d5e8c079f | MultiLineComment | ExistsInDef | AlreadyCombined |
| 9c2e70cd00c3014028d1f2c150865f842eb8fcc3 | MultiLineComment | ForallInDef | AlreadyCombined |
| 07a0e968020850c04729b1f210782abea49378bc | MultiLineComment | ForallInDef | AlreadyCombined |
| 71b1e557ad4b2df0d03fceaa221431f9a11f2c69 | MultiLineComment | Choose | CanNotBeCase |
| 2d5e33d8501318e6e0dd7a1ab34818a2eb5ee89f | MultiLineComment | Choose | CanNotBeCase |
| dcd92d059b267f6bc16a6bcf9e3bdfab4129ec3a | MultiLineComment | ChooseInDef | AlreadyCombined |
| c58fc9288ceaf397b874a1135c01a8f347e5a6af | MultiLineComment | ChooseInDef | AlreadyCombined |
| da50d411bc937e0dfc8b275d3cb9ad40388b5b90 | MultiLineComment | Record | CanNotBeCase |
| 0330aa36da3575f6674cb498e96230aa0d8c6de6 | MultiLineComment | Record | CanNotBeCase |
| 98b0814a2b94183a521f64456d7999049d257661 | MultiLineComment | Tuple | CanNotBeCase |
| 352ff67d2e17b79778a8b029c26caa6dc9079686 | MultiLineComment | Tuple | CanNotBeCase |
| 83681bc97df93d2c6c96f85d2670e9b7bfdc47fb | MultiLineComment | TupleEmpty | CanNotBeCase |
| 0e2027cf3e04a859e86ac251ae9c210ad5be4689 | MultiLineComment | TupleEmpty | CanNotBeCase |
| 01c627dc185ef5c9f7ecd1ad1b0615de76e7c7dc | MultiLineComment | FunApp | CanNotBeCase |
| f0efa31fa1971ff3e63fb5a35c1d2308d6101c04 | MultiLineComment | FunApp | CanNotBeCase |
| dce3d48328b69e1be15eac6dca8a8a272e322d2e | MultiLineComment | Except0 | CanNotBePlug |
| 9b55bdf80c807aebab62a7aafb695b38c4ccdb16 | MultiLineComment | Except0 | CanNotBePlug |
| 9b7d15c476e569256615b04cfabe046e10d8c4a5 | MultiLineComment | Except1Fun | CanNotBePlug |
| 84e2432f4f66660f419a480759388420c59d1278 | MultiLineComment | Except1Fun | CanNotBePlug |
| 759c5aee675cd3f95bbc944617aec06383e2b7cd | MultiLineComment | Except1FunWithAt | CanNotBePlug |
| b459b6d90d73a1110b6100cdd89b95c68859d42e | MultiLineComment | Except1FunWithAt | CanNotBePlug |
| f59c48f5c8822a3e4685c9e1e2640e44114cafab | MultiLineComment | Except1Rec | CanNotBePlug |
| 1c976fe3cfec275165bbaa12ab32fc1501217a1e | MultiLineComment | Except1Rec | CanNotBePlug |
| 94e882c2c2e92179d88297ecdf911dca102ca9da | MultiLineComment | Except1RecWithAt | CanNotBePlug |
| 0f847147d78daa1fec2c5d5860c548b4a816d1dc | MultiLineComment | Except1RecWithAt | CanNotBePlug |
| b517572d98e5e4402a94518a927a240ad348956f | MultiLineComment | Except2Fun | CanNotBePlug |
| c096e1d0b62c453e5cdff5f62fa5bead519abe74 | MultiLineComment | Except2Fun | CanNotBePlug |
| 80f7b822e18b8a3ff2fb105b5ed49eec37d5da6b | MultiLineComment | Except2FunTuple | CanNotBePlug |
| 91ea02c7863292034e03d493c4514fd2a62b1c2d | MultiLineComment | Except2FunTuple | CanNotBePlug |
| cd8f1de32bcfa23317dfadbe3535dcd2c89062cd | MultiLineComment | Prime | CanNotBeCase |
| f606f972211949e7429a9549b89af55dafac0fb1 | MultiLineComment | Prime | CanNotBeCase |
| 93ee3075281e9f82649543568788f883c1e6100b | MultiLineComment | NumZero | CanNotBeCase |
| 9a741a8a36c6632f5cf48e247ffcaf25ba247bdb | MultiLineComment | NumZero | CanNotBeCase |
| 959fd7cdb67426c556e38f1b5da15a466ee9ad46 | MultiLineComment | NumOne | CanNotBeCase |
| f9d61763faefbb197958802bbf4723c3d360e61b | MultiLineComment | NumOne | CanNotBeCase |
| 2b9590296e2313fa8fdd19a08e0f07640c77e520 | MultiLineComment | NumMaxInt | CanNotBeCase |
| 4f0c62e4040ee9640f8f67ddabbbd600cd10e982 | MultiLineComment | NumMaxInt | CanNotBeCase |
| f7182c6f3ca1cfc7ba7308277bc977ca10e9e204 | MultiLineComment | NumUnaryMinus | CanNotBeCase |
| 1df91fe7476bc587b5ae7a46206ceb2298e56929 | MultiLineComment | NumUnaryMinus | CanNotBeCase |
| 265d0964aae123aa65e0752d570de1596d02625d | MultiLineComment | NumPlus | CanNotBeCase |
| 5172e7247868fb4c35ef8f8b9f4fb1d38c652bc6 | MultiLineComment | NumPlus | CanNotBeCase |
| d64547bd951810e269865dff790903b1ddf61473 | MultiLineComment | NumMinus | CanNotBeCase |
| 7d2e26cfd8eed880185908a59370cebf777edb3a | MultiLineComment | NumMinus | CanNotBeCase |
| a58d3db79329edf7ab7fb7b0706fd5dc0bcdbacc | MultiLineComment | NumMul | CanNotBeCase |
| 86c6067f587a6d91e644e9e00c55ced92e1a5b78 | MultiLineComment | NumMul | CanNotBeCase |
| 458d04e860b72e53270fdfef1e15463fa2cf2ace | MultiLineComment | NumDiv | CanNotBeCase |
| f77a6275cda5bf8a64d67dac05e4a66974cbb67a | MultiLineComment | NumDiv | CanNotBeCase |
| 2ee6b9ffdd3fb931e45bea585a98bfb2d1ea333c | MultiLineComment | NumMod | CanNotBeCase |
| 14679bef9d2531253902fd456a0c27d5a50d36ad | MultiLineComment | NumMod | CanNotBeCase |
| 2de38f315132c90aed786b034a232988f445fecf | MultiLineComment | NumPow | CanNotBeCase |
| 0013e21749dc72867b8c9c2e4545554b8a277a15 | MultiLineComment | NumPow | CanNotBeCase |
| ff8f4755a758a8ed3f2e8f1e02efa55063fd7a8f | MultiLineComment | NumGt | CanNotBeCase |
| 863c87020ec0cf079c4f2f29ff0ea28a8230ba35 | MultiLineComment | NumGt | CanNotBeCase |
| da40bba1db4be98112142115acfc5cdbc9b373a3 | MultiLineComment | NumGe | CanNotBeCase |
| 679f4b1570bb03f121cf2c8ef6c8e103b7b7fd44 | MultiLineComment | NumGe | CanNotBeCase |
| 93e879e8c10e56834d9059e5cddf3ac58a74f859 | MultiLineComment | NumLt | CanNotBeCase |
| 3207d3836273b3221b76332ad4f4c4d2efe83dd2 | MultiLineComment | NumLt | CanNotBeCase |
| 9a3a1495e6204c1780a0c7dceb05ba7d860f695b | MultiLineComment | NumLe | CanNotBeCase |
| 933c24041ba6285e4672fc087b18c8b8d12f93d6 | MultiLineComment | NumLe | CanNotBeCase |
| 39130561a9a3cd84dd7787771c3eac0577cccc51 | MultiLineComment | DefFun | CanNotBeCase |
| 855cbc15c78004a2306f7611d7c5f1b1b52bb8d1 | MultiLineComment | DefFun | CanNotBeCase |
| 66a1ce50573ed010225ddf429fa6fa73b8bd3451 | MultiLineComment | LetDefFun | CanNotBeCase |
| c65708d343c2ebe0acf01709c1fd292d4b5251cb | MultiLineComment | LetDefFun | CanNotBeCase |
| f9d518fd4f6da86b2015352b87971ca5e3bfd51d | MultiLineComment | DefFunRecursive | CanNotBeCase |
| 71c3d6fe68021b7faef8ec8d93e8f9366b579257 | MultiLineComment | DefFunRecursive | CanNotBeCase |
| 0e1c96cd045d7cd8d94029bdabb9f85f362dd578 | MultiLineComment | LetDefFunRecursive | CanNotBeCase |
| 61f0f381f0555a7c4d2ae2eade483f3fb357773f | MultiLineComment | LetDefFunRecursive | CanNotBeCase |
| cc872e8bbaf8885f1bc7cd6316982804f73610a6 | MultiLineComment | DefFunInDef | AlreadyCombined |
| ec37ae7aaf5910dcd1ca2860d131a805dbea7e16 | MultiLineComment | DefFunInDef | AlreadyCombined |
| 3b1735b0c72deb18e7ff817453f39beeb98a0a2f | MultiLineComment | LetDefFunInDef | AlreadyCombined |
| 39d69257c5cc7a520d7de551986a78abbf0e1b6e | MultiLineComment | LetDefFunInDef | AlreadyCombined |
| d6dc249498d4dee462a0b3c59f8dc8a7112425ad | MultiLineComment | Def0 | CanNotBeCase |
| 06e84c4215bdd02a8aaa4fd6d54a28d609ba4c4e | MultiLineComment | Def0 | CanNotBeCase |
| da8ff3dc2030fa07400f1444a53f8d577ce30cb4 | MultiLineComment | LetDef0 | CanNotBeCase |
| 38978f58e1e5c57ddc3fa9edecfeeaf25a3b4b93 | MultiLineComment | LetDef0 | CanNotBeCase |
| dcea4e78326113f348bd2d1ae08033d230d3b03b | MultiLineComment | Def1 | CanNotBeCase |
| 6c7b4e02cc1c3b99d731971e7cec4611f63da235 | MultiLineComment | Def1 | CanNotBeCase |
| b2ec5cfdc8f8a086622f5de8f264a37644546af6 | MultiLineComment | LetDef1 | CanNotBeCase |
| f3ff0e8120f2f7429cdaf047ac75c31c88105219 | MultiLineComment | LetDef1 | CanNotBeCase |
| 463d017163fdd33dd4bbe2cde4adb506ebf90fb1 | MultiLineComment | Def2 | CanNotBeCase |
| d82acda2abcd30953658d306e6e600c1dc64af13 | MultiLineComment | Def2 | CanNotBeCase |
| 3a7876faf30589ae313869f3585e1a5125c5399f | MultiLineComment | LetDef2 | CanNotBeCase |
| ccce1e13aa8416875f7bdb5404796b93c26d8e2b | MultiLineComment | LetDef2 | CanNotBeCase |
| ee06bca20f2c0515c33a5cf5ae79ba21a5bf1890 | MultiLineComment | Def1Recursive | CanNotBeCase |
| c58ffb0e02754e0c4f5817629ad29301ea363636 | MultiLineComment | Def1Recursive | CanNotBeCase |
| be0b99fe00784950a1bbb9758f95ed2ba19422e7 | MultiLineComment | LetDef1Recursive | CanNotBeCase |
| 3f507e8a5e5bd3db4560c7694f2a05afbdcdfcb6 | MultiLineComment | LetDef1Recursive | CanNotBeCase |
| cd0e8d7503c852b4ab2fe1d9689290240106a76e | MultiLineComment | Extends | CanNotBeCase |
| c9f09dcd73dab0269d3a39a1f5a89e539d77b291 | MultiLineComment | Extends | CanNotBeCase |
| 24dff566e452b02aadfe8c84fbd119b58e8ccb27 | MultiLineComment | ExtendsInDifferentFolder | CanNotBeCase |
| bd3a666638031849b3c94d3f30402934b230b28a | MultiLineComment | ExtendsInDifferentFolder | CanNotBeCase |
| 45bed39a6d08c4883fbcd7df77f269a20e73b780 | MultiLineComment | Variable | CanNotBeCase |
| 3c80cc5d97a453d214d6e2543d75d1872d224b75 | MultiLineComment | Variable | CanNotBeCase |
| d4bb831c989539f06fd1e08eb9198a949b03497c | MultiLineComment | VariableViewExclude | VariableExcludedFromView |
| 25ade4a72ced894427767e398ef9a7b2b20fa38c | MultiLineComment | VariableViewExclude | VariableExcludedFromView |
| dda7298f48aea330ab9074d59e5e2c41da57738c | MultiLineComment | Constant | CanNotBeCase |
| 3640b0c9438a53aa6c0253e0cc20003303e54ea8 | MultiLineComment | Constant | CanNotBeCase |
| 918cf736c1a0f8288aba7afff60f25558e9c0f6d | MultiLineComment | ConstantModelValue | ModelValueCanNotBeUsed |
| f9e3aa684bdf3f65d8aee5063d1c55e12b2df089 | MultiLineComment | ConstantModelValue | ModelValueCanNotBeUsed |
| 1d1803ec51dec5fb2b7f4d68dfe1acb5de870c4d | MultiLineComment | ConstantRank1 | CanNotBeCase |
| 7fa29ce69beb291b520c11e205ac0cf674c1ad66 | MultiLineComment | ConstantRank1 | CanNotBeCase |
| 38e779b76592fae60e59e4e656128dcc2f9d2b70 | MultiLineComment | Instance | CanNotBeCase |
| e29b1495325cec3987422fc2e19f5e41575971cb | MultiLineComment | Instance | CanNotBeCase |
| e8b29ff25ea9426c9e02c0de4413609a3eb680b2 | MultiLineComment | InstanceWith | CanNotBeCase |
| 36f25e67cfd6a1d4ffeb71945fcf24059fc467f2 | MultiLineComment | InstanceWith | CanNotBeCase |
| 6b06a41c039779e14c69ecfa8f186dfc273f41c2 | MultiLineComment | InstanceNamed | CanNotBeCase |
| 4e1176e28371e8e569b9733e87e32e5d98937768 | MultiLineComment | InstanceNamed | CanNotBeCase |
| 092260d31f14b13dc77f8ef58be90b0a38231f62 | MultiLineComment | InstanceNamedWith | CanNotBeCase |
| 5b9f55d55beb90f6c9f3fe69a6444b47b8227a33 | MultiLineComment | InstanceNamedWith | CanNotBeCase |
| 332cf82df6eaf0da0bdc659f9f70401b1a747416 | MultiLineComment | InstanceInFolder | CanNotBeCase |
| 74b368cde572415a1022d9ace712fc642c7a764e | MultiLineComment | InstanceInFolder | CanNotBeCase |
| a18ce3ee5b20a55cce4765d543ff7ebd2eb67474 | MultiLineComment | InstanceWithInFolder | CanNotBeCase |
| 49b0eb680142aa8c731ed49b225daae0e3a6560a | MultiLineComment | InstanceWithInFolder | CanNotBeCase |
| 4c22f31ef8d0a5ddad7066dd479bca4ca1124bde | MultiLineComment | InstanceNamedInFolder | CanNotBeCase |
| 78f5b4127c6a1edf30e42361d86210740e4774dc | MultiLineComment | InstanceNamedInFolder | CanNotBeCase |
| 52874a22a320c16c7389ab49bb12c08e6a364ab2 | MultiLineComment | InstanceNamedWithInFolder | CanNotBeCase |
| 4ff3ccb73ef6de8fe23ce8690ba072157c1bb3ea | MultiLineComment | InstanceNamedWithInFolder | CanNotBeCase |
| cc278c4ca0480ce03c97d172917892e51af9019e | MultiLineComment | Enabled | CanNotBeCase |
| 8588830288238e909101c4b4ea1da9b1f630e3a6 | MultiLineComment | Enabled | CanNotBeCase |
| 84accd761a32fc3b49c96f183dbc54a284e74c66 | MultiLineComment | Assume | AssumeIsNotEmbeddable |
| dbd3abc2cd027c3ed07b89470ccb48f202c4092b | MultiLineComment | Assume | AssumeIsNotEmbeddable |
| b581ea7f73c54acb7463c690d5249704f049d826 | MultiLineComment | AssumeNamed | AssumeIsNotEmbeddable |
| bd9b00facf8e38324d9647fbc46ed19edfc302a7 | MultiLineComment | AssumeNamed | AssumeIsNotEmbeddable |
| bcb3f09b45a255a802bc5c56d5f33e1a258cc6f2 | MultiLineComment | Lambda | TypeMismatch |
| f9611d41ad132b3864d89d8fadd450879bc6fd47 | MultiLineComment | Lambda | TypeMismatch |
| 4623ce61523fe8ab8f6880742b8efc06c6369c56 | MultiLineComment | Cross2 | CanNotBeCase |
| ad8a993c85190b65fd5519b698d7419754a5b074 | MultiLineComment | Cross2 | CanNotBeCase |
| 19281635a7e11a47933a575fdf15bcbae12ea057 | MultiLineComment | Cross3 | CanNotBeCase |
| 37f585b4226b29351d42d66471eda273749bdc29 | MultiLineComment | Cross3 | CanNotBeCase |
| 96abbaad0c1df546d2db6ed15e25d4f03fdc14a6 | MultiLineComment | FunSet | CanNotBeCase |
| 29b1cf644f49772a2e6df15a37c249c3d7494b70 | MultiLineComment | FunSet | CanNotBeCase |
| d03a79cbef1e1be6b9e2450aadf3c1485d61ed8b | MultiLineComment | RecordSet | CanNotBeCase |
| d114a86c746741477a8c8ef106b2823cf3636481 | MultiLineComment | RecordSet | CanNotBeCase |
| 2f9c809a1ba4d7af12d24d5ddf0827e84ede96d6 | MultiLineComment | SetDiff | CanNotBeCase |
| 47de15ad65a75589172dec3b37f2fdcb74cbe811 | MultiLineComment | SetDiff | CanNotBeCase |
| a6763189b4b82e05ca22bf4718dbf5ef72f69a05 | MultiLineComment | SetUnion | CanNotBeCase |
| 067ffd21df11fc606e40a071091bf45e2c46c4a2 | MultiLineComment | SetUnion | CanNotBeCase |
| 231a6d64519468701ee85a1a3117b937887eddc1 | MultiLineComment | SetIntersect | CanNotBeCase |
| 7f4b1de5c8c84b4513da0abf65686e36f9c93a63 | MultiLineComment | SetIntersect | CanNotBeCase |
| 27a66a7ecd54e562f6d0cbbce765e15071e564fd | MultiLineComment | SubsetEq | CanNotBeCase |
| 9165d129ab81169975834222219f262752f7a4b9 | MultiLineComment | SubsetEq | CanNotBeCase |
| ac55e9c4819f8bec2e2bb1e62d6fcb556cb36a7c | MultiLineComment | IfCond | CanNotBeCase |
| 4b75bffbe1f96954cc4165207d65c73996e85bfd | MultiLineComment | IfCond | CanNotBeCase |
| 24779a9aa80ad415aad0e919afa3ed9421122485 | MultiLineComment | IfThen | CanNotBeCase |
| 0d048c4a67d7c2068f7f24b6e6f2e8766525f5ff | MultiLineComment | IfThen | CanNotBeCase |
| 23f5debb9df778bebefb0bdf00d2f3bda894082a | MultiLineComment | IfElse | CanNotBeCase |
| 731e635aac52f05c3b0ca0665075ce6216c9757c | MultiLineComment | IfElse | CanNotBeCase |
| 6f41d8cc827d874792c71f08e097d63975527314 | MultiLineComment | Subset | CanNotBeCase |
| 28d807412b54ef3d2a374d24767a9e93214ecd4d | MultiLineComment | Subset | CanNotBeCase |
| d81708e874759811dfd6d593d1d646be8e2d1076 | MultiLineComment | Domain | CanNotBeCase |
| d74e6a4ff90022323f54ca344757fffabbb1263e | MultiLineComment | Domain | CanNotBeCase |
| e7b4bab024834a4cb3d5384ae19615ec090e0923 | MultiLineComment | Union | CanNotBeCase |
| 2489098ff603fafd2b5a2ddd8d8ec2813c4fa81e | MultiLineComment | Union | CanNotBeCase |
| 5e86b2008eef849b4cea10a3e5ac7175f5e721e1 | MultiLineComment | Unchanged | CanNotBeCase |
| 3e0fdd19c2da4ecb181c84b0f8312f6a51478a8d | MultiLineComment | Unchanged | CanNotBeCase |
| bdbab6df3d127f9d3ed91c9239b9320d546ec8eb | MultiLineComment | Equivalence | CanNotBeCase |
| 5708395b6cf34d33f7c2bdd05ddca36ac1e62a85 | MultiLineComment | Equivalence | CanNotBeCase |
| d8e6b9e85ea210965a60bb16b3361af8cb956f69 | MultiLineComment | StringEmpty | CanNotBeCase |
| 0256fe9e2b390a373d78bffd5bf7d430461a5bdc | MultiLineComment | StringEmpty | CanNotBeCase |
| 1cc53d96158004b5b55bda9ec16013e6c86c7399 | MultiLineComment | String | CanNotBeCase |
| f992023c099b4eb51036cd56de4aaf41b24d55b5 | MultiLineComment | String | CanNotBeCase |
| 3602e40c58b58d2b55a0fd0425ebd0e17cf0e079 | MultiLineComment | SeqLen | CanNotBeCase |
| 4d103990d0b4eb723f78a869831c8a20e711fb5b | MultiLineComment | SeqLen | CanNotBeCase |
| f792465d8447e8d88a965ea19d66ad92c789868e | MultiLineComment | SeqConcat | CanNotBeCase |
| ba62d401d49b8797fb2b5270375359101c396ac8 | MultiLineComment | SeqConcat | CanNotBeCase |
| b609255b7ddaa8ecae8866880f06c6aa02de520e | MultiLineComment | SeqSeq | TypeMismatch |
| c7f2b1f311bf4fa25a0da15d2e038c813ce44910 | MultiLineComment | SeqSeq | TypeMismatch |
| 0d130c3d95d889977ae6fcd50f83f9915b56ea09 | MultiLineComment | NatSet | TypeMismatch |
| 63f36eb550ce590cdf57e78fcb29f3a9126924b4 | MultiLineComment | NatSet | TypeMismatch |
| 3ede8bc4e735489aa06b43770fd8c8b074bcbb7b | MultiLineComment | IntSet | TypeMismatch |
| 821e63f006de01acf1e1cdb8aa844978ad6a46ff | MultiLineComment | IntSet | TypeMismatch |
| c8e571db59e3d583349f9cbea10330f86317e567 | MultiLineComment | StringSet | TypeMismatch |
| a837ef036c6b6c5fb103eb09f7625ea18f2049be | MultiLineComment | StringSet | TypeMismatch |
| 4390ed9a64bba07e10ec6ecd49c327b535c74052 | MultiLineComment | SeqSelectSeq | CanNotBeCase |
| 1d17a1e82324bd496d3dbda2c691a4067ccc76f4 | MultiLineComment | SeqSelectSeq | CanNotBeCase |
| 5807c01a77ce01d9dd797424d5120d6e539bfece | MultiLineComment | SeqSubSeq | CanNotBeCase |
| 41e761f237c430ec1e36cb5d248cdae39f5ade4e | MultiLineComment | SeqSubSeq | CanNotBeCase |
| f03b29bf892c63c5face0445f7c2e3b10f7095ef | MultiLineComment | NumRange | CanNotBeCase |
| 3e400551fe43bb0d2cc3321b1dd19cd6f7f5d71e | MultiLineComment | NumRange | CanNotBeCase |
| 983877599aa5e2366aa6bd2d0923ed305c9bb0ed | MultiLineComment | TlcSingletonFun | CanNotBeCase |
| 6f3d5bd4e4d43c02300b80b2fad9e45949d6ac55 | MultiLineComment | TlcSingletonFun | CanNotBeCase |
| 708360e0900bb6bf06b594411e111711b2c44612 | MultiLineComment | TlcExtendFun | CanNotBeCase |
| 0c836ff42747e9695dcadb223e529d5095d43040 | MultiLineComment | TlcExtendFun | CanNotBeCase |
| 77b61dbf9854283e35bfd3899fb9eda91485e945 | MultiLineComment | TlcPermuteFun | CanNotBeCase |
| 78a66fa72516904b8c62bfac4a783a91eeee7493 | MultiLineComment | TlcPermuteFun | CanNotBeCase |
| 7aed0f6bddda8d108210cab4d02b9483c53bc4af | MultiLineComment | TlcSortSeq | CanNotBeCase |
| 7911312d45532d92a8a148adf1f81a9c4fb38f56 | MultiLineComment | TlcSortSeq | CanNotBeCase |
| fc800dce7be0e504f8ad38ffe6f0f9048ddcdc3a | MultiLineComment | TlcEval | CanNotBeCase |
| 64c261369eec56006703139e0da8a8a68232465b | MultiLineComment | TlcEval | CanNotBeCase |
| 10380b91445dacd5c04a5221610e9c90eba5c52f | MultiLineComment | BagBagToSet | CanNotBeCase |
| 9c372e636681bc1f97fdfcf4350445006d3e870c | MultiLineComment | BagBagToSet | CanNotBeCase |
| 36919123cc20508d11f1ffdd7e0b4a399a201a5e | MultiLineComment | BagSetToBag | CanNotBeCase |
| bb062a8ee5bbb084b7cce1705be1519b3b824dc7 | MultiLineComment | BagSetToBag | CanNotBeCase |
| ba5147190977320f5aff241ce7f54cbc7bd62281 | MultiLineComment | BagBagIn | CanNotBeCase |
| c1f02d88bc8686c995349bdada189a96fddd55a5 | MultiLineComment | BagBagIn | CanNotBeCase |
| 470990415acb317a86ad3c24e69459a1f62b3c6c | MultiLineComment | BagEmptyBag | CanNotBeCase |
| 035c80e8b5af10d388be9b9c74335ab9359b74bf | MultiLineComment | BagEmptyBag | CanNotBeCase |
| e8549556816153b9334f59366118f93de89481fc | MultiLineComment | BagAddBag | CanNotBeCase |
| 02814c56878c7a95bf874f8a45519e14e74863ef | MultiLineComment | BagAddBag | CanNotBeCase |
| 9b86cb7ca1fbeebb8c46ca61447bf501dd87ad05 | MultiLineComment | BagBagSub | CanNotBeCase |
| d83f8068bdf358d3887f2e4ac3820aa5583dcf01 | MultiLineComment | BagBagSub | CanNotBeCase |
| 191f02be2b0714ee43ca85f67970ffd7b8e3352f | MultiLineComment | BagCopiesIn | CanNotBeCase |
| 4f2d69e061bbdf3c4b0855ab4c87abf34ad5853f | MultiLineComment | BagCopiesIn | CanNotBeCase |
| 272f03c03794352442a35b4bf72156a1007155a0 | MultiLineComment | BagSubsetEqBag | CanNotBeCase |
| d9ed357146b6604b9a87224ba7d70e55a274f8a8 | MultiLineComment | BagSubsetEqBag | CanNotBeCase |
| 89719f78d08b3a14981108ac93af3f1453164993 | MultiLineComment | BagBagUnion | CanNotBeCase |
| 296afcc473562be382927bb8394e8815ba8875d0 | MultiLineComment | BagBagUnion | CanNotBeCase |
| 69561cbeddc9301b510db9ddacd7d3bb30be0b9d | MultiLineComment | BagBagCardinality | CanNotBeCase |
| e3980b14512633dacc8d35f70b2cc1b1aaada42d | MultiLineComment | BagBagCardinality | CanNotBeCase |
| 3da823653d7884d1c773c39b557a1a76b234fccc | MultiLineComment | BagBagOfAll | CanNotBeCase |
| 8234fcc20c97ba8204262987e2d9cc2c05f3bf01 | MultiLineComment | BagBagOfAll | CanNotBeCase |
| b7004eb15b4bddee649b64d77524497dd5d8fc84 | MultiLineComment | BagSubBag | CanNotBeCase |
| 0a4a9c1fe9dc65ddc447e1e0b6d7eb2f9eadf67f | MultiLineComment | BagSubBag | CanNotBeCase |
| 30c8ae2d3920307ab78692b79d5de28f912c7fbe | MultiLineComment | FiniteSetsIsFiniteSet | CanNotBeCase |
| bb5233a3250baed969ba7580aa5f6fe77b01d59f | MultiLineComment | FiniteSetsIsFiniteSet | CanNotBeCase |
| b664d6bc661b8ba4e0208894f91d51c67f82b1db | MultiLineComment | FiniteSetsCardinality | CanNotBeCase |
| f527676c189cc8ecfbffa62166a46964bf3d4418 | MultiLineComment | FiniteSetsCardinality | CanNotBeCase |
| cc46c8c48afa1e51d5668182493421b36a121956 | MultiLineComment | SeqHead | CanNotBeCase |
| 3089f6ef8848040d2f52c771a62e8b85ce49b806 | MultiLineComment | SeqHead | CanNotBeCase |
| ece9ed1ccd90c968b26c1f46e7883c713aa9a993 | MultiLineComment | SeqTail | CanNotBeCase |
| 8b424887c98316e29b15bc27cc591d6518094eb7 | MultiLineComment | SeqTail | CanNotBeCase |
| d07bd58249c8bca05d02b6a05c18971cb185d4bd | MultiLineComment | SeqAppend | CanNotBeCase |
| cbbca29ec544fa5a9b5f197b5120acf8f3b15bdb | MultiLineComment | SeqAppend | CanNotBeCase |