small modifications to Boogie translations