[feature] request unreachable and Infinite recursion detected.

[acekingke]

Is your feature request related to a problem? Please describe.

A clear and concise description of what the problem is. Ex. I'm always frustrated when [...]

Describe the solution you'd like

S -> A 
 A -> A a 

this grammar is Infinite recursion , should report error.
S -> A
...
B -> $\epsilon$
B is never occur in the right part, should report unreachable.
Describe alternatives you've considered

Explain any additional use-cases

If there are any use-cases that would help us understand the use/need/value please share them as they can help us decide on acceptance and prioritization.

Additional context

Add any other context or screenshots about the feature request here.