if the following are true:

• not (left = index)
• not (right = index)

then find referece to node index in tree [ node (x, left, right), rest ] = find referece to node index in tree rest