Variable StatementNoCaseNoDefault.versionSpecification

class StatementNoCaseNoDefault
{
  // ...
  VersionSpecification versionSpecification;
  // ...
}