state Menhir dependency