- { "lr.keep_unreachable_states", "lr.keep-unreachable-states", },
+ { "api.tokens.prefix", "api.token.prefix", },
+ { "location_type", "api.location.type", },
+ { "lr.default-reductions", "lr.default-reduction", },
+ { "lr.keep-unreachable-states", "lr.keep-unreachable-state", },
+ { "lr.keep_unreachable_states", "lr.keep-unreachable-state", },