validator for the Shift AST format