IsSuccessor[node->NODE, from->NODE] =: BOOLEAN
IsSuccessor returns True when node is a successor in the tree of the node from. A node is considered its own successor.
IsPredecessor.