using boogie eval
added semantics for boogie commands