validator for the LaserBat AST format