LR1 generator passes the test