patch in order to prove cil bst find example
addressed Andrei's comment
Merge pull request #1138 from yilongli/prove-cil-bst-find

patch in order to prove cil bst find example