simplify UnbalancedBST1 + additional node operators