(menhir
 (modules KParser)
 (flags --explain --dump)
 (infer true))
