Working operations, but...

We return INT_MAX in succ when a successor is not in the tree, this
value is changing wierdly every time the program is run.