/** @return The sequence of symbols at the leaves of the second derivation tree. */ public String prettyExample2() { return d2.prettyPrint(); }
/** @return The sequence of symbols at the leaves of the first derivation tree. */ public String prettyExample1() { return d1.prettyPrint(); }