Fixed a minor bug: "yield" is a boogie/corral keyword.