A quick way to practice grammar transformations (LR(1) via menhir)