LAZY: add LargestBSTinBT and difficultQ