patched cil semantics in order to run program binary_search_tree
updated bst.cil.c; included bst example in regression test