Development/menhir: Upgraded requires