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