lhs_sym.add_production(this);
lhs_sym.add_production(this);
lhs_sym.add_production(this);
lhs_sym.add_production(this);
lhs_sym.add_production(this);
lhs_sym.add_production(this);
lhs_sym.add_production(this);
lhs_sym.add_production(this);
lhs_sym.add_production(this);
lhs_sym.add_production(this);