HasAliases
Some nodes have aliases, i.e., it potentially references another variable. This means that writing to this node, also writes to its aliases and vice-versa.
Some nodes have aliases, i.e., it potentially references another variable. This means that writing to this node, also writes to its aliases and vice-versa.