If the reference is only effective, if, for example, an if-then-else condition is true, this references the root of the if.
As a hacky intermediate solution (until we have pointer-analysis), an empty array may indicate a maybe which is due to pointer access (e.g., in a[x] <- 3).
ReadonlynameName the reference is identified by (e.g., the name of the variable), undefined if the reference is "artificial" (e.g., anonymous)
ReadonlynodeThe id of the node which represents the reference in the NormalizedAst|normalized AST and the DataflowGraph|dataflow graph.
ReadonlytypeType of the reference to be resolved
A reference with a name, e.g.
aandbin the following function call:See