- is_rbtree(@Term) is semidet
- True if Term is a valid Red-Black tree. Processes the entire tree,
checking the coloring of the nodes, the balance and the ordering of
keys. Does not validate that keys are sufficiently instantiated
to ensure the tree remains valid if a key is further instantiated.