| Id | Case Feature | Plug Feature | Skip Reason |
|---|---|---|---|
| 3dc091c623c9abf1b1f1a2bd6034baa6ae3fca17 | OneLineComment | Assume | AssumeIsNotEmbeddable |
| bdee2c15e0b72dd3c794cc273f83d64023e1620d | OneLineComment | Assume | AssumeIsNotEmbeddable |
| 84accd761a32fc3b49c96f183dbc54a284e74c66 | MultiLineComment | Assume | AssumeIsNotEmbeddable |
| dbd3abc2cd027c3ed07b89470ccb48f202c4092b | MultiLineComment | Assume | AssumeIsNotEmbeddable |
| 0781138f106b7633a6212cc15850268417ec79c5 | BoolTrue | Assume | AssumeIsNotEmbeddable |
| 6d6d5e4cff8ff583fda1454a8c44e7ae1e70eeeb | BoolTrue | Assume | AssumeIsNotEmbeddable |
| ec7e85a54c05bc07491b05d189cd738f28bbb423 | BoolFalse | Assume | AssumeIsNotEmbeddable |
| dc8d2bfb9d87339e973a74c0f9f0e5753c6728b2 | BoolFalse | Assume | AssumeIsNotEmbeddable |
| 0c7f06baffba4f45d373e88aa9809e580893959c | BoolSet | Assume | AssumeIsNotEmbeddable |
| f727ae056593d1a2aed208fb2ec2afeafb48d3ea | BoolSet | Assume | AssumeIsNotEmbeddable |
| 2e3c7a971f80cb4b1c4bd23e9f83594b2216d70d | And | Assume | AssumeIsNotEmbeddable |
| 16052b680a867e809f351ede2a916b7278ddbda5 | And | Assume | AssumeIsNotEmbeddable |
| 52dd6c65ea8e8107dc78b91001755a78dccd9d37 | AndMultiLine | Assume | AssumeIsNotEmbeddable |
| 7b92506369f24aa04ffdb71634c88341a10c2eb8 | AndMultiLine | Assume | AssumeIsNotEmbeddable |
| a3ad35113059a697161f9b37982daa3423e94d42 | Imply | Assume | AssumeIsNotEmbeddable |
| e781fee7b42b91bb91a1979a8bfa35117e6e0964 | Imply | Assume | AssumeIsNotEmbeddable |
| 5e721617311baccc04a33fcc8c85150091d754dd | Not | Assume | AssumeIsNotEmbeddable |
| f9db5772b4a59373bd497eb9e1356cad6cf49be7 | Not | Assume | AssumeIsNotEmbeddable |
| 1092ad4db2d61c42f72fcaa8c61b7f6eb587a086 | Or | Assume | AssumeIsNotEmbeddable |
| 0add67bf924f145bc7ade01d1b5b0769b1c1a846 | Or | Assume | AssumeIsNotEmbeddable |
| 170dd731635930fb657f5b0a644622455850c918 | OrMultiLine | Assume | AssumeIsNotEmbeddable |
| 64403789c32f0e6019a472698136b804516465dc | OrMultiLine | Assume | AssumeIsNotEmbeddable |
| 1852938087dc18f4b5ab06ab7527e7abcd06e827 | AndProp | Assume | AssumeIsNotEmbeddable |
| 958bfe6f05b9706d62c8c4bcbe60bde2a60795f5 | AndProp | Assume | AssumeIsNotEmbeddable |
| add0cdd232d4e042a262e7b4c6a7d1858d43a029 | Boxed | Assume | AssumeIsNotEmbeddable |
| 42b01654e6a8ca6b726e44c6f2953bab8f01a479 | Boxed | Assume | AssumeIsNotEmbeddable |
| 2c4dc57de5ae4399dbc73f9c0ab4bfa01bb7dcd2 | Eq | Assume | AssumeIsNotEmbeddable |
| 1540a662cd246bf12d779c156fb6b1bc49dc7a02 | Eq | Assume | AssumeIsNotEmbeddable |
| 7b5ff1c9ab953315b37c70ff583214bdf33bd0ca | Ne | Assume | AssumeIsNotEmbeddable |
| 55ea5a84d8a5dce885711ceaf1766f07196f3411 | Ne | Assume | AssumeIsNotEmbeddable |
| af1415f01046078b135ad089c3af7cd6db8b1a77 | Let | Assume | AssumeIsNotEmbeddable |
| d65ca4deb880201028fc207998faadc42305e493 | Let | Assume | AssumeIsNotEmbeddable |
| 84239fbe5cd7733047517e67ce1e88e2c1ef008c | SetEmpty | Assume | AssumeIsNotEmbeddable |
| c62871ae13e6dba814dc30473caeb49aa48556be | SetEmpty | Assume | AssumeIsNotEmbeddable |
| 8abac2155fd7522a3bc41c4fb2680b35a918200a | Set0 | Assume | AssumeIsNotEmbeddable |
| a26425d5e4411ea8bc0acc5c96e675fbf1f3e615 | Set0 | Assume | AssumeIsNotEmbeddable |
| 25d2a0fe8b9d70981795f6aaf7cbc6e5876510e7 | Set1 | Assume | AssumeIsNotEmbeddable |
| e381d8e31627e5d3515ad7448d4cf6df8f91e2cd | Set1 | Assume | AssumeIsNotEmbeddable |
| 0aafc745c9d68df38893930688922f00d3d6516a | Set2 | Assume | AssumeIsNotEmbeddable |
| aaafa51f1fda6ec8897b0e80c217e8e22dbd28a6 | Set2 | Assume | AssumeIsNotEmbeddable |
| 69c5cfde671213da5278487ede31a505389ebf81 | Set1InDef | Assume | AssumeIsNotEmbeddable |
| c75559ed67777b5ec952804173926183703b68f1 | Set1InDef | Assume | AssumeIsNotEmbeddable |
| 16f7fb14f27f6efab8bc1a4bcd2a9f68796f1ed7 | Set2InDef | Assume | AssumeIsNotEmbeddable |
| f55694c2c8301241803a18b1903a1dc4e5378df9 | Set2InDef | Assume | AssumeIsNotEmbeddable |
| 624861ba665894197e1ba052b61e35eaebf04b50 | InDef0 | Assume | AssumeIsNotEmbeddable |
| 24a662256cb074cce0f1b9faaf876775f79a608b | InDef0 | Assume | AssumeIsNotEmbeddable |
| 8acf202cae19a20b291aaa05568e069e9962771e | InDef1 | Assume | AssumeIsNotEmbeddable |
| 294bd812a25d868b4d34387e5ee82236152233e1 | InDef1 | Assume | AssumeIsNotEmbeddable |
| c400e0e4dd69daaa10697f1651668998948d0cc2 | InDef2 | Assume | AssumeIsNotEmbeddable |
| 88e40335ee826a882f296ba3843dad142136b748 | InDef2 | Assume | AssumeIsNotEmbeddable |
| 5bb7ad66dd9c8f30e552f5cc849b20881ff84708 | Fun | Assume | AssumeIsNotEmbeddable |
| 43fe5f6a3fe3a6542e53ad6628a946e87dbad02e | Fun | Assume | AssumeIsNotEmbeddable |
| 38c9c5e87ad433d407f237b295cf54b301fb019d | FunInDef | Assume | AssumeIsNotEmbeddable |
| 1f7b05c14f0ea7324dfa8660cbc719f853bab412 | FunInDef | Assume | AssumeIsNotEmbeddable |
| 8df8785aeb9107134850229a44e872a17c8453a1 | In | Assume | AssumeIsNotEmbeddable |
| 6857ed5625c381a99deaa9e845bc1e55df25ede1 | In | Assume | AssumeIsNotEmbeddable |
| 8945c6bf83e1f5c4bfa2dc2281d4c10198a43a9f | NotIn | Assume | AssumeIsNotEmbeddable |
| d122a464176915a0db445e2f815b4178e3d26cb8 | NotIn | Assume | AssumeIsNotEmbeddable |
| e5114b42ddd268f89c358dd43785a61888a26ca0 | Exists | Assume | AssumeIsNotEmbeddable |
| 62f788119684f68f80b8482fecfd71a2afccde5f | Exists | Assume | AssumeIsNotEmbeddable |
| f9bf974cddd922fe87297e0e854b40c850cf3529 | Forall | Assume | AssumeIsNotEmbeddable |
| eb7c2a4c784b0667c1b685719d0b92aaf47a13ca | Forall | Assume | AssumeIsNotEmbeddable |
| 3863f09cb5b8a9ea443e606caaa208bb7572de5a | ExistsInDef | Assume | AssumeIsNotEmbeddable |
| 2ff98f72c4986bf229659a1871a43962b07213d4 | ExistsInDef | Assume | AssumeIsNotEmbeddable |
| 2305629ba6c5597cb2728fcf6610eefe1f1deada | ForallInDef | Assume | AssumeIsNotEmbeddable |
| 1a4750e1dbd897211445582163c62b84834ee392 | ForallInDef | Assume | AssumeIsNotEmbeddable |
| 49f292f8a85c5b6dc43e34d4ba1f2dd7a7351da2 | Choose | Assume | AssumeIsNotEmbeddable |
| 6d132ed35809b8d883d209a7a1cdc3917617c74e | Choose | Assume | AssumeIsNotEmbeddable |
| d17cc8d0ad6254464f0c5a988696db26117ecf5d | ChooseInDef | Assume | AssumeIsNotEmbeddable |
| 11203c20505510739cd219608bbd6f78b8ebff2e | ChooseInDef | Assume | AssumeIsNotEmbeddable |
| 16882f47df190949de30fc5f19acd5a72c4637cc | Record | Assume | AssumeIsNotEmbeddable |
| b801dc5d624550f49a771d9d03660f5e211f0f1a | Record | Assume | AssumeIsNotEmbeddable |
| 6cd0d4b1eef375b43c5702bbcb4038547af8d16d | Tuple | Assume | AssumeIsNotEmbeddable |
| e3580a658cbfb832c36a1ec7137de425b42b935e | Tuple | Assume | AssumeIsNotEmbeddable |
| 2cf8930b0f4655c233e23aaa420d272079e0252e | TupleEmpty | Assume | AssumeIsNotEmbeddable |
| 1907f4f72690965ffcfa25fb67fce02c29493c17 | TupleEmpty | Assume | AssumeIsNotEmbeddable |
| ea77e7fbd671d0fc9fe209634a0a485ea432d9ae | FunApp | Assume | AssumeIsNotEmbeddable |
| 0807cbee543e094329a7915d6f8b5bff9fb38a28 | FunApp | Assume | AssumeIsNotEmbeddable |
| 5ede465359a244ff18c149bd1fde00f90bcce51e | Except0 | Assume | AssumeIsNotEmbeddable |
| bc88ff00f179d41237f8f742d050571e3d59024c | Except0 | Assume | AssumeIsNotEmbeddable |
| ad1a3743ca40679743eaf975cb804110bcd44e33 | Except1Fun | Assume | AssumeIsNotEmbeddable |
| 703ad61d707e56c6c3f5aeff42ce9a6124a721fe | Except1Fun | Assume | AssumeIsNotEmbeddable |
| e1b975716bdf95aec77fcb0fcc26085b83190cb4 | Except1FunWithAt | Assume | AssumeIsNotEmbeddable |
| 64d844a14c91d78f68c12d25b8a80df262ac0cd3 | Except1FunWithAt | Assume | AssumeIsNotEmbeddable |
| 0aa3887d26861af0e65338e53ae0d2a90448f7cf | Except1Rec | Assume | AssumeIsNotEmbeddable |
| 09fa32ffc140c7417439a9342227beda8e80438e | Except1Rec | Assume | AssumeIsNotEmbeddable |
| 7b6628adcde52adfdf25874a7d31742e98e9c6a3 | Except1RecWithAt | Assume | AssumeIsNotEmbeddable |
| 4b4eeb4f0ff632c59b543c3974bb76996c3d9990 | Except1RecWithAt | Assume | AssumeIsNotEmbeddable |
| 69e7725b37305376e1bb13bf1f84f0f04a801039 | Except2Fun | Assume | AssumeIsNotEmbeddable |
| 96f4753e97f63cc57357e1eb40c6a1fa328cbc67 | Except2Fun | Assume | AssumeIsNotEmbeddable |
| a7869030add64ee9c5cfe5cf7c92ebf570e7cbf4 | Except2FunTuple | Assume | AssumeIsNotEmbeddable |
| cae205145b7190c7aad5f49083bc4b67ae5f3fc8 | Except2FunTuple | Assume | AssumeIsNotEmbeddable |
| d4d123346f54999e8e77dc37a1fe21525a783023 | Prime | Assume | AssumeIsNotEmbeddable |
| 19ad24838b698bfdcd3a32cb46616b741095be8b | Prime | Assume | AssumeIsNotEmbeddable |
| 8a83b70ac90bddf983b7790cdd4d718a334003ae | NumZero | Assume | AssumeIsNotEmbeddable |
| 82edc19d63401e2bb00d76b5bd25d841344f29d6 | NumZero | Assume | AssumeIsNotEmbeddable |
| 3849d55da6ed0629d69ea8ad7e39799b67e09fe9 | NumOne | Assume | AssumeIsNotEmbeddable |
| cf74dd162aae10e07cbb1625659b6371e46c45f8 | NumOne | Assume | AssumeIsNotEmbeddable |
| d7c0a990935b48d89665931d8de3bc8cf965510e | NumMaxInt | Assume | AssumeIsNotEmbeddable |
| a9cef8d323632af553f533f6031cfd8e4ed1452d | NumMaxInt | Assume | AssumeIsNotEmbeddable |
| 51580ee90d7c2c7c33dd1bf8daa9cdcf729ff874 | NumUnaryMinus | Assume | AssumeIsNotEmbeddable |
| 9bbf9e541456fcc090a993220829ef343cffaf23 | NumUnaryMinus | Assume | AssumeIsNotEmbeddable |
| febdfaa1561ba46c653f541144b4acb793dbb76d | NumPlus | Assume | AssumeIsNotEmbeddable |
| 00a87e696e998b2adbc8d96bb922b918d3140b7a | NumPlus | Assume | AssumeIsNotEmbeddable |
| 3302e17230addb7b20869d12cf3e7d9af7da31eb | NumMinus | Assume | AssumeIsNotEmbeddable |
| 888ae9102c3fcd3e3a2c25fd0da1c3a4480ba9ed | NumMinus | Assume | AssumeIsNotEmbeddable |
| 475844f377da54c3c6105da84da5b77f6d5a1817 | NumMul | Assume | AssumeIsNotEmbeddable |
| b4d8db8f6eb0673422df0eb732582a594fef2cd2 | NumMul | Assume | AssumeIsNotEmbeddable |
| 9a07cb9eba5602958add835c7520b92d35f825cb | NumDiv | Assume | AssumeIsNotEmbeddable |
| 69b93ad7aff01aca6f38b2898fd3ef86c174d49c | NumDiv | Assume | AssumeIsNotEmbeddable |
| c2dfa747334cb1289a8adeda9569abb27ab3431b | NumMod | Assume | AssumeIsNotEmbeddable |
| 6159dc45c12d8191f838c693e1ec82f877299806 | NumMod | Assume | AssumeIsNotEmbeddable |
| 123d20c1a85289369475413e52c073957e32d5c1 | NumPow | Assume | AssumeIsNotEmbeddable |
| 8bc915a67f933a91bdf4cb8b81449ad8bd431707 | NumPow | Assume | AssumeIsNotEmbeddable |
| 93b8e3eb7d12850f7090b6d3f6c0342d96155f7b | NumGt | Assume | AssumeIsNotEmbeddable |
| 56cd13a952bed47204797fce05218afc85951a29 | NumGt | Assume | AssumeIsNotEmbeddable |
| 38ae55c657f214f457dd847785aa29c2c393b6fe | NumGe | Assume | AssumeIsNotEmbeddable |
| 5100ee87110e52e19dc9a6a26eff9491f07b6e6c | NumGe | Assume | AssumeIsNotEmbeddable |
| c18dab3d569a9f5bdde2cfd87bbe16e9f1cbb3cb | NumLt | Assume | AssumeIsNotEmbeddable |
| ad93d79a907b5652eee1c5484ee56e6d9fb43484 | NumLt | Assume | AssumeIsNotEmbeddable |
| a5165440e07a3f3bb04bf3d5afe95c37cfcd278b | NumLe | Assume | AssumeIsNotEmbeddable |
| 165b4e075323aa3020cb09309aec03261990f42c | NumLe | Assume | AssumeIsNotEmbeddable |
| dd3979377c9dd329c6b504141d308573de9bbdf4 | DefFun | Assume | AssumeIsNotEmbeddable |
| befc8d8ab592a22adcd74ca3a089c929ef74fed7 | DefFun | Assume | AssumeIsNotEmbeddable |
| 1c1e5521b6e7cb566317cad0d74c2b75e7dedd18 | LetDefFun | Assume | AssumeIsNotEmbeddable |
| 0c8356ed1bf9c1e7520dd6daae504e732b5c1fc1 | LetDefFun | Assume | AssumeIsNotEmbeddable |
| 55be0fc0c2e66308ea3038d7dbc8db3dffc0d5f7 | DefFunRecursive | Assume | AssumeIsNotEmbeddable |
| c44935e5ea0e40e2b4f327fd3378a2555ce6f93b | DefFunRecursive | Assume | AssumeIsNotEmbeddable |
| 5abc9cb785032c2d1515d5f3ced4a390a336f9dd | LetDefFunRecursive | Assume | AssumeIsNotEmbeddable |
| 946d8de8dd19d6b2edf16b0feffff0b7a774fadc | LetDefFunRecursive | Assume | AssumeIsNotEmbeddable |
| 7e4fceaf17c958fb25eefc5d9e4bed5b1f0b71f1 | DefFunInDef | Assume | AssumeIsNotEmbeddable |
| 525647ffae1f214a81347f603b09b796a0810106 | DefFunInDef | Assume | AssumeIsNotEmbeddable |
| 423715cd09b036fe302a45c043490e99461d6d91 | LetDefFunInDef | Assume | AssumeIsNotEmbeddable |
| dbf992eb02edde3cb4fe1e59d13f146b42cdbf3d | LetDefFunInDef | Assume | AssumeIsNotEmbeddable |
| abb201be72e178375cb77e170eb77f24c23cb8d0 | Def0 | Assume | AssumeIsNotEmbeddable |
| 260a2fea0ba7f6e6645c1cbb5edb04e3b6eba21a | Def0 | Assume | AssumeIsNotEmbeddable |
| 74f9de9307d1e1bd8f8e465913ebebdae7a83069 | LetDef0 | Assume | AssumeIsNotEmbeddable |
| 13c7828546fa47c1406c1611ac80249969258c87 | LetDef0 | Assume | AssumeIsNotEmbeddable |
| a2f3e963c106bb920b256b713ad37a17302117d8 | Def1 | Assume | AssumeIsNotEmbeddable |
| ad0534ae3422202ed3bcc6ce6881a37fa8dbb066 | Def1 | Assume | AssumeIsNotEmbeddable |
| af9dcc81693837c99295ac57e6f101269edf0b19 | LetDef1 | Assume | AssumeIsNotEmbeddable |
| 6bb618c1ae42c443db685c1fda338cfefac60c87 | LetDef1 | Assume | AssumeIsNotEmbeddable |
| ad7e88fc1db52d304db3901f79be6798cfa70b53 | Def2 | Assume | AssumeIsNotEmbeddable |
| 0c8bd0724261babf49f970bbe8ebc7325cd84dc7 | Def2 | Assume | AssumeIsNotEmbeddable |
| ed954e7964d9c44d5acb7aab637a156bd9cc5a33 | LetDef2 | Assume | AssumeIsNotEmbeddable |
| 273a457e91817755a72a299d9ed4a6c956b755ae | LetDef2 | Assume | AssumeIsNotEmbeddable |
| 050ff3d754939f1e4371c41ed583bd2dc5208e65 | Def1Recursive | Assume | AssumeIsNotEmbeddable |
| 8e5e808b89b5585a1f76a5a0ac1f0dd258c9e2aa | Def1Recursive | Assume | AssumeIsNotEmbeddable |
| 3dbc5264b955439156e9f192af056832ba0ed5b1 | LetDef1Recursive | Assume | AssumeIsNotEmbeddable |
| b07e28f8bb0bbcaeb7984a5fd8161c8ff6de0650 | LetDef1Recursive | Assume | AssumeIsNotEmbeddable |
| bd456e3e740cf959787f8090a9222679915a2f95 | Extends | Assume | AssumeIsNotEmbeddable |
| 1996511bf86327eecfda899ed114d18722c1a29a | Extends | Assume | AssumeIsNotEmbeddable |
| 54f114d26b65fd4ef16bb05f649f4e0326af30db | ExtendsInDifferentFolder | Assume | AssumeIsNotEmbeddable |
| d3e765e7d30cfa67edf7fa204471cdd424e09c38 | ExtendsInDifferentFolder | Assume | AssumeIsNotEmbeddable |
| cb36f68478407b4fb868ff02742985f600749da7 | Variable | Assume | AssumeIsNotEmbeddable |
| 6d6536c4ca87d54d2bcbf296f102c21852be8d4a | Variable | Assume | AssumeIsNotEmbeddable |
| f3a147879b61a9b4603e1b11b9de6b7d16cd57b1 | VariableViewExclude | Assume | AssumeIsNotEmbeddable |
| d4142f20c908850f1cb86a223da17ecbae1d559a | VariableViewExclude | Assume | AssumeIsNotEmbeddable |
| beb3be05559a4497ce24e1518a2ad0b47ada9e39 | Constant | Assume | AssumeIsNotEmbeddable |
| fd3b99add1cc913b70af5be63915fd41dc61ad82 | Constant | Assume | AssumeIsNotEmbeddable |
| 0ce38ba27ce2bb8aa947e889e0083786a80b43bd | ConstantModelValue | Assume | AssumeIsNotEmbeddable |
| 0433107175871d8803043eb75347e855d5ce0714 | ConstantModelValue | Assume | AssumeIsNotEmbeddable |
| f6645294983724e08a41177366def1d951cfa9db | ConstantRank1 | Assume | AssumeIsNotEmbeddable |
| a4680caac4f582811dd48a98c5a1dc949c2c6087 | ConstantRank1 | Assume | AssumeIsNotEmbeddable |
| 4cae2ee19b1433e197e13ab2a01d7c8ebcee51bd | Instance | Assume | AssumeIsNotEmbeddable |
| fe05d2b2a2e986e055b3f33254439ce58b4d1efa | Instance | Assume | AssumeIsNotEmbeddable |
| 36702edb63a7b87e29440706ac12fca34dc2e5a4 | InstanceWith | Assume | AssumeIsNotEmbeddable |
| f43022be5a22c5bd5909b619c8ab2614ebea1415 | InstanceWith | Assume | AssumeIsNotEmbeddable |
| ca7446baf13796d5c30a3b90a08beb63cc7000c5 | InstanceNamed | Assume | AssumeIsNotEmbeddable |
| 689f5839fa5778f4a0a6f5cc3faab8b1360bb948 | InstanceNamed | Assume | AssumeIsNotEmbeddable |
| e4eae2a68abcadbf76ed94dc35026f86a399c18e | InstanceNamedWith | Assume | AssumeIsNotEmbeddable |
| df0680cead167ab36181cdd14e1f9d7d9ddf03a1 | InstanceNamedWith | Assume | AssumeIsNotEmbeddable |
| da7b3a2a7137e1dd7918a3d0bd3c83f2d32ae4be | InstanceInFolder | Assume | AssumeIsNotEmbeddable |
| 613c3121033a836aeb171f77948470f7c35c3cff | InstanceInFolder | Assume | AssumeIsNotEmbeddable |
| b2a169cf665eccb1123c28cc57bb4f0f9cc97207 | InstanceWithInFolder | Assume | AssumeIsNotEmbeddable |
| 324a0bd3b0f8b6a1621d4a3c701d3b84fd32d6d8 | InstanceWithInFolder | Assume | AssumeIsNotEmbeddable |
| f0558f056160534e8f8da207042d4bcf2b4c5558 | InstanceNamedInFolder | Assume | AssumeIsNotEmbeddable |
| 0166c0f01d8e46737ad10b1de08ca38a5990d4c9 | InstanceNamedInFolder | Assume | AssumeIsNotEmbeddable |
| b369e8b5dbaed65e36bf10d9a8fb7a5a08670923 | InstanceNamedWithInFolder | Assume | AssumeIsNotEmbeddable |
| 2714d553c54be49bd25cb2102e66b588a59c75e5 | InstanceNamedWithInFolder | Assume | AssumeIsNotEmbeddable |
| 96568913cf3a81082fb8234513070178e58e1acd | Enabled | Assume | AssumeIsNotEmbeddable |
| 8109d600d24b911e0d291bd13cc2bd34cc86d0b5 | Enabled | Assume | AssumeIsNotEmbeddable |
| b8d7a5dde980b7b19ba6c0f353be05d3a8594443 | Assume | Assume | AssumeIsNotEmbeddable |
| a8fbabf319590d43f02741436f8d8a6d408bf50b | Assume | Assume | AssumeIsNotEmbeddable |
| 97e87932b153b49a0ab4e2cac40430cab22d293c | AssumeNamed | Assume | AssumeIsNotEmbeddable |
| b8047e7950d81d4992f91223b3cf1d7523def510 | AssumeNamed | Assume | AssumeIsNotEmbeddable |
| 542c2160a587fe3789a8ca2ce4f9cb2d32d99453 | Lambda | Assume | AssumeIsNotEmbeddable |
| 2ad35aafaf9c4be5d1177be811579c6cf4e08fb1 | Lambda | Assume | AssumeIsNotEmbeddable |
| 5f086d416b6f27b42df0156cd4e53f1eaa4e94b0 | Cross2 | Assume | AssumeIsNotEmbeddable |
| 2ba6ed54b9e76ffc6227764db3e83bdfdbf72d96 | Cross2 | Assume | AssumeIsNotEmbeddable |
| 00d8602a29f663fe3e6922bbceb8deedb094a768 | Cross3 | Assume | AssumeIsNotEmbeddable |
| 480245a2b9ea84b0c5c47091d76695c5c5a8e164 | Cross3 | Assume | AssumeIsNotEmbeddable |
| ed13752e4a038d66eb677a3f864c9d32e0ce03c0 | FunSet | Assume | AssumeIsNotEmbeddable |
| 2e20a7edf9a6f2292ea6d82af00a3ba3ed3e1d4c | FunSet | Assume | AssumeIsNotEmbeddable |
| 32353c36fcbde5045fab96d6b842488bba2d47dc | RecordSet | Assume | AssumeIsNotEmbeddable |
| 0888dde4457747f2ece0f427333b9906bce29219 | RecordSet | Assume | AssumeIsNotEmbeddable |
| e140032c6b5c6f9c4947d5e08aa52b60139f76ab | SetDiff | Assume | AssumeIsNotEmbeddable |
| 3777e5646e3f97613e0e7e092572ce0f676747e8 | SetDiff | Assume | AssumeIsNotEmbeddable |
| 189764298a39377e19496f66dce456db1e91d50e | SetUnion | Assume | AssumeIsNotEmbeddable |
| a5251226c8429e85cb2986837ed259955b0b7457 | SetUnion | Assume | AssumeIsNotEmbeddable |
| f75270bdcc0df7a32bd4bd896f96d82ed9420203 | SetIntersect | Assume | AssumeIsNotEmbeddable |
| e11508d72e40b2bb46d72e45c47a606c3633249d | SetIntersect | Assume | AssumeIsNotEmbeddable |
| 5a78344abc5fc5424ec875a5f6f97ee8aba1b37e | SubsetEq | Assume | AssumeIsNotEmbeddable |
| 0094cc6007f463c1bf1e8a87b96c5f04324afe70 | SubsetEq | Assume | AssumeIsNotEmbeddable |
| 37dbe1b6ca03b3b534236c18774c2ca261331843 | IfCond | Assume | AssumeIsNotEmbeddable |
| 527e53fa87feab65c06cfd2f3b04479f1e4897de | IfCond | Assume | AssumeIsNotEmbeddable |
| af822101072fc8dae66edd9025175f4326c0b175 | IfThen | Assume | AssumeIsNotEmbeddable |
| 64f9c2c911e71ec8f0776948ebe0a948382d06ba | IfThen | Assume | AssumeIsNotEmbeddable |
| 23b2cf86d06d0b730fd1a6b4acea66c849ac3704 | IfElse | Assume | AssumeIsNotEmbeddable |
| c6858af4c6f111f820e5f41b041b1c88feec5924 | IfElse | Assume | AssumeIsNotEmbeddable |
| 5d29e10247e5ae326281b00fda07462607f8856a | Subset | Assume | AssumeIsNotEmbeddable |
| 402466e9892d7258887392e6e25639053936a4f4 | Subset | Assume | AssumeIsNotEmbeddable |
| 608ab2a620c17143f7adce995b931a6198819121 | Domain | Assume | AssumeIsNotEmbeddable |
| 98ad034cd27713b08631b4d678b99bc7960715c5 | Domain | Assume | AssumeIsNotEmbeddable |
| 0911e1ab362d02b1d9d40e23ca3714f9081bd354 | Union | Assume | AssumeIsNotEmbeddable |
| 8e3f543db58d5462b1bf0d9970184025ab32573c | Union | Assume | AssumeIsNotEmbeddable |
| 708fbf69a621a1b220acf15e3d4c2c5c43b9126f | Unchanged | Assume | AssumeIsNotEmbeddable |
| 2880d571da21a73473605add0f170dde7c934f7a | Unchanged | Assume | AssumeIsNotEmbeddable |
| ee22a5e434bd961700f4756662b6a973ef167c93 | Equivalence | Assume | AssumeIsNotEmbeddable |
| cc75d71eb5b19c7b749e7423caacc4e8d3c91683 | Equivalence | Assume | AssumeIsNotEmbeddable |
| 5fbc082cb1dfbb4a6d17883a9b6b401cfcd572f8 | StringEmpty | Assume | AssumeIsNotEmbeddable |
| 677c312f0436b136567337beea0584ad0065abdc | StringEmpty | Assume | AssumeIsNotEmbeddable |
| 97cf06260527098b9ea9c914e7ba7a5b4328c8ab | String | Assume | AssumeIsNotEmbeddable |
| 6594abf1898837eda4bf422fbc4403ed59c26dd2 | String | Assume | AssumeIsNotEmbeddable |
| 40444cae7fb37dd209a26f0f218a9122950d6b32 | SeqLen | Assume | AssumeIsNotEmbeddable |
| fc2aa6e759951fd9835559f624b54b34f7f7c1ff | SeqLen | Assume | AssumeIsNotEmbeddable |
| 053a70f3510e0e7b64d664895ef1039de66464f1 | SeqConcat | Assume | AssumeIsNotEmbeddable |
| 34f893dfbdbea3935dc9d11d26cae4580a0a6b8f | SeqConcat | Assume | AssumeIsNotEmbeddable |
| e69b1fc1a097844cdaef1ff4e700fa0036c25a6f | SeqSeq | Assume | AssumeIsNotEmbeddable |
| d1e8ca197a379aee862757269dc93dc4c4f37ab2 | SeqSeq | Assume | AssumeIsNotEmbeddable |
| af144c9215574034c3e3ee571e2f8b4820ed3632 | NatSet | Assume | AssumeIsNotEmbeddable |
| acd4630db166781dda0cae7c7fd4cd0f2e0b22a8 | NatSet | Assume | AssumeIsNotEmbeddable |
| 3ce712c03bb56b6846fa442a0607c1d4c27cbf1d | IntSet | Assume | AssumeIsNotEmbeddable |
| d6aa588717da075ea12b4a130e88bba455bb499b | IntSet | Assume | AssumeIsNotEmbeddable |
| b688ed38cb25a5a046e774955d6e5b022f8f172a | StringSet | Assume | AssumeIsNotEmbeddable |
| 5867ef3e65db5153175bbbea9fc88258609962dc | StringSet | Assume | AssumeIsNotEmbeddable |
| e575a9f3a45978692737df62e94e9bd3aa602bc8 | SeqSelectSeq | Assume | AssumeIsNotEmbeddable |
| 6a8d13a621191404a6fd296e33b945f6f61583a3 | SeqSelectSeq | Assume | AssumeIsNotEmbeddable |
| e27008e999a592c90241f2e3e2f44638832fcf60 | SeqSubSeq | Assume | AssumeIsNotEmbeddable |
| e015a371855747d534e171b76c8d03ceaf09a1f4 | SeqSubSeq | Assume | AssumeIsNotEmbeddable |
| c20a9625d281e371b0d9c21dc724103199b10f37 | NumRange | Assume | AssumeIsNotEmbeddable |
| 8280837da0ae750e6cf9b45fe36947bbdebb073e | NumRange | Assume | AssumeIsNotEmbeddable |
| 586a1db236e45140efa85423ebce945cd3c4a46d | TlcSingletonFun | Assume | AssumeIsNotEmbeddable |
| 2f8c40394400c8fdd6a85596aaa688a38f168303 | TlcSingletonFun | Assume | AssumeIsNotEmbeddable |
| b55b692a3e03573a3ef902893717b6cc70909775 | TlcExtendFun | Assume | AssumeIsNotEmbeddable |
| 5123ff17d09e93b1672d67f2c939a1329369cde5 | TlcExtendFun | Assume | AssumeIsNotEmbeddable |
| 99ab1e988d15492577d1b1213fe8c9ef54f48557 | TlcPermuteFun | Assume | AssumeIsNotEmbeddable |
| 828a3792c0c5369db7d3b3a191d838d5cc3eaeb1 | TlcPermuteFun | Assume | AssumeIsNotEmbeddable |
| 1e1522599a6b192dcf950b373810e0961802d0c8 | TlcSortSeq | Assume | AssumeIsNotEmbeddable |
| cdece97aaaba5ecc539e65cfbb7eef3979a4ce21 | TlcSortSeq | Assume | AssumeIsNotEmbeddable |
| 318a5f92d69489af13b18eacbed916fa023e1c0d | TlcEval | Assume | AssumeIsNotEmbeddable |
| 5671663196c7f50f2bbb8e6da7053d7bb7c386e9 | TlcEval | Assume | AssumeIsNotEmbeddable |
| 6773c2ec84c950e90682d3dbe0a6b98d97f194b9 | BagBagToSet | Assume | AssumeIsNotEmbeddable |
| da5d2f926f6c540cabd63001bd81f45e8e8827f5 | BagBagToSet | Assume | AssumeIsNotEmbeddable |
| d04ebd437cb719e7016ca7f1b6492e9873e899a2 | BagSetToBag | Assume | AssumeIsNotEmbeddable |
| 5ef90bd5164a5dd5190ca3ca0f9928be7df59f35 | BagSetToBag | Assume | AssumeIsNotEmbeddable |
| 5f767454f392aaf9fd41f4320a7f50434df249c7 | BagBagIn | Assume | AssumeIsNotEmbeddable |
| 92a9a4ea1e4a19d416ee450ee3da220854dd1dfd | BagBagIn | Assume | AssumeIsNotEmbeddable |
| 1ff755e0aad24a27f4715a0cb3ac4f843ecfc6df | BagEmptyBag | Assume | AssumeIsNotEmbeddable |
| eb4a27fb7f90db719037ee4ef21306a954378bac | BagEmptyBag | Assume | AssumeIsNotEmbeddable |
| 018a3b9607e61ae5a1d40453fe42f96c4cb96309 | BagAddBag | Assume | AssumeIsNotEmbeddable |
| 83bf6dfbe456c1521fe60a85163cc8f9dfba878f | BagAddBag | Assume | AssumeIsNotEmbeddable |
| 698376d1531d93958f68c6c279b945a7e4887304 | BagBagSub | Assume | AssumeIsNotEmbeddable |
| 8a727d0087dc0c715937ae5e211d2c89190f7e08 | BagBagSub | Assume | AssumeIsNotEmbeddable |
| f05b5e3f16d0f8cba05205901e56dd56461afbab | BagCopiesIn | Assume | AssumeIsNotEmbeddable |
| b5d9294e493575589d6725d8b58f05f716f60d97 | BagCopiesIn | Assume | AssumeIsNotEmbeddable |
| 0a81e74d12aa1eb0a48d9a7c12b53d7db2aa4627 | BagSubsetEqBag | Assume | AssumeIsNotEmbeddable |
| 70827f36505bb1e41d2c0a47dfd29dc166d1d6d8 | BagSubsetEqBag | Assume | AssumeIsNotEmbeddable |
| 56e0fda06622cde8300ec2e4beeb35799ef7b151 | BagBagUnion | Assume | AssumeIsNotEmbeddable |
| c92747d426b6ed8ddd081db9bd3beb8d6eacf3bd | BagBagUnion | Assume | AssumeIsNotEmbeddable |
| 11f670fafebb95be47e1c1ec41d9d78bbc961b0a | BagBagCardinality | Assume | AssumeIsNotEmbeddable |
| 5c35335e344c72ca6aeedf608a90f1ab5d6d716b | BagBagCardinality | Assume | AssumeIsNotEmbeddable |
| 3f97eb2a77784e9d605377c7fefb2848813bdad7 | BagBagOfAll | Assume | AssumeIsNotEmbeddable |
| 5f5de1f6c97840fdcb320a67356fc1a02804acd5 | BagBagOfAll | Assume | AssumeIsNotEmbeddable |
| fe154f08dab62971eda9596c6bfd5f009ab34e08 | BagSubBag | Assume | AssumeIsNotEmbeddable |
| 779c8b4c4717fb176cc446e98351569fa90b4fda | BagSubBag | Assume | AssumeIsNotEmbeddable |
| 51097b6bf73cce9711c12a47afd4f96dbbe54fa2 | FiniteSetsIsFiniteSet | Assume | AssumeIsNotEmbeddable |
| 4c314074798054f90e4adc040473270e35056e65 | FiniteSetsIsFiniteSet | Assume | AssumeIsNotEmbeddable |
| 44fe5495cd68ab10bd356899550805197837bf88 | FiniteSetsCardinality | Assume | AssumeIsNotEmbeddable |
| b47582511449a1844720c6c0958adba139a53d59 | FiniteSetsCardinality | Assume | AssumeIsNotEmbeddable |
| a71f8849f1f6e66106b0cd2aca07e0b53c3a8cf4 | SeqHead | Assume | AssumeIsNotEmbeddable |
| 22683ae3c4601009c02a482a5ff8f0b5293b16af | SeqHead | Assume | AssumeIsNotEmbeddable |
| 801508efc7a47a417ce706d32b2fa42cf8d282af | SeqTail | Assume | AssumeIsNotEmbeddable |
| aabefeffd3dbf10dd45a8b5611a73992ac3e366b | SeqTail | Assume | AssumeIsNotEmbeddable |
| f4fd5e99fd3a3723e140d8bd1f265e14479552ca | SeqAppend | Assume | AssumeIsNotEmbeddable |
| 035fe5e6c697335396b8bdbde6b569a09984a531 | SeqAppend | Assume | AssumeIsNotEmbeddable |