These definitions are used to test the implementation.  This includes testing corner cases of the parser, resolver, and generator.