patch cil semantics to run bst example

@andreistefanescu please review