The validating machine checks a very simple set of constraints.
The use of the machine has been obsoleted by Batsim internal checks:
Batsim checks more and is more opinionated.