-
René Schöne authored
- grammar order was not taken into account so far, but is now, see #7 - whenever a DumpNode is created, a counter is increased, so all null nodes get different ids, see #10 - some relations seem to point to null after this change, maybe resulting in new bugs, let's see
8e910ed0