merged with devl3, minor tweaks
added plot function for graphs, using GraphViz
improved plot() for other types of nodes
changed for loop graph representation
improved plot, added dependency to for nodes
tweaked for loops inner-outer mapping
started changing ExGraph type