rb_next(+ Tree, + Key,- Next,- Value)*
Next is the next element after Key in Tree, and is associated with Val.
1. prolog::rb_next_4::rb_next/4(int ARG1, int ARG2, int ARG3, int ARG4)():