@eagleoutice/flowr 2.7.5 → 2.8.0

package/README.md

@@ -24,7 +24,7 @@ It offers a wide variety of features, for example:
     
     ```shell
     $ docker run -it --rm eagleoutice/flowr # or npm run flowr 
-    flowR repl using flowR v2.7.4, R grammar v14 (tree-sitter engine)
+    flowR repl using flowR v2.7.6, R grammar v14 (tree-sitter engine)
     R> :query @linter "read.csv(\"/root/x.txt\")"
     ```
     
@@ -33,32 +33,32 @@ It offers a wide variety of features, for example:
     
     
     ```text
-    Query: linter (2 ms)
-       ╰ **Deprecated Functions** (deprecated-functions):
-           ╰ _Metadata_: <code>{"totalCalls":0,"totalFunctionDefinitions":0,"searchTimeMs":0,"processTimeMs":0}</code>
-       ╰ **File Path Validity** (file-path-validity):
+    Query: linter (2 ms)
+       ╰ Deprecated Functions (deprecated-functions):
+           ╰ Metadata: totalCalls: 0, totalFunctionDefinitions: 0, searchTimeMs: 1, processTimeMs: 0
+       ╰ File Path Validity (file-path-validity):
            ╰ certain:
                ╰ Path `/root/x.txt` at 1.1-23
-           ╰ _Metadata_: <code>{"totalReads":1,"totalUnknown":0,"totalWritesBeforeAlways":0,"totalValid":0,"searchTimeMs":1,"processTimeMs":0}</code>
-       ╰ **Seeded Randomness** (seeded-randomness):
-           ╰ _Metadata_: <code>{"consumerCalls":0,"callsWithFunctionProducers":0,"callsWithAssignmentProducers":0,"callsWithNonConstantProducers":0,"callsWithOtherBranchProducers":0,"searchTimeMs":0,"processTimeMs":0}</code>
-       ╰ **Absolute Paths** (absolute-file-paths):
+           ╰ Metadata: totalReads: 1, totalUnknown: 0, totalWritesBeforeAlways: 0, totalValid: 0, searchTimeMs: 0, processTimeMs: 0
+       ╰ Seeded Randomness (seeded-randomness):
+           ╰ Metadata: consumerCalls: 0, callsWithFunctionProducers: 0, callsWithAssignmentProducers: 0, callsWithNonConstantProducers: 0, callsWithOtherBranchProducers: 0, searchTimeMs: 0, processTimeMs: 0
+       ╰ Absolute Paths (absolute-file-paths):
            ╰ certain:
                ╰ Path `/root/x.txt` at 1.1-23
-           ╰ _Metadata_: <code>{"totalConsidered":1,"totalUnknown":0,"searchTimeMs":0,"processTimeMs":0}</code>
-       ╰ **Unused Definitions** (unused-definitions):
-           ╰ _Metadata_: <code>{"totalConsidered":0,"searchTimeMs":0,"processTimeMs":0}</code>
-       ╰ **Naming Convention** (naming-convention):
-           ╰ _Metadata_: <code>{"numMatches":0,"numBreak":0,"searchTimeMs":0,"processTimeMs":0}</code>
-       ╰ **Network Functions** (network-functions):
-           ╰ _Metadata_: <code>{"totalCalls":0,"totalFunctionDefinitions":0,"searchTimeMs":0,"processTimeMs":0}</code>
-       ╰ **Dataframe Access Validation** (dataframe-access-validation):
-           ╰ _Metadata_: <code>{"numOperations":0,"numAccesses":0,"totalAccessed":0,"searchTimeMs":0,"processTimeMs":1}</code>
-       ╰ **Dead Code** (dead-code):
-           ╰ _Metadata_: <code>{"consideredNodes":5,"searchTimeMs":0,"processTimeMs":0}</code>
-       ╰ **Useless Loops** (useless-loop):
-           ╰ _Metadata_: <code>{"numOfUselessLoops":0,"searchTimeMs":0,"processTimeMs":0}</code>
-    All queries together required ≈2 ms (1ms accuracy, total 2 ms)
+           ╰ Metadata: totalConsidered: 1, totalUnknown: 0, searchTimeMs: 0, processTimeMs: 0
+       ╰ Unused Definitions (unused-definitions):
+           ╰ Metadata: totalConsidered: 0, searchTimeMs: 0, processTimeMs: 0
+       ╰ Naming Convention (naming-convention):
+           ╰ Metadata: numMatches: 0, numBreak: 0, searchTimeMs: 0, processTimeMs: 0
+       ╰ Network Functions (network-functions):
+           ╰ Metadata: totalCalls: 0, totalFunctionDefinitions: 0, searchTimeMs: 0, processTimeMs: 0
+       ╰ Dataframe Access Validation (dataframe-access-validation):
+           ╰ Metadata: numOperations: 0, numAccesses: 0, totalAccessed: 0, searchTimeMs: 0, processTimeMs: 1
+       ╰ Dead Code (dead-code):
+           ╰ Metadata: consideredNodes: 5, searchTimeMs: 0, processTimeMs: 0
+       ╰ Useless Loops (useless-loop):
+           ╰ Metadata: numOfUselessLoops: 0, searchTimeMs: 0, processTimeMs: 0
+    All queries together required ≈2 ms (1ms accuracy, total 2 ms)
     ```
     
     
