One file as presented to the detectors, in preorder: the subtree of nodes[i] is [i, i + size[i]). Rewritten nodes carry the info (and id) of the node they stem from.
nodes[i]
[i, i + size[i])
Readonly
the names function definitions (by preorder index) are bound to
type, operator, and number of children of each node, which the detectors compare
One file as presented to the detectors, in preorder: the subtree of
nodes[i]is[i, i + size[i]). Rewritten nodes carry the info (and id) of the node they stem from.