added labels to generated regular productions