rbtree has valid parents, but balancing does not work
added new weak precondition contract
removed contracts in rbtree for upload