@@ -74,42 +74,42 @@ It offers a wide variety of features, for example:
     ```
     
     
-    (This query can be shortened to `@linter` when used within the REPL command <span title="Description (Repl Command): Query the given R code, start with 'file://' to indicate a file. The query is to be a valid query in json format (use 'help' to get more information).">`:query`</span>).
+    (This can be shortened to `@linter` when used with the REPL command <span title="Description (Repl Command): Query the given R code, start with 'file://' to indicate a file. The query is to be a valid query in json format (use 'help' to get more information).">`:query`</span>).
     
     
     
     _Results (prettified and summarized):_
     
-    Query: **linter** (3 ms)\
+    Query: **linter** (2 ms)\
     &nbsp;&nbsp;&nbsp;╰ **Deprecated Functions** (deprecated-functions):\
-    &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;╰ _Metadata_: <code>{"totalCalls":0,"totalFunctionDefinitions":0,"searchTimeMs":1,"processTimeMs":0}</code>\
+    &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;╰ _Metadata_: <code>totalCalls: 0, totalFunctionDefinitions: 0, searchTimeMs: 1, processTimeMs: 0</code>\
     &nbsp;&nbsp;&nbsp;╰ **File Path Validity** (file-path-validity):\
     &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;╰ certain:\
     &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;╰ Path `/root/x.txt` at 1.1-23\
-    &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;╰ _Metadata_: <code>{"totalReads":1,"totalUnknown":0,"totalWritesBeforeAlways":0,"totalValid":0,"searchTimeMs":1,"processTimeMs":0}</code>\
+    &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;╰ _Metadata_: <code>totalReads: 1, totalUnknown: 0, totalWritesBeforeAlways: 0, totalValid: 0, searchTimeMs: 0, processTimeMs: 0</code>\
     &nbsp;&nbsp;&nbsp;╰ **Seeded Randomness** (seeded-randomness):\
-    &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;╰ _Metadata_: <code>{"consumerCalls":0,"callsWithFunctionProducers":0,"callsWithAssignmentProducers":0,"callsWithNonConstantProducers":0,"callsWithOtherBranchProducers":0,"searchTimeMs":0,"processTimeMs":0}</code>\
+    &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;╰ _Metadata_: <code>consumerCalls: 0, callsWithFunctionProducers: 0, callsWithAssignmentProducers: 0, callsWithNonConstantProducers: 0, callsWithOtherBranchProducers: 0, searchTimeMs: 0, processTimeMs: 0</code>\
     &nbsp;&nbsp;&nbsp;╰ **Absolute Paths** (absolute-file-paths):\
     &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;╰ certain:\
     &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;╰ Path `/root/x.txt` at 1.1-23\
-    &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;╰ _Metadata_: <code>{"totalConsidered":1,"totalUnknown":0,"searchTimeMs":0,"processTimeMs":0}</code>\
+    &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;╰ _Metadata_: <code>totalConsidered: 1, totalUnknown: 0, searchTimeMs: 1, processTimeMs: 0</code>\
     &nbsp;&nbsp;&nbsp;╰ **Unused Definitions** (unused-definitions):\
-    &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;╰ _Metadata_: <code>{"totalConsidered":0,"searchTimeMs":0,"processTimeMs":0}</code>\
+    &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;╰ _Metadata_: <code>totalConsidered: 0, searchTimeMs: 0, processTimeMs: 0</code>\
     &nbsp;&nbsp;&nbsp;╰ **Naming Convention** (naming-convention):\
-    &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;╰ _Metadata_: <code>{"numMatches":0,"numBreak":0,"searchTimeMs":0,"processTimeMs":0}</code>\
+    &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;╰ _Metadata_: <code>numMatches: 0, numBreak: 0, searchTimeMs: 0, processTimeMs: 0</code>\
     &nbsp;&nbsp;&nbsp;╰ **Network Functions** (network-functions):\
-    &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;╰ _Metadata_: <code>{"totalCalls":0,"totalFunctionDefinitions":0,"searchTimeMs":0,"processTimeMs":0}</code>\
+    &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;╰ _Metadata_: <code>totalCalls: 0, totalFunctionDefinitions: 0, searchTimeMs: 0, processTimeMs: 0</code>\
     &nbsp;&nbsp;&nbsp;╰ **Dataframe Access Validation** (dataframe-access-validation):\
-    &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;╰ _Metadata_: <code>{"numOperations":0,"numAccesses":0,"totalAccessed":0,"searchTimeMs":0,"processTimeMs":1}</code>\
+    &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;╰ _Metadata_: <code>numOperations: 0, numAccesses: 0, totalAccessed: 0, searchTimeMs: 0, processTimeMs: 0</code>\
     &nbsp;&nbsp;&nbsp;╰ **Dead Code** (dead-code):\
-    &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;╰ _Metadata_: <code>{"consideredNodes":5,"searchTimeMs":0,"processTimeMs":0}</code>\
+    &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;╰ _Metadata_: <code>consideredNodes: 5, searchTimeMs: 0, processTimeMs: 0</code>\
     &nbsp;&nbsp;&nbsp;╰ **Useless Loops** (useless-loop):\
-    &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;╰ _Metadata_: <code>{"numOfUselessLoops":0,"searchTimeMs":0,"processTimeMs":0}</code>\
-    _All queries together required ≈3 ms (1ms accuracy, total 3 ms)_
+    &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;╰ _Metadata_: <code>numOfUselessLoops: 0, searchTimeMs: 0, processTimeMs: 0</code>\
+    _All queries together required ≈2 ms (1ms accuracy, total 2 ms)_
     
     <details> <summary style="color:gray">Show Detailed Results as Json</summary>
     
-    The analysis required _3.0 ms_ (including parsing and normalization and the query) within the generation environment.
+    The analysis required _2.2 ms_ (including parsing and normalization and the query) within the generation environment.
     
     In general, the JSON contains the Ids of the nodes in question as they are present in the normalized AST or the dataflow graph of flowR.
     Please consult the [Interface](https://github.com/flowr-analysis/flowr/wiki/Interface) wiki page for more information on how to get those.
@@ -148,7 +148,7 @@ It offers a wide variety of features, for example:
               "totalUnknown": 0,
               "totalWritesBeforeAlways": 0,
               "totalValid": 0,
-              "searchTimeMs": 1,
+              "searchTimeMs": 0,
               "processTimeMs": 0
             }
           },
@@ -180,7 +180,7 @@ It offers a wide variety of features, for example:
             ".meta": {
               "totalConsidered": 1,
               "totalUnknown": 0,
-              "searchTimeMs": 0,
+              "searchTimeMs": 1,
               "processTimeMs": 0
             }
           },
@@ -217,7 +217,7 @@ It offers a wide variety of features, for example:
               "numAccesses": 0,
               "totalAccessed": 0,
               "searchTimeMs": 0,
-              "processTimeMs": 1
+              "processTimeMs": 0
             }
           },
           "dead-code": {
@@ -238,11 +238,11 @@ It offers a wide variety of features, for example:
           }
         },
         ".meta": {
-          "timing": 3
+          "timing": 2
         }
       },
       ".meta": {
-        "timing": 3
+        "timing": 2
       }
     }
     ```
