patch in order to prove cil bst find example

@andreistefanescu please review