Grammar Composition System

/src/grammars/test-grm/redundant.tdl

a := *top*.

b := a.

c := *top*.

d := a & b & c.