@@ -307,7 +307,7 @@ It offers a wide variety of features, for example:
     
     ```shell
     $ docker run -it --rm eagleoutice/flowr # or npm run flowr 
-    flowR repl using flowR v2.7.4, R grammar v14 (tree-sitter engine)
+    flowR repl using flowR v2.7.6, R grammar v14 (tree-sitter engine)
     R> :query @static-slice (11@sum) file://test/testfiles/example.R
     ```
     
@@ -321,7 +321,7 @@ It offers a wide variety of features, for example:
     N <- 10
     for(i in 1:(N-1)) sum <- sum + i + w
     sum
-    All queries together required ≈2 ms (1ms accuracy, total 3 ms)
+    All queries together required ≈2 ms (1ms accuracy, total 2 ms)
     ```
     
     
@@ -337,7 +337,7 @@ It offers a wide variety of features, for example:
         
 
 * 📚 **dependency analysis**\
-  Given your analysis project, flowR offers a plethora of so-called [queries](https://github.com/flowr-analysis/flowr/wiki/Query-API) to get more information about your code.
+  Given your analysis project, flowR offers a plethora of so-called [queries](https://github.com/flowr-analysis/flowr/wiki/query-api) to get more information about your code.
   An important query is the [dependencies query](https://github.com/flowr-analysis/flowr/wiki/Query-API#dependencies-query), which shows you the library your project needs,
   the data files it reads, the scripts it sources, and the data it outputs.
   
@@ -352,12 +352,12 @@ It offers a wide variety of features, for example:
       
     
     </details>
-        
+         
 
-* 🚀 **fast data- and control-flow graphs**\
-  Within just <i><span title="This measurement is automatically fetched from the latest benchmark!">117.6 ms</span></i> (as of Dec 22, 2025), 
+* 🚀 **fast call-graph, data-, and control-flow graphs**\
+  Within just [<i><span title="This measurement is automatically fetched from the latest benchmark!">118 ms</span></i> (as of Dec 23, 2025)](https://flowr-analysis.github.io/flowr/wiki/stats/benchmark), 
   _flowR_ can analyze the data- and control-flow of the average real-world R script. See the [benchmarks](https://flowr-analysis.github.io/flowr/wiki/stats/benchmark) for more information,
-  and consult the [wiki pages](https://github.com/flowr-analysis/flowr/wiki/Dataflow-Graph) for more details on the dataflow graph.
+  and consult the [wiki pages](https://github.com/flowr-analysis/flowr/wiki/dataflow-graph) for more details on the dataflow graphs as well as call graphs.
 
     
     <details><summary>Example: Generating a dataflow graph with flowR</summary>
@@ -391,7 +391,7 @@ It offers a wide variety of features, for example:
     
     ```shell
     $ docker run -it --rm eagleoutice/flowr # or npm run flowr 
