- added abstraction graph
- changed nodes naming convention, nodes.label is displayed, nodes.name is the default label, but has to be unique on file level