Case study cashier.modest cannot be parsed by mcsta

The cashier.modest case study from the modes models cannot be parsed by mcsta.

We get the following error when we try to check the model with mcsta:

cashier.modest:(40,15): error: Expected "S", "T" or "X".