@Algorithm(lr, 1)

// This example is included as a grammar that is LR(1), but defeats Pager's lane
// tracing algorithm (it reports a reduce/reduce conflict). IELR handles it correctly.

Start: LeadA
Start: LeadB
LeadA: A ANode
LeadA: A BNode X
LeadB: B BNode
LeadB: B ANode X
ANode: C
BNode: C

@example(A C)
@example(A C X)
@example(B C)
@example(B C X)