Variable StatementNoCaseNoDefault.debugSpecification

class StatementNoCaseNoDefault
{
  // ...
  DebugSpecification debugSpecification;
  // ...
}