Weight rightmin() const { return right_->minValue(); }
Weight leftmin() const { return left_->minValue(); }