Compiler: menhir --infer