patch cil semantics to run bst example

@andreistefanescu please review
is this file duplicated?