proved cil bst find example

@andreistefanescu please review