Binary Search Tree - Lean | SlaveCode