- updated tests.
- added yield, code expression, and some other features to support more
of microsofts boogie samples.