Java parser for the Boogie intermediate verification language