Also, to clarify about the self-containing constructs: they just end up being cyclic sections in the graph. For instance, in Java we start with a node for class

Also, to clarify about the self-containing constructs: they just end up being cyclic sections in the graph. For instance, in Java we start with a node for classDeclaration, and the path to an inner class looks like classBody -> classBodyDeclaration -> memberDeclaration -> classDeclaration. (That's using this grammar for java: https://github.com/antlr/grammars-v4/blob/master/java/Java.g4 https://github.com/antlr/grammars-v4/blob/master/java/Java.g...)