Variable StatementNoCaseNoDefault.versionSpecification

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