Added one more Boogie keyword -- div.