proved all bst examples

@andreistefanescu please review