Passed DefinitionsShouldHaveXXX_DefinitionSyntax() test.
Passed DefinitionsShouldHaveToStringOverride() test.