Do not use menhir with Core.