| Id | Case Feature | Plug Feature | Skip Reason |
|---|---|---|---|
| 941fff2cf42b1ccd5128ca05002444ed65e6ef70 | OneLineComment | VariableViewExclude | VariableExcludedFromView |
| 90b29e1c2b5346c1f62006b960d61d624a94bfb3 | OneLineComment | VariableViewExclude | VariableExcludedFromView |
| d4bb831c989539f06fd1e08eb9198a949b03497c | MultiLineComment | VariableViewExclude | VariableExcludedFromView |
| 25ade4a72ced894427767e398ef9a7b2b20fa38c | MultiLineComment | VariableViewExclude | VariableExcludedFromView |
| 9a0cf3b84336fd566f211b6024f0d775837f3680 | BoolTrue | VariableViewExclude | VariableExcludedFromView |
| 612d8384df1d310254dc1c5cf2710a897c349058 | BoolTrue | VariableViewExclude | VariableExcludedFromView |
| df370c749b7cd87ba5e968efeb316f83eeae31d9 | BoolFalse | VariableViewExclude | VariableExcludedFromView |
| a42759679b439a1163d9e09a921326bf3aa9e666 | BoolFalse | VariableViewExclude | VariableExcludedFromView |
| ec8e3a8350fe3227a769314c6271abb290b9f3f7 | BoolSet | VariableViewExclude | VariableExcludedFromView |
| d07995ec8443f656c0c6e12325cbcae228b505ee | BoolSet | VariableViewExclude | VariableExcludedFromView |
| 78551e833554a608696c9664bc9c8c1c6a4c9e78 | And | VariableViewExclude | VariableExcludedFromView |
| 845a145885d6806e4485d66c380ef0e998869d67 | And | VariableViewExclude | VariableExcludedFromView |
| 333b271a4a27a2c709f29e7aba02c6672bfcf8b0 | AndMultiLine | VariableViewExclude | VariableExcludedFromView |
| cd10363e091d439ed32a51202dc4ce2f63c53be8 | AndMultiLine | VariableViewExclude | VariableExcludedFromView |
| 3fff0484f8c8a91c7a671e8c3ac6256074b2b118 | Imply | VariableViewExclude | VariableExcludedFromView |
| 773cf45ebe1359e93ec97b27e71bf33967032c8b | Imply | VariableViewExclude | VariableExcludedFromView |
| 4994171788f0f2f0f021ebab862fe33751768dd3 | Not | VariableViewExclude | VariableExcludedFromView |
| e6c9dec57cfcb8d42eff74b8b9ae32e07e6f576b | Not | VariableViewExclude | VariableExcludedFromView |
| a8a6fbad7ab3d76d6b7b6258add6a71c13eb6a14 | Or | VariableViewExclude | VariableExcludedFromView |
| 49d6d4c7b8a5f848e347762a788e33105205d6bb | Or | VariableViewExclude | VariableExcludedFromView |
| 2d14bd9fba7068460921a32025ea511eaceddff0 | OrMultiLine | VariableViewExclude | VariableExcludedFromView |
| 5bdc9dd8666ae1bd73892e5599947e8308305f9a | OrMultiLine | VariableViewExclude | VariableExcludedFromView |
| a8fe25415a412e0d4f28e8a1898e05b37d368ace | AndProp | VariableViewExclude | VariableExcludedFromView |
| 0a824daf59620ac46737fd4a69e5c8ecc2dc3146 | AndProp | VariableViewExclude | VariableExcludedFromView |
| d71e1db5a4559d81882acccd7dc0e657d4562a45 | Boxed | VariableViewExclude | VariableExcludedFromView |
| fcda8fbbc74c6d314d17fffd59a6c27c01756f04 | Boxed | VariableViewExclude | VariableExcludedFromView |
| cb35c6084c8afffbedfd15e8918f476fc4e26629 | Eq | VariableViewExclude | VariableExcludedFromView |
| abecc5eb93f47dd81fb02a08e6b3fd04dcc257bb | Eq | VariableViewExclude | VariableExcludedFromView |
| 18a6cb753d418fbeb3c04c0b61e0c33ba417e7f2 | Ne | VariableViewExclude | VariableExcludedFromView |
| 2f2acebafef837e4f8d319d399c17b740640cc4c | Ne | VariableViewExclude | VariableExcludedFromView |
| 7dba4725e54ba08c517787d4e82f249af1b0dce9 | Let | VariableViewExclude | VariableExcludedFromView |
| 6a7a4ca3e7d0deaf85312399c45220d2d4b80739 | Let | VariableViewExclude | VariableExcludedFromView |
| 8c65c9472d6d86ed33f133691fdddc64b03fb5dd | SetEmpty | VariableViewExclude | VariableExcludedFromView |
| 3ec00c65246033d4eb2025f24d9e5241f9b80c1d | SetEmpty | VariableViewExclude | VariableExcludedFromView |
| 870bdbfb7b7f8ff954250e298d7b76450e8f593f | Set0 | VariableViewExclude | VariableExcludedFromView |
| 156458ac775ad035293e1db2c702481d81fc4c11 | Set0 | VariableViewExclude | VariableExcludedFromView |
| bdb8d9bde00e1759dea86a37b6e6d64cee448528 | Set1 | VariableViewExclude | VariableExcludedFromView |
| 31660e1895bdf42197a1dad40b19b26a688a1855 | Set1 | VariableViewExclude | VariableExcludedFromView |
| aa3af7364a4071b850fd968eff72e76499732dfe | Set2 | VariableViewExclude | VariableExcludedFromView |
| 79f06dec9567b048bb84d8688613600050ad7b50 | Set2 | VariableViewExclude | VariableExcludedFromView |
| 988c4978316bf8e8bd016b41e038ac5740d14375 | Set1InDef | VariableViewExclude | VariableExcludedFromView |
| 460b42121dda5d6138bf2832fd4f700c1d421723 | Set1InDef | VariableViewExclude | VariableExcludedFromView |
| ab3a0b188119647af572f24d3c3476424fee9701 | Set2InDef | VariableViewExclude | VariableExcludedFromView |
| 763903cb4442cc75fcfff85c3cd413465b8824bc | Set2InDef | VariableViewExclude | VariableExcludedFromView |
| 5ae9db917d6539e8895f78030ffb01f3efd9ccb8 | InDef0 | VariableViewExclude | VariableExcludedFromView |
| ca29637b1c29fc9c07a1d62bddb1707e5f7f6600 | InDef0 | VariableViewExclude | VariableExcludedFromView |
| 54e4d44abaa9d67b8b2dbc511002ed85c48590a2 | InDef1 | VariableViewExclude | VariableExcludedFromView |
| 126fe7d70d502366ce4def82d8670d6793b0903c | InDef1 | VariableViewExclude | VariableExcludedFromView |
| a21facbd1a9c43ee0427be4eb35e55dec7442a0a | InDef2 | VariableViewExclude | VariableExcludedFromView |
| 3378ce95eae98dd1ca4c1e5272c4a6ab5fa04086 | InDef2 | VariableViewExclude | VariableExcludedFromView |
| 6f14b60d046b98a3bd1821a8253f79b0a26a5211 | Fun | VariableViewExclude | VariableExcludedFromView |
| 12581d48be989686b4ab0ebd2a5ab9f84f9fdeab | Fun | VariableViewExclude | VariableExcludedFromView |
| 50ef6c603c89fd06ecaebe30ea122b4cb000490a | FunInDef | VariableViewExclude | VariableExcludedFromView |
| b4f3a425018ab350d3221c2cdbe220900eb33e53 | FunInDef | VariableViewExclude | VariableExcludedFromView |
| 7e7d2b9a02d5dbc487befff7f60a8e8bd7a87e93 | In | VariableViewExclude | VariableExcludedFromView |
| eecbdcab7ca1c13f7fba05d80bc61b422c841927 | In | VariableViewExclude | VariableExcludedFromView |
| 9595bef0665bce4b38f9a23ab63d4dd7a47c6eed | NotIn | VariableViewExclude | VariableExcludedFromView |
| dfde630c6b50bd6b4e71a038b507d90182035baf | NotIn | VariableViewExclude | VariableExcludedFromView |
| 28834ddcb91b4af42a7e357d4361d8f57b27893e | Exists | VariableViewExclude | VariableExcludedFromView |
| 79fdc941cb9959c3acbc8b522b04a34b643306dc | Exists | VariableViewExclude | VariableExcludedFromView |
| 15e37cfe028d0242410f5d21c6802d02225ac61a | Forall | VariableViewExclude | VariableExcludedFromView |
| 43dc0cc920241a418d6c97c89de8c1233c88a752 | Forall | VariableViewExclude | VariableExcludedFromView |
| b2d8799d632c9b3c4d74fb1029b1c0f5147bd3a6 | ExistsInDef | VariableViewExclude | VariableExcludedFromView |
| d380f5aa2dc35c67943a5c7350691245a5b2c60a | ExistsInDef | VariableViewExclude | VariableExcludedFromView |
| cab1d8e717fedea1f5b4b9f095591cb7d202d533 | ForallInDef | VariableViewExclude | VariableExcludedFromView |
| fb897d757c852916e793d5d0234825d41a409b10 | ForallInDef | VariableViewExclude | VariableExcludedFromView |
| d71b225d2f229abf4d4d8da61c2c5fceeda3fead | Choose | VariableViewExclude | VariableExcludedFromView |
| f646004623debf0e7ae35576da6e334147c7865b | Choose | VariableViewExclude | VariableExcludedFromView |
| a533205080e4d3d9f209c569ca56c40b0c355f7d | ChooseInDef | VariableViewExclude | VariableExcludedFromView |
| ade19d531e27a860f51699b025ac06eca6d2c276 | ChooseInDef | VariableViewExclude | VariableExcludedFromView |
| c1e89b20015aa10cd9fd98da44b080287af2ca4a | Record | VariableViewExclude | VariableExcludedFromView |
| 80e58cfc064d3ddcb20bfef9cbca8afe5bb1181f | Record | VariableViewExclude | VariableExcludedFromView |
| 2443d7580c9e30d18632c32c96fdfe4f3792373a | Tuple | VariableViewExclude | VariableExcludedFromView |
| 50d8e541e6bba7d10b453e1ec60b096841e7b985 | Tuple | VariableViewExclude | VariableExcludedFromView |
| 5441623796bad6c4e97a5470a6f4cfd73ed42c83 | TupleEmpty | VariableViewExclude | VariableExcludedFromView |
| 9415ae759beec5e98b6dd3d2d7914d2fd2439a43 | TupleEmpty | VariableViewExclude | VariableExcludedFromView |
| ec91189ab83d37a045b552af955e64d72c96169c | FunApp | VariableViewExclude | VariableExcludedFromView |
| df4c5b35b5adb124fa7c6585347c94e522280964 | FunApp | VariableViewExclude | VariableExcludedFromView |
| e6fc75ea90bac15758d0f5ad4b45d796cce585bc | Except0 | VariableViewExclude | VariableExcludedFromView |
| 9a35021037582236bf11f53da1584828434c2957 | Except0 | VariableViewExclude | VariableExcludedFromView |
| c2bba5b16208e3cea02bedb5eeab8ecce27ed12e | Except1Fun | VariableViewExclude | VariableExcludedFromView |
| 91a526d4f7ce9a18db399090995359e391690b60 | Except1Fun | VariableViewExclude | VariableExcludedFromView |
| 881653e369a314d2958ed5dad4c78aab9b41cd81 | Except1FunWithAt | VariableViewExclude | VariableExcludedFromView |
| f278e5170a924ef9ab4bed5ab3c916523698cd1d | Except1FunWithAt | VariableViewExclude | VariableExcludedFromView |
| ac1967cdf37d6a85905495872af1e2232e18e8e8 | Except1Rec | VariableViewExclude | VariableExcludedFromView |
| a24e85ecfee8cbe727b48d4a935e4173513dc5b9 | Except1Rec | VariableViewExclude | VariableExcludedFromView |
| 8dc2ba5a0b79dc6b2a9ef934029a3c55df94dc87 | Except1RecWithAt | VariableViewExclude | VariableExcludedFromView |
| 862473110bb61eed7778d1b5c1d78db2a13b69cf | Except1RecWithAt | VariableViewExclude | VariableExcludedFromView |
| 0c4507d542caa4b978d740d1dec3a8531f2791ea | Except2Fun | VariableViewExclude | VariableExcludedFromView |
| 7ffce80a7c1a28c4e6e49d1859fc4c84c465f02f | Except2Fun | VariableViewExclude | VariableExcludedFromView |
| f99af3076470d564603894be1938bb9d74fced6a | Except2FunTuple | VariableViewExclude | VariableExcludedFromView |
| ae222b8c6553e694998a917c1374b6def7c21d84 | Except2FunTuple | VariableViewExclude | VariableExcludedFromView |
| 4f3b4217dc69ee27357094c531a001007a66dabf | Prime | VariableViewExclude | VariableExcludedFromView |
| 3db66e4a81070e7f293b00aaff046b6c0b8ce1bf | Prime | VariableViewExclude | VariableExcludedFromView |
| bf1bb26a523355404cdfe9f3782ba0893194c2e2 | NumZero | VariableViewExclude | VariableExcludedFromView |
| 565abc9a1c277943fe819786caaafec5dbae94a1 | NumZero | VariableViewExclude | VariableExcludedFromView |
| 304914d6a7c9682acc9fdadf96f63318a301f3a2 | NumOne | VariableViewExclude | VariableExcludedFromView |
| 5db84cc2b8b38eb123681b9f2ef856c982f181a7 | NumOne | VariableViewExclude | VariableExcludedFromView |
| 9e00a92f004613090bf436e1c02a0c9d067177fc | NumMaxInt | VariableViewExclude | VariableExcludedFromView |
| 52076cc1772330b26417032a6b122527538b5d1f | NumMaxInt | VariableViewExclude | VariableExcludedFromView |
| 2f0bd978ee1668706151bf9313b506a75eee8659 | NumUnaryMinus | VariableViewExclude | VariableExcludedFromView |
| de5e456ea37aa97867dec3c0184f9d73c7196c6b | NumUnaryMinus | VariableViewExclude | VariableExcludedFromView |
| 5537ad4a91028370bd78a73afcceae944d80bd4f | NumPlus | VariableViewExclude | VariableExcludedFromView |
| e643f317f59bd20c5a33d9f6cbc6df873cc0cb4a | NumPlus | VariableViewExclude | VariableExcludedFromView |
| ce6c03909c5c90db0631f820f2789326a16120b2 | NumMinus | VariableViewExclude | VariableExcludedFromView |
| 85230f608e90cbc72bd61aa89066a2ff8926d2f2 | NumMinus | VariableViewExclude | VariableExcludedFromView |
| 18b916d96da55055c04a3ffd442e7431026525ed | NumMul | VariableViewExclude | VariableExcludedFromView |
| ac7bc5228f91c33e9073189939f0f9cc71b9f381 | NumMul | VariableViewExclude | VariableExcludedFromView |
| feea4ee51302fda65f1a3977280049fb500d2664 | NumDiv | VariableViewExclude | VariableExcludedFromView |
| 3878c98b293e91f92f35d902f494342c25562108 | NumDiv | VariableViewExclude | VariableExcludedFromView |
| 3572cbbb34bb79a1a45cd2b819e2ccf51e623850 | NumMod | VariableViewExclude | VariableExcludedFromView |
| b4f42243ac378ed9dab7e33b29682f2f6f5ea078 | NumMod | VariableViewExclude | VariableExcludedFromView |
| 144ee919d1bd373314d0dea437192454813895fa | NumPow | VariableViewExclude | VariableExcludedFromView |
| 4054a0a8bd236467c16a496605208f01305ea156 | NumPow | VariableViewExclude | VariableExcludedFromView |
| 6179149e93f916939aef226a09c16971f670f06c | NumGt | VariableViewExclude | VariableExcludedFromView |
| dbdecf4a0c6aa8e3852353ac982f92ea4d06ed8f | NumGt | VariableViewExclude | VariableExcludedFromView |
| 0965ee1ec64db8670bc5c5920d0a90d159c383fc | NumGe | VariableViewExclude | VariableExcludedFromView |
| aa7d7fa23341a5cca049077906e6098fa27cc117 | NumGe | VariableViewExclude | VariableExcludedFromView |
| f9bf1bdbf120f857d9cd3a2182d9cbea8a3c82f2 | NumLt | VariableViewExclude | VariableExcludedFromView |
| b6c6c31b8abf2389b9246549ec2c484a215a7d59 | NumLt | VariableViewExclude | VariableExcludedFromView |
| 40ff199fca4dccf96e8863356e4bb551e613fcea | NumLe | VariableViewExclude | VariableExcludedFromView |
| 91b6a03a6cda9b3da894d518232ca656d5c3df5e | NumLe | VariableViewExclude | VariableExcludedFromView |
| 84db6ad7ffac0ca2f2ae9eb4b6244174d283ddfb | DefFun | VariableViewExclude | VariableExcludedFromView |
| e1a64d9ef22600406fa5c6355d77b53738f20a57 | DefFun | VariableViewExclude | VariableExcludedFromView |
| cef090a38a820d9d7ea4109ccf1ccf89bde56e6a | LetDefFun | VariableViewExclude | VariableExcludedFromView |
| 30cc369d8d7564246272c43ab50161d86c32ee3a | LetDefFun | VariableViewExclude | VariableExcludedFromView |
| a70d749d487ca145cee7e2db13cc5b2672a6dc63 | DefFunRecursive | VariableViewExclude | VariableExcludedFromView |
| 7859bc73edb969cfff21475bb68a6d472669d3d2 | DefFunRecursive | VariableViewExclude | VariableExcludedFromView |
| 8835b689743a3985e5b56a742ac157d4218fe3e2 | LetDefFunRecursive | VariableViewExclude | VariableExcludedFromView |
| de990a90a92258a725e82af72e8b618ede6998a0 | LetDefFunRecursive | VariableViewExclude | VariableExcludedFromView |
| 986b2e8a00592462bc450e86ad6f8c263039b00f | DefFunInDef | VariableViewExclude | VariableExcludedFromView |
| 11a67cc409409f80ff013c5686026fb8cee2fa93 | DefFunInDef | VariableViewExclude | VariableExcludedFromView |
| d9ef2afa39de97cc41baa5d84e785a15fb711946 | LetDefFunInDef | VariableViewExclude | VariableExcludedFromView |
| 0ebec1024d865566066d4f3587d7fd7055a8dc3c | LetDefFunInDef | VariableViewExclude | VariableExcludedFromView |
| e40558bb27e6b944498d12c2128eaa85a6e19ca3 | Def0 | VariableViewExclude | VariableExcludedFromView |
| fe116581e2075b3a9df61b2a21c3917090749691 | Def0 | VariableViewExclude | VariableExcludedFromView |
| 01af7a58ad3df877978bf18d8b8bc58642795442 | LetDef0 | VariableViewExclude | VariableExcludedFromView |
| 9b31403895e8001f3b6b0df7cf34dffb5c0cda59 | LetDef0 | VariableViewExclude | VariableExcludedFromView |
| f52222f86cb8801ff2e4406260c68803fa41f8c1 | Def1 | VariableViewExclude | VariableExcludedFromView |
| 338dc35895005191d3a101e3d046950aa0a410d8 | Def1 | VariableViewExclude | VariableExcludedFromView |
| ecce1513acfb72846ab6797d8c048aa48bd5cec9 | LetDef1 | VariableViewExclude | VariableExcludedFromView |
| 447f0089d3a97cdcd0857f9a6eb3e1739e80137e | LetDef1 | VariableViewExclude | VariableExcludedFromView |
| 65e3795511ec0348c0ef5939bc1b60a610f5f2cb | Def2 | VariableViewExclude | VariableExcludedFromView |
| ca243e148a632481f2a34d01e254cbfc61f94ef6 | Def2 | VariableViewExclude | VariableExcludedFromView |
| 21f5e949d9962fe4a167de45006cd81b99450aa7 | LetDef2 | VariableViewExclude | VariableExcludedFromView |
| 4fc601a8fd1424c6023077b703f22293a9574f57 | LetDef2 | VariableViewExclude | VariableExcludedFromView |
| 517fba9b901e6e634aab9dcfa49acf1aca84fa72 | Def1Recursive | VariableViewExclude | VariableExcludedFromView |
| e4197405918f5d308d44af8ad0ff26c85cb2dcfb | Def1Recursive | VariableViewExclude | VariableExcludedFromView |
| 1a15bccbe7023682b11643422de2f3c2d281ae75 | LetDef1Recursive | VariableViewExclude | VariableExcludedFromView |
| cf1d19d7310a567d3146d3391802358759d3552b | LetDef1Recursive | VariableViewExclude | VariableExcludedFromView |
| 9ba02645a246453d38eb966e33cfac25ca9de6c9 | Extends | VariableViewExclude | VariableExcludedFromView |
| 88199c7067ba0f830de112ca5c566a51575a99c4 | Extends | VariableViewExclude | VariableExcludedFromView |
| 27e24e49e761d78980972637f5a30af0810739fb | ExtendsInDifferentFolder | VariableViewExclude | VariableExcludedFromView |
| 3109b5e66984ec4c4e579703f0e1c32b0731d028 | ExtendsInDifferentFolder | VariableViewExclude | VariableExcludedFromView |
| b373bf084a842782e6563c6160ed5fdc882b352f | Variable | VariableViewExclude | VariableExcludedFromView |
| 4be4e8924aad306b13f3796a5ae20c95c2eb6ffa | Variable | VariableViewExclude | VariableExcludedFromView |
| a6731fe0bede1817e8440a851dc617d95444aae6 | VariableViewExclude | VariableViewExclude | VariableExcludedFromView |
| c02c6b57d1054978d82cb6f29ebda96d1c858f5e | VariableViewExclude | VariableViewExclude | VariableExcludedFromView |
| bd84654a2d00bc2ffee3248439dc610a63f21d29 | Constant | VariableViewExclude | VariableExcludedFromView |
| 3bb8433b41b8422d8df68ab57ccecd198317e89e | Constant | VariableViewExclude | VariableExcludedFromView |
| 88d8f297b462e879c96075138b690d2efdb5a75b | ConstantModelValue | VariableViewExclude | VariableExcludedFromView |
| 2904c74c5f72f2933c6153d1000fa15519d1a08c | ConstantModelValue | VariableViewExclude | VariableExcludedFromView |
| 022d04b60270320184106e75436d7a1eccd1f705 | ConstantRank1 | VariableViewExclude | VariableExcludedFromView |
| 284db001dd60b1a66bde1dec87b995ec6fe6d377 | ConstantRank1 | VariableViewExclude | VariableExcludedFromView |
| 00e8bd093ed9403ec5a3d8633652b926bc02671e | Instance | VariableViewExclude | VariableExcludedFromView |
| bc94a07abb179b809a9dede6511e90caaf5ddc89 | Instance | VariableViewExclude | VariableExcludedFromView |
| edae3f8ff2cefd97f3dd1c9aae2daca2c40600e6 | InstanceWith | VariableViewExclude | VariableExcludedFromView |
| 4b02f68930911e6e0d9a76f3ef2654cb4b2771fb | InstanceWith | VariableViewExclude | VariableExcludedFromView |
| 22442be6763bd46c8ed58f62060fe8cf800ce322 | InstanceNamed | VariableViewExclude | VariableExcludedFromView |
| 5611f1681bacb69404ae80168fbd1da3fff7ebe8 | InstanceNamed | VariableViewExclude | VariableExcludedFromView |
| 0251e60772d0345ffba586ca8e100a1baa1cbcce | InstanceNamedWith | VariableViewExclude | VariableExcludedFromView |
| a9cc16b759ff1df4282869e24d508132ab8304af | InstanceNamedWith | VariableViewExclude | VariableExcludedFromView |
| 7558bc5c6b90c250bfdd15f5ba9683cd9f39405b | InstanceInFolder | VariableViewExclude | VariableExcludedFromView |
| 74ddf0e95505a3c7b82b3b1ac583d58655e35937 | InstanceInFolder | VariableViewExclude | VariableExcludedFromView |
| 4ee587b71f5cdbd61ef3ca931d42aa6e573c1cd9 | InstanceWithInFolder | VariableViewExclude | VariableExcludedFromView |
| ccb9191c402ebdb755705c0524960d0d320e4913 | InstanceWithInFolder | VariableViewExclude | VariableExcludedFromView |
| 2d4f1118153fa4b591fbc3851bf38fd99cdfe681 | InstanceNamedInFolder | VariableViewExclude | VariableExcludedFromView |
| 71dce33f10da113d95f4d8d5a8f225a6963aa961 | InstanceNamedInFolder | VariableViewExclude | VariableExcludedFromView |
| 4dadf4e367e813a2ad46228cc7792f205654e20d | InstanceNamedWithInFolder | VariableViewExclude | VariableExcludedFromView |
| 7c91ecbf052ab2e71eb03a43a745db96d0dfd9ed | InstanceNamedWithInFolder | VariableViewExclude | VariableExcludedFromView |
| 03735a9d329ab0f99856cc674bc589d707da6269 | Enabled | VariableViewExclude | VariableExcludedFromView |
| 9e8b4aec5593b5a92821daef7567a194c3acaf62 | Enabled | VariableViewExclude | VariableExcludedFromView |
| 59720cc8fe6c2c8cabe04b1f986be01069c03250 | Assume | VariableViewExclude | VariableExcludedFromView |
| d9322fb3750495bc80f5daf59092b2e661ee1f57 | Assume | VariableViewExclude | VariableExcludedFromView |
| f8ac2a7391ce1d07460a4756b1e69d6c000cd8cb | AssumeNamed | VariableViewExclude | VariableExcludedFromView |
| 3951b7ab2f1ab602d5dc5514a34e7bdc31e96fcc | AssumeNamed | VariableViewExclude | VariableExcludedFromView |
| fd25298f0ed47514b5bfb66fda2177b35ffba7be | Lambda | VariableViewExclude | VariableExcludedFromView |
| 9c705a1ccc0f7501243ae2eb0b953cb63b9f95ab | Lambda | VariableViewExclude | VariableExcludedFromView |
| 9d091de1c1cb6b9a8e78dd764547f9a6f5838747 | Cross2 | VariableViewExclude | VariableExcludedFromView |
| b2f100ac71a6a0222e3d31b36b13584bf1e8c15b | Cross2 | VariableViewExclude | VariableExcludedFromView |
| 83ec8bb064e4effa2aef7042a1e8d0d638c48f45 | Cross3 | VariableViewExclude | VariableExcludedFromView |
| 6ee0ce15cff9fc0160f3f6c2531edc363b6f6b93 | Cross3 | VariableViewExclude | VariableExcludedFromView |
| 83379fbd5acc6134a550a0d7b17c7aac3551bfec | FunSet | VariableViewExclude | VariableExcludedFromView |
| dffbdc0788230ba0075218270112f54a0e0fe868 | FunSet | VariableViewExclude | VariableExcludedFromView |
| c1267655157230b0f3fed17a367b3ff9af646b71 | RecordSet | VariableViewExclude | VariableExcludedFromView |
| 5382aa76b33f34f7d601d9fc11481b2132bb2e10 | RecordSet | VariableViewExclude | VariableExcludedFromView |
| 75cf7e97637be5245dc41719fa772c18dfeb6d12 | SetDiff | VariableViewExclude | VariableExcludedFromView |
| d361d25ca2d3d906c40bdaa4c94814f57713a61e | SetDiff | VariableViewExclude | VariableExcludedFromView |
| 69a2867055f61e718584832ea928508d81edbf98 | SetUnion | VariableViewExclude | VariableExcludedFromView |
| abaa85fd1ce1d2e9f5f328c895adcf0bb9620b23 | SetUnion | VariableViewExclude | VariableExcludedFromView |
| 86867a6f2dcd4f85ce793613860735f2779bd521 | SetIntersect | VariableViewExclude | VariableExcludedFromView |
| 48bc2f20ffa85a641cf731eed6f5b2649d3fbb69 | SetIntersect | VariableViewExclude | VariableExcludedFromView |
| 770b5ac8c610dbe6943feadffb8c9240a7ad1528 | SubsetEq | VariableViewExclude | VariableExcludedFromView |
| 7c313c3fd3590d6729dd311628ca46a1de82941d | SubsetEq | VariableViewExclude | VariableExcludedFromView |
| aa9dc410f0c1e701d1a5de4c413e897d2a9d6770 | IfCond | VariableViewExclude | VariableExcludedFromView |
| c09a072886627175278f491928b11a78da8634a3 | IfCond | VariableViewExclude | VariableExcludedFromView |
| 904a69cb9bf688f2cd104b0e44f92b33fef90b77 | IfThen | VariableViewExclude | VariableExcludedFromView |
| fbe8fa94b7e2ad03dfe9f0456aa44b649f77bbcb | IfThen | VariableViewExclude | VariableExcludedFromView |
| 3af54745706ac19a9bd4c94e58372c3b98ab586e | IfElse | VariableViewExclude | VariableExcludedFromView |
| ddc647451ad3f405958ca4de5d17a268f487dea8 | IfElse | VariableViewExclude | VariableExcludedFromView |
| e8edde177b55285c7c276f74ec08564165136540 | Subset | VariableViewExclude | VariableExcludedFromView |
| 5f0cce2ccf079add6aeaab9e27cb50a71a73af53 | Subset | VariableViewExclude | VariableExcludedFromView |
| e4d41a11227fb379c76d14c97ba8c50d5f49c1d5 | Domain | VariableViewExclude | VariableExcludedFromView |
| 3a130d49649854079622a5120d5edd7b2b20f9e7 | Domain | VariableViewExclude | VariableExcludedFromView |
| d6a1c1c51805b78ecc19f6b53fcfc930ceb1d7bb | Union | VariableViewExclude | VariableExcludedFromView |
| 1af8b98c78c658c84869aa8a671157553d9b84c8 | Union | VariableViewExclude | VariableExcludedFromView |
| eb1df5c3bb2843f2f1e2f8f0c7587b24a1a96338 | Unchanged | VariableViewExclude | VariableExcludedFromView |
| d3222dabe1ac39c3f0a197c413468954f2ca58d7 | Unchanged | VariableViewExclude | VariableExcludedFromView |
| 19c485b1af0753d4a91011ddb6fadd7c0026d531 | Equivalence | VariableViewExclude | VariableExcludedFromView |
| df28a8de81f64602c8c8b022049cd03bad31e45d | Equivalence | VariableViewExclude | VariableExcludedFromView |
| 08e77d6227a4e32ee6d1d8527a46dab15686c802 | StringEmpty | VariableViewExclude | VariableExcludedFromView |
| 35af4627a12b20c4491b540af8d581a911b9586d | StringEmpty | VariableViewExclude | VariableExcludedFromView |
| 83459b345e995a6414a0433e4d384aaa6100d953 | String | VariableViewExclude | VariableExcludedFromView |
| 6df03c9939c888c7cd9214457f726dfe125b0039 | String | VariableViewExclude | VariableExcludedFromView |
| da183d7d8f824773628d802583d7ef661f846883 | SeqLen | VariableViewExclude | VariableExcludedFromView |
| 367b94eec9206aa8810fc3bf1b4e8585d9660e7c | SeqLen | VariableViewExclude | VariableExcludedFromView |
| a375b91a84c04ca4e3db9765b7e3bc93483d0cb9 | SeqConcat | VariableViewExclude | VariableExcludedFromView |
| c1c70136c5b05a645a43aa7f217b490cddbd565c | SeqConcat | VariableViewExclude | VariableExcludedFromView |
| b1fb02981b44ab9826431200c8918cfeb3adc18e | SeqSeq | VariableViewExclude | VariableExcludedFromView |
| adfdd470157e010b409908159f113adb5813af2d | SeqSeq | VariableViewExclude | VariableExcludedFromView |
| 3934228315b0082c6998f234dfa0a336a6c829e9 | NatSet | VariableViewExclude | VariableExcludedFromView |
| 04b71b99e949053a509a54c1ab04697131b4bdce | NatSet | VariableViewExclude | VariableExcludedFromView |
| 972db31ec525e38aee33cf9d7124d1a8cfb9efc3 | IntSet | VariableViewExclude | VariableExcludedFromView |
| 21e0a9e6537ffce098ba4fd0e26e7a6987f712bc | IntSet | VariableViewExclude | VariableExcludedFromView |
| f4532082434f94cdc1a1c8c57fd56268739e60e3 | StringSet | VariableViewExclude | VariableExcludedFromView |
| 64656d5d2a3e4e70feb55c46da8c7f3808721841 | StringSet | VariableViewExclude | VariableExcludedFromView |
| f66de5d7ebecc937bf6d8030333ddfda2fcd5d88 | SeqSelectSeq | VariableViewExclude | VariableExcludedFromView |
| f2b6ae4b1123dafc6fbe48ac4ba0296b75b7403d | SeqSelectSeq | VariableViewExclude | VariableExcludedFromView |
| 8c978dea546b40be772bee15f31fb3a783e6047a | SeqSubSeq | VariableViewExclude | VariableExcludedFromView |
| 993000ea8ff312fae5e385bb10f76c281a706bde | SeqSubSeq | VariableViewExclude | VariableExcludedFromView |
| f1a2c9bc63e17a6d6639af28fec35919999439af | NumRange | VariableViewExclude | VariableExcludedFromView |
| ebf1f86593f3601ce799d43f40f260540d02820f | NumRange | VariableViewExclude | VariableExcludedFromView |
| 2812ed4b610b9ff995db46d1352a3a1598364775 | TlcSingletonFun | VariableViewExclude | VariableExcludedFromView |
| ee7e85c6342034c4fec7221c16cbbf0974ca5db2 | TlcSingletonFun | VariableViewExclude | VariableExcludedFromView |
| 2fb096aaeacf58883cc8bdc4c578252c5a948275 | TlcExtendFun | VariableViewExclude | VariableExcludedFromView |
| 7f2ffb48ccfac3ff97e83a788a50c2f879822a0e | TlcExtendFun | VariableViewExclude | VariableExcludedFromView |
| d3563bd385ece0bd2dbf77bd05e19fa7c10d6a39 | TlcPermuteFun | VariableViewExclude | VariableExcludedFromView |
| db9f0d8936f0c6d1ded63f87f458bdcc7e489a05 | TlcPermuteFun | VariableViewExclude | VariableExcludedFromView |
| 7b6bab0904799bd34730b6c618a25a737c9d394a | TlcSortSeq | VariableViewExclude | VariableExcludedFromView |
| 54f0ac07dbc5f91338720bff301ec2ae85822c71 | TlcSortSeq | VariableViewExclude | VariableExcludedFromView |
| 5035a09b6f6267b9677c1fa5760062ef00188345 | TlcEval | VariableViewExclude | VariableExcludedFromView |
| f0a19c412b8d39007fa077655f589ea324f66259 | TlcEval | VariableViewExclude | VariableExcludedFromView |
| 16321e8b35fbfc0c0fbc0ff049315ce9b0780957 | BagBagToSet | VariableViewExclude | VariableExcludedFromView |
| 7d6093f080c7e5b8fc79c498175d2c00d3945f9d | BagBagToSet | VariableViewExclude | VariableExcludedFromView |
| 5683bf97d6ec1a27c54f194067b7dcada2679832 | BagSetToBag | VariableViewExclude | VariableExcludedFromView |
| 0069f001fb6450488d24686d73850019b354fd28 | BagSetToBag | VariableViewExclude | VariableExcludedFromView |
| ff403da76769ae1c5603176d1a044d7d9b6197fe | BagBagIn | VariableViewExclude | VariableExcludedFromView |
| 44dc986effdbf1df1ded584cff8766c1d1c38363 | BagBagIn | VariableViewExclude | VariableExcludedFromView |
| ae1cae00a40557e20a5429ff449ef37780157b63 | BagEmptyBag | VariableViewExclude | VariableExcludedFromView |
| 3e2ed9a6a36ce5639e6b4adb3a36e4d0d7521b5c | BagEmptyBag | VariableViewExclude | VariableExcludedFromView |
| 715646bc8318014df858f08f701a81fa1d6869c6 | BagAddBag | VariableViewExclude | VariableExcludedFromView |
| eab6ef5021d4301d2f82cf0eadfcbd98776d1c21 | BagAddBag | VariableViewExclude | VariableExcludedFromView |
| 8feacf496d8d1376a73f69777c17afb5565158c7 | BagBagSub | VariableViewExclude | VariableExcludedFromView |
| 84417027bc3ed887d3f4f6a13d50e7275e3c3cb2 | BagBagSub | VariableViewExclude | VariableExcludedFromView |
| 67f2378d31e02e091b547f1e8b1229a27246b53b | BagCopiesIn | VariableViewExclude | VariableExcludedFromView |
| 86e470595eaf66a3f1a6bcd421d17eccf9d0cd07 | BagCopiesIn | VariableViewExclude | VariableExcludedFromView |
| 7c90ececff49a1eee43272e40b33e9be27fe6365 | BagSubsetEqBag | VariableViewExclude | VariableExcludedFromView |
| ed180ca4a3bd079a72e34408b2350cf4199708d8 | BagSubsetEqBag | VariableViewExclude | VariableExcludedFromView |
| a3fa62a28cf7f68bc7de3dc6f6bb1e97b5b0df65 | BagBagUnion | VariableViewExclude | VariableExcludedFromView |
| 77cf961f1ec4a13efb7a942d647daeab611fa015 | BagBagUnion | VariableViewExclude | VariableExcludedFromView |
| 785904a60c2936c8d97e362e661ac1e328f256d9 | BagBagCardinality | VariableViewExclude | VariableExcludedFromView |
| df2d68564060aa91f0f9d618ef7a516536354c88 | BagBagCardinality | VariableViewExclude | VariableExcludedFromView |
| 002706ddbf77f76acd95611b2b92e809eb7d1991 | BagBagOfAll | VariableViewExclude | VariableExcludedFromView |
| 52061a11068abd3f5d4b99c9e603c9147b8edd31 | BagBagOfAll | VariableViewExclude | VariableExcludedFromView |
| f93d2d6d9e0194ce999343876f684c672d4de005 | BagSubBag | VariableViewExclude | VariableExcludedFromView |
| 3418efdae24f4d9c88d07a6723887c9d344c9056 | BagSubBag | VariableViewExclude | VariableExcludedFromView |
| 1eb60f49e2ca79286b730faed35f1377b1307987 | FiniteSetsIsFiniteSet | VariableViewExclude | VariableExcludedFromView |
| 6ef8ce39e206bec201136c1a643b1a149398dc4b | FiniteSetsIsFiniteSet | VariableViewExclude | VariableExcludedFromView |
| 0d1e0fd5a7823c760ca6dd0d07e56f1f33b8be88 | FiniteSetsCardinality | VariableViewExclude | VariableExcludedFromView |
| dffa8eaade352d900dbb45879addae7a89ee276f | FiniteSetsCardinality | VariableViewExclude | VariableExcludedFromView |
| 7911bbf1862831695db5a76e27ac833d47d80088 | SeqHead | VariableViewExclude | VariableExcludedFromView |
| f2fe3e014c98ec94a56ffbb4ba098dc645b905b9 | SeqHead | VariableViewExclude | VariableExcludedFromView |
| 9c70ee6640b4c46edd47606dd27ddeadac6c57e7 | SeqTail | VariableViewExclude | VariableExcludedFromView |
| 91db1643118141c0922be78684bc991bc87aa7c7 | SeqTail | VariableViewExclude | VariableExcludedFromView |
| 8b047752bfe718e24a8bef8edd54f71c0d658c49 | SeqAppend | VariableViewExclude | VariableExcludedFromView |
| e7c18066c39e5ea8b03135146ee1c5cfe662e059 | SeqAppend | VariableViewExclude | VariableExcludedFromView |