Fixed a minor bug: "yield" is a boogie/corral keyword.
Run lower switch pass first.
Merge branch 'develop' into svcomp2015