prove TotOrd implies good_cmp
delete trailing whitespace in examples/balanced_bst