language Do extends While {
  Stm[do] --> do <Stm> while <Exp> ";" ;
}