patch cil semantics to run bst example

@andreistefanescu please review
nope, one for ktest, which only tests execution for now, and one for verification.