added boogie syntax introduction