Fixed a duplicate entry bug in Glr_parser.Make.make_parser_state (and removed some redundancy).