Now possible to have empty formula or sets blocs.
Now possible to have empty formula or sets blocs.

E.g.
begin sets end sets
begin formula end formula

touist/touist,olzd/touist,touist/touist,FredMaris/touist,olzd/touist,olzd/touist,FredMaris/touist,touist/touist,FredMaris/touist,touist/touist