-    flowR repl using flowR v2.7.4, R grammar v14 (tree-sitter engine)
+    flowR repl using flowR v2.7.6, R grammar v14 (tree-sitter engine)
     R> :dataflow* test/testfiles/example.R
     ```
     
@@ -400,7 +400,8 @@ It offers a wide variety of features, for example:
     
     
     ```text
-    https://mermaid.live/view#base64:eyJjb2RlIjoiZmxvd2NoYXJ0IEJUXG4gICAgMChbXCJgIzkxO1JTeW1ib2wjOTM7IHRlc3RcbiAgICAgICgwKVxuICAgICAgKjEuMS00KmBcIl0pXG4gICAgMShbXCJgIzkxO1JTeW1ib2wjOTM7IHRlc3RmaWxlc1xuICAgICAgKDEpXG4gICAgICAqMS42LTE0KmBcIl0pXG4gICAgMltbXCJgIzkxO1JCaW5hcnlPcCM5MzsgL1xuICAgICAgKDIpXG4gICAgICAqMS4xLTE0KlxuICAgICgwLCAxKWBcIl1dXG4gICAgYnVpbHQtaW46X1tcImBCdWlsdC1Jbjpcbi9gXCJdXG4gICAgc3R5bGUgYnVpbHQtaW46XyBzdHJva2U6Z3JheSxmaWxsOmxpZ2h0Z3JheSxzdHJva2Utd2lkdGg6MnB4LG9wYWNpdHk6Ljg7XG4gICAgMyhbXCJgIzkxO1JTeW1ib2wjOTM7IGV4YW1wbGUuUlxuICAgICAgKDMpXG4gICAgICAqMS4xNi0yNCpgXCJdKVxuICAgIDRbW1wiYCM5MTtSQmluYXJ5T3AjOTM7IC9cbiAgICAgICg0KVxuICAgICAgKjEuMS0yNCpcbiAgICAoMiwgMylgXCJdXVxuICAgIDIgLS0+fFwicmVhZHMsIGFyZ3VtZW50XCJ8IDBcbiAgICAyIC0tPnxcInJlYWRzLCBhcmd1bWVudFwifCAxXG4gICAgMiAtLi0+fFwicmVhZHMsIGNhbGxzXCJ8IGJ1aWx0LWluOl9cbiAgICBsaW5rU3R5bGUgMiBzdHJva2U6Z3JheTtcbiAgICA0IC0tPnxcInJlYWRzLCBhcmd1bWVudFwifCAyXG4gICAgNCAtLT58XCJyZWFkcywgYXJndW1lbnRcInwgM1xuICAgIDQgLS4tPnxcInJlYWRzLCBjYWxsc1wifCBidWlsdC1pbjpfXG4gICAgbGlua1N0eWxlIDUgc3Ryb2tlOmdyYXk7IiwibWVybWFpZCI6eyJhdXRvU3luYyI6dHJ1ZX19
+    https://mermaid.live/view#base64:eyJjb2RlIjoiZmxvd2NoYXJ0IEJUXG4gICAgMChbXCJgIzkxO1JTeW1ib2wjOTM7IHRlc3RcbiAgICAgICgwKVxuICAgICAgKjEuMS00KmBcIl0pXG4gICAgMShbXCJgIzkxO1JTeW1ib2wjOTM7IHRlc3RmaWxlc1xuICAgICAgKDEpXG4gICAgICAqMS42LTE0KmBcIl0pXG4gICAgMltbXCJgIzkxO1JCaW5hcnlPcCM5MzsgL1xuICAgICAgKDIpXG4gICAgICAqMS4xLTE0KlxuICAgICgwLCAxKWBcIl1dXG4gICAgYnVpbHQtaW46X1tcImBCdWlsdC1Jbjpcbi9gXCJdXG4gICAgc3R5bGUgYnVpbHQtaW46XyBzdHJva2U6Z3JheSxmaWxsOmdyYXksc3Ryb2tlLXdpZHRoOjJweCxvcGFjaXR5Oi44O1xuICAgIDMoW1wiYCM5MTtSU3ltYm9sIzkzOyBleGFtcGxlLlJcbiAgICAgICgzKVxuICAgICAgKjEuMTYtMjQqYFwiXSlcbiAgICA0W1tcImAjOTE7UkJpbmFyeU9wIzkzOyAvXG4gICAgICAoNClcbiAgICAgICoxLjEtMjQqXG4gICAgKDIsIDMpYFwiXV1cbiAgICAyIC0tPnxcInJlYWRzLCBhcmd1bWVudFwifCAwXG4gICAgMiAtLT58XCJyZWFkcywgYXJndW1lbnRcInwgMVxuICAgIDIgLS4tPnxcInJlYWRzLCBjYWxsc1wifCBidWlsdC1pbjpfXG4gICAgbGlua1N0eWxlIDIgc3Ryb2tlOmdyYXk7XG4gICAgNCAtLT58XCJyZWFkcywgYXJndW1lbnRcInwgMlxuICAgIDQgLS0+fFwicmVhZHMsIGFyZ3VtZW50XCJ8IDNcbiAgICA0IC0uLT58XCJyZWFkcywgY2FsbHNcInwgYnVpbHQtaW46X1xuICAgIGxpbmtTdHlsZSA1IHN0cm9rZTpncmF5OyIsIm1lcm1haWQiOnsiYXV0b1N5bmMiOnRydWV9fQ==
+    Copied mermaid url to clipboard (dataflow: 0ms).
     ```
     
     
@@ -424,7 +425,7 @@ It offers a wide variety of features, for example:
         (0, 1)`"]]
         built-in:_-["`Built-In:
     #60;#45;`"]
-        style built-in:_- stroke:gray,fill:lightgray,stroke-width:2px,opacity:.8;
+        style built-in:_- stroke:gray,fill:gray,stroke-width:2px,opacity:.8;
         4{{"`#91;RNumber#93; 1
           (4)
           *2.12*`"}}
@@ -473,21 +474,21 @@ It offers a wide variety of features, for example:
         (16, 17)`"]]
         built-in:-["`Built-In:
     #45;`"]
-        style built-in:- stroke:gray,fill:lightgray,stroke-width:2px,opacity:.8;
+        style built-in:- stroke:gray,fill:gray,stroke-width:2px,opacity:.8;
         19[["`#91;RExpressionList#93; (
           (19)
           *6.13*
         (18)`"]]
         built-in:_["`Built-In:
     (`"]
-        style built-in:_ stroke:gray,fill:lightgray,stroke-width:2px,opacity:.8;
+        style built-in:_ stroke:gray,fill:gray,stroke-width:2px,opacity:.8;
         20[["`#91;RBinaryOp#93; #58;
           (20)
           *6.11-17*
         (13, 19)`"]]
         built-in::["`Built-In:
     #58;`"]
-        style built-in:: stroke:gray,fill:lightgray,stroke-width:2px,opacity:.8;
+        style built-in:: stroke:gray,fill:gray,stroke-width:2px,opacity:.8;
         24(["`#91;RSymbol#93; sum
           (24, :may:36+)
           *7.10-12*`"])
@@ -539,7 +540,7 @@ It offers a wide variety of features, for example:
         (12, 20, 35)`"]]
         built-in:for["`Built-In:
     for`"]
-        style built-in:for stroke:gray,fill:lightgray,stroke-width:2px,opacity:.8;
+        style built-in:for stroke:gray,fill:gray,stroke-width:2px,opacity:.8;
         38{{"`#91;RString#93; #34;Sum#58;#34;
           (38)
           *11.5-10*`"}}
@@ -548,7 +549,7 @@ It offers a wide variety of features, for example:
           *11.13-15*`"])
         built-in:sum["`Built-In:
     sum`"]
-        style built-in:sum stroke:gray,fill:lightgray,stroke-width:2px,opacity:.8;
+        style built-in:sum stroke:gray,fill:gray,stroke-width:2px,opacity:.8;
         42{{"`#91;RString#93; #34;
     #34;
           (42)
@@ -559,7 +560,7 @@ It offers a wide variety of features, for example:
         (38, 40, 42)`"]]
         built-in:cat["`Built-In:
     cat`"]
-        style built-in:cat stroke:gray,fill:lightgray,stroke-width:2px,opacity:.8;
+        style built-in:cat stroke:gray,fill:gray,stroke-width:2px,opacity:.8;
         46{{"`#91;RString#93; #34;Product#58;#34;
           (46)
           *12.5-14*`"}}
@@ -576,25 +577,25 @@ It offers a wide variety of features, for example:
         (46, 48, 50)`"]]
         0 -->|"defined-by"| 1
         0 -->|"defined-by"| 2
-        2 -->|"argument"| 1
+        2 -->|"reads, argument"| 1
         2 -->|"returns, argument"| 0
         2 -.->|"reads, calls"| built-in:_-
         linkStyle 4 stroke:gray;
         3 -->|"defined-by"| 4
         3 -->|"defined-by"| 5
-        5 -->|"argument"| 4
+        5 -->|"reads, argument"| 4
         5 -->|"returns, argument"| 3
         5 -.->|"reads, calls"| built-in:_-
         linkStyle 9 stroke:gray;
         6 -->|"defined-by"| 7
         6 -->|"defined-by"| 8
-        8 -->|"argument"| 7
+        8 -->|"reads, argument"| 7
         8 -->|"returns, argument"| 6
         8 -.->|"reads, calls"| built-in:_-
         linkStyle 14 stroke:gray;
         9 -->|"defined-by"| 10
         9 -->|"defined-by"| 11
-        11 -->|"argument"| 10
+        11 -->|"reads, argument"| 10
         11 -->|"returns, argument"| 9
         11 -.->|"reads, calls"| built-in:_-
         linkStyle 19 stroke:gray;
@@ -637,7 +638,7 @@ It offers a wide variety of features, for example:
         23 -->|"defined-by"| 29
         23 -->|"CD-True"| 36
         linkStyle 47 stroke:gray,color:gray;
-        29 -->|"argument"| 28
+        29 -->|"reads, argument"| 28
         29 -->|"returns, argument"| 23
         29 -.->|"reads, calls"| built-in:_-
         linkStyle 50 stroke:gray;
@@ -660,7 +661,7 @@ It offers a wide variety of features, for example:
         30 -->|"defined-by"| 34
         30 -->|"CD-True"| 36
         linkStyle 63 stroke:gray,color:gray;
-        34 -->|"argument"| 33
+        34 -->|"reads, argument"| 33
         34 -->|"returns, argument"| 30
         34 -.->|"reads, calls"| built-in:_-
         linkStyle 66 stroke:gray;
@@ -696,7 +697,7 @@ It offers a wide variety of features, for example:
     ```
     
     	
-    (The analysis required _2.7 ms_ (including parse and normalize, using the [tree-sitter](https://github.com/flowr-analysis/flowr/wiki/Engines) engine) within the generation environment.)
+    (The analysis required _3.1 ms_ (including parse and normalize, using the [tree-sitter](https://github.com/flowr-analysis/flowr/wiki/Engines) engine) within the generation environment.)
     
     
     
@@ -824,6 +825,8 @@ please check out the following publications (if you find that a paper is missing
   
    
    ```bibtex
+   
+   
    @inproceedings{DBLP:conf/msr/SihlerPSTDD24,
      author       = {Florian Sihler and
                      Lukas Pietzschmann and

package/cli/wiki.js

@@ -128,7 +128,7 @@ if (require.main === module) {
         { name: 'force', alias: 'F', type: Boolean, description: 'Overwrite existing wiki files, even if nothing changes' },
         { name: 'filter', alias: 'f', type: String, multiple: true, description: 'Only generate wikis whose target path contains the given string' },
         { name: 'help', alias: 'h', type: Boolean, description: 'Print this usage guide for the wiki generator' },
-        { name: 'keep-alive', type: Boolean, description: 'Keep-alive wiki generator (only sensible with a reloading script like ts-node-dev)' },
+        { name: 'keep-alive', type: Boolean, description: 'Keep-alive wiki generator (only sensible with a reloading script like node --watch)' },
     ];
     const optionHelp = [
         {

package/control-flow/extract-cfg.js

@@ -158,9 +158,9 @@ function cfgIfThenElse(ifNode, condition, then, otherwise) {
     }
     return {
         graph,
-        breaks: [...then.breaks, ...otherwise?.breaks ?? []],
-        nexts: [...then.nexts, ...otherwise?.nexts ?? []],
-        returns: [...then.returns, ...otherwise?.returns ?? []],
+        breaks: then.breaks.concat(otherwise?.breaks ?? []),
+        nexts: then.nexts.concat(otherwise?.nexts ?? []),
+        returns: then.returns.concat(otherwise?.returns ?? []),
         exitPoints: [ifId + '-exit'],
         entryPoints: [ifId]
     };

package/control-flow/useless-loop.d.ts

@@ -3,7 +3,7 @@ import type { NormalizedAst } from '../r-bridge/lang-4.x/ast/model/processing/de
 import type { NodeId } from '../r-bridge/lang-4.x/ast/model/processing/node-id';
 import type { ControlFlowInformation } from './control-flow-graph';
 import type { ReadOnlyFlowrAnalyzerContext } from '../project/context/flowr-analyzer-context';
-export declare const loopyFunctions: Set<"builtin:default" | "builtin:eval" | "builtin:apply" | "builtin:expression-list" | "builtin:source" | "builtin:access" | "builtin:if-then-else" | "builtin:get" | "builtin:rm" | "builtin:library" | "builtin:assignment" | "builtin:special-bin-op" | "builtin:pipe" | "builtin:function-definition" | "builtin:quote" | "builtin:for-loop" | "builtin:repeat-loop" | "builtin:while-loop" | "builtin:replacement" | "builtin:list" | "builtin:vector">;
+export declare const loopyFunctions: Set<"builtin:access" | "builtin:apply" | "builtin:assignment" | "builtin:assignment-like" | "builtin:default" | "builtin:eval" | "builtin:expression-list" | "builtin:for-loop" | "builtin:function-definition" | "builtin:get" | "builtin:if-then-else" | "builtin:library" | "builtin:list" | "builtin:pipe" | "builtin:quote" | "builtin:register-hook" | "builtin:repeat-loop" | "builtin:replacement" | "builtin:rm" | "builtin:source" | "builtin:special-bin-op" | "builtin:stopifnot" | "builtin:try" | "builtin:vector" | "builtin:while-loop">;
 /**
  * Checks whether a loop only loops once
  * @param loop        - nodeid of the loop to analyse

package/control-flow/useless-loop.js

@@ -123,14 +123,14 @@ class CfgSingleIterationLoopDetector extends semantic_cfg_guided_visitor_1.Seman
         for (const origin of data.call.origin) {
             if (origin === 'builtin:stop' || origin === 'builtin:return' || origin === 'builtin:break') {
                 this.encounteredLoopBreaker = true;
-                this.app(data.call.cds);
+                this.app(data.call.controlDependencies);
                 return;
             }
             else if (origin === 'builtin:stopifnot') {
                 const arg = this.getBoolArgValue(data);
                 if (arg === false) {
                     this.encounteredLoopBreaker = true;
-                    this.app(data.call.cds);
+                    this.app(data.call.controlDependencies);
                     return;
                 }
             }

package/dataflow/cluster.js

@@ -28,9 +28,9 @@ function makeCluster(graph, from, notReached) {
     const nodes = new Set([from]);
     // cluster function def exit points
     if (info.tag === vertex_1.VertexType.FunctionDefinition) {
-        for (const sub of info.exitPoints) {
-            if (notReached.delete(sub)) {
-                makeCluster(graph, sub, notReached).forEach(n => nodes.add(n));
+        for (const { nodeId } of info.exitPoints) {
+            if (notReached.delete(nodeId)) {
+                makeCluster(graph, nodeId, notReached).forEach(n => nodes.add(n));
             }
         }
     }

package/dataflow/environments/built-in-config.d.ts

@@ -24,7 +24,9 @@ export interface BuiltInConstantDefinition<Value> extends BaseBuiltInDefinition
 export interface BuiltInFunctionDefinition<BuiltInProcessor extends BuiltInMappingName> extends BaseBuiltInDefinition {
     readonly type: 'function';
     readonly processor: BuiltInProcessor;
-    readonly config?: ConfigOfBuiltInMappingName<BuiltInProcessor>;
+    readonly config?: ConfigOfBuiltInMappingName<BuiltInProcessor> & {
+        libFn?: boolean;
+    };
     readonly evalHandler?: string;
 }
 /**
@@ -38,11 +40,13 @@ export interface BuiltInReplacementDefinition extends BaseBuiltInDefinition {
         readIndices: boolean;
     };
 }
-export type BuiltInDefinition = BuiltInConstantDefinition<any> | BuiltInFunctionDefinition<any> | BuiltInReplacementDefinition;
+export type BuiltInDefinition<T extends BuiltInMappingName = BuiltInMappingName> = BuiltInConstantDefinition<unknown> | BuiltInFunctionDefinition<T> | BuiltInReplacementDefinition;
 /**
  * @see DefaultBuiltinConfig
  */
-export type BuiltInDefinitions = BuiltInDefinition[];
+export type BuiltInDefinitions<Keys extends BuiltInMappingName[] = BuiltInMappingName[]> = [...{
+    [K in keyof Keys]: BuiltInDefinition<Keys[K]>;
+}];
 /**
  * Get the {@link BuiltIns#builtInMemory} and {@link BuiltIns#emptyBuiltInMemory} for the {@link DefaultBuiltinConfig}.
  */
@@ -52,4 +56,4 @@ export declare function getDefaultBuiltInDefinitions(): BuiltIns;
  * @param definitions - the list of built-in definitions
  * @param loadDefaults - whether to first add the {@link DefaultBuiltinConfig} before the given {@link definitions}
  */
-export declare function getBuiltInDefinitions(definitions: BuiltInDefinitions, loadDefaults: boolean | undefined): BuiltIns;
+export declare function getBuiltInDefinitions<Keys extends BuiltInMappingName[]>(definitions: BuiltInDefinitions<Keys>, loadDefaults: boolean | undefined): BuiltIns;

package/dataflow/environments/built-in.d.ts

@@ -2,7 +2,7 @@ import type { DataflowProcessorInformation } from '../processor';
 import type { DataflowInformation, ExitPointType } from '../info';
 import { processAccess } from '../internal/process/functions/call/built-in/built-in-access';
 import { processIfThenElse } from '../internal/process/functions/call/built-in/built-in-if-then-else';
-import { processAssignment } from '../internal/process/functions/call/built-in/built-in-assignment';
+import { processAssignment, processAssignmentLike } from '../internal/process/functions/call/built-in/built-in-assignment';
 import { processSpecialBinOp } from '../internal/process/functions/call/built-in/built-in-special-bin-op';
 import { processPipe } from '../internal/process/functions/call/built-in/built-in-pipe';
 import { processForLoop } from '../internal/process/functions/call/built-in/built-in-for-loop';
@@ -34,22 +34,31 @@ import type { DataflowGraph } from '../graph/graph';
 import type { VariableResolve } from '../../config';
 import type { BuiltInConstantDefinition, BuiltInDefinition, BuiltInFunctionDefinition, BuiltInReplacementDefinition } from './built-in-config';
 import type { ReadOnlyFlowrAnalyzerContext } from '../../project/context/flowr-analyzer-context';
+import { processStopIfNot } from '../internal/process/functions/call/built-in/built-in-stop-if-not';
+import { processTryCatch } from '../internal/process/functions/call/built-in/built-in-try-catch';
+import { processRegisterHook } from '../internal/process/functions/call/built-in/built-in-register-hook';
 export type BuiltIn = `built-in:${string}`;
 /**
  * Generate a built-in id for the given name
  */
-export declare function builtInId(name: string): BuiltIn;
+export declare function builtInId<T extends string>(name: T): `built-in:${T}`;
 /**
  * Checks whether the given name is a built-in identifier
  */
 export declare function isBuiltIn(name: NodeId | string): name is BuiltIn;
+/**
+ * Drops the `built-in:` prefix from the given built-in name
+ */
+export declare function dropBuiltInPrefix<T extends string>(name: `built-in:${T}`): T;
 export type BuiltInIdentifierProcessor = <OtherInfo>(name: RSymbol<OtherInfo & ParentInformation>, args: readonly RFunctionArgument<OtherInfo & ParentInformation>[], rootId: NodeId, data: DataflowProcessorInformation<OtherInfo & ParentInformation>) => DataflowInformation;
 export type BuiltInIdentifierProcessorWithConfig<Config> = <OtherInfo>(name: RSymbol<OtherInfo & ParentInformation>, args: readonly RFunctionArgument<OtherInfo & ParentInformation>[], rootId: NodeId, data: DataflowProcessorInformation<OtherInfo & ParentInformation>, config: Config) => DataflowInformation;
 export interface BuiltInIdentifierDefinition extends IdentifierReference {
     type: ReferenceType.BuiltInFunction;
     definedAt: BuiltIn;
     processor: BuiltInIdentifierProcessor;
-    config?: object;
+    config?: ConfigOfBuiltInMappingName<BuiltInMappingName> & {
+        libFn?: boolean;
+    };
 }
 export interface BuiltInIdentifierConstant<T = unknown> extends IdentifierReference {
     type: ReferenceType.BuiltInConstant;
@@ -73,27 +82,31 @@ export interface DefaultBuiltInProcessorConfiguration extends ForceArguments {
 export type BuiltInEvalHandler = (resolve: VariableResolve, a: RNodeWithParent, ctx: ReadOnlyFlowrAnalyzerContext, env?: REnvironmentInformation, graph?: DataflowGraph, map?: AstIdMap) => Value;
 declare function defaultBuiltInProcessor<OtherInfo>(name: RSymbol<OtherInfo & ParentInformation>, args: readonly RFunctionArgument<OtherInfo & ParentInformation>[], rootId: NodeId, data: DataflowProcessorInformation<OtherInfo & ParentInformation>, { returnsNthArgument, useAsProcessor, forceArgs, readAllArguments, cfg, hasUnknownSideEffects, treatAsFnCall }: DefaultBuiltInProcessorConfiguration): DataflowInformation;
 export declare const BuiltInProcessorMapper: {
+    readonly 'builtin:access': typeof processAccess;
+    readonly 'builtin:apply': typeof processApply;
+    readonly 'builtin:assignment': typeof processAssignment;
+    readonly 'builtin:assignment-like': typeof processAssignmentLike;
     readonly 'builtin:default': typeof defaultBuiltInProcessor;
     readonly 'builtin:eval': typeof processEvalCall;
-    readonly 'builtin:apply': typeof processApply;
     readonly 'builtin:expression-list': typeof processExpressionList;
-    readonly 'builtin:source': typeof processSourceCall;
-    readonly 'builtin:access': typeof processAccess;
-    readonly 'builtin:if-then-else': typeof processIfThenElse;
+    readonly 'builtin:for-loop': typeof processForLoop;
+    readonly 'builtin:function-definition': typeof processFunctionDefinition;
     readonly 'builtin:get': typeof processGet;
-    readonly 'builtin:rm': typeof processRm;
+    readonly 'builtin:if-then-else': typeof processIfThenElse;
     readonly 'builtin:library': typeof processLibrary;
-    readonly 'builtin:assignment': typeof processAssignment;
-    readonly 'builtin:special-bin-op': typeof processSpecialBinOp;
+    readonly 'builtin:list': typeof processList;
     readonly 'builtin:pipe': typeof processPipe;
-    readonly 'builtin:function-definition': typeof processFunctionDefinition;
     readonly 'builtin:quote': typeof processQuote;
-    readonly 'builtin:for-loop': typeof processForLoop;
+    readonly 'builtin:register-hook': typeof processRegisterHook;
     readonly 'builtin:repeat-loop': typeof processRepeatLoop;
-    readonly 'builtin:while-loop': typeof processWhileLoop;
     readonly 'builtin:replacement': typeof processReplacementFunction;
-    readonly 'builtin:list': typeof processList;
+    readonly 'builtin:rm': typeof processRm;
+    readonly 'builtin:source': typeof processSourceCall;
+    readonly 'builtin:special-bin-op': typeof processSpecialBinOp;
+    readonly 'builtin:stopifnot': typeof processStopIfNot;
+    readonly 'builtin:try': typeof processTryCatch;
     readonly 'builtin:vector': typeof processVector;
+    readonly 'builtin:while-loop': typeof processWhileLoop;
 };
 export declare const BuiltInEvalHandlerMapper: {
     readonly 'built-in:c': typeof resolveAsVector;