Prog->begin St-list 
St-list->Stat ; St-list 
St-list->end 
Stat->read id 
Stat->write Item 
Stat->id := add ( Item It-list 
It-list->, Item It-list 
It-list->) 
Item->int 
Item->id 
