Added Wk12 code for BSTs