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).
Optional ReadonlynameReadonlynodeThe 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 which does not have a name, like the references to the arguments
3and2in the following:See