Fixed order of productions in print_grammar() output